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

Defined in Text.Chatty.Printer

Methods

mprint :: String -> IO ()

mnoecho :: String -> IO ()

mflush :: IO ()

mnomask :: String -> IO ()

ChPrinter m => ChPrinter (AtomStoreT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> AtomStoreT m ()

mnoecho :: String -> AtomStoreT m ()

mflush :: AtomStoreT m ()

mnomask :: String -> AtomStoreT m ()

ChPrinter m => ChPrinter (CounterT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> CounterT m ()

mnoecho :: String -> CounterT m ()

mflush :: CounterT m ()

mnomask :: String -> CounterT m ()

ChPrinter m => ChPrinter (NullExpanderT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> NullExpanderT m ()

mnoecho :: String -> NullExpanderT m ()

mflush :: NullExpanderT m ()

mnomask :: String -> NullExpanderT m ()

ChPrinter m => ChPrinter (HistoryT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> HistoryT m ()

mnoecho :: String -> HistoryT m ()

mflush :: HistoryT m ()

mnomask :: String -> HistoryT m ()

ChPrinter m => ChPrinter (ExpanderT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> ExpanderT m ()

mnoecho :: String -> ExpanderT m ()

mflush :: ExpanderT m ()

mnomask :: String -> ExpanderT m ()

ChPrinter m => ChPrinter (HandleCloserT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> HandleCloserT m ()

mnoecho :: String -> HandleCloserT m ()

mflush :: HandleCloserT m ()

mnomask :: String -> HandleCloserT m ()

Monad m => ChPrinter (RecorderT m)

Defined in Text.Chatty.Printer

Methods

mprint :: String -> RecorderT m ()

mnoecho :: String -> RecorderT m ()

mflush :: RecorderT m ()

mnomask :: String -> RecorderT m ()

MonadIO m => ChPrinter (OutRedirT m)

Defined in Text.Chatty.Printer

Methods

mprint :: String -> OutRedirT m ()

mnoecho :: String -> OutRedirT m ()

mflush :: OutRedirT m ()

mnomask :: String -> OutRedirT m ()

Monad m => ChPrinter (DeafT m)

Defined in Text.Chatty.Printer

Methods

mprint :: String -> DeafT m ()

mnoecho :: String -> DeafT m ()

mflush :: DeafT m ()

mnomask :: String -> DeafT m ()

ChPrinter m => ChPrinter (HtmlPrinterT m)

Defined in Text.Chatty.Extended.HTML

Methods

mprint :: String -> HtmlPrinterT m ()

mnoecho :: String -> HtmlPrinterT m ()

mflush :: HtmlPrinterT m ()

mnomask :: String -> HtmlPrinterT m ()

ChPrinter m => ChPrinter (AnsiPrinterT m)

Defined in Text.Chatty.Extended.ANSI

Methods

mprint :: String -> AnsiPrinterT m ()

mnoecho :: String -> AnsiPrinterT m ()

mflush :: AnsiPrinterT m ()

mnomask :: String -> AnsiPrinterT m ()

ChPrinter m => ChPrinter (JoinerT m)

Defined in Text.Chatty.Channel.Printer

Methods

mprint :: String -> JoinerT m ()

mnoecho :: String -> JoinerT m ()

mflush :: JoinerT m ()

mnomask :: String -> JoinerT m ()

ChPrinter m => ChPrinter (InRedirT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> InRedirT m ()

mnoecho :: String -> InRedirT m ()

mflush :: InRedirT m ()

mnomask :: String -> InRedirT m ()

ChPrinter m => ChPrinter (QuietT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> QuietT m ()

mnoecho :: String -> QuietT m ()

mflush :: QuietT m ()

mnomask :: String -> QuietT m ()

ChPrinter m => ChPrinter (HereStringT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> HereStringT m ()

mnoecho :: String -> HereStringT m ()

mflush :: HereStringT m ()

mnomask :: String -> HereStringT m ()

ChPrinter m => ChPrinter (ScannerBufferT m)

Defined in Text.Chatty.Interactor

Methods

mprint :: String -> ScannerBufferT m ()

mnoecho :: String -> ScannerBufferT m ()

mflush :: ScannerBufferT m ()

mnomask :: String -> ScannerBufferT m ()

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

Defined in Text.Chatty.Channel.Printer

Methods

mprint :: String -> FilterT c m ()

mnoecho :: String -> FilterT c m ()

mflush :: FilterT c m ()

mnomask :: String -> FilterT c m ()

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

Defined in Text.Chatty.Channel.Printer

Methods

mprint :: String -> ArchiverT c m ()

mnoecho :: String -> ArchiverT c m ()

mflush :: ArchiverT c m ()

mnomask :: String -> 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

Defined in Text.Chatty.Printer

Methods

lift :: Monad m => m a -> DeafT m a

RedirectionTarget DiscardO DeafT a a

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (DeafT m)) => DeafT m a -> DiscardO -> m a

(.>>.) :: (Functor m, MonadIO m, ChPrinter (DeafT m)) => DeafT m a -> DiscardO -> m a

Monad m => Monad (DeafT m)

Defined in Text.Chatty.Printer

Methods

(>>=) :: DeafT m a -> (a -> DeafT m b) -> DeafT m b

(>>) :: DeafT m a -> DeafT m b -> DeafT m b

return :: a -> DeafT m a

Functor m => Functor (DeafT m)

Defined in Text.Chatty.Printer

Methods

fmap :: (a -> b) -> DeafT m a -> DeafT m b

(<$) :: a -> DeafT m b -> DeafT m a

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

Defined in Text.Chatty.Printer

Methods

pure :: a -> DeafT m a

(<*>) :: DeafT m (a -> b) -> DeafT m a -> DeafT m b

liftA2 :: (a -> b -> c) -> DeafT m a -> DeafT m b -> DeafT m c

(*>) :: DeafT m a -> DeafT m b -> DeafT m b

(<*) :: DeafT m a -> DeafT m b -> DeafT m a

MonadIO m => MonadIO (DeafT m)

Defined in Text.Chatty.Printer

Methods

liftIO :: IO a -> DeafT m a

ChAtoms m => ChAtoms (DeafT m)

Defined in Text.Chatty.Interactor

Methods

newAtom :: DeafT m (Atom v)

funAtom :: Atom b -> (b -> a) -> (b -> a -> b) -> DeafT m (Atom a)

funAtom2 :: Atom b -> Atom c -> ((b, c) -> a) -> ((b, c) -> a -> (b, c)) -> DeafT m (Atom a)

putAtom :: Atom v -> v -> DeafT m ()

getAtom :: Atom v -> DeafT m v

dispAtom :: Atom v -> DeafT m ()

cloneAtom :: Atom v -> DeafT m (Atom v)

ChCounter m => ChCounter (DeafT m)

Defined in Text.Chatty.Interactor

Methods

countOn :: DeafT m Int

ChExpand m => ChExpand (DeafT m)

Defined in Text.Chatty.Interactor

Methods

expand :: String -> DeafT m String

ChHistoryEnv m => ChHistoryEnv (DeafT m)

Defined in Text.Chatty.Interactor

Methods

mcounth :: DeafT m Int

mgeth :: Int -> DeafT m String

mputh :: String -> DeafT m ()

ChExpanderEnv m => ChExpanderEnv (DeafT m)

Defined in Text.Chatty.Interactor

Methods

mgetv :: String -> DeafT m EnvVar

mputv :: String -> EnvVar -> DeafT m ()

ChFinalizer m => ChFinalizer (DeafT m)

Defined in Text.Chatty.Interactor

Methods

mqfh :: Handle -> DeafT m ()

mqfhs :: [Handle] -> DeafT m ()

mfin :: DeafT m ()

Monad m => ChPrinter (DeafT m)

Defined in Text.Chatty.Printer

Methods

mprint :: String -> DeafT m ()

mnoecho :: String -> DeafT m ()

mflush :: DeafT m ()

mnomask :: String -> DeafT m ()

ChScanner m => ChScanner (DeafT m)

Defined in Text.Chatty.Interactor

Methods

mscan1 :: DeafT m Char

mscanL :: DeafT m String

mscannable :: DeafT m Bool

mscanh :: DeafT m (Maybe Handle)

mready :: DeafT m Bool

ChBufferedScanner m => ChBufferedScanner (DeafT m)

Defined in Text.Chatty.Interactor

Methods

mpeek1 :: DeafT m Char

mprepend :: String -> DeafT m ()

newtype OutRedirT m a

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

Constructors

OutRedir

Fields

• runOutRedirT :: Handle -> m a

Instances

MonadTrans OutRedirT

Defined in Text.Chatty.Printer

Methods

lift :: Monad m => m a -> OutRedirT m a

RedirectionTarget Handle OutRedirT a a

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> Handle -> m a

(.>>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> Handle -> m a

RedirectionTarget FilePath OutRedirT a a

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> FilePath -> m a

(.>>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> FilePath -> m a

Monad m => Monad (OutRedirT m)

Defined in Text.Chatty.Printer

Methods

(>>=) :: OutRedirT m a -> (a -> OutRedirT m b) -> OutRedirT m b

(>>) :: OutRedirT m a -> OutRedirT m b -> OutRedirT m b

return :: a -> OutRedirT m a

Monad m => Functor (OutRedirT m)

Defined in Text.Chatty.Printer

Methods

fmap :: (a -> b) -> OutRedirT m a -> OutRedirT m b

(<$) :: a -> OutRedirT m b -> OutRedirT m a

Monad m => Applicative (OutRedirT m)

Defined in Text.Chatty.Printer

Methods

pure :: a -> OutRedirT m a

(<*>) :: OutRedirT m (a -> b) -> OutRedirT m a -> OutRedirT m b

liftA2 :: (a -> b -> c) -> OutRedirT m a -> OutRedirT m b -> OutRedirT m c

(*>) :: OutRedirT m a -> OutRedirT m b -> OutRedirT m b

(<*) :: OutRedirT m a -> OutRedirT m b -> OutRedirT m a

MonadIO m => MonadIO (OutRedirT m)

Defined in Text.Chatty.Printer

Methods

liftIO :: IO a -> OutRedirT m a

ChAtoms m => ChAtoms (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

newAtom :: OutRedirT m (Atom v)

funAtom :: Atom b -> (b -> a) -> (b -> a -> b) -> OutRedirT m (Atom a)

funAtom2 :: Atom b -> Atom c -> ((b, c) -> a) -> ((b, c) -> a -> (b, c)) -> OutRedirT m (Atom a)

putAtom :: Atom v -> v -> OutRedirT m ()

getAtom :: Atom v -> OutRedirT m v

dispAtom :: Atom v -> OutRedirT m ()

cloneAtom :: Atom v -> OutRedirT m (Atom v)

ChCounter m => ChCounter (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

countOn :: OutRedirT m Int

ChExpand m => ChExpand (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

expand :: String -> OutRedirT m String

ChHistoryEnv m => ChHistoryEnv (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

mcounth :: OutRedirT m Int

mgeth :: Int -> OutRedirT m String

mputh :: String -> OutRedirT m ()

ChExpanderEnv m => ChExpanderEnv (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

mgetv :: String -> OutRedirT m EnvVar

mputv :: String -> EnvVar -> OutRedirT m ()

ChFinalizer m => ChFinalizer (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

mqfh :: Handle -> OutRedirT m ()

mqfhs :: [Handle] -> OutRedirT m ()

mfin :: OutRedirT m ()

MonadIO m => ChPrinter (OutRedirT m)

Defined in Text.Chatty.Printer

Methods

mprint :: String -> OutRedirT m ()

mnoecho :: String -> OutRedirT m ()

mflush :: OutRedirT m ()

mnomask :: String -> OutRedirT m ()

ChScanner m => ChScanner (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

mscan1 :: OutRedirT m Char

mscanL :: OutRedirT m String

mscannable :: OutRedirT m Bool

mscanh :: OutRedirT m (Maybe Handle)

mready :: OutRedirT m Bool

ChBufferedScanner m => ChBufferedScanner (OutRedirT m)

Defined in Text.Chatty.Interactor

Methods

mpeek1 :: OutRedirT m Char

mprepend :: String -> OutRedirT m ()

type OutRedir = OutRedirT IO

OutRedirT on a blank IO monad

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' :: m (a, [String])

Instances

MonadTrans RecorderT

Defined in Text.Chatty.Printer

Methods

lift :: Monad m => m a -> RecorderT m a

RedirectionTarget RecordO RecorderT a (a, Replayable)

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (a, Replayable)

(.>>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (a, Replayable)

Monad m => Monad (RecorderT m)

Defined in Text.Chatty.Printer

Methods

(>>=) :: RecorderT m a -> (a -> RecorderT m b) -> RecorderT m b

(>>) :: RecorderT m a -> RecorderT m b -> RecorderT m b

return :: a -> RecorderT m a

Monad m => Functor (RecorderT m)

Defined in Text.Chatty.Printer

Methods

fmap :: (a -> b) -> RecorderT m a -> RecorderT m b

(<$) :: a -> RecorderT m b -> RecorderT m a

Monad m => Applicative (RecorderT m)

Defined in Text.Chatty.Printer

Methods

pure :: a -> RecorderT m a

(<*>) :: RecorderT m (a -> b) -> RecorderT m a -> RecorderT m b

liftA2 :: (a -> b -> c) -> RecorderT m a -> RecorderT m b -> RecorderT m c

(*>) :: RecorderT m a -> RecorderT m b -> RecorderT m b

(<*) :: RecorderT m a -> RecorderT m b -> RecorderT m a

MonadIO m => MonadIO (RecorderT m)

Defined in Text.Chatty.Printer

Methods

liftIO :: IO a -> RecorderT m a

ChAtoms m => ChAtoms (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

newAtom :: RecorderT m (Atom v)

funAtom :: Atom b -> (b -> a) -> (b -> a -> b) -> RecorderT m (Atom a)

funAtom2 :: Atom b -> Atom c -> ((b, c) -> a) -> ((b, c) -> a -> (b, c)) -> RecorderT m (Atom a)

putAtom :: Atom v -> v -> RecorderT m ()

getAtom :: Atom v -> RecorderT m v

dispAtom :: Atom v -> RecorderT m ()

cloneAtom :: Atom v -> RecorderT m (Atom v)

ChCounter m => ChCounter (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

countOn :: RecorderT m Int

ChExpand m => ChExpand (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

expand :: String -> RecorderT m String

ChHistoryEnv m => ChHistoryEnv (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

mcounth :: RecorderT m Int

mgeth :: Int -> RecorderT m String

mputh :: String -> RecorderT m ()

ChExpanderEnv m => ChExpanderEnv (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

mgetv :: String -> RecorderT m EnvVar

mputv :: String -> EnvVar -> RecorderT m ()

ChFinalizer m => ChFinalizer (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

mqfh :: Handle -> RecorderT m ()

mqfhs :: [Handle] -> RecorderT m ()

mfin :: RecorderT m ()

Monad m => ChPrinter (RecorderT m)

Defined in Text.Chatty.Printer

Methods

mprint :: String -> RecorderT m ()

mnoecho :: String -> RecorderT m ()

mflush :: RecorderT m ()

mnomask :: String -> RecorderT m ()

ChScanner m => ChScanner (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

mscan1 :: RecorderT m Char

mscanL :: RecorderT m String

mscannable :: RecorderT m Bool

mscanh :: RecorderT m (Maybe Handle)

mready :: RecorderT m Bool

ChBufferedScanner m => ChBufferedScanner (RecorderT m)

Defined in Text.Chatty.Interactor

Methods

mpeek1 :: RecorderT m Char

mprepend :: String -> RecorderT m ()

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

Defined in Text.Chatty.Printer

Methods

showsPrec :: Int -> Replayable -> ShowS

show :: Replayable -> String

showList :: [Replayable] -> ShowS

RedirectionTarget RecordO RecorderT a (a, Replayable)

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (a, Replayable)

(.>>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (a, Replayable)

replay :: Replayable -> String

Replay a recorder state in a pure context.

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

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (DeafT m)) => DeafT m a -> DiscardO -> m a

(.>>.) :: (Functor m, MonadIO m, ChPrinter (DeafT m)) => DeafT m a -> DiscardO -> m a

data RecordO

Redirection target that records input.

Constructors

RecordO

Instances

RedirectionTarget RecordO RecorderT a (a, Replayable)

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (a, Replayable)

(.>>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (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

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> Handle -> m a

(.>>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> Handle -> m a

RedirectionTarget FilePath OutRedirT a a

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> FilePath -> m a

(.>>.) :: (Functor m, MonadIO m, ChPrinter (OutRedirT m)) => OutRedirT m a -> FilePath -> m a

RedirectionTarget DiscardO DeafT a a

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (DeafT m)) => DeafT m a -> DiscardO -> m a

(.>>.) :: (Functor m, MonadIO m, ChPrinter (DeafT m)) => DeafT m a -> DiscardO -> m a

RedirectionTarget RecordO RecorderT a (a, Replayable)

Defined in Text.Chatty.Printer

Methods

(.>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (a, Replayable)

(.>>.) :: (Functor m, MonadIO m, ChPrinter (RecorderT m)) => RecorderT m a -> RecordO -> m (a, Replayable)