Draft: The char kind: type families, functionality, and submodule updates
The patch fixes #11342 (closed). In this patch, we introduced the Char Kind, a kind of type-level characters, with the additional type-families, type-level counterparts of functions from the Data.Char
module.
We use the same Char type and don’t introduce the different Character
kind.
This merge request consists of the following features:
- parsing the
'x' syntax
- type-checking
'x' :: Char
- type-checking
Refl :: 'x' :~: 'x'
-
Typeable
/TypeRep
support - template-haskell support
-
CmpChar
,GeneralCharCategory
, andLeqChar
type families -
ConsSymbol
andUnconsSymbol
type families -
KnownChar
class - unicode type-level classifiers
-
haddock
support - tests
This is joint work with @Haskell-mouse, my teammate from Serokell.