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.

Minimal complete definition

cstart, cfin, cthis

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

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

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

Monad m => Monad (ArchiverT c m)

Monad m => Functor (ArchiverT c m)

Monad m => Applicative (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)

Monad m => Monad (FilterT c m)

Monad m => Functor (FilterT c m)

Monad m => Applicative (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)

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

MonadIO m => MonadIO (JoinerT m)

ChPrinter m => ChPrinter (JoinerT m)