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)

Monad m => Applicative (HistoryT m)

MonadIO m => MonadIO (HistoryT m)

ChExpand m => ChExpand (HistoryT m)

Monad m => ChHistoryEnv (HistoryT m)

class Monad he => ChHistoryEnv he where

Methods

mcounth :: he Int

mgeth :: Int -> he String

mputh :: String -> he ()

Instances

Monad m => ChHistoryEnv (HistoryT m)

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

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