Control.Subcategory.HasIntroduce

class (ObjectOf c s) <= HasIntroduce (c :: Type -> Type -> Type) (s :: Type) | c -> s where

Members

• introduce' :: forall v. ObjectOf c s => ObjectOf c v => Proxy3 c -> c s v

Instances

• HasIntroduce Builder Void
• HasIntroduce Function Void

introduce :: forall c s v. HasIntroduce c s => ObjectOf c v => c s v