Text.Chatty.Expansion.History

Documentation

newtype HistoryT m a

Constructors

History

Fields

runHistoryT :: [String] -> m (a, [String])

Instances

MonadTrans HistoryT

ChChannelPrinter Bool m0 => ChChannelPrinter Bool (HistoryT m)

ChChannelPrinter Int m0 => ChChannelPrinter Int (HistoryT m)

ChChannelPrinter Handle m0 => ChChannelPrinter Handle (HistoryT m)

Monad m => Monad (HistoryT m)

Monad m => Functor (HistoryT m)

ChAtoms m0 => ChAtoms (HistoryT m)

ChCounter m0 => ChCounter (HistoryT m)

MonadIO m => MonadIO (HistoryT m)

ChRandom m0 => ChRandom (HistoryT m)

ChClock m0 => ChClock (HistoryT m)

ChFinalizer m0 => ChFinalizer (HistoryT m)

ChScanner m0 => ChScanner (HistoryT m)

ChBufferedScanner m0 => ChBufferedScanner (HistoryT m)

ChPrinter m0 => ChPrinter (HistoryT m)

ChSpawn m0 => ChSpawn (HistoryT m)

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

ChExtendedPrinter m0 => ChExtendedPrinter (HistoryT m)

ChExpand m => ChExpand (HistoryT m)

ChExpanderEnv m0 => ChExpanderEnv (HistoryT m)

Monad m => ChHistoryEnv (HistoryT m)

CanMount m0 n0 => CanMount (HistoryT m) n

CanSave m0 n0 => CanSave (HistoryT m) n

CanLoad m0 n0 => CanLoad (HistoryT m) n

class Monad he => ChHistoryEnv he where

Methods

mcounth :: he Int

mgeth :: Int -> he String

mputh :: String -> he ()

Instances

ChHistoryEnv m0 => ChHistoryEnv (AtomStoreT m)

ChHistoryEnv m0 => ChHistoryEnv (CounterT m)

ChHistoryEnv m0 => ChHistoryEnv (HandleCloserT m)

ChHistoryEnv m0 => ChHistoryEnv (InRedirT m)

ChHistoryEnv m0 => ChHistoryEnv (QuietT m)

ChHistoryEnv m0 => ChHistoryEnv (HereStringT m)

ChHistoryEnv m0 => ChHistoryEnv (ScannerBufferT m)

ChHistoryEnv m0 => ChHistoryEnv (RecorderT m)

ChHistoryEnv m0 => ChHistoryEnv (OutRedirT m)

ChHistoryEnv m0 => ChHistoryEnv (DeafT m)

ChHistoryEnv m0 => ChHistoryEnv (SpawnOverlayT m)

ChHistoryEnv m0 => ChHistoryEnv (JoinerT m)

ChHistoryEnv m0 => ChHistoryEnv (HandleFilterT m)

ChHistoryEnv m0 => ChHistoryEnv (BoolFilterT m)

ChHistoryEnv m0 => ChHistoryEnv (IntFilterT m)

ChHistoryEnv m0 => ChHistoryEnv (HandleArchiverT m)

ChHistoryEnv m0 => ChHistoryEnv (BoolArchiverT m)

ChHistoryEnv m0 => ChHistoryEnv (IntArchiverT m)

ChHistoryEnv m0 => ChHistoryEnv (NullFsT m)

ChHistoryEnv m0 => ChHistoryEnv (ExpanderT m)

Monad m => ChHistoryEnv (HistoryT m)

ChHistoryEnv m0 => ChHistoryEnv (HtmlPrinterT m)

ChHistoryEnv m0 => ChHistoryEnv (AnsiPrinterT m)

expandHist :: ChHistoryEnv h => String -> h String

withHistory :: Monad m => HistoryT m a -> m a