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