CurryInfo: abstract-haskell-3.0.0 / AbstractHaskell.Goodies.list2ac

definition:
list2ac :: [Expr] -> Expr
list2ac es = List es
demand:
no demanded arguments
deterministic:
deterministic operation
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_) |-> {List}}
name:
list2ac
precedence:
no precedence defined
result-values:
{List}
signature:
[AbstractHaskell.Types.Expr] -> AbstractHaskell.Types.Expr
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms