Control.Monad.Trans.Writer.CPS.Lens

Documentation

Orphan instances

Zoom m n s t => Zoom (WriterT w m) (WriterT w n) s t

Methods

zoom :: LensLike' (Zoomed (WriterT w m) c) t s -> WriterT w m c -> WriterT w n c

(Monoid w, Functor m) => Wrapped (WriterT w m a)

Associated Types

type Unwrapped (WriterT w m a) :: *

Methods

_Wrapped' :: Iso' (WriterT w m a) (Unwrapped (WriterT w m a))

(Monoid w, Functor m, (~) * t (WriterT w' m' a')) => Rewrapped (WriterT w m a) t

Unlike normal Wrapped instances, this doesn't simply peel off the newtype wrapper, as that will expose the hidden CPS w state. Based on code from Control.Lens.Wrapped