Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Categorical.Bifunctor
Documentation
class (Functor r (NT t) f, Category s) => Bifunctor r s t f where Source #
Instances
Category s => Bifunctor (Dual s :: k1 -> k1 -> Type) (s :: k1 -> k1 -> Type) ((->) :: Type -> Type -> Type) (s :: k1 -> k1 -> Type) Source # | |
Defined in Control.Categorical.Bifunctor | |
(Bifunctor f, Functor ((->) :: Type -> Type -> Type) (NT ((->) :: Type -> Type -> Type) :: (Type -> Type) -> (Type -> Type) -> Type) f) => Bifunctor ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (f :: Type -> Type -> Type) Source # | |
Defined in Control.Categorical.Bifunctor | |
Bifunctor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (Sum :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type) Source # | |
Bifunctor (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) (Product :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type) Source # | |