CurryInfo: abstract-curry-4.0.0 / AbstractCurry.Select.funcArity

definition:
funcArity :: CFuncDecl -> Int
funcArity (CFunc     _ a _ _ _) = a
funcArity (CmtFunc _ _ a _ _ _) = a
demand:
argument 1
deterministic:
deterministic operation
documentation:
-- Returns the visibility of a given function declaration.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({CFunc}) |-> _ || ({CmtFunc}) |-> _}
name:
funcArity
precedence:
no precedence defined
result-values:
_
signature:
AbstractCurry.Types.CFuncDecl -> Prelude.Int
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms