CombinatorPBind

Bind operator for combinator parsers

Signature of CombinatorPBind

List of Import References :
See BOOL
See CombinatorP
See DENOTATION
See Either
See Nat
See Option
See Seq
See Void

SIGNATURE CombinatorPBind[a,b,token,state,error]

$Date: 2012-10-02 14:17:54 +0200 (Tue, 02 Oct 2012) $ ($Revision: 838 $)

IMPORT CombinatorP COMPLETELY

SORT a b token state error

FUN & : LAZY[parser[a,token,state,error]] ** (a -> LAZY[parser[b,token,state,error]])
     -> LAZY[parser[b,token,state,error]]

next node: CombinatorPChoice,
prev node: CombinatorP,
up to node: Subsystem Combinator Parsing