Control.Subcategory.Relation.Symmetric

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

Members

• swap :: forall v0 v1. ObjectOf c v0 => ObjectOf c v1 => p v0 v1 -> p v1 v0

Instances

• Symmetric Function Either
• Symmetric Function Tuple