Safe Haskell | Safe-Infered |
---|
SequentialTypes
Documentation
data PathStep
type EdgeRoutes = (Edge, Route, Route)
data NTAttr
Constructors
NTAInh NontermIdent Identifier Type | |
NTASyn NontermIdent Identifier Type |
getNtaNameType :: NTAttr -> (Identifier, Type)
getAttr :: CRule -> Identifier
getHasCode :: CRule -> Bool
getLhsNt :: CRule -> NontermIdent
getCon :: CRule -> ConstructorIdent
getField :: CRule -> Identifier
getRhsNt :: CRule -> Maybe NontermIdent
getDefines :: CRule -> Map Int (Identifier, Identifier, Maybe Type)
getUses :: CRule -> Set (Identifier, Identifier)
getExplicit :: CRule -> Bool
isEqualField :: CRule -> CRule -> Bool
isDifferentField :: CRule -> CRule -> Bool
isEqualCon :: CRule -> CRule -> Bool
isRhsOfSameCon :: CRule -> CRule -> Bool
cRuleLhsInh :: Identifier -> NontermIdent -> ConstructorIdent -> Type -> CRule
cRuleTerminal :: Identifier -> NontermIdent -> ConstructorIdent -> Type -> CRule
cRuleRhsSyn :: Identifier -> NontermIdent -> ConstructorIdent -> Type -> Identifier -> NontermIdent -> CRule
defaultRule :: Identifier -> NontermIdent -> ConstructorIdent -> Identifier -> CRule
eqCRuleDefines :: CRule -> CRule -> Bool
rhsshow :: Identifier -> NTAttr -> String
prettyCRule :: CRule -> String