Control.Lens.Utils.Wrapped

Documentation

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

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

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

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

unwrap' :: (MonadReader s m, Wrapped s) => m (Unwrapped s)

wrap' :: (MonadReader (Unwrapped s) m, Wrapped s) => m s

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

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

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

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

_unwrap :: (MonadReader s m, Rewrapped s s) => m (Unwrapped s)

_wrap :: (MonadReader (Unwrapped t) m, Rewrapped t t) => m t

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

wrappedM' :: (Functor f, Wrapped b, Wrapped s) => (Unwrapped s -> f (Unwrapped b)) -> s -> f b

wrap :: forall a. Coercible (Unwrapped a) a => Unwrapped a -> a

unwrap :: forall a. Coercible a (Unwrapped a) => a -> Unwrapped a