Documentation

_Reader1Reader2 :: forall (f1 :: Type -> Type) a b (f' :: Type -> Type) a' b' p f2. (Profunctor p, Functor f2) => p (Reader1T a f1 b) (f2 (Reader1T a' f' b')) -> p (Reader2T f1 a b) (f2 (Reader2T f' a' b')) Source #

_Reader2Reader1 :: forall a (f1 :: Type -> Type) b a' (f' :: Type -> Type) b' p f2. (Profunctor p, Functor f2) => p (Reader2T f1 a b) (f2 (Reader2T f' a' b')) -> p (Reader1T a f1 b) (f2 (Reader1T a' f' b')) Source #