Control.Subcategory.Endofunctor.HasUnpoint

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

Members

• unpoint :: forall v. ObjectOf c u => ObjectOf c v => c u v -> v

Instances

• HasUnpoint Builder (Record ())
• HasUnpoint Function Unit