diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2013-09-28 13:01:28 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2013-09-28 13:01:28 +0200 |
| commit | 0e33e3c348e8c4350e75a1e66ee2c01e04d2fc5c (patch) | |
| tree | 3fe1b971dfa863ea00fb6a0f1b18e8dc090e2e87 | |
| parent | 45034662dc8d5cdf8efad66cbefa433cecfa330a (diff) | |
| download | haskell-0e33e3c348e8c4350e75a1e66ee2c01e04d2fc5c.tar.gz | |
Add `/Since: 4.7.0.0/` to new entities in fc904366
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
| -rw-r--r-- | libraries/base/GHC/TypeLits.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index 4786f77add..8b6353f329 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/GHC/TypeLits.hs @@ -124,6 +124,8 @@ type family (m :: Nat) * (n :: Nat) :: Nat type family (m :: Nat) ^ (n :: Nat) :: Nat -- | Subtraction of type-level naturals. +-- +-- /Since: 4.7.0.0/ type family (m :: Nat) - (n :: Nat) :: Nat @@ -312,6 +314,7 @@ instance Show (IsEven n) where -- Used both at the type and at the value level. data Nat1 = Zero | Succ Nat1 +-- | /Since: 4.7.0.0/ type family ToNat1 (n :: Nat) where ToNat1 0 = Zero ToNat1 x = Succ (ToNat1 (x - 1)) |