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

CombinatorPPrim

Primitive parser combinators

Signature of CombinatorPPrim

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

SIGNATURE CombinatorPPrim[token,state,error]

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

IMPORT CombinatorP COMPLETELY

IMPORT Void ONLY void

SORT token state error

Operations on the token sequence 

FUN peek:  (token -> bool) -> LAZY[parser[void,token,state,error]]
FUN skip:                     LAZY[parser[void,token,state,error]]
FUN skip:  (token -> bool) -> LAZY[parser[void,token,state,error]]
FUN shift:                    LAZY[parser[token,token,state,error]]
FUN shift: (token -> bool) -> LAZY[parser[token,token,state,error]]
FUN eof:                      LAZY[parser[void,token,state,error]]

Manipulating the parser state 

FUN get:          LAZY[parser[state,token,state,error]]
FUN set: state -> LAZY[parser[void,token,state,error]]

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