Control.Subcategory.Endofunctor.HasPoint

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

Members

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

Instances

• HasPoint Function Unit
• HasPoint Builder (Record ())

const :: forall c u v0 v1. HasDimap c c => HasIdentity c => HasPoint c u => HasUnit c u => ObjectOf c v0 => ObjectOf c v1 => v1 -> c v0 v1