A character matching
/^[a-zA-Z\d]$/
Types that unwrap (via await
or .then
) to {@typeparam T}
Does {@typeparam DfaT} accept {@typeparam InputT}?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
Arabic numerals (base 10 digits)
A nominal string type for emails
Encodes multiple (not necessarily symmetric) relations of members of {@typeparam BaseSet}
For each member of {@typeparam BaseSet}, allows to write in which members of {@typeparam ValueSet} apply between it and another member, then enumerates each satisfying pair.
Use object-relation syntax to extract members:
invMatrix[X]["rel1"]
The set to describe relations of
Contains the names of the relations
Does {@typeparam T} match /^[a-zA-Z]*$/
?
That is, is it a string composed of only English letters?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
Does {@typeparam T} match /^[a-zA-Z\d]*$/
?
That is, is it a string composed of only English letters and Arabic numerals?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
Does {@typeparam T} match /^\d+$/
?
That is, is it a non-empty string composed of only Arabic numerals?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
Type true
if {@typeparam A} :< {@typeparam B} && {@typeparam B} :< {@typeparam A}
Does {@typeparam T} match /^[+-]?\d+([eE][+-]?\d+)?$/
?
That is, is it a common decimal or decimal-scientific form of an (possibly signed) integer?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
Does {@typeparam T} match /^[a-zA-Z]+$/
?
That is, is it a non-empty string composed of only English letters?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
Does {@typeparam T} match /^[a-zA-Z\d]+$/
?
That is, is it a non-empty string composed of only English letters and Arabic numerals?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
Type true
if {@typeparam A} is a subtype of {@typeparam B};
otherwise type false
.
Does {@typeparam T} match /^\d+([eE][+-]?\d+)?$/
?
That is, is it a common decimal or decimal-scientific form of an unsigned integer?
Type true
, false
, or never
.
Will broaden to boolean
if you pass a union type where at least one gives true
and one gives false
.
A function {@typeparam BaseSet}^2 --> {@TypeParam ValueSet}
Assigns a member of {@typeparam ValueSet} to each member of {@typeparam BaseSet}^2
Use double array syntax to extract members:
matrix[X][Y]
Arrays with at least one element
The type of the first element
The type of the remaining elements, if different from {@typeparam T}
Arabic numerals (base 10 digits)
A partial function {@typeparam BaseSet}^2 ~~> {@TypeParam ValueSet}
Optionally assigns a member of {@typeparam ValueSet} to each member of {@typeparam BaseSet}^2.
Use optional double array syntax to extract members:
matrix[X]?.[Y]
Requires {@typeparam C} :< IsSubType
<A, B>
;
otherwise issues a compile-time error.
Has value equal to IsSubType<A, B>
.
A stricter version of IsSubType
.
Type true
if {@typeparam A} is a subtype of {@typeparam B};
compile-time error otherwise.
Type {@typeparam A} if {@typeparam A} is a subtype of {@typeparam B};
otherwise type never
.
{@typeparam T} if {@typeparam Bool}, else never
Asserts {@param bool}
A constructor for the thrown error class
A character matching
/^[a-zA-Z]$/