Mojo trait
DivModable
The DivModable
trait describes a type that defines division and modulo operations returning both quotient and remainder.
Types that conform to DivModable
will work with the builtin divmod
function,
which will return the same type as the inputs.
For example:
@fieldwise_init
struct Bytes(DivModable):
var size: Int
fn __divmod__(self, other: Self) -> Tuple[Self, Self]:
var quotient_int = self.size // other.size
var remainder_int = self.size % other.size
return (Bytes(quotient_int), Bytes(remainder_int))
Implemented traits
AnyType
,
Copyable
,
ExplicitlyCopyable
,
Movable
,
UnknownDestructibility
Aliases
__copyinit__is_trivial
alias __copyinit__is_trivial
A flag (often compiler generated) to indicate whether the implementation of __copyinit__
is trivial.
The implementation of __copyinit__
is considered to be trivial if:
- The struct has a compiler-generated trivial
__copyinit__
and all its fields have a trivial__copyinit__
method.
In practice, it means the value can be copied by copying the bits from one location to another without side effects.
__del__is_trivial
alias __del__is_trivial
A flag (often compiler generated) to indicate whether the implementation of __del__
is trivial.
The implementation of __del__
is considered to be trivial if:
- The struct has a compiler-generated trivial destructor and all its fields
have a trivial
__del__
method.
In practice, it means that the __del__
can be considered as no-op.
__moveinit__is_trivial
alias __moveinit__is_trivial
A flag (often compiler generated) to indicate whether the implementation of __moveinit__
is trivial.
The implementation of __moveinit__
is considered to be trivial if:
- The struct has a compiler-generated
__moveinit__
and all its fields have a trivial__moveinit__
method.
In practice, it means the value can be moved by moving the bits from one location to another without side effects.
Methods
__copyinit__
__copyinit__(out self: _Self, existing: _Self, /)
Create a new instance of the value by copying an existing one.
Args:
- existing (
_Self
): The value to copy.
Returns:
_Self
__moveinit__
__moveinit__(out self: _Self, var existing: _Self, /)
Create a new instance of the value by moving the value of another.
Args:
- existing (
_Self
): The value to move.
Returns:
_Self
__divmod__
__divmod__(self: _Self, denominator: _Self) -> Tuple[_Self, _Self]
Performs division and returns the quotient and the remainder.
Returns:
Tuple
: A Tuple
containing the quotient and the remainder.
copy
copy(self: _Self) -> _Self
Explicitly construct a copy of self.
Returns:
_Self
: A copy of this value.
Was this page helpful?
Thank you! We'll create more content like this.
Thank you for helping us improve!