Control.Comonad.Density

Documentation

data Density f a

Constructors

Density (f b -> a) (f b)

Instances

ComonadTrans (Density :: (Type -> Type) -> Type -> Type)

Defined in Control.Comonad.Density

Methods

colift :: Comonad ɯ => Density ɯ a -> ɯ a

Functor (Density f)

Defined in Control.Comonad.Density

Methods

fmap :: (a -> b) -> Density f a -> Density f b

(<$) :: a -> Density f b -> Density f a

Applicative f => Applicative (Density f)

Defined in Control.Comonad.Density

Methods

pure :: a -> Density f a

(<*>) :: Density f (a -> b) -> Density f a -> Density f b

liftA2 :: (a -> b -> c) -> Density f a -> Density f b -> Density f c

(*>) :: Density f a -> Density f b -> Density f b

(<*) :: Density f a -> Density f b -> Density f a

Comonad (Density f)

Defined in Control.Comonad.Density

Methods

copure :: Density f a -> a

cut :: Density f a -> Density f (Density f a)

(<<=) :: (Density f a -> b) -> Density f a -> Density f b

lift :: Comonad ɯ => ɯ a -> Density ɯ a