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

ChBufferedScanner m0 => ChBufferedScanner (AtomStoreT m)

ChBufferedScanner m0 => ChBufferedScanner (CounterT m)

ChBufferedScanner m0 => ChBufferedScanner (HandleCloserT m)

Monad m => ChBufferedScanner (HereStringT m)

ChScanner m => ChBufferedScanner (ScannerBufferT m)

ChBufferedScanner m0 => ChBufferedScanner (RecorderT m)

ChBufferedScanner m0 => ChBufferedScanner (OutRedirT m)

ChBufferedScanner m0 => ChBufferedScanner (DeafT m)

ChBufferedScanner m0 => ChBufferedScanner (SpawnOverlayT m)

ChBufferedScanner m0 => ChBufferedScanner (NullFsT m)

ChBufferedScanner m0 => ChBufferedScanner (NullExpanderT m)

ChBufferedScanner m0 => ChBufferedScanner (ExpanderT m)

ChBufferedScanner m0 => ChBufferedScanner (HistoryT m)

ChBufferedScanner m0 => ChBufferedScanner (HtmlPrinterT m)

ChBufferedScanner m0 => ChBufferedScanner (AnsiPrinterT 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

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (ScannerBufferT m)

ChChannelPrinter Int m0 => ChChannelPrinter Int (ScannerBufferT m)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (ScannerBufferT m)

Monad m => Monad (ScannerBufferT m)

Monad m => Functor (ScannerBufferT m)

Monad m => Applicative (ScannerBufferT m)

ChAtoms m0 => ChAtoms (ScannerBufferT m)

ChCounter m0 => ChCounter (ScannerBufferT m)

MonadIO m => MonadIO (ScannerBufferT m)

ChRandom m0 => ChRandom (ScannerBufferT m)

ChClock m0 => ChClock (ScannerBufferT m)

ChFinalizer m0 => ChFinalizer (ScannerBufferT m)

ChScanner m => ChScanner (ScannerBufferT m)

ChScanner m => ChStackBufferedScanner (ScannerBufferT m)

ChScanner m => ChBufferedScanner (ScannerBufferT m)

ChPrinter m0 => ChPrinter (ScannerBufferT m)

ChSpawn m0 => ChSpawn (ScannerBufferT m)

(ChAtoms (ScannerBufferT m0), ChFilesystem m0) => ChFilesystem (ScannerBufferT m)

ChExtendedPrinter m0 => ChExtendedPrinter (ScannerBufferT m)

ChExpand m0 => ChExpand (ScannerBufferT m)

ChExpanderEnv m0 => ChExpanderEnv (ScannerBufferT m)

ChHistoryEnv m0 => ChHistoryEnv (ScannerBufferT m)

CanMount m0 n0 => CanMount (ScannerBufferT m) n

CanSave m0 n0 => CanSave (ScannerBufferT m) n

CanLoad m0 n0 => CanLoad (ScannerBufferT m) n