Language.Happy.Arbitrary

Documentation

newtype Config token

Constructors

Config

Fields

• parseToken :: Text -> token

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

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

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

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

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

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

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

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