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.

Minimal complete definition

mscan1, mscanL, mscannable, mready

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 (AtomStoreT m)

ChScanner m0 => ChScanner (CounterT m)

ChScanner m0 => ChScanner (HandleCloserT m)

MonadIO m => ChScanner (InRedirT m)

Monad m => ChScanner (QuietT m)

Monad m => ChScanner (HereStringT m)

ChScanner m => ChScanner (ScannerBufferT m)

ChScanner m0 => ChScanner (RecorderT m)

ChScanner m0 => ChScanner (OutRedirT m)

ChScanner m0 => ChScanner (DeafT m)

ChScanner m0 => ChScanner (SpawnOverlayT m)

ChScanner m0 => ChScanner (JoinerT m)

ChScanner m0 => ChScanner (HandleFilterT m)

ChScanner m0 => ChScanner (BoolFilterT m)

ChScanner m0 => ChScanner (IntFilterT m)

ChScanner m0 => ChScanner (HandleArchiverT m)

ChScanner m0 => ChScanner (BoolArchiverT m)

ChScanner m0 => ChScanner (IntArchiverT m)

ChScanner m0 => ChScanner (NullFsT m)

ChAtoms m => ChScanner (FileScannerT m)

ChScanner m0 => ChScanner (NullExpanderT m)

ChScanner m0 => ChScanner (ExpanderT m)

ChScanner m0 => ChScanner (HistoryT m)

ChScanner m0 => ChScanner (HtmlPrinterT m)

ChScanner m0 => ChScanner (AnsiPrinterT m)

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 m)

ChChannelPrinter Int m0 => ChChannelPrinter Int (HereStringT m)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (HereStringT m)

Monad m => Monad (HereStringT m)

Monad m => Functor (HereStringT m)

Monad m => Applicative (HereStringT m)

ChAtoms m0 => ChAtoms (HereStringT m)

ChCounter m0 => ChCounter (HereStringT m)

MonadIO m => MonadIO (HereStringT m)

ChRandom m0 => ChRandom (HereStringT m)

ChClock m0 => ChClock (HereStringT m)

ChFinalizer m => ChFinalizer (HereStringT m)

Monad m => ChScanner (HereStringT m)

Monad m => ChBufferedScanner (HereStringT m)

ChPrinter m0 => ChPrinter (HereStringT m)

ChSpawn m0 => ChSpawn (HereStringT m)

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

ChExtendedPrinter m0 => ChExtendedPrinter (HereStringT m)

ChExpand m0 => ChExpand (HereStringT m)

ChExpanderEnv m0 => ChExpanderEnv (HereStringT m)

ChHistoryEnv m0 => ChHistoryEnv (HereStringT m)

CanMount m0 n0 => CanMount (HereStringT m) n

CanSave m0 n0 => CanSave (HereStringT m) n

CanLoad m0 n0 => CanLoad (HereStringT m) n

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 m)

ChChannelPrinter Int m0 => ChChannelPrinter Int (QuietT m)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (QuietT m)

Monad m => Monad (QuietT m)

Functor m => Functor (QuietT m)

(Functor m, Monad m) => Applicative (QuietT m)

ChAtoms m0 => ChAtoms (QuietT m)

ChCounter m0 => ChCounter (QuietT m)

ChRandom m0 => ChRandom (QuietT m)

ChClock m0 => ChClock (QuietT m)

Monad m => ChScanner (QuietT m)

ChPrinter m0 => ChPrinter (QuietT m)

ChSpawn m0 => ChSpawn (QuietT m)

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

ChExtendedPrinter m0 => ChExtendedPrinter (QuietT m)

ChExpand m0 => ChExpand (QuietT m)

ChExpanderEnv m0 => ChExpanderEnv (QuietT m)

ChHistoryEnv m0 => ChHistoryEnv (QuietT m)

CanMount m0 n0 => CanMount (QuietT m) n

CanSave m0 n0 => CanSave (QuietT m) n

CanLoad m0 n0 => CanLoad (QuietT m) n

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 m)

ChChannelPrinter Int m0 => ChChannelPrinter Int (InRedirT m)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (InRedirT m)

Monad m => Monad (InRedirT m)

Monad m => Functor (InRedirT m)

Monad m => Applicative (InRedirT m)

ChAtoms m0 => ChAtoms (InRedirT m)

ChCounter m0 => ChCounter (InRedirT m)

MonadIO m => MonadIO (InRedirT m)

ChRandom m0 => ChRandom (InRedirT m)

ChClock m0 => ChClock (InRedirT m)

ChFinalizer m => ChFinalizer (InRedirT m)

MonadIO m => ChScanner (InRedirT m)

ChPrinter m0 => ChPrinter (InRedirT m)

ChSpawn m0 => ChSpawn (InRedirT m)

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

ChExtendedPrinter m0 => ChExtendedPrinter (InRedirT m)

ChExpand m0 => ChExpand (InRedirT m)

ChExpanderEnv m0 => ChExpanderEnv (InRedirT m)

ChHistoryEnv m0 => ChHistoryEnv (InRedirT m)

CanMount m0 n0 => CanMount (InRedirT m) n

CanSave m0 n0 => CanSave (InRedirT m) n

CanLoad m0 n0 => CanLoad (InRedirT m) n

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