hs-functors-0.1.4.0: Functors from products of Haskell and its dual to Haskell
Control.Comonad.Density
data Density f a Source #
Constructors
Defined in Control.Comonad.Density
Methods
colift :: Comonad ɯ => Density ɯ a -> ɯ a Source #
fmap :: (a -> b) -> Density f a -> Density f b #
(<$) :: a -> Density f b -> Density f a #
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 #
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 #