hs-functors-0.1.4.0: Functors from products of Haskell and its dual to Haskell

Safe HaskellNone
LanguageHaskell2010

Control.Comonad.Density

Documentation

data Density f a Source #

Constructors

Density (f b -> a) (f b) 
Instances
ComonadTrans (Density :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Comonad.Density

Methods

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

Functor (Density f) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Comonad.Density

Methods

copure :: Density f a -> a Source #

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

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

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