Control.Monad.Skeleton.Internal

Documentation

data Cat k a b

Instances

Category k (Cat k k)

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 :: Cat k a b -> ((a ~ b) => r) -> (forall x. k a x -> Cat k x b -> r) -> r