Module

Control.Monad.Codensity

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

Codensity monad.

#Codensity Source

newtype Codensity f a

Codensity monad.

Constructors

Codensity (forall b. (a -> f b) -> f b)

Instances

#unCodensity Source

unCodensity :: forall b a f. Codensity f a -> (a -> f b) -> f b

Unwrap a Codensity.

#liftCodensity Source

liftCodensity :: forall a f. Bind f => f a -> Codensity f a

#lowerCodensity Source

lowerCodensity :: forall a f. Applicative f => Codensity f a -> f a

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