CurryInfo: abstract-curry-4.0.0 / AbstractCurry.Transform.funcsOfCFuncDecl

definition:
funcsOfCFuncDecl :: CFuncDecl -> [QName]
funcsOfCFuncDecl =
  trCFuncDecl (\_ _ _ _ _ rules -> concatMap funcsOfCRule rules)
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Extracts all function (and constructor) names occurring in a function
--- declaration.
failfree:
()
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{() |-> {trCFuncDecl}}
name:
funcsOfCFuncDecl
precedence:
no precedence defined
result-values:
{trCFuncDecl}
signature:
AbstractCurry.Types.CFuncDecl -> [(String, String)]
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
reducible on all ground data terms