Char
Fixtype of Leo characters.
This is a product type introduced by fty::defprod.
Fields
- codepoint — natp
Additional Requirements
The following invariant is enforced on the fields:
(<= codepoint 1114111)
We wrap the code point into a one-component product type
for better encapsulation and abstraction.
We use an invariant to restrict the number to the prescribed range.
Subtopics
- Char-fix
- Fixing function for char structures.
- Char-equiv
- Basic equivalence relation for char structures.
- Make-char
- Basic constructor macro for char structures.
- Char->codepoint
- Get the codepoint field from a char.
- Change-char
- Modifying constructor for char structures.
- Charp
- Recognizer for char structures.
