CurryInfo: abstract-curry-4.0.0 / AbstractCurry.Transform.updCStatement

definition: Info
 
updCStatement :: (CExpr      -> CExpr)
              -> (CPattern   -> CPattern)
              -> (CLocalDecl -> CLocalDecl)
              -> CStatement  -> CStatement
updCStatement fe fp fd = trCStatement sexp spat slet
 where
  sexp exp     = CSExpr (fe exp)
  spat pat exp = CSPat (fp pat) (fe exp)
  slet locals  = CSLet (map fd locals)
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Updates a statement (occuring in do expressions or list comprehensions).
failfree: Info
 (_, _, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_) |-> {trCStatement}}
name: Info
 updCStatement
precedence: Info
 no precedence defined
result-values: Info
 {trCStatement}
signature: Info
 (AbstractCurry.Types.CExpr -> AbstractCurry.Types.CExpr)
-> (AbstractCurry.Types.CPattern -> AbstractCurry.Types.CPattern)
-> (AbstractCurry.Types.CLocalDecl -> AbstractCurry.Types.CLocalDecl)
-> AbstractCurry.Types.CStatement -> AbstractCurry.Types.CStatement
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms