Text.Chatty.Channel.Printer

Provides a printer class that offers several channels.

Documentation

class (ChPrinter m, Eq c) => ChChannelPrinter c m where

Typeclass for all printers that offer several channels.

Methods

cbracket :: c -> m a -> m a

Run the function with the given channel.

cstart :: c -> m ()

Switch to the given channel

cfin :: c -> m ()

Return to the previous channel. The argument is bogus (just for type inference).

cprint :: c -> String -> m ()

Print the string to the given channel.

cthis :: m c

Return the current channel.

Instances

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (HandleCloserT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (InRedirT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (QuietT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (HereStringT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (ScannerBufferT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (SpawnOverlayT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (NullExpanderT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (ExpanderT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (HistoryT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (HtmlPrinterT m0)

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (AnsiPrinterT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (HandleCloserT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (InRedirT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (QuietT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (HereStringT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (ScannerBufferT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (SpawnOverlayT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (NullExpanderT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (ExpanderT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (HistoryT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (HtmlPrinterT m0)

ChChannelPrinter Int m0 => ChChannelPrinter Int (AnsiPrinterT m0)

(Eq c, ChPrinter m) => ChChannelPrinter c (JoinerT m)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (HandleCloserT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (InRedirT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (QuietT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (HereStringT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (ScannerBufferT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (SpawnOverlayT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (NullExpanderT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (ExpanderT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (HistoryT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (HtmlPrinterT m0)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (AnsiPrinterT m0)

(Eq c, ChPrinter m) => ChChannelPrinter c (FilterT c m)

(Eq c, Monad m) => ChChannelPrinter c (ArchiverT c m)

newtype ArchiverT c m a

Catches all output on multiple channels.

Constructors

Archiver

Fields

runArchiverT' :: ([(c, [String])], [c]) -> m (a, ([(c, [String])], [c]))

Instances

(Eq c, Monad m) => ChChannelPrinter c (ArchiverT c m)

MonadTrans (ArchiverT c)

ChRandom m0 => ChRandom (HandleArchiverT m0)

ChRandom m0 => ChRandom (BoolArchiverT m0)

ChRandom m0 => ChRandom (IntArchiverT m0)

ChClock m0 => ChClock (HandleArchiverT m0)

ChClock m0 => ChClock (BoolArchiverT m0)

ChClock m0 => ChClock (IntArchiverT m0)

ChFinalizer m0 => ChFinalizer (HandleArchiverT m0)

ChFinalizer m0 => ChFinalizer (BoolArchiverT m0)

ChFinalizer m0 => ChFinalizer (IntArchiverT m0)

ChScanner m0 => ChScanner (HandleArchiverT m0)

ChScanner m0 => ChScanner (BoolArchiverT m0)

ChScanner m0 => ChScanner (IntArchiverT m0)

ChSpawn m0 => ChSpawn (HandleArchiverT m0)

ChSpawn m0 => ChSpawn (BoolArchiverT m0)

ChSpawn m0 => ChSpawn (IntArchiverT m0)

ChExpand m0 => ChExpand (HandleArchiverT m0)

ChExpand m0 => ChExpand (BoolArchiverT m0)

ChExpand m0 => ChExpand (IntArchiverT m0)

ChExpanderEnv m0 => ChExpanderEnv (HandleArchiverT m0)

ChExpanderEnv m0 => ChExpanderEnv (BoolArchiverT m0)

ChExpanderEnv m0 => ChExpanderEnv (IntArchiverT m0)

ChHistoryEnv m0 => ChHistoryEnv (HandleArchiverT m0)

ChHistoryEnv m0 => ChHistoryEnv (BoolArchiverT m0)

ChHistoryEnv m0 => ChHistoryEnv (IntArchiverT m0)

Monad m => Monad (ArchiverT c m)

Monad m => Functor (ArchiverT c m)

MonadIO m => MonadIO (ArchiverT c m)

(Eq c, Monad m) => ChPrinter (ArchiverT c m)

type IntArchiverT = ArchiverT Int

type BoolArchiverT = ArchiverT Bool

type HandleArchiverT = ArchiverT Handle

runArchiverT :: (Eq c, Monad m) => c -> ArchiverT c m a -> m (a, [(c, Replayable)])

newtype FilterT c m a

Forwards output only on a specific channel.

Constructors

Filter

Fields

runFilterT :: (c, [c]) -> m (a, [c])

Instances

(Eq c, ChPrinter m) => ChChannelPrinter c (FilterT c m)

MonadTrans (FilterT c)

ChRandom m0 => ChRandom (HandleFilterT m0)

ChRandom m0 => ChRandom (BoolFilterT m0)

ChRandom m0 => ChRandom (IntFilterT m0)

ChClock m0 => ChClock (HandleFilterT m0)

ChClock m0 => ChClock (BoolFilterT m0)

ChClock m0 => ChClock (IntFilterT m0)

ChFinalizer m0 => ChFinalizer (HandleFilterT m0)

ChFinalizer m0 => ChFinalizer (BoolFilterT m0)

ChFinalizer m0 => ChFinalizer (IntFilterT m0)

ChScanner m0 => ChScanner (HandleFilterT m0)

ChScanner m0 => ChScanner (BoolFilterT m0)

ChScanner m0 => ChScanner (IntFilterT m0)

ChSpawn m0 => ChSpawn (HandleFilterT m0)

ChSpawn m0 => ChSpawn (BoolFilterT m0)

ChSpawn m0 => ChSpawn (IntFilterT m0)

ChExpand m0 => ChExpand (HandleFilterT m0)

ChExpand m0 => ChExpand (BoolFilterT m0)

ChExpand m0 => ChExpand (IntFilterT m0)

ChExpanderEnv m0 => ChExpanderEnv (HandleFilterT m0)

ChExpanderEnv m0 => ChExpanderEnv (BoolFilterT m0)

ChExpanderEnv m0 => ChExpanderEnv (IntFilterT m0)

ChHistoryEnv m0 => ChHistoryEnv (HandleFilterT m0)

ChHistoryEnv m0 => ChHistoryEnv (BoolFilterT m0)

ChHistoryEnv m0 => ChHistoryEnv (IntFilterT m0)

Monad m => Monad (FilterT c m)

Monad m => Functor (FilterT c m)

MonadIO m => MonadIO (FilterT c m)

(Eq c, ChPrinter m) => ChPrinter (FilterT c m)

type IntFilterT = FilterT Int

type BoolFilterT = FilterT Bool

type HandleFilterT = FilterT Handle

newtype JoinerT m a

Joins all output regardless of its channel.

Constructors

Joiner

Fields

runJoinerT :: m a

Instances

MonadTrans JoinerT

(Eq c, ChPrinter m) => ChChannelPrinter c (JoinerT m)

Monad m => Monad (JoinerT m)

Functor m => Functor (JoinerT m)

MonadIO m => MonadIO (JoinerT m)

ChRandom m0 => ChRandom (JoinerT m0)

ChClock m0 => ChClock (JoinerT m0)

ChFinalizer m0 => ChFinalizer (JoinerT m0)

ChScanner m0 => ChScanner (JoinerT m0)

ChPrinter m => ChPrinter (JoinerT m)

ChSpawn m0 => ChSpawn (JoinerT m0)

ChExpand m0 => ChExpand (JoinerT m0)

ChExpanderEnv m0 => ChExpanderEnv (JoinerT m0)

ChHistoryEnv m0 => ChHistoryEnv (JoinerT m0)