some-1.1: src/Data/GADT/Compare.hs

{-# LANGUAGE Safe        #-}
module Data.GADT.Compare (
    -- * Equality
    GEq (..),
    defaultGeq,
    defaultEq,
    defaultNeq,
    -- * Total order comparison
    GCompare (..),
    defaultCompare,
    GOrdering (..),
    ) where

import Data.GADT.Internal