Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
wrapped' :: (Functor f, Profunctor p, Wrapped s) => p (Unwrapped s) (f (Unwrapped s)) -> p s (f s) Source #
unwrapped' :: (Functor f, Profunctor p, Wrapped s) => p s (f s) -> p (Unwrapped s) (f (Unwrapped s)) Source #
wrapping' :: (Functor f, Profunctor p, Wrapped s1) => (Unwrapped s2 -> s2) -> p (Unwrapped s1) (f (Unwrapped s1)) -> p s1 (f s1) Source #
unwrapping' :: (Functor f, Profunctor p, Wrapped s1) => (Unwrapped s2 -> s2) -> p s1 (f s1) -> p (Unwrapped s1) (f (Unwrapped s1)) Source #
wrapped :: (Functor f, Profunctor p, Rewrapped t s, Rewrapped s t) => p (Unwrapped s) (f (Unwrapped t)) -> p s (f t) Source #
unwrapped :: (Functor f, Profunctor p, Rewrapped t s, Rewrapped s t) => p t (f s) -> p (Unwrapped t) (f (Unwrapped s)) Source #
wrapping :: (Functor f, Profunctor p, Rewrapped t s1, Rewrapped s1 t) => (Unwrapped s2 -> s2) -> p (Unwrapped s1) (f (Unwrapped t)) -> p s1 (f t) Source #
unwrapping :: (Functor f, Profunctor p, Rewrapped t s1, Rewrapped s1 t) => (Unwrapped s2 -> s2) -> p t (f s1) -> p (Unwrapped t) (f (Unwrapped s1)) Source #