Text.Parsec.Indentation

Documentation

data IndentStream s

Constructors

IndentStream

Fields

indentationState :: !IndentationState

tokenStream :: !s

Instances

Show s => Show (IndentStream s)

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

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

Show IndentationRel

type Indentation = Int

infIndentation :: Indentation