Text.GrammarCombinators.Base.ProductionRule

Documentation

class ProductionRule p where

Base type class for production rule interpretations. A production rule interpretation that is an instance of the ProductionRule type class supports sequencing and disjunction of rules, empty rules, dead rules and end-of-input rules.

Methods

(>>>) :: p (a -> b) -> p a -> p b

Sequence two rules. Result of the sequenced rule is the application of the result of the first rule to the result of the second.

(|||) :: p va -> p va -> p va

Disjunction of two rules.

endOfInput :: p ()

End of input rule. Matches only at end of input, consumes nothing, produces '()' as result.

die :: p a

Dead rule. Never matches.

Instances

Token t => ProductionRule (WrapGenParser t)

ProductionRule (RecDecRule t)

Token t => ProductionRule (WrapP t)

(Domain phi, Token t) => ProductionRule (BranchSelectorComputer phi r t)

ProductionRule (AssessSizeProductionRule phi r t)

ProductionRule (EnumTokensRule phi r t)

ProductionRule (IsEpsilonRule phi r t)

ProductionRule (PrintProductionRule phi r t)

ProductionRule (GraphConstructor phi r t)

ProductionRule (LLRule phi ixT r t)

(Domain phi, Token t) => ProductionRule (FSCalculator phi ixT r t)

ProductionRule (RealLL1Rule phi ixT r t)

(ProductionRule p, EpsProductionRule p) => ProductionRule (CombineEpsilonsRule p phi r t)

ProductionRule p => ProductionRule (FilterDiesRule p phi r t)

Token t => ProductionRule (FSCalculator phi r t rr)

ProductionRule (IsChainNT phi r t rr)

(ProductionRule p, EpsProductionRule p) => ProductionRule (RuleToManyWrapper p phi r t)

ProductionRule (EnumerateProductionRule phi ixT r t)

ProductionRule (IsDeadRule phi r t rr)

ProductionRule p => ProductionRule (UnfoldDeadRule p phi r t)

ProductionRule p => ProductionRule (UnfoldLoopsWrapper p phi ixT r t)

ProductionRule p => ProductionRule (RPWRule p phi ixT r t)

ProductionRule p => ProductionRule (UnfoldDepthFirstRule p phi r t rr)

ProductionRule (FoldReachableIntRule phi r t rr n)

ProductionRule (PackratRule phitop rtop phi ixT r t)

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

(ProductionRule p, EpsProductionRule p, RecProductionRule p (LCDomain phi t) (LCValue r t)) => ProductionRule (TransformLCRule p (LCDomain phi t) (LCValue r t) phi r t)

(ProductionRule p, LiftableProductionRule p) => ProductionRule (TransformUPWrapper p surrIx (UPDomain phi) (UPValue r) phi ixT r t)

class ProductionRule p => LiftableProductionRule p where

Methods

epsilonL :: a -> Q Exp -> p a

Epsilon rule with lifted value. Always matches, consumes nothing, produces the given value (with its lifted version) as result.

optionally :: p v -> p (Maybe v)

Optionally match a given rule.

Instances

Token t => LiftableProductionRule (WrapGenParser t)

LiftableProductionRule (RecDecRule t)

Token t => LiftableProductionRule (WrapP t)

(Domain phi, Token t) => LiftableProductionRule (BranchSelectorComputer phi r t)

LiftableProductionRule (AssessSizeProductionRule phi r t)

LiftableProductionRule (EnumTokensRule phi r t)

LiftableProductionRule (IsEpsilonRule phi r t)

LiftableProductionRule (PrintProductionRule phi r t)

LiftableProductionRule (GraphConstructor phi r t)

LiftableProductionRule (LLRule phi ixT r t)

(Domain phi, Token t) => LiftableProductionRule (FSCalculator phi ixT r t)

LiftableProductionRule (RealLL1Rule phi ixT r t)

EpsProductionRule p => LiftableProductionRule (CombineEpsilonsRule p phi r t)

LiftableProductionRule p => LiftableProductionRule (FilterDiesRule p phi r t)

Token t => LiftableProductionRule (FSCalculator phi r t rr)

LiftableProductionRule (IsChainNT phi r t rr)

(ProductionRule p, EpsProductionRule p) => LiftableProductionRule (RuleToManyWrapper p phi r t)

LiftableProductionRule (EnumerateProductionRule phi ixT r t)

LiftableProductionRule (IsDeadRule phi r t rr)

LiftableProductionRule p => LiftableProductionRule (UnfoldDeadRule p phi r t)

LiftableProductionRule p => LiftableProductionRule (UnfoldLoopsWrapper p phi ixT r t)

LiftableProductionRule p => LiftableProductionRule (RPWRule p phi ixT r t)

LiftableProductionRule p => LiftableProductionRule (UnfoldDepthFirstRule p phi r t rr)

LiftableProductionRule (FoldReachableIntRule phi r t rr n)

LiftableProductionRule (PackratRule phitop rtop phi ixT r t)

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

(ProductionRule p, EpsProductionRule p, RecProductionRule p (LCDomain phi t) (LCValue r t)) => LiftableProductionRule (TransformLCRule p (LCDomain phi t) (LCValue r t) phi r t)

LiftableProductionRule p => LiftableProductionRule (TransformUPWrapper p surrIx (UPDomain phi) (UPValue r) phi ixT r t)

epsilonLS :: (Lift v, LiftableProductionRule p) => v -> p v

class LiftableProductionRule p => EpsProductionRule p where

Methods

epsilon :: a -> p a

Epsilon rule. Always matches, consumes nothing, produces the given value as result.

Instances

Token t => EpsProductionRule (WrapGenParser t)

EpsProductionRule (RecDecRule t)

Token t => EpsProductionRule (WrapP t)

(Domain phi, Token t) => EpsProductionRule (BranchSelectorComputer phi r t)

EpsProductionRule (AssessSizeProductionRule phi r t)

EpsProductionRule (EnumTokensRule phi r t)

EpsProductionRule (IsEpsilonRule phi r t)

EpsProductionRule (PrintProductionRule phi r t)

EpsProductionRule (GraphConstructor phi r t)

EpsProductionRule (LLRule phi ixT r t)

(Domain phi, Token t) => EpsProductionRule (FSCalculator phi ixT r t)

EpsProductionRule (RealLL1Rule phi ixT r t)

EpsProductionRule p => EpsProductionRule (CombineEpsilonsRule p phi r t)

EpsProductionRule p => EpsProductionRule (FilterDiesRule p phi r t)

Token t => EpsProductionRule (FSCalculator phi r t rr)

EpsProductionRule (IsChainNT phi r t rr)

(ProductionRule p, EpsProductionRule p) => EpsProductionRule (RuleToManyWrapper p phi r t)

EpsProductionRule (EnumerateProductionRule phi ixT r t)

EpsProductionRule (IsDeadRule phi r t rr)

EpsProductionRule p => EpsProductionRule (UnfoldDeadRule p phi r t)

EpsProductionRule p => EpsProductionRule (UnfoldLoopsWrapper p phi ixT r t)

EpsProductionRule p => EpsProductionRule (RPWRule p phi ixT r t)

EpsProductionRule p => EpsProductionRule (UnfoldDepthFirstRule p phi r t rr)

EpsProductionRule (FoldReachableIntRule phi r t rr n)

EpsProductionRule (PackratRule phitop rtop phi ixT r t)

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

(ProductionRule p, EpsProductionRule p, RecProductionRule p (LCDomain phi t) (LCValue r t)) => EpsProductionRule (TransformLCRule p (LCDomain phi t) (LCValue r t) phi r t)

EpsProductionRule p => EpsProductionRule (TransformUPWrapper p surrIx (UPDomain phi) (UPValue r) phi ixT r t)

class TokenProductionRule p t | p -> t where

Type class for production rules matching tokens of a certain token type t. t should be an instance of the Token type class.

Methods

token :: t -> p (ConcreteToken t)

Match a given token of type t and produce its concrete value (of type ConcreteToken t).

Instances

Token t => TokenProductionRule (WrapGenParser t) t

Token t => TokenProductionRule (RecDecRule t) t

Token t => TokenProductionRule (WrapP t) t

(Token t, Domain phi) => TokenProductionRule (BranchSelectorComputer phi r t) t

Token t => TokenProductionRule (AssessSizeProductionRule phi r t) t

Token t => TokenProductionRule (EnumTokensRule phi r t) t

TokenProductionRule (IsEpsilonRule phi r t) t

Token t => TokenProductionRule (PrintProductionRule phi r t) t

Token t => TokenProductionRule (GraphConstructor phi r t) t

Token t => TokenProductionRule (LLRule phi ixT r t) t

(Token t, Domain phi) => TokenProductionRule (FSCalculator phi ixT r t) t

Token t => TokenProductionRule (RealLL1Rule phi ixT r t) t

TokenProductionRule p t => TokenProductionRule (CombineEpsilonsRule p phi r t) t

TokenProductionRule p t => TokenProductionRule (FilterDiesRule p phi r t) t

Token t => TokenProductionRule (FSCalculator phi r t rr) t

TokenProductionRule (IsChainNT phi r t rr) t

ProductionRule p => TokenProductionRule (RuleToManyWrapper p phi r t) t

Token t => TokenProductionRule (EnumerateProductionRule phi ixT r t) t

TokenProductionRule (IsDeadRule phi r t rr) t

TokenProductionRule p t => TokenProductionRule (UnfoldDeadRule p phi r t) t

TokenProductionRule p t => TokenProductionRule (UnfoldLoopsWrapper p phi ixT r t) t

TokenProductionRule p t => TokenProductionRule (RPWRule p phi ixT r t) t

TokenProductionRule p t => TokenProductionRule (UnfoldDepthFirstRule p phi r t rr) t

TokenProductionRule (FoldReachableIntRule phi r t rr n) t

Token t => TokenProductionRule (PackratRule phitop rtop phi ixT r t) t

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

(Token t, TokenProductionRule p t, ProductionRule p, LiftableProductionRule p, RecProductionRule p (LCDomain phi t) (LCValue r t)) => TokenProductionRule (TransformLCRule p unused1 unused2 phi r t) t

(TokenProductionRule p t, ProductionRule p) => TokenProductionRule (TransformUPWrapper p surrIx (UPDomain phi) (UPValue r) phi ixT r t) t

(*>>>) :: (ProductionRule p, LiftableProductionRule p) => p a -> p b -> p b

Sequence two rules, but drop the result of the first.

(>>>*) :: (ProductionRule p, LiftableProductionRule p) => p a -> p b -> p a

Sequence two rules, but drop the result of the second.

($>>) :: EpsProductionRule p => (a -> b) -> p a -> p b

Apply a given function to the result of a given rule.

($>>*) :: EpsProductionRule p => a -> p b -> p a

Replace a rule's result value with a given value.

($|>>) :: LiftableProductionRule p => (a -> b, Q Exp) -> p a -> p b

Apply a given function to the result of a given rule.

($|>>*) :: LiftableProductionRule p => (a, Q Exp) -> p b -> p a

Replace a rule's result value with a given value.

class RecProductionRule p phi r | p -> phi, p -> r where

Production rule interpretations supporting the RecProductionRule type class support references to non-terminals in a given domain phi. The type of the result values of the rules is determined by semantic value family r.

Methods

ref :: phi ix -> p (r ix)

Reference a given non-terminal in a production rule.

Instances

(Token t, Domain phi) => RecProductionRule (BranchSelectorComputer phi r t) phi r

RecProductionRule (AssessSizeProductionRule phi r t) phi r

ShowFam phi => RecProductionRule (EnumTokensRule phi r t) phi r

RecProductionRule (IsEpsilonRule phi r t) phi r

ShowFam phi => RecProductionRule (PrintProductionRule phi r t) phi r

Domain phi => RecProductionRule (GraphConstructor phi r t) phi r

RecProductionRule (LLRule phi ixT r t) phi r

(Domain phi, Token t) => RecProductionRule (FSCalculator phi ixT r t) phi r

RecProductionRule (RealLL1Rule phi ixT r t) phi r

RecProductionRule p phi r => RecProductionRule (CombineEpsilonsRule p phi r t) phi r

RecProductionRule p phi r => RecProductionRule (FilterDiesRule p phi r t) phi r

(Token t, EqFam phi) => RecProductionRule (FSCalculator phi r t rr) phi r

EqFam phi => RecProductionRule (IsChainNT phi r t rr) phi r

LoopProductionRule p phi r => RecProductionRule (RuleToManyWrapper p phi r t) phi r

RecProductionRule (EnumerateProductionRule phi ixT r t) phi r

(ProductionRule p, RecProductionRule p phi r) => RecProductionRule (UnfoldDeadRule p phi r t) phi r

RecProductionRule p phi r => RecProductionRule (UnfoldLoopsWrapper p phi ixT r t) phi r

ProductionRule p => RecProductionRule (RPWRule p phi ixT r t) phi r

SimpleRecProductionRule p phi r rr => RecProductionRule (UnfoldDepthFirstRule p phi r t rr) phi r

RecProductionRule (PackratRule phitop rtop phi ixT 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

(ProductionRule p, EqFam phi, EpsProductionRule p, RecProductionRule p (LCDomain phi t) (LCValue r t)) => RecProductionRule (TransformLCRule p (LCDomain phi t) (LCValue r t) phi r t) phi r

(RecProductionRule p (UPDomain phi) (UPValue r), LiftableProductionRule p, EqFam phi, LoopProductionRule p (UPDomain phi) (UPValue r)) => RecProductionRule (TransformUPWrapper p surrIx (UPDomain phi) (UPValue r) phi ixT r t) phi r

class (ProductionRule p, LiftableProductionRule p, RecProductionRule p phi r) => LoopProductionRule p phi r | p -> phi, p -> r where

Production rule interpretations supporting the LoopProductionRule type class allow for Kleene-star quantified references to non-terminals (zero or more, see the manyRef function) as well as +-quantified references to non-terminals (one or more, see the many1Ref function).

An instance can implement either manyRef or many1Ref, both or neither. Not implementing either produces old-style many and many1 combinator behaviour (discouraged for most situations)

Methods

manyRef :: phi ix -> p [r ix]

Match a given non-terminal zero or more times.

many1Ref :: phi ix -> p [r ix]

Match a given non-terminal one or more times.

Instances

(Token t, Domain phi) => LoopProductionRule (BranchSelectorComputer phi r t) phi r

LoopProductionRule (AssessSizeProductionRule phi r t) phi r

ShowFam phi => LoopProductionRule (EnumTokensRule phi r t) phi r

LoopProductionRule (IsEpsilonRule phi r t) phi r

ShowFam phi => LoopProductionRule (PrintProductionRule phi r t) phi r

Domain phi => LoopProductionRule (GraphConstructor phi r t) phi r

(EpsProductionRule p, LoopProductionRule p phi r) => LoopProductionRule (CombineEpsilonsRule p phi r t) phi r

LoopProductionRule p phi r => LoopProductionRule (FilterDiesRule p phi r t) phi r

(Token t, EqFam phi) => LoopProductionRule (FSCalculator phi r t rr) phi r

EqFam phi => LoopProductionRule (IsChainNT phi r t rr) phi r

(ProductionRule p, EpsProductionRule p, LoopProductionRule p phi r) => LoopProductionRule (RuleToManyWrapper p phi r t) phi r

(ProductionRule p, LiftableProductionRule p, LoopProductionRule p phi r) => LoopProductionRule (UnfoldDeadRule p phi r t) phi r

(ProductionRule p, LiftableProductionRule p, RecProductionRule p phi r) => LoopProductionRule (UnfoldLoopsWrapper p phi ixT r t) phi r

LoopProductionRule p phi r => LoopProductionRule (RPWRule p phi ixT r t) phi r

(ProductionRule p, LiftableProductionRule p, SimpleRecProductionRule p phi r rr, SimpleLoopProductionRule p phi r rr) => LoopProductionRule (UnfoldDepthFirstRule p phi r t rr) phi r

LoopProductionRule (PackratRule phitop rtop phi ixT r t) phi r

(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

(EqFam phi, EpsProductionRule p, LoopProductionRule p (LCDomain phi t) (LCValue r t)) => LoopProductionRule (TransformLCRule p (LCDomain phi t) (LCValue r t) phi r t) phi r

(EqFam phi, LiftableProductionRule p, LoopProductionRule p (UPDomain phi) (UPValue r)) => LoopProductionRule (TransformUPWrapper p surrIx (UPDomain phi) (UPValue r) phi ixT r t) phi r

class SuperProductionRule p where

The 'SuperProductionRule| type class is in an experimental state, and currently not intended for general use.

Methods

subref :: (DomainEmbedding phi phi' supIxT, HFunctor phi (PF phi), ProductionRule (p phi ixT r t), ProductionRule (p phi' (IxMapSeq ixT supIxT) (SubVal supIxT r) t)) => (forall ix'. phi' ix' -> p phi' (IxMapSeq ixT supIxT) (SubVal supIxT r) t (PF phi' (SubVal supIxT r) ix')) -> phi' ix -> phi (supIxT ix) -> p phi ixT r t (PF phi r (supIxT ix))

Instances

SuperProductionRule (PackratRule phitop rtop)

tokenRange :: forall p t. (ProductionRule p, TokenProductionRule p t) => [t] -> p (ConcreteToken t)

Match any token in a given range of tokens.

string :: forall p t. (ProductionRule p, LiftableProductionRule p, TokenProductionRule p t) => [t] -> p [ConcreteToken t]

Consecutively match a given list of tokens and return their concrete token values as a list.

manyInf :: (ProductionRule p, LiftableProductionRule p) => p a -> p [a]

An old style many combinator. Produces an infinite rule similar to Parsec's many rule. Prefer to use the manyRef function whenever possible.

many1Inf :: (ProductionRule p, LiftableProductionRule p) => p a -> p [a]

An old style many combinator. Produces an infinite rule similar to Parsec's many rule. Prefer to use the manyRef function whenever possible.