Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Constraint.Char

Description

Utilities for working with KnownChar constraints.

This module is only available on GHC 9.2 or later.

Documentation

type family CharToNat (a :: Char) :: Natural where ... #

type family NatToChar (a :: Natural) :: Char where ... #

charToNat :: forall c. KnownChar c :- KnownNat (CharToNat c) Source #

natToChar :: forall n. (n <= 1114111, KnownNat n) :- KnownChar (NatToChar n) Source #