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

 
trCStatement :: (CExpr -> a)
             -> (CPattern -> CExpr -> a)
             -> ([CLocalDecl] -> a)
             -> CStatement -> a
trCStatement sexp _ _ (CSExpr exp)    = sexp exp
trCStatement _ spat _ (CSPat pat exp) = spat pat exp
trCStatement _ _ slet (CSLet locals)  = slet locals

 argument 4

 deterministic operation

 
Transforms a statement (occuring in do expressions or list comprehensions).

 (_, _, _, _)

 referentially transparent operation

 no fixity defined

 {(_,_,_,{CSExpr}) |-> _ || (_,_,_,{CSPat}) |-> _ || (_,_,_,{CSLet}) |-> _}

 trCStatement

 no precedence defined

 _

 (AbstractCurry.Types.CExpr -> a) -> (AbstractCurry.Types.CPattern
-> AbstractCurry.Types.CExpr -> a) -> ([AbstractCurry.Types.CLocalDecl] -> a)
-> AbstractCurry.Types.CStatement -> a

 operation might suspend on free variables

 yes

 reducible on all ground data terms