Module `spec/numeric`

spec/numeric

Types

Even type-function

fn(comptime(T) : Type) -> (comptime(fn_return_yo2950a40d_id_18) : Type)

Even integer.

Name	Type	Notes
`T`	Type	comptime

Odd type-function

fn(comptime(T) : Type) -> (comptime(fn_return_yo2950a40d_id_37) : Type)

Odd integer.

Name	Type	Notes
`T`	Type	comptime

Positive type-function

fn(comptime(T) : Type) -> (comptime(fn_return_yo2950a40d_id_56) : Type)

Strictly positive value (> 0).

Name	Type	Notes
`T`	Type	comptime

Negative type-function

fn(comptime(T) : Type) -> (comptime(fn_return_yo2950a40d_id_75) : Type)

Strictly negative value (< 0).

Name	Type	Notes
`T`	Type	comptime

NonNegative type-function

fn(comptime(T) : Type) -> (comptime(fn_return_yo2950a40d_id_94) : Type)

Non-negative value (>= 0).

Name	Type	Notes
`T`	Type	comptime

NonPositive type-function

fn(comptime(T) : Type) -> (comptime(fn_return_yo2950a40d_id_113) : Type)

Non-positive value (<= 0).

Name	Type	Notes
`T`	Type	comptime