chatty-0.7.0.1: Some monad transformers and typeclasses for abstraction of global dependencies.

Safe HaskellSafe
LanguageHaskell2010

Text.Chatty.Expansion.History

Documentation

newtype HistoryT m a Source #

Constructors

History 

Fields

Instances

MonadTrans HistoryT Source # 

Methods

lift :: Monad m => m a -> HistoryT m a #

Monad m => Monad (HistoryT m) Source # 

Methods

(>>=) :: HistoryT m a -> (a -> HistoryT m b) -> HistoryT m b #

(>>) :: HistoryT m a -> HistoryT m b -> HistoryT m b #

return :: a -> HistoryT m a #

fail :: String -> HistoryT m a #

Monad m => Functor (HistoryT m) Source # 

Methods

fmap :: (a -> b) -> HistoryT m a -> HistoryT m b #

(<$) :: a -> HistoryT m b -> HistoryT m a #

Monad m => Applicative (HistoryT m) Source # 

Methods

pure :: a -> HistoryT m a #

(<*>) :: HistoryT m (a -> b) -> HistoryT m a -> HistoryT m b #

(*>) :: HistoryT m a -> HistoryT m b -> HistoryT m b #

(<*) :: HistoryT m a -> HistoryT m b -> HistoryT m a #

MonadIO m => MonadIO (HistoryT m) Source # 

Methods

liftIO :: IO a -> HistoryT m a #

ChExpand m => ChExpand (HistoryT m) Source # 
Monad m => ChHistoryEnv (HistoryT m) Source # 

class Monad he => ChHistoryEnv he where Source #

Minimal complete definition

mcounth, mgeth, mputh

Methods

mcounth :: he Int Source #

mgeth :: Int -> he String Source #

mputh :: String -> he () Source #

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