CurryInfo: currypp-3.2.0 / CPP.ICode.ParseMonad.crumplePM

definition:
crumplePM :: PM (PM a) -> PM a
crumplePM m = bindPM m id
demand:
argument 1
deterministic:
deterministic operation
documentation:
--- Crumple two Parser Monads
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_) |-> _}
name:
crumplePM
precedence:
no precedence defined
result-values:
_
signature:
PM (PM a) -> PM a
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms