Text.Trifecta.Parser.Prim

Documentation

data Parser e a

Constructors

Parser

Fields

unparser :: forall r. (a -> ErrState e -> ErrLog e -> Bool -> Delta -> ByteString -> It Rope r) -> (ErrState e -> ErrLog e -> Bool -> Delta -> ByteString -> It Rope r) -> (a -> ErrState e -> ErrLog e -> Bool -> Delta -> ByteString -> It Rope r) -> (ErrState e -> ErrLog e -> Bool -> Delta -> ByteString -> It Rope r) -> ErrLog e -> Bool -> Delta -> ByteString -> It Rope r

Instances

MonadDiagnostic e (Parser e)

Monad (Parser e)

Functor (Parser e)

MonadPlus (Parser e)

Applicative (Parser e)

Alternative (Parser e)

Alt (Parser e)

Apply (Parser e)

Plus (Parser e)

Bind (Parser e)

MonadParser (Parser e)

MonadError (ErrState e) (Parser e)

MonadWriter (ErrLog e) (Parser e)

Monoid (Parser e a)

Semigroup (Parser e a)

why :: Pretty e => (e -> Doc t) -> ErrState e -> Highlights -> Bool -> Delta -> ByteString -> Diagnostic (Doc t)

stepParser :: (Diagnostic e -> Diagnostic t) -> (ErrState e -> Highlights -> Bool -> Delta -> ByteString -> Diagnostic t) -> Parser e a -> ErrLog e -> Bool -> Delta -> ByteString -> Step t a

parseTest :: Show a => Parser String a -> String -> IO ()

manyAccum :: (a -> [a] -> [a]) -> Parser e a -> Parser e [a]