Text.Chatty.Printer

Provides a typeclass for all monads that may print text.

Documentation

class Monad m => ChPrinter m where

A typeclass for all monads that may output strings.

Minimal complete definition

mprint

Methods

mprint :: String -> m ()

Just print it!

mnoecho :: String -> m ()

Print it, except you are IO.

mflush :: m ()

Flush the buffer.

mnomask :: String -> m ()

Alternative to mprint that does not mask any characters (depends on the carrier).

Instances

ChPrinter IO

ChPrinter m0 => ChPrinter (AtomStoreT m)

ChPrinter m0 => ChPrinter (CounterT m)

ChPrinter m0 => ChPrinter (HandleCloserT m)

ChPrinter m0 => ChPrinter (InRedirT m)

ChPrinter m0 => ChPrinter (QuietT m)

ChPrinter m0 => ChPrinter (HereStringT m)

ChPrinter m0 => ChPrinter (ScannerBufferT m)

Monad m => ChPrinter (RecorderT m)

MonadIO m => ChPrinter (OutRedirT m)

Monad m => ChPrinter (DeafT m)

ChPrinter m0 => ChPrinter (SpawnOverlayT m)

ChPrinter m => ChPrinter (JoinerT m)

ChPrinter m0 => ChPrinter (NullFsT m)

ChAtoms m => ChPrinter (FilePrinterT m)

ChPrinter m0 => ChPrinter (NullExpanderT m)

ChPrinter m0 => ChPrinter (ExpanderT m)

ChPrinter m0 => ChPrinter (HistoryT m)

ChPrinter m => ChPrinter (HtmlPrinterT m)

ChPrinter m => ChPrinter (AnsiPrinterT m)

Monad m => ChPrinter (StateT String m)

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

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

newtype DeafT m a

DeafT discards all output (much like >/dev/null in the shell)

Constructors

Deaf

Fields

runDeafT :: m a

Instances

MonadTrans DeafT

RedirectionTarget DiscardO DeafT a a

Monad m => Monad (DeafT m)

Functor m => Functor (DeafT m)

ChAtoms m0 => ChAtoms (DeafT m)

ChCounter m0 => ChCounter (DeafT m)

MonadIO m => MonadIO (DeafT m)

ChRandom m0 => ChRandom (DeafT m)

ChClock m0 => ChClock (DeafT m)

ChFinalizer m0 => ChFinalizer (DeafT m)

ChScanner m0 => ChScanner (DeafT m)

ChBufferedScanner m0 => ChBufferedScanner (DeafT m)

Monad m => ChPrinter (DeafT m)

ChSpawn m0 => ChSpawn (DeafT m)

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

ChExpand m0 => ChExpand (DeafT m)

ChExpanderEnv m0 => ChExpanderEnv (DeafT m)

ChHistoryEnv m0 => ChHistoryEnv (DeafT m)

CanMount m0 n0 => CanMount (DeafT m) n

CanSave m0 n0 => CanSave (DeafT m) n

CanLoad m0 n0 => CanLoad (DeafT m) n

newtype OutRedirT m a

Redirects all output to a given handle (much like >filename in the shell)

Constructors

OutRedir

Fields

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

Instances

MonadTrans OutRedirT

RedirectionTarget Handle OutRedirT a a

RedirectionTarget FilePath OutRedirT a a

Monad m => Monad (OutRedirT m)

Monad m => Functor (OutRedirT m)

ChAtoms m0 => ChAtoms (OutRedirT m)

ChCounter m0 => ChCounter (OutRedirT m)

MonadIO m => MonadIO (OutRedirT m)

ChRandom m0 => ChRandom (OutRedirT m)

ChClock m0 => ChClock (OutRedirT m)

ChFinalizer m0 => ChFinalizer (OutRedirT m)

ChScanner m0 => ChScanner (OutRedirT m)

ChBufferedScanner m0 => ChBufferedScanner (OutRedirT m)

MonadIO m => ChPrinter (OutRedirT m)

ChSpawn m0 => ChSpawn (OutRedirT m)

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

ChExpand m0 => ChExpand (OutRedirT m)

ChExpanderEnv m0 => ChExpanderEnv (OutRedirT m)

ChHistoryEnv m0 => ChHistoryEnv (OutRedirT m)

CanMount m0 n0 => CanMount (OutRedirT m) n

CanSave m0 n0 => CanSave (OutRedirT m) n

CanLoad m0 n0 => CanLoad (OutRedirT m) n

type OutRedir = OutRedirT IO

OutRedirT on a blank IO monad

runOutRedirT :: Functor m => OutRedirT m a -> Handle -> m a

Run OutRedirT with a Handle

runOutRedir :: OutRedir a -> Handle -> IO a

Run OutRedir with a Handle

runOutRedirFT :: (Functor m, MonadIO m) => OutRedirT m a -> FilePath -> IOMode -> m a

Run OutRedirT with a FilePath

runOutRedirF :: OutRedir a -> FilePath -> IOMode -> IO a

Run OutRedir with a FilePath

newtype RecorderT m a

Catches all output (much like VAR=$(...) in the shell)

Constructors

Recorder

Fields

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

Instances

MonadTrans RecorderT

RedirectionTarget RecordO RecorderT a (a, Replayable)

Monad m => Monad (RecorderT m)

Monad m => Functor (RecorderT m)

ChAtoms m0 => ChAtoms (RecorderT m)

ChCounter m0 => ChCounter (RecorderT m)

MonadIO m => MonadIO (RecorderT m)

ChRandom m0 => ChRandom (RecorderT m)

ChClock m0 => ChClock (RecorderT m)

ChFinalizer m0 => ChFinalizer (RecorderT m)

ChScanner m0 => ChScanner (RecorderT m)

ChBufferedScanner m0 => ChBufferedScanner (RecorderT m)

Monad m => ChPrinter (RecorderT m)

ChSpawn m0 => ChSpawn (RecorderT m)

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

ChExpand m0 => ChExpand (RecorderT m)

ChExpanderEnv m0 => ChExpanderEnv (RecorderT m)

ChHistoryEnv m0 => ChHistoryEnv (RecorderT m)

CanMount m0 n0 => CanMount (RecorderT m) n

CanSave m0 n0 => CanSave (RecorderT m) n

CanLoad m0 n0 => CanLoad (RecorderT m) n

type Recorder = RecorderT Identity

RecorderT on the Identity

newtype Replayable

The recorder state. Use this together with replay, replayM or replay_.

Constructors

Replayable [String]

Instances

Show Replayable

RedirectionTarget RecordO RecorderT a (a, Replayable)

replayM :: Monad m => m Replayable -> m String

Replay a recorder state inside a Monad.

replay :: Replayable -> String

Replay a recorder state in a pure context.

replay_ :: Monad m => RecorderT m String

Replay the current recorder state without leaving the recorder.

runRecorder :: Recorder a -> (a, Replayable)

Run Recorder and also return its state.

runRecorderT :: (Functor m, Monad m) => RecorderT m a -> m (a, Replayable)

Run RecorderT and also return its state.

mprintLn :: ChPrinter m => String -> m ()

Line-terminating alternative to mprint

mnomaskLn :: ChPrinter m => String -> m ()

Line-terminating alternative to mnomask

data DiscardO

Redirection target that discards input.

Constructors

DiscardO

Instances

RedirectionTarget DiscardO DeafT a a

data RecordO

Redirection target that records input.

Constructors

RecordO

Instances

RedirectionTarget RecordO RecorderT a (a, Replayable)

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

Class for all redirection targets.

Minimal complete definition

(.>.)

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (mt m)) => mt m a -> t -> m r

Overwriting redirection.

(.>>.) :: (Functor m, MonadIO m, ChPrinter (mt m)) => mt m a -> t -> m r

Appending redirection.

Instances

RedirectionTarget Handle OutRedirT a a

RedirectionTarget FilePath OutRedirT a a

RedirectionTarget DiscardO DeafT a a

RedirectionTarget RecordO RecorderT a (a, Replayable)