Text.Trifecta.Indentation

Documentation

data IndentationRel

Constructors

Eq

Any

Const Indentation

Ge

Gt

Instances

Eq IndentationRel

Show IndentationRel

type Indentation = Int

infIndentation :: Indentation

mkIndentationState :: Indentation -> Indentation -> Bool -> IndentationRel -> IndentationState

data IndentationState

Instances

Show IndentationState

class IndentationParsing m where

Minimal complete definition

localTokenMode, localIndentation, absoluteIndentation, ignoreAbsoluteIndentation

Methods

localTokenMode :: (IndentationRel -> IndentationRel) -> m a -> m a

localIndentation :: IndentationRel -> m a -> m a

absoluteIndentation :: m a -> m a

ignoreAbsoluteIndentation :: m a -> m a

localAbsoluteIndentation :: m a -> m a

Instances

IndentationParsing i => IndentationParsing (StateT s i)

IndentationParsing i => IndentationParsing (StateT s i)

Monad m => IndentationParsing (IndentationParserT t m)

data Token

Instances

MarkParsing Delta m => MarkParsing Delta (IndentationParserT Token m)

DeltaParsing m => TokenParsing (IndentationParserT Token m)

DeltaParsing m => CharParsing (IndentationParserT Token m)

DeltaParsing m => DeltaParsing (IndentationParserT Token m)

data IndentationParserT t m a

Instances

MarkParsing Delta m => MarkParsing Delta (IndentationParserT Char m)

MarkParsing Delta m => MarkParsing Delta (IndentationParserT Token m)

MonadTrans (IndentationParserT t)

Monad m => Monad (IndentationParserT t m)

Functor m => Functor (IndentationParserT t m)

Monad m => Applicative (IndentationParserT t m)

MonadPlus m => Alternative (IndentationParserT t m)

MonadPlus m => MonadPlus (IndentationParserT t m)

DeltaParsing m => TokenParsing (IndentationParserT Char m)

DeltaParsing m => TokenParsing (IndentationParserT Token m)

DeltaParsing m => CharParsing (IndentationParserT Char m)

DeltaParsing m => CharParsing (IndentationParserT Token m)

(LookAheadParsing m, MonadPlus m) => LookAheadParsing (IndentationParserT t m)

(Parsing m, MonadPlus m) => Parsing (IndentationParserT t m)

DeltaParsing m => DeltaParsing (IndentationParserT Char m)

DeltaParsing m => DeltaParsing (IndentationParserT Token m)

Monad m => IndentationParsing (IndentationParserT t m)

runIndentationParserT :: IndentationParserT t m a -> IndentationState -> m (a, IndentationState)

evalIndentationParserT :: Monad m => IndentationParserT t m a -> IndentationState -> m a

execIndentationParserT :: Monad m => IndentationParserT t m a -> IndentationState -> m IndentationState