Module

Control.Comonad.Density

Package: purescript-density-codensity
Repository: rightfold/purescript-density-codensity

Density comonad.

#DensityF Source

data DensityF f a b

Helper for existential quantification.

Constructors

DensityF (f b -> a) (f b)

#Density Source

newtype Density f a

Density comonad.

Constructors

Density (Exists (DensityF f a))

Instances

Newtype (Density f a) _
Functor (Density f)
(Apply f) => Apply (Density f)
(Applicative f) => Applicative (Density f)
Extend (Density f)
Comonad (Density f)
ComonadTrans Density

#mkDensity Source

mkDensity :: forall b a f. (f b -> a) -> f b -> Density f a

Alternative Density constructor.

#liftDensity Source

liftDensity :: forall a f. Comonad f => f a -> Density f a

#lowerDensity Source

lowerDensity :: forall a f. Comonad f => Density f a -> f a

Modules: Control.Comonad.Density; Control.Monad.Codensity