setoid-0.1.0.0: A Haskell implementation of setoid

Copyright(c) Global Access Internet Services GmbH 2017
LicenseBSD3
MaintainerPavlo Kerestey <pavlo@kerestey.net>
Safe HaskellSafe
LanguageHaskell2010

Data.Setoid.Equivalence

Description

 

Synopsis

Documentation

class EquivalenceBy e a where Source #

Equivalence class. It reduces the data to the part which is then being tested for equality in a Setoid.

Minimal complete definition

eqRel

Methods

eqRel :: a -> e Source #