Control.Monad.Skeleton.Internal

Documentation

data Cat k a b where

Constructors

Leaf :: k a b -> Cat k a b

Tree :: Cat k a b -> Cat k b c -> Cat k a c

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