Control.Subcategory.Relation.Reflexive

class Reflexive (c :: Type -> Type -> Type) (p :: Type -> Type -> Type)  where

Members

• reflect' :: forall v. ObjectOf c v => Proxy3 c -> p v v

Instances

• (HasIdentity c) => Reflexive c c

reflect :: forall c p v. Reflexive c p => ObjectOf c v => p v v