Data.Functor.Codensity

Documentation

data Codensity (t :: * -> *) (a :: *)

Constructors

Codensity

Fields

• codensity :: (a -> t b) -> t b

Instances

Covariant (Codensity t)

Defined in Data.Functor.Codensity

Methods

(<$>) :: (a -> b) -> Codensity t a -> Codensity t b

comap :: (a -> b) -> Codensity t a -> Codensity t b

(<$) :: a -> Codensity t b -> Codensity t a

($>) :: Codensity t a -> b -> Codensity t b

void :: Codensity t a -> Codensity t ()

Pointable (Codensity t)

Defined in Data.Functor.Codensity

Methods

point :: a -> Codensity t a