From 302854154626ef10363afdda3ff1db7160e0827f Mon Sep 17 00:00:00 2001 From: Vladislav Zavialov Date: Sun, 14 Mar 2021 19:45:51 +0300 Subject: Built-in type families: CharToNat, NatToChar (#19535) Co-authored-by: Daniel Rogozin Co-authored-by: Rinat Stryungis --- docs/users_guide/9.2.1-notes.rst | 2 ++ 1 file changed, 2 insertions(+) (limited to 'docs') 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'``): :: -- cgit v1.2.1