bifunctors-5.5.3: Bifunctors

Data.Bifunctor.Functor

Synopsis

# Documentation

type (:->) p q = forall a b. p a b -> q a b infixr 0 #

Using parametricity as an approximation of a natural transformation in two arguments.

class BifunctorFunctor t where #

Methods

bifmap :: (p :-> q) -> t p :-> t q #

Instances
 BifunctorFunctor (Flip :: (k2 -> k1 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Flip Methodsbifmap :: (p :-> q) -> Flip p :-> Flip q # BifunctorFunctor (Product p :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Product Methodsbifmap :: (p0 :-> q) -> Product p p0 :-> Product p q # BifunctorFunctor (Sum p :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Sum Methodsbifmap :: (p0 :-> q) -> Sum p p0 :-> Sum p q # Functor f => BifunctorFunctor (Tannen f :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Tannen Methodsbifmap :: (p :-> q) -> Tannen f p :-> Tannen f q #

class BifunctorFunctor t => BifunctorMonad t where #

Minimal complete definition

bireturn, (bibind | bijoin)

Methods

bireturn :: p :-> t p #

bibind :: (p :-> t q) -> t p :-> t q #

bijoin :: t (t p) :-> t p #

Instances
 BifunctorMonad (Sum p :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Sum Methodsbireturn :: p0 :-> Sum p p0 #bibind :: (p0 :-> Sum p q) -> Sum p p0 :-> Sum p q #bijoin :: Sum p (Sum p p0) :-> Sum p p0 # (Functor f, Monad f) => BifunctorMonad (Tannen f :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Tannen Methodsbireturn :: p :-> Tannen f p #bibind :: (p :-> Tannen f q) -> Tannen f p :-> Tannen f q #bijoin :: Tannen f (Tannen f p) :-> Tannen f p #

biliftM :: BifunctorMonad t => (p :-> q) -> t p :-> t q #

class BifunctorFunctor t => BifunctorComonad t where #

Minimal complete definition

Methods

biextract :: t p :-> p #

biextend :: (t p :-> q) -> t p :-> t q #

biduplicate :: t p :-> t (t p) #

Instances
 BifunctorComonad (Product p :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Product Methodsbiextract :: Product p p0 :-> p0 #biextend :: (Product p p0 :-> q) -> Product p p0 :-> Product p q #biduplicate :: Product p p0 :-> Product p (Product p p0) # Comonad f => BifunctorComonad (Tannen f :: (k1 -> k2 -> Type) -> k1 -> k2 -> Type) # Instance detailsDefined in Data.Bifunctor.Tannen Methodsbiextract :: Tannen f p :-> p #biextend :: (Tannen f p :-> q) -> Tannen f p :-> Tannen f q #biduplicate :: Tannen f p :-> Tannen f (Tannen f p) #

biliftW :: BifunctorComonad t => (p :-> q) -> t p :-> t q #