src/GHC/TypeLits/Orphans.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

-- | Compatibility module adding some additional instances not yet defined in
-- base-4.18 with GHC 9.6.
{-# OPTIONS -Wno-orphans #-}
module GHC.TypeLits.Orphans where

import GHC.TypeLits


instance Eq (SNat n) where
  _ == _ = True

instance Ord (SNat n) where
  compare _ _ = EQ