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.

Minimal complete definition

mpeek1, mprepend

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)

Methods

mpeek1 :: HereStringT m Char

mprepend :: String -> HereStringT m ()

ChScanner m => ChBufferedScanner (ScannerBufferT m)

Methods

mpeek1 :: ScannerBufferT m Char

mprepend :: String -> ScannerBufferT m ()

Monad m => ChBufferedScanner (StateT String m)

Methods

mpeek1 :: StateT String m Char

mprepend :: String -> StateT String m ()

class ChBufferedScanner m => ChStackBufferedScanner m where

Typeclass for all BufferedScanners with support for pushing and popping.

Minimal complete definition

mpush, mpop

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)

Methods

mpush :: ScannerBufferT m ()

mpop :: 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

Methods

lift :: Monad m => m a -> ScannerBufferT m a

Monad m => Monad (ScannerBufferT m)

Methods

(>>=) :: ScannerBufferT m a -> (a -> ScannerBufferT m b) -> ScannerBufferT m b

(>>) :: ScannerBufferT m a -> ScannerBufferT m b -> ScannerBufferT m b

return :: a -> ScannerBufferT m a

fail :: String -> ScannerBufferT m a

Monad m => Functor (ScannerBufferT m)

Methods

fmap :: (a -> b) -> ScannerBufferT m a -> ScannerBufferT m b

(<$) :: a -> ScannerBufferT m b -> ScannerBufferT m a

Monad m => Applicative (ScannerBufferT m)

Methods

pure :: a -> ScannerBufferT m a

(<*>) :: ScannerBufferT m (a -> b) -> ScannerBufferT m a -> ScannerBufferT m b

(*>) :: ScannerBufferT m a -> ScannerBufferT m b -> ScannerBufferT m b

(<*) :: ScannerBufferT m a -> ScannerBufferT m b -> ScannerBufferT m a

MonadIO m => MonadIO (ScannerBufferT m)

Methods

liftIO :: IO a -> ScannerBufferT m a

ChScanner m => ChScanner (ScannerBufferT m)

Methods

mscan1 :: ScannerBufferT m Char

mscanL :: ScannerBufferT m String

mscannable :: ScannerBufferT m Bool

mscanh :: ScannerBufferT m (Maybe Handle)

mready :: ScannerBufferT m Bool

ChScanner m => ChStackBufferedScanner (ScannerBufferT m)

Methods

mpush :: ScannerBufferT m ()

mpop :: ScannerBufferT m ()

ChScanner m => ChBufferedScanner (ScannerBufferT m)

Methods

mpeek1 :: ScannerBufferT m Char

mprepend :: String -> ScannerBufferT m ()