Text.Chatty.Scanner.Buffered

Provides a typeclass for buffered scanners as well as a buffering monad transformer.

Documentation

class ChScanner m => ChBufferedScanner m where

Typeclass for all buffered ChScanners.

Methods

mpeek1 :: m Char

Scan the next character without removing it.

mprepend :: String -> m ()

Prepend the given character to the scannable input.

Instances

Monad m => ChBufferedScanner (HereStringT m)

ChScanner m => ChBufferedScanner (ScannerBufferT m)

Monad m => ChBufferedScanner (StateT String m)

class ChBufferedScanner m => ChStackBufferedScanner m where

Typeclass for all BufferedScanners with support for pushing and popping.

Methods

mpush :: m ()

Push the current input state to the stack.

mpop :: m ()

Pop the previous input state from the stack.

Instances

ChScanner m => ChStackBufferedScanner (ScannerBufferT m)

newtype ScannerBufferT m a

A buffering MonadScanner transformer that lets you use mpeek1 and mprepend everywhere.

Constructors

ScannerBuffer

Fields

runScannerBufferT :: [String] -> m (a, [String])

Instances

MonadTrans ScannerBufferT

Monad m => Monad (ScannerBufferT m)

Monad m => Functor (ScannerBufferT m)

Monad m => Applicative (ScannerBufferT m)

MonadIO m => MonadIO (ScannerBufferT m)

ChScanner m => ChScanner (ScannerBufferT m)

ChScanner m => ChStackBufferedScanner (ScannerBufferT m)

ChScanner m => ChBufferedScanner (ScannerBufferT m)