diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2021-03-14 19:45:51 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-17 19:09:40 -0400 |
| commit | 302854154626ef10363afdda3ff1db7160e0827f (patch) | |
| tree | 2d438461f8a7452797dc626eb0ba6cdb8b194b61 /docs | |
| parent | 26d26974f5d16a3b2c6ec84a739caab10c7d2b07 (diff) | |
| download | haskell-302854154626ef10363afdda3ff1db7160e0827f.tar.gz | |
Built-in type families: CharToNat, NatToChar (#19535)
Co-authored-by: Daniel Rogozin <daniel.rogozin@serokell.io>
Co-authored-by: Rinat Stryungis <rinat.stryungis@serokell.io>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/9.2.1-notes.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/9.2.1-notes.rst b/docs/users_guide/9.2.1-notes.rst index 10677b5327..bbd36c1dc3 100644 --- a/docs/users_guide/9.2.1-notes.rst +++ b/docs/users_guide/9.2.1-notes.rst @@ -298,6 +298,8 @@ Eventlog type family CmpChar (a :: Char) (b :: Char) :: Ordering type family ConsSymbol (a :: Char) (b :: Symbol) :: Symbol type family UnconsSymbol (a :: Symbol) :: Maybe (Char, Symbol) + type family CharToNat (c :: Char) :: Natural + type family NatToChar (n :: Natural) :: Char and with the type class ``KnownChar`` (and such additional functions as ``charVal`` and ``charVal'``): :: |