Moduleconstraints-0.14.4Haskell2010

Data.Constraint.Char

Utilities for working with KnownChar constraints.

This module is only available on GHC 9.2 or later.

familytype family CharToNat (a :: Char) :: Natural

Convert a character to its Unicode code point (cf. ord)

familytype family NatToChar (a :: Natural) :: Char

Convert a Unicode code point to a character (cf. chr)

valuecharToNat :: KnownChar c :- KnownNat (CharToNat c)

valuenatToChar :: (n <= 1114111, KnownNat n) :- KnownChar (NatToChar n)