next node: CombinatorPMap,
prev node: CombinatorPBind,
up to node: Subsystem Combinator Parsing

CombinatorPChoice

Choice between combinator parsers

Signature of CombinatorPChoice

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

SIGNATURE CombinatorPChoice[a,token,state,error]

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

IMPORT CombinatorP COMPLETELY

SORT a token state error

FUN | : LAZY[parser[a,token,state,error]] ** LAZY[parser[a,token,state,error]]
     -> LAZY[parser[a,token,state,error]]

FUN |^ : LAZY[parser[a,token,state,error]] ** LAZY[parser[a,token,state,error]]
      -> LAZY[parser[a,token,state,error]]

next node: CombinatorPMap,
prev node: CombinatorPBind,
up to node: Subsystem Combinator Parsing