Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Francesco Gazzetta
Glasgow Haskell Compiler
Commits
377d5a26
Commit
377d5a26
authored
Oct 03, 2017
by
Ben Gamari
🐢
Browse files
base: Add missing @since annotations in GHC.TypeNats
[skip ci]
parent
fa8035e3
Changes
1
Hide whitespace changes
Inline
Side-by-side
libraries/base/GHC/TypeNats.hs
View file @
377d5a26
...
...
@@ -103,6 +103,8 @@ infixl 7 *
infixr
8
^
-- | Comparison of type-level naturals, as a constraint.
--
-- @since 4.7.0.0
type
x
<=
y
=
(
x
<=?
y
)
~
'True
-- | Comparison of type-level naturals, as a function.
...
...
@@ -117,12 +119,18 @@ Please let us know, if you encounter discrepancies between the two. -}
type
family
(
m
::
Nat
)
<=?
(
n
::
Nat
)
::
Bool
-- | Addition of type-level naturals.
--
-- @since 4.7.0.0
type
family
(
m
::
Nat
)
+
(
n
::
Nat
)
::
Nat
-- | Multiplication of type-level naturals.
--
-- @since 4.7.0.0
type
family
(
m
::
Nat
)
*
(
n
::
Nat
)
::
Nat
-- | Exponentiation of type-level naturals.
--
-- @since 4.7.0.0
type
family
(
m
::
Nat
)
^
(
n
::
Nat
)
::
Nat
-- | Subtraction of type-level naturals.
...
...
@@ -132,14 +140,20 @@ type family (m :: Nat) - (n :: Nat) :: Nat
-- | Division (round down) of natural numbers.
-- @Div x 0@ is undefined (i.e., it cannot be reduced).
--
-- @since 4.11.0.0
type
family
Div
(
m
::
Nat
)
(
n
::
Nat
)
::
Nat
-- | Modulus of natural numbers.
-- @Mod x 0@ is undefined (i.e., it cannot be reduced).
--
-- @since 4.11.0.0
type
family
Mod
(
m
::
Nat
)
(
n
::
Nat
)
::
Nat
-- | Log base 2 (round down) of natural numbers.
-- @Log 0@ is undefined (i.e., it cannot be reduced).
--
-- @since 4.11.0.0
type
family
Log2
(
m
::
Nat
)
::
Nat
--------------------------------------------------------------------------------
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment