Safe Haskell	None
Language	Haskell2010

Proarrow.Object.Coexponential

Documentation

Associated Types

type (a :: k) <~~ (b :: k) :: k Source Comments #

Methods

coeval' :: forall (a :: k) (b :: k). Obj a -> Obj b -> a ~> ((a <~~ b) ** b) Source Comments #

coevalUniv' :: forall (b :: k) (c :: k) (a :: k). Obj b -> Obj c -> (a ~> (c ** b)) -> (a <~~ b) ~> c Source Comments #

Instances details

Instance details

Associated Types

type (f :: Type -> Type) <~~ (j :: Type -> Type)
Instance details Defined in Proarrow.Category.Instance.Nat type (f :: Type -> Type) <~~ (j :: Type -> Type) = HaskLan j f

Methods

coeval' :: forall (a :: Type -> Type) (b :: Type -> Type). Obj a -> Obj b -> a ~> ((a <~~ b) ** b) Source Comments #

coevalUniv' :: forall (b :: Type -> Type) (c :: Type -> Type) (a :: Type -> Type). Obj b -> Obj c -> (a ~> (c ** b)) -> (a <~~ b) ~> c Source Comments #

(Bicategory kk, Ob0 kk k, Ob (I :: kk k k), forall (f :: kk k k) (g :: kk k k). (Ob f, Ob g) => LeftKanExtension f g) => Coclosed (ENDO kk k) Source Comments #

Instance details

Methods

coeval' :: forall (a :: ENDO kk k) (b :: ENDO kk k). Obj a -> Obj b -> a ~> ((a <~~ b) ** b) Source Comments #

coevalUniv' :: forall (b :: ENDO kk k) (c :: ENDO kk k) (a :: ENDO kk k). Obj b -> Obj c -> (a ~> (c ** b)) -> (a <~~ b) ~> c Source Comments #

coeval :: forall {k} (a :: k) (b :: k). (Coclosed k, Ob a, Ob b) => a ~> ((a <~~ b) ** b) Source Comments #

coevalUniv :: forall {k} (a :: k) (b :: k) (c :: k). (Coclosed k, Ob b, Ob c) => (a ~> (c ** b)) -> (a <~~ b) ~> c Source Comments #

Instances details

(Cocartesian k, Coclosed k) => CoCCC k Source Comments #
Instance details Defined in Proarrow.Object.Coexponential