Control.Subcategory.HasTerminate

class (ObjectOf c u) <= HasTerminate (c :: Type -> Type -> Type) (u :: Type) | c -> u where

Members

• terminate' :: forall v. ObjectOf c u => ObjectOf c v => Proxy3 c -> c v u

Instances

• HasTerminate Builder (Record ())
• HasTerminate Function Unit

terminate :: forall c u v. HasTerminate c u => ObjectOf c v => c v u