Safe Haskell	None
Language	Haskell2010

FP.Parser.Parser

Documentation

newtype Parser t a Source

Constructors

Parser
Fields runParser :: ReaderT (ParserEnv t) (StateT (ParserState t) (NondetAppendT (Writer (ParserOut t)))) a

Instances

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

pFail :: Parser t a Source

pPluck :: Parser t t 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

pRender :: Format -> Parser t s -> Parser t s Source

pEnd :: Parser t () Source

pCatch :: Parser t a -> Parser t a -> Parser t a Source

pError :: 𝕊 -> Parser t a -> Parser t a Source

pCaptureFull :: Parser t a -> Parser t (a, SourceContext t) Source

pFinal :: Parser t a -> Parser t a Source

pShaped :: 𝕊 -> (t -> Maybe a) -> Parser t a Source

pSatisfies :: 𝕊 -> (t -> 𝔹) -> Parser t t Source

pLit :: (Eq t, Pretty t) => t -> Parser t t Source

pWord :: forall s t. (Eq s, Pretty s, Eq t, Pretty t, Isomorphic s [t]) => s -> Parser t s Source

pOptional :: Parser t a -> Parser t (Maybe a) Source

pTries :: [Parser t a] -> Parser t a 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

pLParen :: Parser ℂ () Source

pRParen :: Parser ℂ () Source

pDigit :: Parser ℂ ℂ Source

pNatural :: Parser ℂ ℕ Source

pInteger :: Parser ℂ ℤ Source

pDouble :: Parser ℂ 𝔻 Source

pNumber :: Parser ℂ (ℤ ⨄ 𝔻) Source

pLetter :: Parser ℂ ℂ Source

pWhitespaceGreedy :: Parser ℂ 𝕊 Source

pOptionalWhitespaceGreedy :: Parser ℂ () Source

pSurroundedBy :: Parser t () -> 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

parse :: (ToStream (SourceToken t) ts, Pretty a) => Parser t a -> ts -> Doc ⨄ a Source

parseIO :: (ToStream (SourceToken t) ts, Pretty a) => Parser t a -> ts -> IO a 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

Constructors

FullContextAnnotated
Fields fullContextAnnotatedContext :: SourceContext t fullContextAnnotatedValue :: a

Instances

Functor (FullContextAnnotated t) Source
Comonad (FullContextAnnotated t) Source

testParsingMultipleFailure :: IO () Source

testParsingBlinders :: IO () Source

testParsingAmbiguity :: IO () Source

testParsingSuccess :: IO () Source

testParsingErrorNewline :: IO () Source