monad-ran-0.0.5: Implementations of common monads and monad transformers as right-kan extensions Source code Contents Index

Control.Monad.Ran.Codensity

Documentation

newtype Codensity f a Source

Constructors Codensity getCodensity :: forall o. (a -> f o) -> f o Instances MonadTrans Codensity RanIso f f (Codensity f) Monad (Codensity f) Functor (Codensity f) Applicative (Codensity f)

runCodensity :: Monad f => Codensity f a -> f a Source

runCodensityApp :: Applicative f => Codensity f a -> f a Source

Produced by Haddock version 2.3.0