Text.Trifecta.Parser.Mark

Documentation

class (MonadParser m, HasDelta d) => MonadMark d m | m -> d where

Methods

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

Instances

MonadMark d m => MonadMark d (IdentityT m)

MonadMark d m => MonadMark d (Language m)

(MonadMark d m, Monoid w) => MonadMark d (WriterT w m)

(MonadMark d m, Monoid w) => MonadMark d (WriterT w m)

MonadMark d m => MonadMark d (ReaderT e m)

MonadMark d m => MonadMark d (StateT s m)

MonadMark d m => MonadMark d (StateT s m)

MonadMark Delta (Parser r e)

(MonadMark d m, Monoid w) => MonadMark d (RWST r w s m)

(MonadMark d m, Monoid w) => MonadMark d (RWST r w s m)

MonadMark d m => MonadMark (LiterateMark d) (Literate m)

MonadMark d m => MonadMark (LayoutMark d) (Layout m)