diff options
Diffstat (limited to 'libraries/base/GHC/TypeLits.hs')
-rw-r--r-- | libraries/base/GHC/TypeLits.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index 984fd391f0..8b4e13b630 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/GHC/TypeLits.hs @@ -23,7 +23,7 @@ module GHC.TypeLits , withSing, singThat -- * Functions on type nats - , type (<=), type (+), type (*), type (^) + , type (<=), type (<=?), type (+), type (*), type (^) -- * Destructing type-nats. , isZero, IsZero(..) @@ -76,6 +76,8 @@ class SingI a where -- | Comparsion of type-level naturals. class (m :: Nat) <= (n :: Nat) +type family (m :: Nat) <=? (n :: Nat) :: Bool + -- | Addition of type-level naturals. type family (m :: Nat) + (n :: Nat) :: Nat |