Control.Lens.Utils.Wrapped

Documentation

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

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

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

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

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

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

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

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

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

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

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

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

rewrap :: ((~#) * * (Unwrapped t) (Unwrapped s), Rewrapped t s, Rewrapped s t) => 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