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

definition:
tuplePat :: [Pattern] -> Pattern
tuplePat ps = PTuple ps
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Constructs a tuple pattern from list of component patterns.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_) |-> {PTuple}}
name:
tuplePat
precedence:
no precedence defined
result-values:
{PTuple}
signature:
[AbstractHaskell.Types.Pattern] -> AbstractHaskell.Types.Pattern
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms