Text.GrammarCombinators.Base.Processor

Documentation

type GProcessor phi r rr = forall ix. phi ix -> rr ix -> r ix

type Processor phi r = GProcessor phi r (PF phi r)

identityProcessor :: GProcessor phi r r

A trivial identity processor that keeps current production rule results unmodified.

trivialProcessor :: Processor phi (K0 ())

A trivial processor that throws everything away and returns a value of the type K0 ().

applyProcessor' :: (ProductionRule p, EpsProductionRule p) => (forall ix. phi ix -> p (r ix)) -> GProcessor phi r' r -> forall ix. phi ix -> p (r' ix)

applyProcessor :: GContextFreeGrammar phi t r rr -> GProcessor phi rr' rr -> GContextFreeGrammar phi t r rr'

Apply a given processor to a given context-free grammar.

applyProcessorL :: LiftFam phi => GLContextFreeGrammar phi t r rr -> GProcessor phi rr' rr -> Q Exp -> GLContextFreeGrammar phi t r rr'

applyProcessorLE :: LiftFam phi => GLExtendedContextFreeGrammar phi t r rr -> GProcessor phi rr' rr -> Q Exp -> GLExtendedContextFreeGrammar phi t r rr'

Apply a given processor to a given extended liftable context-free grammar.

applyProcessorE :: GExtendedContextFreeGrammar phi t r rr -> GProcessor phi rr' rr -> GExtendedContextFreeGrammar phi t r rr'

Apply a given processor to a given extended context-free grammar.