morphisms-functors-0.1.7: Functors, theirs compositions and transformations
Data.Functor.Codensity
newtype Codensity (t :: * -> *) (b :: *) (a :: *) Source #
Constructors
Fields
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 #
point :: a -> Codensity t b a Source #