CurryInfo: flatcurry-annotated-4.0.0 / FlatCurry.Annotated.Goodies.trExpr

demand: Info 
 argument 10
deterministic: Info 
 deterministic operation
failfree: Info 
 (_, _, _, _, _, _, _, _, _, _)
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {(_,_,_,_,_,_,_,_,_,{AVar}) |-> _ || (_,_,_,_,_,_,_,_,_,{ALit}) |-> _ || (_,_,_,_,_,_,_,_,_,{AComb}) |-> _ || (_,_,_,_,_,_,_,_,_,{ALet}) |-> _ || (_,_,_,_,_,_,_,_,_,{AFree}) |-> _ || (_,_,_,_,_,_,_,_,_,{AOr}) |-> _ || (_,_,_,_,_,_,_,_,_,{ACase}) |-> _ || (_,_,_,_,_,_,_,_,_,{ATyped}) |-> _}
name: Info 
 trExpr
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 (a -> Prelude.Int -> b) -> (a -> FlatCurry.Types.Literal -> b) -> (a
-> FlatCurry.Types.CombType -> ((String, String), a) -> [b] -> b) -> (a
-> [((Prelude.Int, a), b)] -> b -> b) -> (a -> [(Prelude.Int, a)] -> b -> b)
-> (a -> b -> b -> b) -> (a -> FlatCurry.Types.CaseType -> b -> [c] -> b)
-> (FlatCurry.Annotated.Types.APattern a -> b -> c) -> (a -> b
-> FlatCurry.Types.TypeExpr -> b) -> FlatCurry.Annotated.Types.AExpr a -> b
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 reducible on all ground data terms