nxt.bound

Bounded arithmetic wrapper type, similar to Ada's range/interval types.

Members

BoundOverflowException class BoundOverflowException: Exception thrown when Bound values overflows or underflows.

Policy enum Policy: TODO Use boundness policy.
areCTBoundable eponymoustemplate areCTBoundable(alias low, alias high): TODO use this.
isBoundable eponymoustemplate isBoundable(T): Check if type T can wrapped in a Bounded.
isCTBound eponymoustemplate isCTBound(alias expr): Check if expression expr is a compile-time-expression that can be used as a Bound.
isCTEable eponymoustemplate isCTEable(alias expr): Check if the value of expr is known at compile-time.

abs auto abs(Bound!(V, low, high, optional, useExceptions, packed, signed) a): Calculate absolute value of a.
doIt auto doIt(ubyte x): TODO Can D do better than C++ here? Does this automatically deduce to CommonType and if so do we need to declare it? Or does it suffice to constructors?
max auto max(Bound!(V1, low1, high1, optional, useExceptions, packed, signed) a1, Bound!(V2, low2, high2, optional, useExceptions, packed, signed) a2): Calculate Maximum. TODO variadic.
min auto min(Bound!(V1, low1, high1, optional, useExceptions, packed, signed) a1, Bound!(V2, low2, high2, optional, useExceptions, packed, signed) a2): Calculate Minimum. TODO variadic.
optional auto optional(V x): Return x with automatic packed saturation. * * If packed optimize storage for compactness otherwise for speed.
saturated auto saturated(V x): Return x with automatic packed saturation.

Bound struct Bound(V, alias low, alias high, bool optional = false, bool useExceptions = true, bool packed = true, bool signed = false): Value of type V bound inside inclusive range [low, high].

BoundsType template BoundsType(alias low, alias high, bool packed = true, bool signed = false): Get type that can contain the inclusive bound [low, high]. If packed optimize storage for compactness otherwise for speed. If signed use a signed integer.
bound template bound(alias value): Instantiate \c Bound from a single expression expr.
bound template bound(alias low, alias high, bool optional = false, bool useExceptions = true, bool packed = true, bool signed = false): Instantiator for \c Bound.