Documentation

data IndentStream s Source #

type IndentationToken t = t Source #

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

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

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

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

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

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

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

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

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

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

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

data IndentationRel :: * #

type Indentation = Int #

infIndentation :: Indentation #