CurryInfo: flatcurry-3.1.0 / FlatCurry.Goodies.trExpr

demand: Info 
 argument 10
deterministic: Info 
 deterministic operation
failfree: Info 
 (_, _, _, _, _, _, _, _, _, _)
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {(_,_,_,_,_,_,_,_,_,{Var}) |-> _ || (_,_,_,_,_,_,_,_,_,{Lit}) |-> _ || (_,_,_,_,_,_,_,_,_,{Comb}) |-> _ || (_,_,_,_,_,_,_,_,_,{Let}) |-> _ || (_,_,_,_,_,_,_,_,_,{Free}) |-> _ || (_,_,_,_,_,_,_,_,_,{Or}) |-> _ || (_,_,_,_,_,_,_,_,_,{Case}) |-> _ || (_,_,_,_,_,_,_,_,_,{Typed}) |-> _}
name: Info 
 trExpr
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 (Prelude.Int -> a) -> (FlatCurry.Types.Literal -> a)
-> (FlatCurry.Types.CombType -> (String, String) -> [a] -> a)
-> ([(Prelude.Int, a)] -> a -> a) -> ([Prelude.Int] -> a -> a) -> (a -> a -> a)
-> (FlatCurry.Types.CaseType -> a -> [b] -> a) -> (FlatCurry.Types.Pattern -> a
-> b) -> (a -> FlatCurry.Types.TypeExpr -> a) -> FlatCurry.Types.Expr -> a
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 reducible on all ground data terms