Text.Trifecta.Indentation

Documentation

data IndentationRel :: *

Constructors

Eq

Any

Const Indentation

Ge

Gt

Instances

Eq IndentationRel

Methods

(==) :: IndentationRel -> IndentationRel -> Bool

(/=) :: IndentationRel -> IndentationRel -> Bool

Show IndentationRel

Methods

showsPrec :: Int -> IndentationRel -> ShowS

show :: IndentationRel -> String

showList :: [IndentationRel] -> ShowS

type Indentation = Int

infIndentation :: Indentation

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

data IndentationState :: *

Instances

Show IndentationState

Methods

showsPrec :: Int -> IndentationState -> ShowS

show :: IndentationState -> String

showList :: [IndentationState] -> ShowS

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)

Methods

localTokenMode :: (IndentationRel -> IndentationRel) -> StateT s i a -> StateT s i a

localIndentation :: IndentationRel -> StateT s i a -> StateT s i a

absoluteIndentation :: StateT s i a -> StateT s i a

ignoreAbsoluteIndentation :: StateT s i a -> StateT s i a

localAbsoluteIndentation :: StateT s i a -> StateT s i a

IndentationParsing i => IndentationParsing (StateT s i)

Methods

localTokenMode :: (IndentationRel -> IndentationRel) -> StateT s i a -> StateT s i a

localIndentation :: IndentationRel -> StateT s i a -> StateT s i a

absoluteIndentation :: StateT s i a -> StateT s i a

ignoreAbsoluteIndentation :: StateT s i a -> StateT s i a

localAbsoluteIndentation :: StateT s i a -> StateT s i a

Monad m => IndentationParsing (IndentationParserT t m)

Methods

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

localIndentation :: IndentationRel -> IndentationParserT t m a -> IndentationParserT t m a

absoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a

ignoreAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a

localAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a

data Token

Instances

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

Methods

mark :: IndentationParserT Token m Delta

release :: Delta -> IndentationParserT Token m ()

DeltaParsing m => TokenParsing (IndentationParserT Token m)

Methods

someSpace :: IndentationParserT Token m ()

nesting :: IndentationParserT Token m a -> IndentationParserT Token m a

semi :: IndentationParserT Token m Char

highlight :: Highlight -> IndentationParserT Token m a -> IndentationParserT Token m a

token :: IndentationParserT Token m a -> IndentationParserT Token m a

DeltaParsing m => CharParsing (IndentationParserT Token m)

Methods

satisfy :: (Char -> Bool) -> IndentationParserT Token m Char

char :: Char -> IndentationParserT Token m Char

notChar :: Char -> IndentationParserT Token m Char

anyChar :: IndentationParserT Token m Char

string :: String -> IndentationParserT Token m String

text :: Text -> IndentationParserT Token m Text

DeltaParsing m => DeltaParsing (IndentationParserT Token m)

Methods

line :: IndentationParserT Token m ByteString

position :: IndentationParserT Token m Delta

slicedWith :: (a -> ByteString -> r) -> IndentationParserT Token m a -> IndentationParserT Token m r

rend :: IndentationParserT Token m Rendering

restOfLine :: IndentationParserT Token m ByteString

data IndentationParserT t m a

Instances

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

Methods

mark :: IndentationParserT Char m Delta

release :: Delta -> IndentationParserT Char m ()

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

Methods

mark :: IndentationParserT Token m Delta

release :: Delta -> IndentationParserT Token m ()

MonadTrans (IndentationParserT t)

Methods

lift :: Monad m => m a -> IndentationParserT t m a

Monad m => Monad (IndentationParserT t m)

Methods

(>>=) :: IndentationParserT t m a -> (a -> IndentationParserT t m b) -> IndentationParserT t m b

(>>) :: IndentationParserT t m a -> IndentationParserT t m b -> IndentationParserT t m b

return :: a -> IndentationParserT t m a

fail :: String -> IndentationParserT t m a

Functor m => Functor (IndentationParserT t m)

Methods

fmap :: (a -> b) -> IndentationParserT t m a -> IndentationParserT t m b

(<$) :: a -> IndentationParserT t m b -> IndentationParserT t m a

Monad m => Applicative (IndentationParserT t m)

Methods

pure :: a -> IndentationParserT t m a

(<*>) :: IndentationParserT t m (a -> b) -> IndentationParserT t m a -> IndentationParserT t m b

(*>) :: IndentationParserT t m a -> IndentationParserT t m b -> IndentationParserT t m b

(<*) :: IndentationParserT t m a -> IndentationParserT t m b -> IndentationParserT t m a

MonadPlus m => Alternative (IndentationParserT t m)

Methods

empty :: IndentationParserT t m a

(<|>) :: IndentationParserT t m a -> IndentationParserT t m a -> IndentationParserT t m a

some :: IndentationParserT t m a -> IndentationParserT t m [a]

many :: IndentationParserT t m a -> IndentationParserT t m [a]

MonadPlus m => MonadPlus (IndentationParserT t m)

Methods

mzero :: IndentationParserT t m a

mplus :: IndentationParserT t m a -> IndentationParserT t m a -> IndentationParserT t m a

DeltaParsing m => TokenParsing (IndentationParserT Char m)

Methods

someSpace :: IndentationParserT Char m ()

nesting :: IndentationParserT Char m a -> IndentationParserT Char m a

semi :: IndentationParserT Char m Char

highlight :: Highlight -> IndentationParserT Char m a -> IndentationParserT Char m a

token :: IndentationParserT Char m a -> IndentationParserT Char m a

DeltaParsing m => TokenParsing (IndentationParserT Token m)

Methods

someSpace :: IndentationParserT Token m ()

nesting :: IndentationParserT Token m a -> IndentationParserT Token m a

semi :: IndentationParserT Token m Char

highlight :: Highlight -> IndentationParserT Token m a -> IndentationParserT Token m a

token :: IndentationParserT Token m a -> IndentationParserT Token m a

DeltaParsing m => CharParsing (IndentationParserT Char m)

Methods

satisfy :: (Char -> Bool) -> IndentationParserT Char m Char

char :: Char -> IndentationParserT Char m Char

notChar :: Char -> IndentationParserT Char m Char

anyChar :: IndentationParserT Char m Char

string :: String -> IndentationParserT Char m String

text :: Text -> IndentationParserT Char m Text

DeltaParsing m => CharParsing (IndentationParserT Token m)

Methods

satisfy :: (Char -> Bool) -> IndentationParserT Token m Char

char :: Char -> IndentationParserT Token m Char

notChar :: Char -> IndentationParserT Token m Char

anyChar :: IndentationParserT Token m Char

string :: String -> IndentationParserT Token m String

text :: Text -> IndentationParserT Token m Text

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

Methods

lookAhead :: IndentationParserT t m a -> IndentationParserT t m a

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

Methods

try :: IndentationParserT t m a -> IndentationParserT t m a

(<?>) :: IndentationParserT t m a -> String -> IndentationParserT t m a

skipMany :: IndentationParserT t m a -> IndentationParserT t m ()

skipSome :: IndentationParserT t m a -> IndentationParserT t m ()

unexpected :: String -> IndentationParserT t m a

eof :: IndentationParserT t m ()

notFollowedBy :: Show a => IndentationParserT t m a -> IndentationParserT t m ()

DeltaParsing m => DeltaParsing (IndentationParserT Char m)

Methods

line :: IndentationParserT Char m ByteString

position :: IndentationParserT Char m Delta

slicedWith :: (a -> ByteString -> r) -> IndentationParserT Char m a -> IndentationParserT Char m r

rend :: IndentationParserT Char m Rendering

restOfLine :: IndentationParserT Char m ByteString

DeltaParsing m => DeltaParsing (IndentationParserT Token m)

Methods

line :: IndentationParserT Token m ByteString

position :: IndentationParserT Token m Delta

slicedWith :: (a -> ByteString -> r) -> IndentationParserT Token m a -> IndentationParserT Token m r

rend :: IndentationParserT Token m Rendering

restOfLine :: IndentationParserT Token m ByteString

Monad m => IndentationParsing (IndentationParserT t m)

Methods

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

localIndentation :: IndentationRel -> IndentationParserT t m a -> IndentationParserT t m a

absoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a

ignoreAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a

localAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a

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