CombinatorPMap

Map functional for combinator parsers

Signature of CombinatorPMap

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

SIGNATURE CombinatorPMap[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 -> b)
     -> LAZY[parser[b,token,state,error]]

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