logos.lang.ops
Module lang · package logos-lang
Traits
traitAdd
trait AddOverloads the binary + operator.
Implemented by: Wrapping$G1$i8 Wrapping$G1$i16 Wrapping$G1$i32 Wrapping$G1$i64 Wrapping$G1$u8 Wrapping$G1$u16 Wrapping$G1$u32 Wrapping$G1$u64 Saturating$G1$i32 Saturating$G1$i64 Saturating$G1$u32 Saturating$G1$u64
traitAddAssign
trait AddAssignOverloads the += operator, adding rhs in place.
traitBitAnd
trait BitAndOverloads the binary & (bitwise AND) operator.
Implemented by: bool
traitBitAndAssign
trait BitAndAssignOverloads the &= operator, bitwise-ANDing with rhs in place.
traitBitOr
trait BitOrOverloads the binary | (bitwise OR) operator.
Implemented by: bool
traitBitOrAssign
trait BitOrAssignOverloads the |= operator, bitwise-ORing with rhs in place.
traitBitXor
trait BitXorOverloads the binary ^ (bitwise XOR) operator.
Implemented by: bool
traitBitXorAssign
trait BitXorAssignOverloads the ^= operator, bitwise-XORing with rhs in place.
traitDeref
trait DerefOverloads immutable dereference: *x on a Deref type yields the pointee.
traitDerefMut
trait DerefMutOverloads mutable dereference; *x = v is not yet auto-dispatched (call deref_mut).
traitDiv
trait DivOverloads the binary / operator.
traitDivAssign
trait DivAssignOverloads the /= operator, dividing by rhs in place.
traitFn
trait FnOverloads call syntax for callables that only read captured state.
traitFnMut
trait FnMutOverloads call syntax for callables that may mutate captured state.
traitFnOnce
trait FnOnceOverloads call syntax for callables consumed by the call (by-value receiver).
traitIndex
trait IndexOverloads immutable indexing: a[i] on user types (e.g. maps).
Implemented by: Vec
traitIndexMut
trait IndexMutOverloads mutable indexing; a[i] = v is not yet auto-dispatched (call index_mut).
Implemented by: Vec
traitMul
trait MulOverloads the binary * operator.
Implemented by: Wrapping$G1$i8 Wrapping$G1$i16 Wrapping$G1$i32 Wrapping$G1$i64 Wrapping$G1$u8 Wrapping$G1$u16 Wrapping$G1$u32 Wrapping$G1$u64
traitMulAssign
trait MulAssignOverloads the *= operator, multiplying by rhs in place.
traitNeg
trait NegOverloads the unary - (negation) operator.
traitNot
trait NotOverloads the unary ! (logical/bitwise NOT) operator.
Implemented by: bool
traitRem
trait RemOverloads the binary % (remainder) operator.
traitRemAssign
trait RemAssignOverloads the %= operator, taking the remainder by rhs in place.
traitShl
trait ShlOverloads the binary << (left-shift) operator.
traitShlAssign
trait ShlAssignOverloads the <<= operator, left-shifting by rhs in place.
traitShr
trait ShrOverloads the binary >> (right-shift) operator.
traitShrAssign
trait ShrAssignOverloads the >>= operator, right-shifting by rhs in place.
traitSub
trait SubOverloads the binary - operator.
Implemented by: Wrapping$G1$i8 Wrapping$G1$i16 Wrapping$G1$i32 Wrapping$G1$i64 Wrapping$G1$u8 Wrapping$G1$u16 Wrapping$G1$u32 Wrapping$G1$u64 Saturating$G1$i32 Saturating$G1$i64 Saturating$G1$u32 Saturating$G1$u64
traitSubAssign
trait SubAssignOverloads the -= operator, subtracting rhs in place.
Types
enumControlFlow
enum ControlFlowDirects short-circuiting operations: keep going with a C, or halt early with a B.
Variants
Break(B)Continue(C)Methods
fn break_value(self: ControlFlow) -> OptionReturns the Break payload as Some, or None if Continue; consumes self.
fn continue_value(self: ControlFlow) -> OptionReturns the Continue payload as Some, or None if Break; consumes self.
fn is_break(self: &ControlFlow) -> boolReturns true if this is Break.
fn is_continue(self: &ControlFlow) -> boolReturns true if this is Continue.
fn map_break(self: ControlFlow, f: MapBFn) -> ControlFlowMaps the Break payload with f, passing Continue through unchanged.
fn map_continue(self: ControlFlow, f: MapCFn) -> ControlFlowMaps the Continue payload with f, passing Break through unchanged.