Data.Functor.Codensity

Documentation

newtype Codensity (t :: * -> *) (b :: *) (a :: *)

Constructors

Codensity

Fields

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

Instances

Covariant (Codensity t b)

Defined in Data.Functor.Codensity

Methods

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

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

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

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

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

Pointable (Codensity t b)

Defined in Data.Functor.Codensity

Methods

point :: a -> Codensity t b a