Text.GrammarCombinators.Transform.FoldLoops

Documentation

data FLBaseIx ix

A parametrised type such that FLBaseIx ix represents base non-terminal ix.

Instances

DomainMap (FoldLoopsDomain phi) phi FLBaseIx

Show (r ix) => Show (FoldLoopsValue r (FLBaseIx ix))

data FLManyIx ix

A parametrised type such that FLBaseIx ix represents the Kleene-* version of base non-terminal ix.

Instances

DomainMap (FoldLoopsDomain phi) phi FLManyIx

Show (r ix) => Show (FoldLoopsValue r (FLManyIx ix))

data FoldLoopsDomain phi ix where

FoldLoopsDomain phi defines, for base domain phi, an extended domain containing non-terminal types FLBaseIx ix representing base non-terminal ix, and FLManyIx ix representing a Kleene-* version of base non-terminal ix.

Constructors

FLBase :: phi ix -> FoldLoopsDomain phi (FLBaseIx ix)

FLMany :: phi ix -> FoldLoopsDomain phi (FLManyIx ix)

Instances

Domain phi => Domain (FoldLoopsDomain phi)

EqFam phi => EqFam (FoldLoopsDomain phi)

ShowFam phi => ShowFam (FoldLoopsDomain phi)

FoldFam phi => FoldFam (FoldLoopsDomain phi)

MemoFam phi => MemoFam (FoldLoopsDomain phi)

DomainMap (FoldLoopsDomain phi) phi FLManyIx

DomainMap (FoldLoopsDomain phi) phi FLBaseIx

(Lift (Memo phi (SubVal FLBaseIx v)), Lift (Memo phi (SubVal FLManyIx v))) => Lift (Memo (FoldLoopsDomain phi) v)

EpsProductionRule p => EpsProductionRule (FLWrap p (FoldLoopsDomain phi) (FoldLoopsValue r) phi r t)

LiftableProductionRule p => LiftableProductionRule (FLWrap p (FoldLoopsDomain phi) (FoldLoopsValue r) phi r t)

ProductionRule p => ProductionRule (FLWrap p (FoldLoopsDomain phi) (FoldLoopsValue r) phi r t)

TokenProductionRule p t => TokenProductionRule (FLWrap p (FoldLoopsDomain phi) (FoldLoopsValue r) phi r t) t

(ProductionRule p, EpsProductionRule p, LiftableProductionRule p, TokenProductionRule p t, RecProductionRule p (FoldLoopsDomain phi) (FoldLoopsValue r)) => LoopProductionRule (FLWrap p (FoldLoopsDomain phi) (FoldLoopsValue r) phi r t) phi r

(RecProductionRule p (FoldLoopsDomain phi) (FoldLoopsValue r), ProductionRule p, EpsProductionRule p) => RecProductionRule (FLWrap p (FoldLoopsDomain phi) (FoldLoopsValue r) phi r t) phi r

data family FoldLoopsValue r ix

FoldLoopsValue defines, for a semantic value family r over base domain phi, a semantic value family FoldLoopsValue r over domain FoldLoopsDomain r, such that the semantic value for base non-terminal FLBaseIx is a wrapped version of type r ix, and for Kleene-* non-terminal FLManyIx a wrapped version of type [r ix].

data family FoldLoopsResultValue r rr ix

FoldLoopsResultValue defines, for semantic value families r and rr over base domain phi, a semantic value family FoldLoopsResultValue r rr over domain FoldLoopsDomain r. such that the semantic value for base non-terminal FLBaseIx is a wrapped version of type rr ix, and for Kleene-* non-terminal FLManyIx a wrapped version of type [r ix].

processFoldLoops :: forall phi r rr. GProcessor phi r rr -> GProcessor (FoldLoopsDomain phi) (FoldLoopsValue r) (FoldLoopsResultValue r rr)

Construct a processor for a grammar transformed using the foldLoops algorithm, given a processor for the original grammar.

foldLoops :: GExtendedContextFreeGrammar phi t r rr -> GContextFreeGrammar (FoldLoopsDomain phi) t (FoldLoopsValue r) (FoldLoopsResultValue r rr)

Transform a given extended context-free grammar over a domain phi into a standard context-free grammar over the extended domain FoldLoopsDomain phi. Calls to manyRef idx are transformed into calls to ref (FLMany idx), where FLMany idx is a new non-terminal representing the Kleene-* version of underlying non-terminal idx. Normal calls to ref idx are transformed into calls to ref (FLBase idx) where FLBase idx represents the unmodified underlying non-terminal idx. The foldLoops algorithm constructs appropriate production rules for both types of new non-terminals. Values are wrapped in the FoldLoopsResultValue r rr semantic value family.

foldAndProcessLoops :: forall phi t r. Token t => ProcessingExtendedContextFreeGrammar phi t r -> ProcessingContextFreeGrammar (FoldLoopsDomain phi) t (FoldLoopsValue r)

Transform a given processing extended context-free grammar over a domain phi into a standard context-free grammar over the extended domain 'FoldLoopsDomain phi'. Completely similar to foldLoops, but wraps values in the FoldLoopsValue r semantic value family.