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

Defined in Text.Parsix.Combinators

Methods

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

position :: Parser Position

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

Defined in Text.Parsix.Combinators

Methods

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

position :: IdentityT m Position

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

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

Methods

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

position :: WriterT w m Position

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

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

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

Methods

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

Instances

RecoveryParsing Parser

Defined in Text.Parsix.Combinators

Methods

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

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

Defined in Text.Parsix.Combinators

Methods

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

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

Defined in Text.Parsix.Combinators

Methods

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

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

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

Methods

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

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

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

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)

Defined in Text.Parsix.Combinators

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