GCompare

Type class for comparable GADT-like structures. When 2 things are equal, must return a witness that their parameter types are equal as well (GEQ).

class GEq f => GCompare (f :: k -> Type)

Type class for comparable GADT-like structures. When 2 things are equal, must return a witness that their parameter types are equal as well (GEQ).

gcompare :: Data a => a -> a -> Ordering

Generic comparison: an alternative to "deriving Ord"

gcompare :: GOrd a => a -> a -> Ordering

gcompare :: GCompare f => f a -> f b -> GOrdering a b

gcompare :: (Generic a, Ord (Rep a ())) => a -> a -> Ordering

Generic compare.

instance Ord MyType where
compare = gcompare

gCompare :: forall a . (ADT a, Constraints a Ord) => a -> a -> Ordering

compare implemented by using compare between all of the components, lexicographically. First compares constructors.

class DeriveGCompare t

Valid definition for compare in terms of Sorting.