Safe Haskell	None
Language	Haskell2010

Text.Trifecta.Indentation

Documentation

data IndentationRel #

Constructors

Eq
Any
Const Indentation
Ge
Gt

Instances

Eq IndentationRel
Instance details Defined in Text.Parser.Indentation.Implementation Methods (==) :: IndentationRel -> IndentationRel -> Bool # (/=) :: IndentationRel -> IndentationRel -> Bool #
Show IndentationRel
Instance details Defined in Text.Parser.Indentation.Implementation 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
Instance details Defined in Text.Parser.Indentation.Implementation Methods showsPrec :: Int -> IndentationState -> ShowS # show :: IndentationState -> String # showList :: [IndentationState] -> ShowS #

class IndentationParsing m where Source #

Minimal complete definition

localTokenMode, localIndentation, absoluteIndentation, ignoreAbsoluteIndentation

Methods

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

localIndentation :: IndentationRel -> m a -> m a Source #

absoluteIndentation :: m a -> m a Source #

ignoreAbsoluteIndentation :: m a -> m a Source #

localAbsoluteIndentation :: m a -> m a Source #

Instances

IndentationParsing i => IndentationParsing (StateT s i) Source #
Instance details Defined in Text.Trifecta.Indentation Methods localTokenMode :: (IndentationRel -> IndentationRel) -> StateT s i a -> StateT s i a Source # localIndentation :: IndentationRel -> StateT s i a -> StateT s i a Source # absoluteIndentation :: StateT s i a -> StateT s i a Source # ignoreAbsoluteIndentation :: StateT s i a -> StateT s i a Source # localAbsoluteIndentation :: StateT s i a -> StateT s i a Source #
IndentationParsing i => IndentationParsing (StateT s i) Source #
Instance details Defined in Text.Trifecta.Indentation Methods localTokenMode :: (IndentationRel -> IndentationRel) -> StateT s i a -> StateT s i a Source # localIndentation :: IndentationRel -> StateT s i a -> StateT s i a Source # absoluteIndentation :: StateT s i a -> StateT s i a Source # ignoreAbsoluteIndentation :: StateT s i a -> StateT s i a Source # localAbsoluteIndentation :: StateT s i a -> StateT s i a Source #
Monad m => IndentationParsing (IndentationParserT t m) Source #
Instance details Defined in Text.Trifecta.Indentation Methods localTokenMode :: (IndentationRel -> IndentationRel) -> IndentationParserT t m a -> IndentationParserT t m a Source # localIndentation :: IndentationRel -> IndentationParserT t m a -> IndentationParserT t m a Source # absoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a Source # ignoreAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a Source # localAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a Source #

data Token Source #

Instances

MarkParsing Delta m => MarkParsing Delta (IndentationParserT Token m) Source #
Instance details Defined in Text.Trifecta.Indentation Methods mark :: IndentationParserT Token m Delta # release :: Delta -> IndentationParserT Token m () #
DeltaParsing m => TokenParsing (IndentationParserT Token m) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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 Source #

Instances

MarkParsing Delta m => MarkParsing Delta (IndentationParserT Char m) Source #
Instance details Defined in Text.Trifecta.Indentation Methods mark :: IndentationParserT Char m Delta # release :: Delta -> IndentationParserT Char m () #
MarkParsing Delta m => MarkParsing Delta (IndentationParserT Token m) Source #
Instance details Defined in Text.Trifecta.Indentation Methods mark :: IndentationParserT Token m Delta # release :: Delta -> IndentationParserT Token m () #
MonadTrans (IndentationParserT t) Source #
Instance details Defined in Text.Trifecta.Indentation Methods lift :: Monad m => m a -> IndentationParserT t m a #
Monad m => Monad (IndentationParserT t m) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation Methods pure :: a -> IndentationParserT t m a # (<>) :: IndentationParserT t m (a -> b) -> IndentationParserT t m a -> IndentationParserT t m b # liftA2 :: (a -> b -> c) -> IndentationParserT t m a -> IndentationParserT t m b -> IndentationParserT t m c # (>) :: 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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 #
(LookAheadParsing m, MonadPlus m) => LookAheadParsing (IndentationParserT t m) Source #
Instance details Defined in Text.Trifecta.Indentation Methods lookAhead :: IndentationParserT t m a -> IndentationParserT t m a #
DeltaParsing m => CharParsing (IndentationParserT Char m) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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 #
(Parsing m, MonadPlus m) => Parsing (IndentationParserT t m) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation 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) Source #
Instance details Defined in Text.Trifecta.Indentation Methods localTokenMode :: (IndentationRel -> IndentationRel) -> IndentationParserT t m a -> IndentationParserT t m a Source # localIndentation :: IndentationRel -> IndentationParserT t m a -> IndentationParserT t m a Source # absoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a Source # ignoreAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a Source # localAbsoluteIndentation :: IndentationParserT t m a -> IndentationParserT t m a Source #

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

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

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