Safe Haskell	Safe
Language	Haskell2010

Text.Chatty.Expansion.History

Documentation

newtype HistoryT m a Source #

Constructors

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

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 Methods cbracket :: Bool -> HistoryT m a -> HistoryT m a Source # cstart :: Bool -> HistoryT m () Source # cfin :: Bool -> HistoryT m () Source # cprint :: Bool -> String -> HistoryT m () Source # cthis :: HistoryT m Bool Source #
ChChannelPrinter Int m => ChChannelPrinter Int (HistoryT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods cbracket :: Int -> HistoryT m a -> HistoryT m a Source # cstart :: Int -> HistoryT m () Source # cfin :: Int -> HistoryT m () Source # cprint :: Int -> String -> HistoryT m () Source # cthis :: HistoryT m Int Source #
ChChannelPrinter Handle m => ChChannelPrinter Handle (HistoryT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods cbracket :: Handle -> HistoryT m a -> HistoryT m a Source # cstart :: Handle -> HistoryT m () Source # cfin :: Handle -> HistoryT m () Source # cprint :: Handle -> String -> HistoryT m () Source # cthis :: HistoryT m Handle Source #
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 Methods expand :: String -> HistoryT m String Source #
Monad m => ChHistoryEnv (HistoryT m) Source #
Instance details Defined in Text.Chatty.Expansion.History Methods mcounth :: HistoryT m Int Source # mgeth :: Int -> HistoryT m String Source # mputh :: String -> HistoryT m () Source #
ChExpanderEnv m => ChExpanderEnv (HistoryT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mgetv :: String -> HistoryT m EnvVar Source # mputv :: String -> EnvVar -> HistoryT m () Source #
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 Methods mprint :: String -> HistoryT m () Source # mnoecho :: String -> HistoryT m () Source # mflush :: HistoryT m () Source # mnomask :: String -> HistoryT m () Source #
ChExtendedPrinter m => ChExtendedPrinter (HistoryT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods ebracket :: Colour -> HistoryT m a -> HistoryT m a Source # eprint :: Colour -> String -> HistoryT m () Source # eprintLn :: Colour -> String -> HistoryT m () Source # enomask :: Colour -> String -> HistoryT m () Source # enomaskLn :: Colour -> String -> HistoryT m () Source # estart :: Colour -> HistoryT m () Source # efin :: HistoryT m () Source #
ChScanner m => ChScanner (HistoryT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mscan1 :: HistoryT m Char Source # mscanL :: HistoryT m String Source # mscannable :: HistoryT m Bool Source # mscanh :: HistoryT m (Maybe Handle) Source # mready :: HistoryT m Bool Source #
ChBufferedScanner m => ChBufferedScanner (HistoryT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mpeek1 :: HistoryT m Char Source # mprepend :: String -> HistoryT m () Source #

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 Methods mcounth :: AtomStoreT m Int Source # mgeth :: Int -> AtomStoreT m String Source # mputh :: String -> AtomStoreT m () Source #
ChHistoryEnv m => ChHistoryEnv (CounterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: CounterT m Int Source # mgeth :: Int -> CounterT m String Source # mputh :: String -> CounterT m () Source #
Monad m => ChHistoryEnv (HistoryT m) Source #
Instance details Defined in Text.Chatty.Expansion.History Methods mcounth :: HistoryT m Int Source # mgeth :: Int -> HistoryT m String Source # mputh :: String -> HistoryT m () Source #
ChHistoryEnv m => ChHistoryEnv (ExpanderT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: ExpanderT m Int Source # mgeth :: Int -> ExpanderT m String Source # mputh :: String -> ExpanderT m () Source #
ChHistoryEnv m => ChHistoryEnv (HandleCloserT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: HandleCloserT m Int Source # mgeth :: Int -> HandleCloserT m String Source # mputh :: String -> HandleCloserT m () Source #
ChHistoryEnv m => ChHistoryEnv (RecorderT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: RecorderT m Int Source # mgeth :: Int -> RecorderT m String Source # mputh :: String -> RecorderT m () Source #
ChHistoryEnv m => ChHistoryEnv (OutRedirT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: OutRedirT m Int Source # mgeth :: Int -> OutRedirT m String Source # mputh :: String -> OutRedirT m () Source #
ChHistoryEnv m => ChHistoryEnv (DeafT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: DeafT m Int Source # mgeth :: Int -> DeafT m String Source # mputh :: String -> DeafT m () Source #
ChHistoryEnv m => ChHistoryEnv (HtmlPrinterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: HtmlPrinterT m Int Source # mgeth :: Int -> HtmlPrinterT m String Source # mputh :: String -> HtmlPrinterT m () Source #
ChHistoryEnv m => ChHistoryEnv (AnsiPrinterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: AnsiPrinterT m Int Source # mgeth :: Int -> AnsiPrinterT m String Source # mputh :: String -> AnsiPrinterT m () Source #
ChHistoryEnv m => ChHistoryEnv (JoinerT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: JoinerT m Int Source # mgeth :: Int -> JoinerT m String Source # mputh :: String -> JoinerT m () Source #
ChHistoryEnv m => ChHistoryEnv (HandleFilterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: HandleFilterT m Int Source # mgeth :: Int -> HandleFilterT m String Source # mputh :: String -> HandleFilterT m () Source #
ChHistoryEnv m => ChHistoryEnv (BoolFilterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: BoolFilterT m Int Source # mgeth :: Int -> BoolFilterT m String Source # mputh :: String -> BoolFilterT m () Source #
ChHistoryEnv m => ChHistoryEnv (IntFilterT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: IntFilterT m Int Source # mgeth :: Int -> IntFilterT m String Source # mputh :: String -> IntFilterT m () Source #
ChHistoryEnv m => ChHistoryEnv (HandleArchiverT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: HandleArchiverT m Int Source # mgeth :: Int -> HandleArchiverT m String Source # mputh :: String -> HandleArchiverT m () Source #
ChHistoryEnv m => ChHistoryEnv (BoolArchiverT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: BoolArchiverT m Int Source # mgeth :: Int -> BoolArchiverT m String Source # mputh :: String -> BoolArchiverT m () Source #
ChHistoryEnv m => ChHistoryEnv (IntArchiverT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: IntArchiverT m Int Source # mgeth :: Int -> IntArchiverT m String Source # mputh :: String -> IntArchiverT m () Source #
ChHistoryEnv m => ChHistoryEnv (InRedirT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: InRedirT m Int Source # mgeth :: Int -> InRedirT m String Source # mputh :: String -> InRedirT m () Source #
ChHistoryEnv m => ChHistoryEnv (QuietT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: QuietT m Int Source # mgeth :: Int -> QuietT m String Source # mputh :: String -> QuietT m () Source #
ChHistoryEnv m => ChHistoryEnv (HereStringT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: HereStringT m Int Source # mgeth :: Int -> HereStringT m String Source # mputh :: String -> HereStringT m () Source #
ChHistoryEnv m => ChHistoryEnv (ScannerBufferT m) Source #
Instance details Defined in Text.Chatty.Interactor Methods mcounth :: ScannerBufferT m Int Source # mgeth :: Int -> ScannerBufferT m String Source # mputh :: String -> ScannerBufferT m () Source #

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

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