Companion

object Companion

Functions

Link copied to clipboard
fun inclusive(lowerBound: A_Number, upperBound: A_Number): A_Type
fun inclusive(lowerBound: Long, upperBound: Long): A_Type

Create an inclusive-inclusive range with the given endpoints.

Link copied to clipboard
fun integerRangeType(    lowerBound: A_Number,     lowerInclusive: Boolean,     upperBound: A_Number,     upperInclusive: Boolean): A_Type

Create an integer range type. Normalize it as necessary, converting exclusive finite bounds into equivalent inclusive bounds. An empty range is always converted to bottom.

Link copied to clipboard
fun singleInt(anInt: Int): A_Type

Return a range consisting of a single integer or infinity.

Link copied to clipboard
fun singleInteger(integerObject: A_Number): A_Type

Return a range consisting of a single integer or infinity.

Properties

Link copied to clipboard
val bytes: A_Type

The range 0..255.

Link copied to clipboard
val characterCodePoints: A_Type

The range of Unicode code points, 0..1114111.

Link copied to clipboard
val extendedIntegers: A_Type

The range of integers including infinities, -∞..∞.

Link copied to clipboard
val extendedIntegersMeta: A_Type

The metatype for integers. This is an instance type whose base instance is extended integer, and therefore has all integer range types as instances.

Link copied to clipboard
val int32: A_Type

The range of a signed 32-bit int, [-2^31..2^31).

Link copied to clipboard
val int64: A_Type

The range of a signed 64-bit long, [-2^63..2^63).

Link copied to clipboard
val integers: A_Type

The range of integers not including infinities, (∞..∞).

Link copied to clipboard
val naturalNumbers: A_Type

The range of natural numbers, [1..∞).

Link copied to clipboard
val nonnegativeInt32: A_Type

The non-negative part of the range of int32s, [0..2^31).

Link copied to clipboard
val nybbles: A_Type

The range 0..15.

Link copied to clipboard
val unsignedShorts: A_Type

The range 0..65535.

Link copied to clipboard
val wholeNumbers: A_Type

The range of whole numbers, [0..∞).

Link copied to clipboard
val zeroOrOne: A_Type

The range 0..1.