Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Parser | |
|
Monad (Parser t) Source | |
Functor (Parser t) Source | |
MonadMonoid (Parser t) Source | |
MonadState (ParserState t) (Parser t) Source | |
MonadWriter (ParserOut t) (Parser t) Source | |
MonadReader (ParserEnv * t) (Parser t) Source |
runParserWith :: ParserEnv t -> ParserState t -> Parser t a -> ([(a, ParserState t)], ParserOut t) Source
makeParser :: (ParserEnv t -> ParserState t -> ([(a, ParserState t)], ParserOut t)) -> Parser t a Source
pAppendError :: 𝕊 -> Parser t a -> Parser t a Source
pNewContext :: Lens (ParserState t) (SourceContextPrefix t) -> Parser t a -> Parser t (a, SourceContextPrefix t) Source
pCapture :: Parser t a -> Parser t (a, SourceContextPrefix t) Source
pCaptureFull :: Parser t a -> Parser t (a, SourceContext t) Source
pSatisfies :: 𝕊 -> (t -> 𝔹) -> Parser t t Source
pOptionalGreedy :: Parser t a -> Parser t (Maybe a) Source
pManyGreedy :: Parser t a -> Parser t [a] Source
pOneOrMoreGreedy :: Parser t a -> Parser t [a] Source
pManySepByGreedy :: Parser t () -> Parser t a -> Parser t [a] Source
pSurrounded :: Parser t () -> Parser t a -> Parser t a Source
runParser₀ :: ToStream (SourceToken t) ts => Parser t a -> ts -> ([(a, ParserState t)], ParserOut t) Source
parseIOMain :: (ToStream (SourceToken t) ts, Pretty a) => Parser t a -> ts -> IO () Source
tokenize :: forall ts t a. ToStream (SourceToken t) ts => Parser t a -> ts -> Doc ⨄ [SourceToken a] Source
tokenizeIO :: ToStream (SourceToken t) ts => Parser t a -> ts -> IO [SourceToken a] Source
tokenizeIOMain :: (ToStream (SourceToken t) ts, Pretty a) => Parser t a -> ts -> IO () Source
data FullContextAnnotated t a Source
testParsingBlinders :: IO () Source
testParsingAmbiguity :: IO () Source
testParsingSuccess :: IO () Source
testParsingErrorNewline :: IO () Source