Control.Comonad.Parameterized

Documentation

class Bifunctor f where

Methods

bimap :: (a -> c) -> (b -> d) -> f a b -> f c d

first :: (a -> c) -> f a b -> f c b

second :: (b -> d) -> f a b -> f a d

Instances

Bifunctor Either

Bifunctor (,)

Bifunctor SndB

Bifunctor FstB

Bifunctor ReaderC

Bifunctor p => Bifunctor (SwapB p)

Bifunctor (ConstB t)

Functor f => Bifunctor (ReaderCT f)

Bifunctor (IxState i)

ContravariantFunctor h => Bifunctor (HyperB h)

(Functor f, Bifunctor p) => Bifunctor (FunctorB f p)

Monad m => Bifunctor (IxStateT m i)

(Bifunctor p, Bifunctor f, Bifunctor g) => Bifunctor (CompB p f g)

(Functor f, Bifunctor p, Functor g) => Bifunctor (BiffB p f g)

class Bifunctor f => PCopointed f where

Methods

pextract :: f a c -> a

Instances

Functor f => PCopointed (BiffB (,) Identity f)

class PCopointed f => PComonad f where

Methods

pextend :: (f b c -> a) -> f b c -> f a c

Instances

Functor f => PComonad (BiffB (,) Identity f)