Defbytelist-standard-instances
Standard fixtypes of
true lists of unsigned and signed bytes of various sizes,
with some accompanying theorems.
Here `standard' means that these all have uniform structure and naming.
They are unary counterparts of
(unsigned-byte-listp n ...) and (signed-byte-listp n ...),
for various values of n.
These are all generated via defbytelist.
If standard (in the sense above) fixtypes
of true lists of unsigned or signed bytes of a certain size
are needed but are not among the ones defined here,
they can be added here.
These fixtypes are based on the standard fixtypes
of unsigned and signed bytes of various sizes that correspond to the element types of the lists.
Subtopics
- Ubyte8-list
- Fixtype of true lists of unsigned bytes of size 8.
- Ubyte4-list
- Fixtype of true lists of unsigned bytes of size 4.
- Ubyte32-list
- Fixtype of true lists of unsigned bytes of size 32.
- Ubyte256-list
- Fixtype of true lists of unsigned bytes of size 256.
- Ubyte128-list
- Fixtype of true lists of unsigned bytes of size 128.
- Ubyte64-list
- Fixtype of true lists of unsigned bytes of size 64.
- Ubyte3-list
- Fixtype of true lists of unsigned bytes of size 3.
- Ubyte2-list
- Fixtype of true lists of unsigned bytes of size 2.
- Ubyte16-list
- Fixtype of true lists of unsigned bytes of size 16.
- Ubyte11-list
- Fixtype of true lists of unsigned bytes of size 11.
- Ubyte1-list
- Fixtype of true lists of unsigned bytes of size 1.
- Sbyte8-list
- Fixtype of true lists of signed bytes of size 8.
- Sbyte64-list
- Fixtype of true lists of signed bytes of size 64.
- Sbyte4-list
- Fixtype of true lists of signed bytes of size 4.
- Sbyte32-list
- Fixtype of true lists of signed bytes of size 32.
- Sbyte3-list
- Fixtype of true lists of signed bytes of size 3.
- Sbyte256-list
- Fixtype of true lists of signed bytes of size 256.
- Sbyte2-list
- Fixtype of true lists of signed bytes of size 2.
- Sbyte16-list
- Fixtype of true lists of signed bytes of size 16.
- Sbyte128-list
- Fixtype of true lists of signed bytes of size 128.
- Sbyte1-list
- Fixtype of true lists of signed bytes of size 1.
- Defubytelist
- Specialized form of defbytelist
for generating standard fixtypes
of true lists of unsigned bytes of explicit integer sizes.
- Defsbytelist
- Specialized form of defbytelist
for generating standard fixtypes
of true lists of signed bytes of explicit integer sizes.
