writer-cps-lens-0.1.0.1: Lens instances for the stricter CPS WriterT and RWST

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Trans.Writer.CPS.Lens

Contents

Orphan instances

Zoom m n s t => Zoom (WriterT w m) (WriterT w n) s t # 
Instance details

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) # 
Instance details

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

Instance details