|
definition:
|
updCRhs :: (CExpr -> CExpr)
-> ([(CExpr, CExpr)] -> [(CExpr, CExpr)])
-> ([CLocalDecl] -> [CLocalDecl])
-> CRhs -> CRhs
updCRhs fe fg fl = trCRhs srhs grhs
where
srhs exp locals = CSimpleRhs (fe exp) (fl locals)
grhs gexps locals = CGuardedRhs (fg gexps) (fl locals)
|
|
demand:
|
no demanded arguments
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- Updates right-hand side.
|
|
failfree:
|
(_, _, _)
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,_) |-> {trCRhs}}
|
|
name:
|
updCRhs
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
{trCRhs}
|
|
signature:
|
(AbstractCurry.Types.CExpr -> AbstractCurry.Types.CExpr)
-> ([(AbstractCurry.Types.CExpr, AbstractCurry.Types.CExpr)]
-> [(AbstractCurry.Types.CExpr, AbstractCurry.Types.CExpr)])
-> ([AbstractCurry.Types.CLocalDecl] -> [AbstractCurry.Types.CLocalDecl])
-> AbstractCurry.Types.CRhs -> AbstractCurry.Types.CRhs
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
yes
|
|
totally-defined:
|
reducible on all ground data terms
|