Module spec/numeric
spec/numeric
Types
Even
type-function
fn(T : Type) -> Type
Even integer.
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
Odd
type-function
fn(T : Type) -> Type
Odd integer.
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
Positive
type-function
fn(T : Type) -> Type
Strictly positive value (> 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
Negative
type-function
fn(T : Type) -> Type
Strictly negative value (< 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
NonNegative
type-function
fn(T : Type) -> Type
Non-negative value (>= 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |
NonPositive
type-function
fn(T : Type) -> Type
Non-positive value (<= 0).
Type Parameters
| Name | Type | Notes |
|---|---|---|
T | Type | comptime |