Safe Haskell	None
Language	Haskell2010

Proarrow.Object.Coexponential

Documentation

Associated Types

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

Methods

withObCoExp :: forall (a :: k) (b :: k) r. (Ob a, Ob b) => (Ob (a <~~ b) => r) -> r Source Comments #

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

coevalUniv :: forall (b :: k) (c :: k) (a :: k). (Ob b, Ob 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

withObCoExp :: forall (a :: Type -> Type) (b :: Type -> Type) r. (Ob a, Ob b) => (Ob (a <~~ b) => r) -> r Source Comments #

coeval :: forall (a :: Type -> Type) (b :: Type -> Type). (Ob a, Ob b) => a ~> ((a <~~ b) ** b) Source Comments #

coevalUniv :: forall (b :: Type -> Type) (c :: Type -> Type) (a :: Type -> Type). (Ob b, Ob 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

withObCoExp :: forall (a :: ENDO kk k) (b :: ENDO kk k) r. (Ob a, Ob b) => (Ob (a <~~ b) => r) -> r Source Comments #

coeval :: forall (a :: ENDO kk k) (b :: ENDO kk k). (Ob a, Ob b) => a ~> ((a <~~ b) ** b) Source Comments #

coevalUniv :: forall (b :: ENDO kk k) (c :: ENDO kk k) (a :: ENDO kk 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