{-# LANGUAGE MultiParamTypeClasses #-} -------------------------------------------------------------------------------- -- | -- Module : Data.SkeletalSet.Equivalence -- Copyright : (c) Global Access Internet Services GmbH 2017 -- License : BSD3 -- Maintainer : Pavlo Kerestey -------------------------------------------------------------------------------- module Data.SkeletalSet.Equivalence ( EquivalenceBy(..) ) where -- | Equivalence class. It reduces the data to the part which is -- then being tested for equality in a SkeletalSet. class EquivalenceBy e a where eqRel :: a -> e