bend-kit-int
Releases (2)
Definitions (326)
int.bend
- def Int.bits.goThe Int.* core serves only U64 and I64.
- def Int.bitsThe low n bits of k: k mod 2^n.
- def Int.msb.go
- def Int.msb
- def Int.put_msb.bit
- def Int.put_msb
- def Int.ext
- def Int.ones
- def Int.min
- def Int.max
- def Int.is_eq
- def Int.is_zero
- def Int.cmp
- def Int.neg
- def Int.neg_if
- def Int.abs
- def Int.udivmod.fin
- def Int.udivmod.shl
- def Int.udivmod.rec
- def Int.udivmod.go
- def Int.sdivmod.fix
- def Int.divmod.ifx / 0 is 0 and x % 0 is x, as in Base's U32.
- def Int.divmod
- def Int.fst
- def Int.snd
- def Int.div
- def Int.mod
- def Int.min_neg1True for signed MIN and -1, the one quotient that overflows.
- def Int.div_ov
- def Int.add_ov.go
- def Int.add_ov
- def Int.sub_ov.go
- def Int.sub_ov
- def Int.mul_ov.go
- def Int.mul_ov
- def Int.checked
- def Int.checked_div
- def Int.checked_mod
- def Int.sat
- def Int.saturate
- def Int.saturating_add
- def Int.saturating_sub
- def Int.saturating_mul
- def Int.shl
- def Int.shr1Signed shifts right are arithmetic: the sign bit fills in from the top.
- def Int.shr
- def Radix.digit.ifDigit d below 36 as '0'..'9', then 'a'..'z'.
- def Radix.digit
- def Radix.in
- def Radix.value.lower
- def Radix.value.upper
- def Radix.value.if
- def Radix.valueThe value of a digit in either case, or 36 when c is not a digit.
- def Radix.clamp
- def Radix.ok
- def Radix.sign.if
- def Radix.signSplits one leading '-' or '+' off s: (negative, rest).
- def Int.show.goz is set once the value left to print is zero; fuel n bounds the digits.
- def Int.show.u
- def Int.show.if
- def Int.show
- def Int.read.add
- def Int.read.dig
- def Int.read.step
- def Int.read.go
- def Int.read.u
- def Int.read.fit
- def Int.read.pos
- def Int.read.neg
- def Int.read.sign
- def Int.read.split
- def Int.read.if
- def Int.read
- def Int.to_nat.s
- def Int.to_natSigned values below zero have no Nat.
- def Int.sext
- def Nar.optU8 and U16 hold their value in a U32 below 2^w, and m is 2^w - 1.
- def Nar.over
- def Nar.checked_sub
- def Nar.checked_div
- def Nar.checked_mod
- def Nar.sat_sub
- def Nar.saturating_sub
- def Nar.show.goDigits of x in radix r, most significant first; fuel f bounds them.
- def Nar.show
- def Nar.read.dig
- def Nar.read.stepacc * r + d stays at most m exactly when acc <= (m - d) / r.
- def Nar.read.go
- def Nar.read.uDigits in radix r, at most m; no sign.
- def Nar.read.split
- def Nar.read.if
- def Nar.read
- def S32.MINI32 holds its two's-complement bits in a U32.
- def S32.is_neg
- def S32.neg
- def S32.neg_if
- def S32.abs
- def S32.cmp
- def S32.divmod.ifx / 0 is 0 and x % 0 is x, as in Base's U32.
- def S32.fst