Documentation

newtype Config token Source #

defConfig :: (Text -> token) -> Config token Source #

genTokens :: Show token => Config token -> Text -> Node (Lexeme Text) -> Gen [token] Source #

expand :: Show token => Config token -> Map Text token -> Map Text [[Text]] -> [[Text]] -> State [Int] [token] Source #

select :: [a] -> State [Int] a Source #

continue :: Show token => Config token -> Map Text token -> Map Text [[Text]] -> Either token [[Text]] -> State [Int] [token] Source #

resolve :: Show token => Map Text token -> Map Text [[Text]] -> Text -> Either token [[Text]] Source #

terminals :: Config token -> NodeF (Lexeme Text) (Map Text token) -> Map Text token Source #

nonterminals :: NodeF (Lexeme Text) (Map Text [[Text]]) -> Map Text [[Text]] Source #