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

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

wrap' :: (MonadReader (Unwrapped s) m, Wrapped s) => m 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

unwrap :: (MonadReader s m, Rewrapped s s) => m (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