next node: CombinatorPPrim,
prev node: CombinatorPReject,
up to node: Subsystem Combinator Parsing

CombinatorPCat

Concatenating combinator parsers

Signature of CombinatorPCat

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

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

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

IMPORT CombinatorP COMPLETELY

IMPORT Pair ONLY pair[a,b]

SORT a b token state error

FUN <> : LAZY[parser[a,token,state,error]] ** LAZY[parser[b,token,state,error]]
      -> LAZY[parser[pair[a,b],token,state,error]]

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

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

next node: CombinatorPPrim,
prev node: CombinatorPReject,
up to node: Subsystem Combinator Parsing