data-category-0.4: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainer[email protected]

Data.Category.Kleisli

Description

This is an attempt at the Kleisli category, and the construction of an adjunction for each monad.

Documentation

data Kleisli m a b whereSource

Constructors

Kleisli :: (Functor m, Dom m ~ ~>, Cod m ~ ~>) => Monad m -> Obj ~> b -> (a ~> (m :% b)) -> Kleisli m a b 

Instances

kleisliId :: (Functor m, Dom m ~ ~>, Cod m ~ ~>) => Monad m -> Obj ~> a -> Kleisli m a aSource

data KleisliAdjF m Source

Constructors

KleisliAdjF (Monad m) 

Instances

(Dom m ~ ~>, Cod m ~ ~>, Functor m) => Functor (KleisliAdjF m) 

data KleisliAdjG m Source

Constructors

KleisliAdjG (Monad m) 

Instances

(Dom m ~ ~>, Cod m ~ ~>, Functor m) => Functor (KleisliAdjG m) 

kleisliAdj :: (Functor m, Dom m ~ ~>, Cod m ~ ~>) => Monad m -> Adjunction (Kleisli m) ~> (KleisliAdjF m) (KleisliAdjG m)Source