chatty-0.8.0.0: Some monad transformers and typeclasses for text in- and output abstraction.
Safe HaskellSafe
LanguageHaskell2010

Text.Chatty.Expansion.History

Documentation

newtype HistoryT m a Source #

Constructors

History 

Fields

Instances

Instances details
MonadTrans HistoryT Source # 
Instance details

Defined in Text.Chatty.Expansion.History

Methods

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

ChChannelPrinter Bool m => ChChannelPrinter Bool (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChChannelPrinter Int m => ChChannelPrinter Int (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChChannelPrinter Handle m => ChChannelPrinter Handle (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

Monad m => Monad (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Expansion.History

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 #

Monad m => Functor (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Expansion.History

Methods

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

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

Monad m => Applicative (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Expansion.History

Methods

pure :: a -> HistoryT m a #

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

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

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

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

MonadIO m => MonadIO (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Expansion.History

Methods

liftIO :: IO a -> HistoryT m a #

ChAtoms m => ChAtoms (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

Methods

newAtom :: HistoryT m (Atom v) #

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

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

putAtom :: Atom v -> v -> HistoryT m () #

getAtom :: Atom v -> HistoryT m v #

dispAtom :: Atom v -> HistoryT m () #

cloneAtom :: Atom v -> HistoryT m (Atom v) #

ChCounter m => ChCounter (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

Methods

countOn :: HistoryT m Int #

ChExpand m => ChExpand (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Expansion.History

Monad m => ChHistoryEnv (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Expansion.History

ChExpanderEnv m => ChExpanderEnv (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChFinalizer m => ChFinalizer (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

Methods

mqfh :: Handle -> HistoryT m () Source #

mqfhs :: [Handle] -> HistoryT m () Source #

mfin :: HistoryT m () Source #

ChPrinter m => ChPrinter (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChExtendedPrinter m => ChExtendedPrinter (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChScanner m => ChScanner (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChBufferedScanner m => ChBufferedScanner (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

class Monad he => ChHistoryEnv he where Source #

Methods

mcounth :: he Int Source #

mgeth :: Int -> he String Source #

mputh :: String -> he () Source #

Instances

Instances details
ChHistoryEnv m => ChHistoryEnv (AtomStoreT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (CounterT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

Monad m => ChHistoryEnv (HistoryT m) Source # 
Instance details

Defined in Text.Chatty.Expansion.History

ChHistoryEnv m => ChHistoryEnv (ExpanderT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (HandleCloserT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (RecorderT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (OutRedirT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (DeafT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (HtmlPrinterT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (AnsiPrinterT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (JoinerT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (HandleFilterT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (BoolFilterT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (IntFilterT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (HandleArchiverT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (BoolArchiverT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (IntArchiverT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (InRedirT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (QuietT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (HereStringT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

ChHistoryEnv m => ChHistoryEnv (ScannerBufferT m) Source # 
Instance details

Defined in Text.Chatty.Interactor

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