Text.Parsec.Indentation

Documentation

data IndentStream s

Constructors

IndentStream

Fields

• indentationState :: !IndentationState
• tokenStream :: !s

Instances

Show s => Show (IndentStream s)

Methods

showsPrec :: Int -> IndentStream s -> ShowS

show :: IndentStream s -> String

showList :: [IndentStream s] -> ShowS

(Monad m, Stream s m (t, Indentation)) => Stream (IndentStream s) m (IndentationToken t)

Methods

uncons :: IndentStream s -> m (Maybe (IndentationToken t, IndentStream s))

type IndentationToken t = t

mkIndentStream :: Indentation -> Indentation -> Bool -> IndentationRel -> s -> IndentStream s

localState :: Monad m => LocalState (ParsecT (IndentStream s) u m a)

localStateUnlessAbsMode :: Monad m => LocalState (ParsecT (IndentStream s) u m a)

localTokenMode :: Monad m => (IndentationRel -> IndentationRel) -> ParsecT (IndentStream s) u m a -> ParsecT (IndentStream s) u m a

localIndentation :: Monad m => IndentationRel -> ParsecT (IndentStream s) u m a -> ParsecT (IndentStream s) u m a

absoluteIndentation :: Monad m => ParsecT (IndentStream s) u m a -> ParsecT (IndentStream s) u m a

ignoreAbsoluteIndentation :: Monad m => ParsecT (IndentStream s) u m a -> ParsecT (IndentStream s) u m a

localAbsoluteIndentation :: Monad m => ParsecT (IndentStream s) u m a -> ParsecT (IndentStream s) u m a

streamToList :: (Monad m, Stream s m t) => s -> m [t]

indentStreamParser :: Monad m => ParsecT s u m (t, Indentation) -> ParsecT (IndentStream s) u m (IndentationToken t)

consumed :: Monad m => (a -> m b) -> (a -> m b) -> Consumed (m a) -> m b

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