morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Codensity

Documentation

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

Constructors

Codensity 

Fields

Instances
Covariant (Codensity t b) Source # 
Instance details

Defined in Data.Functor.Codensity

Methods

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

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

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

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

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

Pointable (Codensity t b) Source # 
Instance details

Defined in Data.Functor.Codensity

Methods

point :: a -> Codensity t b a Source #