Control.Comonad

Documentation

class Functor ɯ => Comonad ɯ where

Minimal complete definition

copure, (cut | (<<=))

Methods

copure :: ɯ a -> a

cut :: ɯ a -> ɯ (ɯ a)

(<<=) :: (ɯ a -> b) -> ɯ a -> ɯ b infixr 1

Instances

Comonad Identity

Defined in Control.Comonad

Methods

copure :: Identity a -> a

cut :: Identity a -> Identity (Identity a)

(<<=) :: (Identity a -> b) -> Identity a -> Identity b

Comonad NonEmpty

Defined in Control.Comonad

Methods

copure :: NonEmpty a -> a

cut :: NonEmpty a -> NonEmpty (NonEmpty a)

(<<=) :: (NonEmpty a -> b) -> NonEmpty a -> NonEmpty b

Comonad ((,) a)

Defined in Control.Comonad

Methods

copure :: (a, a0) -> a0

cut :: (a, a0) -> (a, (a, a0))

(<<=) :: ((a, a0) -> b) -> (a, a0) -> (a, b)

Comonad (Arg a)

Defined in Control.Comonad

Methods

copure :: Arg a a0 -> a0

cut :: Arg a a0 -> Arg a (Arg a a0)

(<<=) :: (Arg a a0 -> b) -> Arg a a0 -> Arg a b

Functor f => Comonad (Cofree f)

Defined in Control.Comonad.Cofree

Methods

copure :: Cofree f a -> a

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

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

Comonad ɯ => Comonad (IdentityT ɯ)

Defined in Control.Comonad

Methods

copure :: IdentityT ɯ a -> a

cut :: IdentityT ɯ a -> IdentityT ɯ (IdentityT ɯ a)

(<<=) :: (IdentityT ɯ a -> b) -> IdentityT ɯ a -> IdentityT ɯ b

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

(Semigroup m, Monoid m) => Comonad ((->) m :: Type -> Type)

Defined in Control.Comonad

Methods

copure :: (m -> a) -> a

cut :: (m -> a) -> m -> (m -> a)

(<<=) :: ((m -> a) -> b) -> (m -> a) -> m -> b

(=>>) :: Comonad ɯ => ɯ a -> (ɯ a -> b) -> ɯ b infixl 1

(=>=) :: Comonad ɯ => (ɯ a -> b) -> (ɯ b -> c) -> ɯ a -> c infixr 1

(=<=) :: Comonad ɯ => (ɯ b -> c) -> (ɯ a -> b) -> ɯ a -> c infixr 1

wfix :: Comonad ɯ => (ɯ a -> a) -> ɯ a

newtype Cokleisli ɯ a b

Constructors

Cokleisli

Fields

• runCokleisli :: ɯ a -> b

Instances

(Cotraversable f, Functor ɯ) => Closed f (Cokleisli ɯ)

Defined in Data.Profunctor

Methods

closed :: Cokleisli ɯ a b -> Cokleisli ɯ (f a) (f b)

Functor f => Costrong Either (Cokleisli f)

Defined in Data.Profunctor

Methods

costrongL :: Cokleisli f (Either a c) (Either b c) -> Cokleisli f a b

costrongR :: Cokleisli f (Either a b) (Either a c) -> Cokleisli f b c

Comonad ɯ => Strong Either (Cokleisli ɯ)

Defined in Data.Profunctor

Methods

strong :: Cokleisli ɯ a₁ b₁ -> Cokleisli ɯ a₂ b₂ -> Cokleisli ɯ (Either a₁ a₂) (Either b₁ b₂)

(Cotraversable f, Functor ɯ) => Lift f (Cokleisli ɯ)

Defined in Data.Profunctor

Methods

lift :: Cokleisli ɯ a b -> Cokleisli ɯ (f a) (f b)

Comonad ɯ => Category (Cokleisli ɯ :: Type -> Type -> Type)

Defined in Control.Comonad

Methods

id :: Cokleisli ɯ a a

(.) :: Cokleisli ɯ b c -> Cokleisli ɯ a b -> Cokleisli ɯ a c

Functor f => Colift (Either c) (Cokleisli f)

Defined in Data.Profunctor

Methods

colift :: Cokleisli f (Either c a) (Either c b) -> Cokleisli f a b

Functor ɯ => Colift ((,) c) (Cokleisli ɯ)

Defined in Data.Profunctor

Methods

colift :: Cokleisli ɯ (c, a) (c, b) -> Cokleisli ɯ a b

Functor f => Profunctor (Cokleisli f)

Defined in Data.Profunctor

Methods

dimap :: (a -> b) -> (c -> d) -> Cokleisli f b c -> Cokleisli f a d

lmap :: (a -> b) -> Cokleisli f b c -> Cokleisli f a c

rmap :: (b -> c) -> Cokleisli f a b -> Cokleisli f a c

Monad (Cokleisli ɯ a)

Defined in Control.Comonad

Methods

(>>=) :: Cokleisli ɯ a a0 -> (a0 -> Cokleisli ɯ a b) -> Cokleisli ɯ a b

(>>) :: Cokleisli ɯ a a0 -> Cokleisli ɯ a b -> Cokleisli ɯ a b

return :: a0 -> Cokleisli ɯ a a0

fail :: String -> Cokleisli ɯ a a0

Functor (Cokleisli ɯ a)

Defined in Control.Comonad

Methods

fmap :: (a0 -> b) -> Cokleisli ɯ a a0 -> Cokleisli ɯ a b

(<$) :: a0 -> Cokleisli ɯ a b -> Cokleisli ɯ a a0

Applicative (Cokleisli ɯ a)

Defined in Control.Comonad

Methods

pure :: a0 -> Cokleisli ɯ a a0

(<*>) :: Cokleisli ɯ a (a0 -> b) -> Cokleisli ɯ a a0 -> Cokleisli ɯ a b

liftA2 :: (a0 -> b -> c) -> Cokleisli ɯ a a0 -> Cokleisli ɯ a b -> Cokleisli ɯ a c

(*>) :: Cokleisli ɯ a a0 -> Cokleisli ɯ a b -> Cokleisli ɯ a b

(<*) :: Cokleisli ɯ a a0 -> Cokleisli ɯ a b -> Cokleisli ɯ a a0

Functor f => Lift ((->) a :: Type -> Type) (Cokleisli f)

Defined in Data.Profunctor

Methods

lift :: Cokleisli f a0 b -> Cokleisli f (a -> a0) (a -> b)