CurryInfo: abstract-curry-4.0.0 / AbstractCurry.Build.applyV

definition: Info
 
applyV :: CVarIName -> [CExpr] -> CExpr
applyV v es = foldl CApply (CVar v) es 
demand: Info
 argument 2
deterministic: Info
 deterministic operation
documentation: Info
 
An application of a variable to a list of arguments.
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> _}
name: Info
 applyV
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 (Prelude.Int, String) -> [AbstractCurry.Types.CExpr]
-> AbstractCurry.Types.CExpr
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms