Documentation
data MaybeSemanticT r ix Source
Instances
Show (r ix) => Show (MaybeSemanticT r ix) | |
(LiftableProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t), EpsProductionRule p) => EpsProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
(ProductionRule (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 | |
(ProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t), LiftableProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t), RecProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) phi (MaybeSemanticT r), 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) | |
newtype PBEHProductionRule p phi unusedR r t v Source
Instances
(LiftableProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t), EpsProductionRule p) => EpsProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) | |
(ProductionRule (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 | |
(ProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t), LiftableProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t), RecProductionRule (PBEHProductionRule p phi (MaybeSemanticT r) r t) phi (MaybeSemanticT r), 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) | |