Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type family CmpType (a :: k) (b :: k) :: Ordering where ... Source #
Compare two types. For Nat
s and Symbol
s, this uses the built-in
comparisons. For all other types, Type.Compare.Plugin will solve it.
The actual meaning of comparing types is left to your imagination. But it's deterministic so that's good enough.