Moduletrifecta-2.1.4Haskell2010

Text.Trifecta.Combinators

Synopsis

classclass (MonadPlus m, TokenParsing m) => DeltaParsing (m :: Type -> Type) where

This class provides parsers with easy access to:

1) the current line contents. 2) the current position as a Delta. 3) the ability to use sliced on any parser.

line :: m ByteString
Retrieve the contents of the current line (from the beginning of the line)
position :: m Delta
Retrieve the current position as a Delta.
slicedWith :: (a -> ByteString -> r) -> m a -> m r
Run a parser, grabbing all of the text between its start and end points
rend :: m Rendering
Retrieve a Rendering of the current line noting this position, but not placing a Caret there.
restOfLine :: m ByteString
Grab the remainder of the current line

Instances9DeltaParsing, …

DeltaParsing ParserDefined in trifecta-2.1.4 · Text.Trifecta.Parser
(MonadPlus m, DeltaParsing m) => DeltaParsing (IdentityT m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, DeltaParsing m) => DeltaParsing (ReaderT e m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, DeltaParsing m) => DeltaParsing (StateT s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, DeltaParsing m) => DeltaParsing (StateT s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, DeltaParsing m, Monoid w) => DeltaParsing (WriterT w m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, DeltaParsing m, Monoid w) => DeltaParsing (WriterT w m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, DeltaParsing m, Monoid w) => DeltaParsing (RWST r w s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, DeltaParsing m, Monoid w) => DeltaParsing (RWST r w s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators

valuesliced :: DeltaParsing m => m a -> m ByteString

Run a parser, grabbing all of the text between its start and end points and discarding the original result

valuecareting :: DeltaParsing m => m Caret

Grab a Caret pointing to the current location.

valuecareted :: DeltaParsing m => m a -> m (Careted a)

Parse a Careted result. Pointing the Caret to where you start.

valuespanning :: DeltaParsing m => m a -> m Span

Discard the result of a parse, returning a Span from where we start to where it ended parsing.

valuespanned :: DeltaParsing m => m a -> m (Spanned a)

Parse a Spanned result. The Span starts here and runs to the last position parsed.

valuefixiting :: DeltaParsing m => m ByteString -> m Fixit

Grab a fixit.

classclass (DeltaParsing m, HasDelta d) => MarkParsing d (m :: Type -> Type) | m -> d where

This class is a refinement of DeltaParsing that adds the ability to mark your position in the input and return there for further parsing later.

mark :: m d
mark the current location so it can be used in constructing a span, or for later seeking
release :: d -> m ()
Seek a previously marked location

Instances9MarkParsing, …

MarkParsing Delta ParserDefined in trifecta-2.1.4 · Text.Trifecta.Parser
(MonadPlus m, MarkParsing d m) => MarkParsing d (IdentityT m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, MarkParsing d m) => MarkParsing d (ReaderT e m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, MarkParsing d m) => MarkParsing d (StateT s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, MarkParsing d m) => MarkParsing d (StateT s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, MarkParsing d m, Monoid w) => MarkParsing d (WriterT w m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, MarkParsing d m, Monoid w) => MarkParsing d (WriterT w m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, MarkParsing d m, Monoid w) => MarkParsing d (RWST r w s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators
(MonadPlus m, MarkParsing d m, Monoid w) => MarkParsing d (RWST r w s m)Defined in trifecta-2.1.4 · Text.Trifecta.Combinators