pub struct DivOperation<'c> { /* private fields */ }
Expand description
A div
operation. Division of sizes and indices.
Divides two sizes or indices. If either operand is an error it will be
propagated to the result. The operands can be of type size
or index
.
If at least one of the operands can hold an error, i.e. if it is of type
size
, the result must be of type size
. If error propagation is not
possible because both operands are of type index
then the result may be
of type size
or index
. If both operands and result are of type
index
, their runtime values could be negative. The result is rounded
toward negative infinity, i.e. floor(lhs / rhs), such that
div(lhs, rhs) * rhs + mod(lhs, rhs) = lhs
always holds. If any of the values is of type size
, the behavior for
negative value is undefined.
Implementations§
source§impl<'c> DivOperation<'c>
impl<'c> DivOperation<'c>
sourcepub fn as_operation(&self) -> &Operation<'c>
pub fn as_operation(&self) -> &Operation<'c>
Returns a generic operation.
sourcepub fn builder(
context: &'c Context,
location: Location<'c>
) -> DivOperationBuilder<'c, Unset, Unset>
pub fn builder( context: &'c Context, location: Location<'c> ) -> DivOperationBuilder<'c, Unset, Unset>
Creates a builder.
pub fn result(&self) -> Result<OperationResult<'c, '_>, Error>
pub fn lhs(&self) -> Result<Value<'c, '_>, Error>
pub fn rhs(&self) -> Result<Value<'c, '_>, Error>
Trait Implementations§
source§impl<'c> From<DivOperation<'c>> for Operation<'c>
impl<'c> From<DivOperation<'c>> for Operation<'c>
source§fn from(operation: DivOperation<'c>) -> Self
fn from(operation: DivOperation<'c>) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl<'c> RefUnwindSafe for DivOperation<'c>
impl<'c> !Send for DivOperation<'c>
impl<'c> !Sync for DivOperation<'c>
impl<'c> Unpin for DivOperation<'c>
impl<'c> UnwindSafe for DivOperation<'c>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more