Safe Haskell	Safe
Language	Haskell2010

Text.Chatty.Scanner.Buffered

Description

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

Synopsis

class ChScanner m => ChBufferedScanner m where
- mpeek1 :: m Char
- mprepend :: String -> m ()
class ChBufferedScanner m => ChStackBufferedScanner m where
- mpush :: m ()
- mpop :: m ()
newtype ScannerBufferT m a = ScannerBuffer {
- runScannerBufferT :: [String] -> m (a, [String])
}

Documentation

class ChScanner m => ChBufferedScanner m where Source #

Typeclass for all buffered ChScanners.

Methods

mpeek1 :: m Char Source #

Scan the next character without removing it.

mprepend :: String -> m () Source #

Prepend the given character to the scannable input.

Instances

Instances details

ChBufferedScanner m => ChBufferedScanner (AtomStoreT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: AtomStoreT m Char Source # mprepend :: String -> AtomStoreT m () Source #
ChBufferedScanner m => ChBufferedScanner (CounterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: CounterT m Char Source # mprepend :: String -> CounterT m () Source #
ChBufferedScanner m => ChBufferedScanner (NullExpanderT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: NullExpanderT m Char Source # mprepend :: String -> NullExpanderT m () Source #
ChBufferedScanner m => ChBufferedScanner (HistoryT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: HistoryT m Char Source # mprepend :: String -> HistoryT m () Source #
ChBufferedScanner m => ChBufferedScanner (ExpanderT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: ExpanderT m Char Source # mprepend :: String -> ExpanderT m () Source #
ChBufferedScanner m => ChBufferedScanner (HandleCloserT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: HandleCloserT m Char Source # mprepend :: String -> HandleCloserT m () Source #
ChBufferedScanner m => ChBufferedScanner (RecorderT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: RecorderT m Char Source # mprepend :: String -> RecorderT m () Source #
ChBufferedScanner m => ChBufferedScanner (OutRedirT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: OutRedirT m Char Source # mprepend :: String -> OutRedirT m () Source #
ChBufferedScanner m => ChBufferedScanner (DeafT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: DeafT m Char Source # mprepend :: String -> DeafT m () Source #
ChBufferedScanner m => ChBufferedScanner (HtmlPrinterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: HtmlPrinterT m Char Source # mprepend :: String -> HtmlPrinterT m () Source #
ChBufferedScanner m => ChBufferedScanner (AnsiPrinterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: AnsiPrinterT m Char Source # mprepend :: String -> AnsiPrinterT m () Source #
Monad m => ChBufferedScanner (HereStringT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods mpeek1 :: HereStringT m Char Source # mprepend :: String -> HereStringT m () Source #
ChScanner m => ChBufferedScanner (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods mpeek1 :: ScannerBufferT m Char Source # mprepend :: String -> ScannerBufferT m () Source #
Monad m => ChBufferedScanner (StateT String m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods mpeek1 :: StateT String m Char Source # mprepend :: String -> StateT String m () Source #

class ChBufferedScanner m => ChStackBufferedScanner m where Source #

Typeclass for all BufferedScanners with support for pushing and popping.

Methods

mpush :: m () Source #

Push the current input state to the stack.

mpop :: m () Source #

Pop the previous input state from the stack.

Instances

Instances details

ChScanner m => ChStackBufferedScanner (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods mpush :: ScannerBufferT m () Source # mpop :: ScannerBufferT m () Source #

newtype ScannerBufferT m a Source #

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

Constructors

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

Instances

Instances details

MonadTrans ScannerBufferT Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods lift :: Monad m => m a -> ScannerBufferT m a #
ChChannelPrinter Bool m => ChChannelPrinter Bool (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods cbracket :: Bool -> ScannerBufferT m a -> ScannerBufferT m a Source # cstart :: Bool -> ScannerBufferT m () Source # cfin :: Bool -> ScannerBufferT m () Source # cprint :: Bool -> String -> ScannerBufferT m () Source # cthis :: ScannerBufferT m Bool Source #
ChChannelPrinter Int m => ChChannelPrinter Int (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods cbracket :: Int -> ScannerBufferT m a -> ScannerBufferT m a Source # cstart :: Int -> ScannerBufferT m () Source # cfin :: Int -> ScannerBufferT m () Source # cprint :: Int -> String -> ScannerBufferT m () Source # cthis :: ScannerBufferT m Int Source #
ChChannelPrinter Handle m => ChChannelPrinter Handle (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods cbracket :: Handle -> ScannerBufferT m a -> ScannerBufferT m a Source # cstart :: Handle -> ScannerBufferT m () Source # cfin :: Handle -> ScannerBufferT m () Source # cprint :: Handle -> String -> ScannerBufferT m () Source # cthis :: ScannerBufferT m Handle Source #
Monad m => Monad (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered 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 #
Monad m => Functor (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods fmap :: (a -> b) -> ScannerBufferT m a -> ScannerBufferT m b # (<$) :: a -> ScannerBufferT m b -> ScannerBufferT m a #
Monad m => Applicative (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods pure :: a -> ScannerBufferT m a # (<>) :: ScannerBufferT m (a -> b) -> ScannerBufferT m a -> ScannerBufferT m b # liftA2 :: (a -> b -> c) -> ScannerBufferT m a -> ScannerBufferT m b -> ScannerBufferT m c # (>) :: ScannerBufferT m a -> ScannerBufferT m b -> ScannerBufferT m b # (<*) :: ScannerBufferT m a -> ScannerBufferT m b -> ScannerBufferT m a #
MonadIO m => MonadIO (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods liftIO :: IO a -> ScannerBufferT m a #
ChAtoms m => ChAtoms (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods newAtom :: ScannerBufferT m (Atom v) # funAtom :: Atom b -> (b -> a) -> (b -> a -> b) -> ScannerBufferT m (Atom a) # funAtom2 :: Atom b -> Atom c -> ((b, c) -> a) -> ((b, c) -> a -> (b, c)) -> ScannerBufferT m (Atom a) # putAtom :: Atom v -> v -> ScannerBufferT m () # getAtom :: Atom v -> ScannerBufferT m v # dispAtom :: Atom v -> ScannerBufferT m () # cloneAtom :: Atom v -> ScannerBufferT m (Atom v) #
ChCounter m => ChCounter (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods countOn :: ScannerBufferT m Int #
ChExpand m => ChExpand (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods expand :: String -> ScannerBufferT m String Source #
ChHistoryEnv m => ChHistoryEnv (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: ScannerBufferT m Int Source # mgeth :: Int -> ScannerBufferT m String Source # mputh :: String -> ScannerBufferT m () Source #
ChExpanderEnv m => ChExpanderEnv (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mgetv :: String -> ScannerBufferT m EnvVar Source # mputv :: String -> EnvVar -> ScannerBufferT m () Source #
ChFinalizer m => ChFinalizer (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mqfh :: Handle -> ScannerBufferT m () Source # mqfhs :: [Handle] -> ScannerBufferT m () Source # mfin :: ScannerBufferT m () Source #
ChPrinter m => ChPrinter (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mprint :: String -> ScannerBufferT m () Source # mnoecho :: String -> ScannerBufferT m () Source # mflush :: ScannerBufferT m () Source # mnomask :: String -> ScannerBufferT m () Source #
ChExtendedPrinter m => ChExtendedPrinter (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods ebracket :: Colour -> ScannerBufferT m a -> ScannerBufferT m a Source # eprint :: Colour -> String -> ScannerBufferT m () Source # eprintLn :: Colour -> String -> ScannerBufferT m () Source # enomask :: Colour -> String -> ScannerBufferT m () Source # enomaskLn :: Colour -> String -> ScannerBufferT m () Source # estart :: Colour -> ScannerBufferT m () Source # efin :: ScannerBufferT m () Source #
ChScanner m => ChScanner (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods mscan1 :: ScannerBufferT m Char Source # mscanL :: ScannerBufferT m String Source # mscannable :: ScannerBufferT m Bool Source # mscanh :: ScannerBufferT m (Maybe Handle) Source # mready :: ScannerBufferT m Bool Source #
ChScanner m => ChStackBufferedScanner (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods mpush :: ScannerBufferT m () Source # mpop :: ScannerBufferT m () Source #
ChScanner m => ChBufferedScanner (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Scanner.Buffered Methods mpeek1 :: ScannerBufferT m Char Source # mprepend :: String -> ScannerBufferT m () Source #