Documentation
data MaybeSemanticT r ix Source
Show (r ix) => Show (MaybeSemanticT r ix) | |
EpsProductionRule p => EpsProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
LiftableProductionRule p => LiftableProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
ProductionRule p => ProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
(PenaltyProductionRule p, LiftableProductionRule p, TokenProductionRule p t, Token t) => TokenProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) t | |
(LoopProductionRule p phi (MaybeSemanticT r), LiftableProductionRule p, PenaltyProductionRule p) => LoopProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) phi (MaybeSemanticT r) | |
(RecProductionRule p phi (MaybeSemanticT r), LiftableProductionRule p, PenaltyProductionRule p) => RecProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) phi (MaybeSemanticT r) |
isJustV :: MaybeSemanticT r ix -> BoolSource
newtype PBEHProductionRule p phi unusedR r t v Source
EpsProductionRule p => EpsProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
LiftableProductionRule p => LiftableProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
ProductionRule p => ProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
(PenaltyProductionRule p, LiftableProductionRule p, TokenProductionRule p t, Token t) => TokenProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) t | |
(LoopProductionRule p phi (MaybeSemanticT r), LiftableProductionRule p, PenaltyProductionRule p) => LoopProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) phi (MaybeSemanticT r) | |
(RecProductionRule p phi (MaybeSemanticT r), LiftableProductionRule p, PenaltyProductionRule p) => RecProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) phi (MaybeSemanticT r) |
processPenalizedSimple :: forall phi r. HFunctor phi (PF phi) => Processor phi r -> Processor phi (MaybeSemanticT r)Source
penalizeErrors' :: forall p phi r rr t ix. (forall ix'. phi ix' -> PBEHProductionRule p phi (MaybeSemanticT r) r t (rr ix')) -> phi ix -> p (rr ix)Source
penalizeErrorsE :: forall phi t r rr. Token t => GExtendedContextFreeGrammar phi t (MaybeSemanticT r) rr -> GPenaltyExtendedContextFreeGrammar phi t (MaybeSemanticT r) rrSource
penalizeErrors :: forall phi t r rr. Token t => GContextFreeGrammar phi t (MaybeSemanticT r) rr -> GPenaltyContextFreeGrammar phi t (MaybeSemanticT r) rrSource