Enum LogosInt 

pub enum LogosInt {
    Small(i64),
    Big(Box<BigInt>),
}

The exact integer for GENERATED code: i64 on the fast path, spilling to a heap [logicaffeine_base::BigInt] the moment a value escapes 64 bits — the AOT’s mirror of the interpreter’s Int→BigInt promotion (and of the JIT’s overflow side-exit). Every operation NORMALIZES: a big result that fits i64 downsizes to Small, so representation never leaks into ==/Ord.

Variants

Small(i64)

Big(Box<BigInt>)

Implementations

impl LogosInt

pub fn from_i64(x: i64) -> Self

pub fn from_big(b: BigInt) -> Self

pub fn from_literal(s: &str) -> Self

Parse a (possibly > 64-bit) decimal literal the codegen emitted.

pub fn to_i64(&self) -> Option<i64>

The value as i64 when it fits.

pub fn expect_i64(&self, what: &str) -> i64

The value as i64, or a LOUD canonical error — for sinks that are structurally 64-bit (indices, sizes, native call arguments).

pub fn add(&self, rhs: &LogosInt) -> LogosInt

pub fn sub(&self, rhs: &LogosInt) -> LogosInt

pub fn mul(&self, rhs: &LogosInt) -> LogosInt

pub fn div(&self, rhs: &LogosInt) -> Result<LogosInt, String>

Truncating division; Err on a zero divisor (the interp’s catchable “Division by zero”). i64::MIN / -1 promotes exactly.

pub fn div_floor(&self, rhs: &LogosInt) -> Result<LogosInt, String>

Floor division — the quotient rounded toward NEGATIVE INFINITY (-7 // 2 → -4), the semantics of the // operator. Distinct from div, which truncates toward zero (-7 / 2 → -3); the two agree when the operands share a sign. Exact (promotes to BigInt); a zero divisor is a loud error.

pub fn rem(&self, rhs: &LogosInt) -> Result<LogosInt, String>

Truncating remainder (sign of the dividend); i64::MIN % -1 is 0.

pub fn pow(&self, exp: &LogosInt) -> Result<LogosInt, String>

Exponentiation with an integer exponent. Err on a negative exponent (an Int can’t hold the fractional result) or one too large to be a u32 power; overflow of the i64 fast path promotes to BigInt exactly. Mirrors the interpreter’s int_power.

pub fn neg(&self) -> LogosInt

Trait Implementations

impl Clone for LogosInt

fn clone(&self) -> LogosInt

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LogosInt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for LogosInt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<i64> for LogosInt

fn from(x: i64) -> Self

Converts to this type from the input type.

impl Hash for LogosInt

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for LogosInt

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq<LogosInt> for i64

fn eq(&self, other: &LogosInt) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq<i64> for LogosInt

fn eq(&self, other: &i64) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq for LogosInt

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<LogosInt> for i64

fn partial_cmp(&self, other: &LogosInt) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl PartialOrd<i64> for LogosInt

fn partial_cmp(&self, other: &i64) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl PartialOrd for LogosInt

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for LogosInt