Control.Comonad.Indexed.Trans.Cowriter

The indexed cowriter transformer: each CowriterT κ f term wants within f a morphism of κ.

Documentation

newtype CowriterT κ f i j a

Constructors

CowriterT

Fields

• runCowriterT :: f (κ i j -> a)

Instances

(Comonad ɯ, Semigroupoid κ) => Cobind (CowriterT κ ɯ :: k -> k -> Type -> Type)

Defined in Control.Comonad.Indexed.Trans.Cowriter

Methods

cut :: forall (i :: k0) (k1 :: k0) a (j :: k0). CowriterT κ ɯ i k1 a -> CowriterT κ ɯ i j (CowriterT κ ɯ j k1 a)

(<<=) :: forall (j :: k0) (k1 :: k0) a b (i :: k0). (CowriterT κ ɯ j k1 a -> b) -> CowriterT κ ɯ i k1 a -> CowriterT κ ɯ i j b

Functor f => Functor (CowriterT κ f i j)

Defined in Control.Comonad.Indexed.Trans.Cowriter

Methods

fmap :: (a -> b) -> CowriterT κ f i j a -> CowriterT κ f i j b

(<$) :: a -> CowriterT κ f i j b -> CowriterT κ f i j a

Applicative p => Applicative (CowriterT κ p i j)

Defined in Control.Comonad.Indexed.Trans.Cowriter

Methods

pure :: a -> CowriterT κ p i j a

(<*>) :: CowriterT κ p i j (a -> b) -> CowriterT κ p i j a -> CowriterT κ p i j b

liftA2 :: (a -> b -> c) -> CowriterT κ p i j a -> CowriterT κ p i j b -> CowriterT κ p i j c

(*>) :: CowriterT κ p i j a -> CowriterT κ p i j b -> CowriterT κ p i j b

(<*) :: CowriterT κ p i j a -> CowriterT κ p i j b -> CowriterT κ p i j a

(Comonad ɯ, Category κ) => Comonad (CowriterT κ ɯ k2 k2)

Defined in Control.Comonad.Indexed.Trans.Cowriter

Methods

copure :: CowriterT κ ɯ k2 k2 a -> a

cut :: CowriterT κ ɯ k2 k2 a -> CowriterT κ ɯ k2 k2 (CowriterT κ ɯ k2 k2 a)

(<<=) :: (CowriterT κ ɯ k2 k2 a -> b) -> CowriterT κ ɯ k2 k2 a -> CowriterT κ ɯ k2 k2 b

mapCowriterT :: (f (κ i j -> a) -> g (κ' u v -> b)) -> CowriterT κ f i j a -> CowriterT κ' g u v b

cotell :: Comonad ɯ => κ i j -> CowriterT κ ɯ i j a -> a

listen :: Functor f => CowriterT κ f i j a -> CowriterT κ f i j (a, κ i j)

censor :: Functor f => (κ' u v -> κ i j) -> CowriterT κ f i j a -> CowriterT κ' f u v a