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 Source

type Indentation = Int Source

infIndentation :: Indentation Source