Basic types and functions for combinator parsing
List of Import References :
See BOOL
See DENOTATION
See Either
See Nat
See Option
See Seq
See Void
SIGNATURE CombinatorP[a,token,state,error]
$Date: 2012-10-02 14:17:54 +0200 (Tue, 02 Oct 2012) $ ($Revision: 838 $)
IMPORT Either ONLY either[option[error],a]
Option ONLY option[error]
Seq ONLY seq[token]
Void ONLY void
SORT a token state error
TYPE parser ==
parser(parser: seq[token] ** state
-> either[option[error],a] ** seq[token] ** state)
FUN fail: error -> LAZY[parser]
FUN eps: a -> LAZY[parser]
FUN run: seq[token] ** state ** LAZY[parser] -> either[option[error],a]
next node: CombinatorPBind,
prev node: Subsystem Combinator Parsing,
up to node: Subsystem Combinator Parsing