| Safe Haskell | Safe-Inferred |
|---|
Chatty.Printer
Documentation
class Monad m => MonadPrinter m whereSource
Instances
| MonadPrinter IO | |
| MonadPrinter m0 => MonadPrinter (HandleCloserT m0) | |
| MonadPrinter m0 => MonadPrinter (InRedirT m0) | |
| MonadPrinter m0 => MonadPrinter (QuietT m0) | |
| MonadPrinter m0 => MonadPrinter (HereStringT m0) | |
| Monad m => MonadPrinter (RecorderT m) | |
| MonadIO m => MonadPrinter (OutRedirT m) | |
| Monad m => MonadPrinter (DeafT m) | |
| MonadPrinter m0 => MonadPrinter (SpawnOverlayT m0) | |
| MonadPrinter m => MonadPrinter (HtmlPrinterT m) | |
| MonadPrinter m => MonadPrinter (AnsiPrinterT m) | |
| MonadPrinter m0 => MonadPrinter (ExpanderT m0) | |
| Monad m => MonadPrinter (StateT String m) |
Instances
| MonadTrans DeafT | |
| RedirectionTarget DiscardO DeafT a a | |
| Monad m => Monad (DeafT m) | |
| Functor m => Functor (DeafT m) | |
| MonadIO m => MonadIO (DeafT m) | |
| MonadRandom m0 => MonadRandom (DeafT m0) | |
| MonadClock m0 => MonadClock (DeafT m0) | |
| MonadFinalizer m0 => MonadFinalizer (DeafT m0) | |
| MonadScanner m0 => MonadScanner (DeafT m0) | |
| Monad m => MonadPrinter (DeafT m) | |
| MonadSpawn m0 => MonadSpawn (DeafT m0) | |
| MonadExpand m0 => MonadExpand (DeafT m0) | |
| ExpanderEnv m0 => ExpanderEnv (DeafT m0) |
Constructors
| OutRedir | |
Fields
| |
Instances
| MonadTrans OutRedirT | |
| RedirectionTarget FilePath OutRedirT a a | |
| Monad m => Monad (OutRedirT m) | |
| Monad m => Functor (OutRedirT m) | |
| MonadIO m => MonadIO (OutRedirT m) | |
| MonadRandom m0 => MonadRandom (OutRedirT m0) | |
| MonadClock m0 => MonadClock (OutRedirT m0) | |
| MonadFinalizer m0 => MonadFinalizer (OutRedirT m0) | |
| MonadScanner m0 => MonadScanner (OutRedirT m0) | |
| MonadIO m => MonadPrinter (OutRedirT m) | |
| MonadSpawn m0 => MonadSpawn (OutRedirT m0) | |
| MonadExpand m0 => MonadExpand (OutRedirT m0) | |
| ExpanderEnv m0 => ExpanderEnv (OutRedirT m0) |
runOutRedirT :: Functor m => OutRedirT m a -> Handle -> m aSource
runOutRedir :: OutRedir a -> Handle -> IO aSource
Constructors
| Recorder | |
Fields
| |
Instances
| MonadTrans RecorderT | |
| RedirectionTarget RecordO RecorderT a (a, Replayable) | |
| Monad m => Monad (RecorderT m) | |
| Monad m => Functor (RecorderT m) | |
| MonadIO m => MonadIO (RecorderT m) | |
| MonadRandom m0 => MonadRandom (RecorderT m0) | |
| MonadClock m0 => MonadClock (RecorderT m0) | |
| MonadFinalizer m0 => MonadFinalizer (RecorderT m0) | |
| MonadScanner m0 => MonadScanner (RecorderT m0) | |
| Monad m => MonadPrinter (RecorderT m) | |
| MonadSpawn m0 => MonadSpawn (RecorderT m0) | |
| MonadExpand m0 => MonadExpand (RecorderT m0) | |
| ExpanderEnv m0 => ExpanderEnv (RecorderT m0) |
replayM :: Monad m => m Replayable -> m StringSource
replay :: Replayable -> StringSource
runRecorder :: Recorder a -> (a, Replayable)Source
runRecorderT :: (Functor m, Monad m) => RecorderT m a -> m (a, Replayable)Source
mprintLn :: MonadPrinter m => String -> m ()Source
Constructors
| RecordO |
Instances
class RedirectionTarget t mt a r | t -> mt, t a -> r whereSource
Methods
(.>.) :: (Functor m, MonadIO m, MonadPrinter (mt m)) => mt m a -> t -> m rSource
(.>>.) :: (Functor m, MonadIO m, MonadPrinter (mt m)) => mt m a -> t -> m rSource
Instances