std/src/runtime/math.nv - main - nv-lang/nova

std/src/runtime/math.nv
173 строки5 KB
Evgeniy Golovin
style(225.1): вертикальный ритм — sweep классов a-e (std/src)
26 июл 2026, 02:46
26 июл 2026, 02:4638ecf16
// AUTO-GENERATED by `nova-codegen emit-runtime-stubs`.
// Do not edit manually — changes will be overwritten.
// Source of truth: compiler-codegen/src/codegen/runtime_registry.rs
//
// См. docs/plans/13-runtime-stdlib-and-autogen.md.

module runtime.math

// ─── f64 ───

// Квадратный корень. NaN на отрицательном.
export extern "nova" fn f64 @sqrt() -> f64

// Кубический корень.
export extern "nova" fn f64 @cbrt() -> f64

// Модуль (|x|).
export extern "nova" fn f64 @abs() -> f64

// Округление вверх (toward +∞).
export extern "nova" fn f64 @ceil() -> f64

// Округление вниз (toward -∞).
export extern "nova" fn f64 @floor() -> f64

// Округление до ближайшего целого (half away from zero).
export extern "nova" fn f64 @round() -> f64

// Отбрасывание дробной части (toward zero).
export extern "nova" fn f64 @trunc() -> f64

// Синус (radians).
export extern "nova" fn f64 @sin() -> f64

// Косинус (radians).
export extern "nova" fn f64 @cos() -> f64

// Тангенс (radians).
export extern "nova" fn f64 @tan() -> f64

// Арксинус. Result в [-π/2, π/2].
export extern "nova" fn f64 @asin() -> f64

// Арккосинус. Result в [0, π].
export extern "nova" fn f64 @acos() -> f64

// Арктангенс. Result в (-π/2, π/2).
export extern "nova" fn f64 @atan() -> f64

// Гиперболический синус.
export extern "nova" fn f64 @sinh() -> f64

// Гиперболический косинус.
export extern "nova" fn f64 @cosh() -> f64

// Гиперболический тангенс.
export extern "nova" fn f64 @tanh() -> f64

// e^x.
export extern "nova" fn f64 @exp() -> f64

// 2^x.
export extern "nova" fn f64 @exp2() -> f64

// Натуральный log (по основанию e).
export extern "nova" fn f64 @ln() -> f64

// Log по основанию 2.
export extern "nova" fn f64 @log2() -> f64

// Log по основанию 10.
export extern "nova" fn f64 @log10() -> f64

// atan2(y, x) — angle от positive x-axis. Self = y.
export extern "nova" fn f64 @atan2(x f64) -> f64

// self^exp.
export extern "nova" fn f64 @pow(exp f64) -> f64

// sqrt(self^2 + y^2) без overflow.
export extern "nova" fn f64 @hypot(y f64) -> f64

// True если NaN.
export extern "nova" fn f64 @is_nan() -> bool

// True если не ±∞ и не NaN.
export extern "nova" fn f64 @is_finite() -> bool

// True если ±∞.
export extern "nova" fn f64 @is_infinite() -> bool

// ─── f32 ───

// Квадратный корень (single precision).
export extern "nova" fn f32 @sqrt() -> f32

// Кубический корень (single precision).
export extern "nova" fn f32 @cbrt() -> f32

// Модуль |x| (single precision).
export extern "nova" fn f32 @abs() -> f32

// Округление вверх (single precision).
export extern "nova" fn f32 @ceil() -> f32

// Округление вниз (single precision).
export extern "nova" fn f32 @floor() -> f32

// Округление до ближайшего (single precision).
export extern "nova" fn f32 @round() -> f32

// Truncate (single precision).
export extern "nova" fn f32 @trunc() -> f32

// Синус radians (single precision).
export extern "nova" fn f32 @sin() -> f32

// Косинус radians (single precision).
export extern "nova" fn f32 @cos() -> f32

// Тангенс radians (single precision).
export extern "nova" fn f32 @tan() -> f32

// Арксинус (single precision).
export extern "nova" fn f32 @asin() -> f32

// Арккосинус (single precision).
export extern "nova" fn f32 @acos() -> f32

// Арктангенс (single precision).
export extern "nova" fn f32 @atan() -> f32

// Гиперболический синус (single precision).
export extern "nova" fn f32 @sinh() -> f32

// Гиперболический косинус (single precision).
export extern "nova" fn f32 @cosh() -> f32

// Гиперболический тангенс (single precision).
export extern "nova" fn f32 @tanh() -> f32

// e^x (single precision).
export extern "nova" fn f32 @exp() -> f32

// 2^x (single precision).
export extern "nova" fn f32 @exp2() -> f32

// Натуральный log (single precision).
export extern "nova" fn f32 @ln() -> f32

// Log2 (single precision).
export extern "nova" fn f32 @log2() -> f32

// Log10 (single precision).
export extern "nova" fn f32 @log10() -> f32

// atan2 (single precision).
export extern "nova" fn f32 @atan2(x f32) -> f32

// self^exp (single precision).
export extern "nova" fn f32 @pow(exp f32) -> f32

// hypot (single precision).
export extern "nova" fn f32 @hypot(y f32) -> f32

// True если NaN (single precision).
export extern "nova" fn f32 @is_nan() -> bool

// True если не ±∞ и не NaN (single precision).
export extern "nova" fn f32 @is_finite() -> bool

// True если ±∞ (single precision).
export extern "nova" fn f32 @is_infinite() -> bool