set meta
Source: /avail/Avail/Foundation/Literals
Categories: Sets, Types, Queries
Answer the upper bound of the argument.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aSetType |
set meta |
A set type.
|
| Returns |
[0..∞] |
The upper bound of the argument.
|
double
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the smallest integral double-precision floating point number greater than or equal to the argument, i.e., the ceiling of
x.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
x |
double |
A double-precision floating point number.
|
| Returns |
double |
If the `0` is ±∞ or not-a-number, then x, otherwise the ceiling of x.
|
extended integer meta
Source: /avail/Avail/Foundation/Early Math
Categories: Integers, Types, Queries
Answer the upper bound of the specified integral range type. Note that unlike
_'s⁇genuine upper bound, this method explicitly forbids the argument from being ⊥. It is intended as a practical (but not universal) replacement.
map meta
Source: /avail/Avail/Foundation/Literals
Categories: Maps, Types, Queries
Answer the upper bound of the argument.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aMapType |
map meta |
A map type.
|
| Returns |
[0..∞] |
The upper bound of the argument.
|
number
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Numbers
Compute and answer the ceiling of the argument.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
value |
number |
|
| Returns |
extended integer |
The ceiling of the argument.
|
float
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the smallest integral single-precision floating point number greater than or equal to the argument, i.e., the ceiling of
x.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
x |
float |
A single-precision floating point number.
|
| Returns |
float |
If the `0` is ±∞ or not-a-number, then x, otherwise the ceiling of x.
|
tuple meta
Source: /avail/Avail/Foundation/Literals
Categories: Tuples, Types, Queries
Answer the upper bound of the argument.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aTupleType |
tuple meta |
A tuple type.
|
| Returns |
[0..∞] |
The upper bound of the argument.
|
extended integer meta's type
Source: /avail/Avail/Foundation/Early Math
Strengthen the bound to have the same static type as the argument. Note that this is the strongest possible type because the argument's subtypes have lower and upper bounds drawn from the argument's entire range.
|
Type |
Description |
| Parameter Types |
| extended integer meta's type |
|
extended integer's type
Source: /avail/Avail/Foundation/Math
Integers and infinities are their own ceilings.
|
Type |
Description |
| Parameter Types |
| extended integer's type |
|
set meta's type
Source: /avail/Avail/Foundation/Literals
Strengthen the upper bound for set types.
|
Type |
Description |
| Parameter Types |
| set meta's type |
|
tuple meta's type
Source: /avail/Avail/Foundation/Literals
Strengthen the upper bound for tuple types.
|
Type |
Description |
| Parameter Types |
| tuple meta's type |
|
map meta's type
Source: /avail/Avail/Foundation/Literals
Strengthen the upper bound for map types.
|
Type |
Description |
| Parameter Types |
| map meta's type |
|
⊥'s type's type
Source: /avail/Avail/Foundation/Literals
|
Type |
Description |
| Parameter Types |
| ⊥'s type's type |
|