Documentation

data Cat k a b where #

transCat :: (forall x y. j x y -> k x y) -> Cat j a b -> Cat k a b #

(|>) :: Cat k a b -> k b c -> Cat k a c #

viewL :: forall k a b r. Cat k a b -> (k a b -> r) -> (forall x. k a x -> Cat k x b -> r) -> r #

transKleisli :: (m b -> n b) -> Kleisli m a b -> Kleisli n a b #