Text.Chatty.Expansion.History

Documentation

newtype HistoryT m a

Constructors

History

Fields

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

Instances

MonadTrans HistoryT

Monad m => Monad (HistoryT m)

Monad m => Functor (HistoryT m)

MonadIO m => MonadIO (HistoryT m)

MonadRandom m0 => MonadRandom (HistoryT m0)

MonadClock m0 => MonadClock (HistoryT m0)

MonadFinalizer m0 => MonadFinalizer (HistoryT m0)

MonadScanner m0 => MonadScanner (HistoryT m0)

MonadPrinter m0 => MonadPrinter (HistoryT m0)

MonadSpawn m0 => MonadSpawn (HistoryT m0)

ExtendedPrinter m0 => ExtendedPrinter (HistoryT m0)

MonadExpand m => MonadExpand (HistoryT m)

ExpanderEnv m0 => ExpanderEnv (HistoryT m0)

Monad m => HistoryEnv (HistoryT m)

class Monad he => HistoryEnv he where

Methods

mcounth :: he Int

mgeth :: Int -> he String

mputh :: String -> he ()

Instances

HistoryEnv m0 => HistoryEnv (HandleCloserT m0)

HistoryEnv m0 => HistoryEnv (InRedirT m0)

HistoryEnv m0 => HistoryEnv (QuietT m0)

HistoryEnv m0 => HistoryEnv (HereStringT m0)

HistoryEnv m0 => HistoryEnv (RecorderT m0)

HistoryEnv m0 => HistoryEnv (OutRedirT m0)

HistoryEnv m0 => HistoryEnv (DeafT m0)

HistoryEnv m0 => HistoryEnv (SpawnOverlayT m0)

HistoryEnv m0 => HistoryEnv (HtmlPrinterT m0)

HistoryEnv m0 => HistoryEnv (AnsiPrinterT m0)

HistoryEnv m0 => HistoryEnv (ExpanderT m0)

Monad m => HistoryEnv (HistoryT m)

expandHist :: HistoryEnv h => String -> h String

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