User Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cl:types:unsigned-byte [2017/05/01 21:00] (current)
Line 1: Line 1:
 +====== Type UNSIGNED-BYTE ======
 +
 +====Supertypes====
 +**unsigned-byte**,​ **[[CL:​Types:​signed-byte]]**,​ **[[CL:​Types:​integer]]**,​ **[[CL:​Types:​rational]]**,​ **[[CL:​Types:​real]]**,​ **[[CL:​Types:​number]]**,​ **[[CL:​Types:​t]]**
 +
 +====Description====
 +The atomic //​[[CL:​Glossary:​type specifier]]//​ **unsigned-byte** denotes the same type as is denoted by the //​[[CL:​Glossary:​type specifier]]//​ ''​([[CL:​Types:​integer]] 0 *)''​.
 +
 +====Compound Type Specifier Kind====
 +Abbreviating.
 +
 +====Compound Type Specifier Syntax====
 +  * **unsigned-byte** [//s// | **[[CL:​Types:​wildcard|*]]**]
 +
 +====Compound Type Specifier Arguments====
 +  * //s// - a positive //​[[CL:​Glossary:​integer]]//​.
 +
 +====Compound Type Specifier Description====
 +This denotes the set of non-negative //​[[CL:​Glossary:​integers]]//​ that can be represented in a byte of size //s// (bits). This is equivalent to ''​([[CL:​Types:​mod]] //​m//​)''​ for ''//​m//​ = 2<​sup>//​s//</​sup>'',​ or to ''​([[CL:​Types:​integer]] 0 //​n//​)''​ for ''//​n//​ = 2<​sup>​s</​sup>​ - 1''​. The type **unsigned-byte** or the type ''​(unsigned-byte *)''​ is the same as the type ''​([[CL:​Types:​integer]] 0 *)'',​ the set of non-negative //​[[CL:​Glossary:​integers]]//​.
 +
 +====Notes====
 +The //​[[CL:​Glossary:​type]]//​ ''​(unsigned-byte 1)''​ is also called **[[CL:​Types:​bit]]**.
 +
 +\issue{REAL-NUMBER-TYPE:​X3J13-MAR-89}