Text.Chatty.Scanner

Provides a typeclass for all monads that may scan text.

Documentation

class Monad m => ChScanner m where

A typeclass for all monads that may read input.

Methods

mscan1 :: m Char

Read one single character

mscanL :: m String

Lazily read all the input.

mscannable :: m Bool

Input readable? (not EOF)

mscanh :: m (Maybe Handle)

Return FD handle, if available

mready :: m Bool

Input available yet?

Instances

ChScanner IO

ChScanner m0 => ChScanner (HandleCloserT m0)

MonadIO m => ChScanner (InRedirT m)

Monad m => ChScanner (QuietT m)

Monad m => ChScanner (HereStringT m)

ChScanner m => ChScanner (ScannerBufferT m)

ChScanner m0 => ChScanner (RecorderT m0)

ChScanner m0 => ChScanner (OutRedirT m0)

ChScanner m0 => ChScanner (DeafT m0)

ChScanner m0 => ChScanner (SpawnOverlayT m0)

ChScanner m0 => ChScanner (JoinerT m0)

ChScanner m0 => ChScanner (HandleFilterT m0)

ChScanner m0 => ChScanner (BoolFilterT m0)

ChScanner m0 => ChScanner (IntFilterT m0)

ChScanner m0 => ChScanner (HandleArchiverT m0)

ChScanner m0 => ChScanner (BoolArchiverT m0)

ChScanner m0 => ChScanner (IntArchiverT m0)

ChScanner m0 => ChScanner (NullExpanderT m0)

ChScanner m0 => ChScanner (ExpanderT m0)

ChScanner m0 => ChScanner (HistoryT m0)

ChScanner m0 => ChScanner (HtmlPrinterT m0)

ChScanner m0 => ChScanner (AnsiPrinterT m0)

Monad m => ChScanner (StateT String m)

newtype HereStringT m a

HereStringT holds a given string and uses it as input for the function (much like here-strings in the shell)

Constructors

HereString

Fields

runHereStringT :: String -> m (a, String)

Instances

MonadTrans HereStringT

RedirectionHeredoc String HereStringT a a

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (HereStringT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (HereStringT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (HereStringT m0)

Monad m => Monad (HereStringT m)

Monad m => Functor (HereStringT m)

MonadIO m => MonadIO (HereStringT m)

ChRandom m0 => ChRandom (HereStringT m0)

ChClock m0 => ChClock (HereStringT m0)

ChFinalizer m => ChFinalizer (HereStringT m)

Monad m => ChScanner (HereStringT m)

Monad m => ChBufferedScanner (HereStringT m)

ChPrinter m0 => ChPrinter (HereStringT m0)

ChSpawn m0 => ChSpawn (HereStringT m0)

ChExtendedPrinter m0 => ChExtendedPrinter (HereStringT m0)

ChExpand m0 => ChExpand (HereStringT m0)

ChExpanderEnv m0 => ChExpanderEnv (HereStringT m0)

ChHistoryEnv m0 => ChHistoryEnv (HereStringT m0)

newtype QuietT m a

QuietT does not convey any input (much like <devnull in the shell)

Constructors

Quiet

Fields

runQuietT :: m a

Instances

MonadTrans QuietT

RedirectionSource EmptyI QuietT a a

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (QuietT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (QuietT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (QuietT m0)

Monad m => Monad (QuietT m)

Functor m => Functor (QuietT m)

ChRandom m0 => ChRandom (QuietT m0)

ChClock m0 => ChClock (QuietT m0)

Monad m => ChScanner (QuietT m)

ChPrinter m0 => ChPrinter (QuietT m0)

ChSpawn m0 => ChSpawn (QuietT m0)

ChExtendedPrinter m0 => ChExtendedPrinter (QuietT m0)

ChExpand m0 => ChExpand (QuietT m0)

ChExpanderEnv m0 => ChExpanderEnv (QuietT m0)

ChHistoryEnv m0 => ChHistoryEnv (QuietT m0)

newtype InRedirT m a

InRedirT redirects all input to a given handle (much like <filename in the shell)

Constructors

InRedir

Fields

runInRedirT' :: Handle -> m (a, Handle)

Instances

MonadTrans InRedirT

RedirectionSource Handle InRedirT a a

RedirectionSource FilePath InRedirT a a

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (InRedirT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (InRedirT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (InRedirT m0)

Monad m => Monad (InRedirT m)

Monad m => Functor (InRedirT m)

MonadIO m => MonadIO (InRedirT m)

ChRandom m0 => ChRandom (InRedirT m0)

ChClock m0 => ChClock (InRedirT m0)

ChFinalizer m => ChFinalizer (InRedirT m)

MonadIO m => ChScanner (InRedirT m)

ChPrinter m0 => ChPrinter (InRedirT m0)

ChSpawn m0 => ChSpawn (InRedirT m0)

ChExtendedPrinter m0 => ChExtendedPrinter (InRedirT m0)

ChExpand m0 => ChExpand (InRedirT m0)

ChExpanderEnv m0 => ChExpanderEnv (InRedirT m0)

ChHistoryEnv m0 => ChHistoryEnv (InRedirT m0)

type InRedir = InRedirT (HandleCloserT IO)

InRedirT on an IO monad

runInRedirT :: Functor m => InRedirT m a -> Handle -> m a

Run InRedirT with handle

runInRedir :: InRedir a -> Handle -> IO a

Run InRedir with handle

runInRedirFT :: (Functor m, MonadIO m, ChFinalizer m) => InRedirT m a -> FilePath -> m a

Run InRedirT with a filename

runInRedirF :: InRedir a -> FilePath -> IO a

Run InRedir with a filename

mscanLn :: ChScanner m => m String

Line-scanning alternative to mscan1/L

mscanN :: ChScanner m => Int -> m String

Scan a fixed number of chars

data EmptyI

Redirection source that does not provide any output

Constructors

EmptyI

Instances

RedirectionSource EmptyI QuietT a a

class RedirectionSource t mt a r | t -> mt, t a -> r where

Class for all primitive redirection sources.

Methods

(.<.) :: (ChFinalizer m, Functor m, MonadIO m, ChScanner (mt m)) => mt m a -> t -> m r

Redirection

Instances

RedirectionSource Handle InRedirT a a

RedirectionSource FilePath InRedirT a a

RedirectionSource EmptyI QuietT a a

class RedirectionHeredoc t mt a r | t -> mt, t a -> r where

Class for all Here-Documents

Methods

(.<<.) :: (Functor m, ChScanner (mt m)) => mt m a -> t -> m r

Redirection

Instances

RedirectionHeredoc String HereStringT a a