lens-utils-1.2: Collection of missing lens utilities.

Safe HaskellNone
LanguageHaskell2010

Control.Lens.Wrapped.Utils

Documentation

wrapped' :: (Functor f, Wrapped s, Profunctor p) => p (Unwrapped s) (f (Unwrapped s)) -> p s (f s) Source

unwrapped' :: (Functor f, Wrapped s, Profunctor p) => p s (f s) -> p (Unwrapped s) (f (Unwrapped s)) Source

wrapping' :: (Functor f, Wrapped s, Profunctor p) => (Unwrapped s -> s) -> p (Unwrapped s) (f (Unwrapped s)) -> p s (f s) Source

unwrapping' :: (Functor f, Wrapped s, Profunctor p) => (Unwrapped s -> s) -> p s (f s) -> p (Unwrapped s) (f (Unwrapped s)) Source

wrapped :: (Functor f, Rewrapped s t, Rewrapped t s, Profunctor p) => p (Unwrapped s) (f (Unwrapped t)) -> p s (f t) Source

unwrapped :: (Functor f, Rewrapped t s, Rewrapped s t, Profunctor p) => p t (f s) -> p (Unwrapped t) (f (Unwrapped s)) Source

wrapping :: (Functor f, Rewrapped s t, Rewrapped t s, Profunctor p) => (Unwrapped s -> s) -> p (Unwrapped s) (f (Unwrapped t)) -> p s (f t) Source

unwrapping :: (Functor f, Rewrapped s t, Rewrapped t s, Profunctor p) => (Unwrapped s -> s) -> p t (f s) -> p (Unwrapped t) (f (Unwrapped s)) Source

wrap :: (MonadReader (Unwrapped t) m, Rewrapped t t) => m t Source

rewrap :: (Rewrapped s t, Rewrapped t s, (~) * (Unwrapped t) (Unwrapped s)) => s -> t Source