OAlg.Data.Relation

Contents

Description

binary relations.

Synopsis

class Symmetric (r :: k -> k -> Type) where
- swap :: forall (x :: k) (y :: k). r x y -> r y x

Symmetric

class Symmetric (r :: k -> k -> Type) where Source #

symmetric relation.

Methods

swap :: forall (x :: k) (y :: k). r x y -> r y x Source #