Text.Parsix.Combinators

Documentation

class Parsing m => SliceParsing m where

Minimal complete definition

slicedWith

Methods

slicedWith :: (a -> Text -> b) -> m a -> m b

position :: m Position

position :: (MonadTrans t, Monad n, SliceParsing n, m ~ t n) => m Position

Instances

SliceParsing Parser

Methods

slicedWith :: (a -> Text -> b) -> Parser a -> Parser b

position :: Parser Position

(SliceParsing m, MonadPlus m) => SliceParsing (StateT s m)

Methods

slicedWith :: (a -> Text -> b) -> StateT s m a -> StateT s m b

position :: StateT s m Position

(SliceParsing m, MonadPlus m) => SliceParsing (StateT s m)

Methods

slicedWith :: (a -> Text -> b) -> StateT s m a -> StateT s m b

position :: StateT s m Position

(SliceParsing m, MonadPlus m, Monoid w) => SliceParsing (WriterT w m)

Methods

slicedWith :: (a -> Text -> b) -> WriterT w m a -> WriterT w m b

position :: WriterT w m Position

(SliceParsing m, MonadPlus m, Monoid w) => SliceParsing (WriterT w m)

Methods

slicedWith :: (a -> Text -> b) -> WriterT w m a -> WriterT w m b

position :: WriterT w m Position

(SliceParsing m, MonadPlus m) => SliceParsing (IdentityT * m)

Methods

slicedWith :: (a -> Text -> b) -> IdentityT * m a -> IdentityT * m b

position :: IdentityT * m Position

(SliceParsing m, MonadPlus m) => SliceParsing (ReaderT * e m)

Methods

slicedWith :: (a -> Text -> b) -> ReaderT * e m a -> ReaderT * e m b

position :: ReaderT * e m Position

(SliceParsing m, MonadPlus m, Monoid w) => SliceParsing (RWST r w s m)

Methods

slicedWith :: (a -> Text -> b) -> RWST r w s m a -> RWST r w s m b

position :: RWST r w s m Position

(SliceParsing m, MonadPlus m, Monoid w) => SliceParsing (RWST r w s m)

Methods

slicedWith :: (a -> Text -> b) -> RWST r w s m a -> RWST r w s m b

position :: RWST r w s m Position

sliced :: SliceParsing m => m a -> m Text

class Parsing m => RecoveryParsing m where

Minimal complete definition

withRecovery

Methods

withRecovery :: (ErrorInfo -> m a) -> m a -> m a

Instances

RecoveryParsing Parser

Methods

withRecovery :: (ErrorInfo -> Parser a) -> Parser a -> Parser a

(RecoveryParsing m, MonadPlus m) => RecoveryParsing (StateT s m)

Methods

withRecovery :: (ErrorInfo -> StateT s m a) -> StateT s m a -> StateT s m a

(RecoveryParsing m, MonadPlus m) => RecoveryParsing (StateT s m)

Methods

withRecovery :: (ErrorInfo -> StateT s m a) -> StateT s m a -> StateT s m a

(RecoveryParsing m, MonadPlus m, Monoid w) => RecoveryParsing (WriterT w m)

Methods

withRecovery :: (ErrorInfo -> WriterT w m a) -> WriterT w m a -> WriterT w m a

(RecoveryParsing m, MonadPlus m, Monoid w) => RecoveryParsing (WriterT w m)

Methods

withRecovery :: (ErrorInfo -> WriterT w m a) -> WriterT w m a -> WriterT w m a

(RecoveryParsing m, MonadPlus m) => RecoveryParsing (IdentityT * m)

Methods

withRecovery :: (ErrorInfo -> IdentityT * m a) -> IdentityT * m a -> IdentityT * m a

(RecoveryParsing m, MonadPlus m) => RecoveryParsing (ReaderT * e m)

Methods

withRecovery :: (ErrorInfo -> ReaderT * e m a) -> ReaderT * e m a -> ReaderT * e m a

(RecoveryParsing m, MonadPlus m, Monoid w) => RecoveryParsing (RWST r w s m)

Methods

withRecovery :: (ErrorInfo -> RWST r w s m a) -> RWST r w s m a -> RWST r w s m a

(RecoveryParsing m, MonadPlus m, Monoid w) => RecoveryParsing (RWST r w s m)

Methods

withRecovery :: (ErrorInfo -> RWST r w s m a) -> RWST r w s m a -> RWST r w s m a

careted :: (SliceParsing m, Applicative m) => m a -> m (Position, a)

spanned :: (SliceParsing m, Applicative m) => m a -> m (Span, a)

Low-level queries

input :: Parser Text

highlights :: Parser Highlights