Documentation

type IgnorantT m = QuietT (DeafT m)Source

type Ignorant = IgnorantT IdentitySource

type ChattyT m = HereStringT (RecorderT m)Source

type Chatty = ChattyT IdentitySource

runIgnorantT :: Monad m => IgnorantT m a -> m aSource

runIgnorant :: Ignorant a -> aSource

runChattyT :: (Monad m, Functor m) => ChattyT m a -> String -> m (a, String, Replayable)Source

runChatty :: Chatty a -> String -> (a, String, Replayable)Source

(.|.) :: (Monad m, Functor m) => RecorderT m a -> HereStringT m b -> m bSource

(.<$.) :: (Functor m, Monad m) => (String -> m b) -> RecorderT m a -> m bSource