monad-skeleton-0.1.4: Monads of program skeleta

Safe HaskellTrustworthy
LanguageHaskell2010

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 #