CurryInfo: flatcurry-4.0.0 / FlatCurry.Goodies.letBody

definition:
 
letBody :: Expr -> Expr
letBody expr = case expr of
  (Let _ e) -> e
  _         -> error "FlatCurryGoodies.letBody: no let declaration"
demand:
 argument 1
deterministic:
 deterministic operation
documentation:
 
get body of let declaration
failfree:
 _
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {({Let}) |-> _ || ({Var}) |-> _ || ({Lit}) |-> _ || ({Comb}) |-> _ || ({Free}) |-> _ || ({Or}) |-> _ || ({Case}) |-> _ || ({Typed}) |-> _}
name:
 letBody
precedence:
 no precedence defined
result-values:
 _
signature:
 FlatCurry.Types.Expr -> FlatCurry.Types.Expr
solution-complete:
 operation might suspend on free variables
terminating:
 yes
totally-defined:
 reducible on all ground data terms