Control.Effect.Handler.Heftia.Writer

Interpreter and elaborator for the Writer effect class. See README.md.

Documentation

elaborateWriterT :: forall w m es. (Monad m, Monoid w, TellI w <| es) => WriterS w (Fre es m) ~> Fre es m

elaborateWriterTransactionalT :: forall w m es. (Monad m, Monoid w, TellI w <| es) => WriterS w (Fre es m) ~> Fre es m

listenT :: (Monoid w, Monad m, TellI w <| es) => Fre es m a -> Fre es m (a, w)

confiscateT :: forall w m es a. (Monoid w, Monad m, TellI w <| es) => Fre es m a -> Fre es m (a, w)

interpretTell :: (Monad m, Monoid w) => Fre (TellI w ': es) m a -> Fre es m (w, a)

interpretTellT :: (Monad m, Monoid w) => Fre (TellI w ': es) m a -> WriterT w (Fre es m) a

interpretTellK :: (Monad m, Monoid w) => Fre (TellI w ': es) m a -> Fre es m (w, a)