module GHC.Corroborate.Compare (cmpTyCon, cmpType, cmpTypes) where

import GHC.Corroborate

cmpTyCon :: TyCon -> TyCon -> Ordering
cmpTyCon :: TyCon -> TyCon -> Ordering
cmpTyCon TyCon
a TyCon
b = TyCon -> Unique
forall a. Uniquable a => a -> Unique
getUnique TyCon
a Unique -> Unique -> Ordering
`nonDetCmpUnique` TyCon -> Unique
forall a. Uniquable a => a -> Unique
getUnique TyCon
b

cmpType :: Type -> Type -> Ordering
cmpType :: Type -> Type -> Ordering
cmpType = Type -> Type -> Ordering
nonDetCmpType

cmpTypes :: [Type] -> [Type] -> Ordering
cmpTypes :: [Type] -> [Type] -> Ordering
cmpTypes = [Type] -> [Type] -> Ordering
nonDetCmpTypes