Safe Haskell | None |
---|
Documentation
type InitialNonTerminals = [NonTerminal]Source
type InitialTerminals = [Terminal]Source
type ReachableNonTerminals = [NonTerminal]Source
initialTerminals :: Annotated a => a Analysis -> InitialTerminalsSource
initialNonTerminals :: Annotated a => a Analysis -> InitialNonTerminalsSource
reachable :: Annotated a => a Analysis -> ReachableNonTerminalsSource
characterization :: Annotated a => a Analysis -> CharacterizationSource
mapCmb :: (a -> (a, Characterization)) -> [a] -> ([a], Characterization)Source
infixPrefixOps :: Parser Analysis -> [String]Source