euclid

Struct Box2D

Source
#[repr(C)]
pub struct Box2D<T, U> { pub min: Point2D<T, U>, pub max: Point2D<T, U>, }
Expand description

A 2d axis aligned rectangle represented by its minimum and maximum coordinates.

§Representation

This struct is similar to Rect, but stores rectangle as two endpoints instead of origin point and size. Such representation has several advantages over Rect representation:

  • Several operations are more efficient with Box2D, including intersection, union, and point-in-rect.
  • The representation is less susceptible to overflow. With Rect, computation of second point can overflow for a large range of values of origin and size. However, with Box2D, computation of size cannot overflow if the coordinates are signed and the resulting size is unsigned.

A known disadvantage of Box2D is that translating the rectangle requires translating both points, whereas translating Rect only requires translating one point.

§Empty box

A box is considered empty (see is_empty) if any of the following is true:

  • it’s area is empty,
  • it’s area is negative (min.x > max.x or min.y > max.y),
  • it contains NaNs.

Fields§

§min: Point2D<T, U>§max: Point2D<T, U>

Implementations§

Source§

impl<T, U> Box2D<T, U>

Source

pub const fn new(min: Point2D<T, U>, max: Point2D<T, U>) -> Self

Constructor.

Source§

impl<T, U> Box2D<T, U>
where T: PartialOrd,

Source

pub fn is_negative(&self) -> bool

Returns true if the box has a negative area.

The common interpretation for a negative box is to consider it empty. It can be obtained by calculating the intersection of two boxes that do not intersect.

Source

pub fn is_empty(&self) -> bool

Returns true if the size is zero, negative or NaN.

Source

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

Returns true if the two boxes intersect.

Source

pub fn contains(&self, p: Point2D<T, U>) -> bool

Returns true if this box contains the point. Points are considered in the box if they are on the front, left or top faces, but outside if they are on the back, right or bottom faces.

Source

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

Returns true if this box contains the interior of the other box. Always returns true if other is empty, and always returns false if other is nonempty but this box is empty.

Source§

impl<T, U> Box2D<T, U>
where T: Copy + PartialOrd,

Source

pub fn to_non_empty(&self) -> Option<Self>

Source

pub fn intersection(&self, other: &Self) -> Option<Self>

Computes the intersection of two boxes, returning None if the boxes do not intersect.

Source

pub fn intersection_unchecked(&self, other: &Self) -> Self

Computes the intersection of two boxes without check whether they do intersect.

The result is a negative box if the boxes do not intersect. This can be useful for computing the intersection of more than two boxes, as it is possible to chain multiple intersection_unchecked calls and check for empty/negative result at the end.

Source

pub fn union(&self, other: &Self) -> Self

Source§

impl<T, U> Box2D<T, U>
where T: Copy + Add<T, Output = T>,

Source

pub fn translate(&self, by: Vector2D<T, U>) -> Self

Returns the same box, translated by a vector.

Source§

impl<T, U> Box2D<T, U>
where T: Copy + Sub<T, Output = T>,

Source

pub fn size(&self) -> Size2D<T, U>

Source

pub fn width(&self) -> T

Source

pub fn height(&self) -> T

Source

pub fn to_rect(&self) -> Rect<T, U>

Source§

impl<T, U> Box2D<T, U>
where T: Copy + Add<T, Output = T> + Sub<T, Output = T>,

Source

pub fn inflate(&self, width: T, height: T) -> Self

Inflates the box by the specified sizes on each side respectively.

Source

pub fn inner_box(&self, offsets: SideOffsets2D<T, U>) -> Self

Calculate the size and position of an inner box.

Subtracts the side offsets from all sides. The horizontal, vertical and applicate offsets must not be larger than the original side length.

Source

pub fn outer_box(&self, offsets: SideOffsets2D<T, U>) -> Self

Calculate the b and position of an outer box.

Add the offsets to all sides. The expanded box is returned.

Source§

impl<T, U> Box2D<T, U>
where T: Copy + Zero + PartialOrd,

Source

pub fn from_size(size: Size2D<T, U>) -> Self

Creates a Box2D of the given size, at offset zero.

Source

pub fn from_points<I>(points: I) -> Self
where I: IntoIterator, I::Item: Borrow<Point2D<T, U>>,

Returns the smallest box containing all of the provided points.

Source§

impl<T, U> Box2D<T, U>
where T: Copy + One + Add<Output = T> + Sub<Output = T> + Mul<Output = T>,

Source

pub fn lerp(&self, other: Self, t: T) -> Self

Linearly interpolate between this box and another box.

Source§

impl<T, U> Box2D<T, U>
where T: Copy + One + Add<Output = T> + Div<Output = T>,

Source

pub fn center(&self) -> Point2D<T, U>

Source§

impl<T, U> Box2D<T, U>
where T: Copy + Mul<T, Output = T> + Sub<T, Output = T>,

Source

pub fn area(&self) -> T

Source§

impl<T, U> Box2D<T, U>
where T: Zero,

Source

pub fn zero() -> Self

Constructor, setting all sides to zero.

Source§

impl<T, U> Box2D<T, U>
where T: Copy,

Source

pub fn to_untyped(&self) -> Box2D<T, UnknownUnit>

Drop the units, preserving only the numeric value.

Source

pub fn from_untyped(c: &Box2D<T, UnknownUnit>) -> Box2D<T, U>

Tag a unitless value with units.

Source

pub fn cast_unit<V>(&self) -> Box2D<T, V>

Cast the unit

Source

pub fn scale<S: Copy>(&self, x: S, y: S) -> Self
where T: Mul<S, Output = T>,

Source§

impl<T: NumCast + Copy, U> Box2D<T, U>

Source

pub fn cast<NewT: NumCast>(&self) -> Box2D<NewT, U>

Cast from one numeric representation to another, preserving the units.

When casting from floating point to integer coordinates, the decimals are truncated as one would expect from a simple cast, but this behavior does not always make sense geometrically. Consider using round(), round_in or round_out() before casting.

Source

pub fn try_cast<NewT: NumCast>(&self) -> Option<Box2D<NewT, U>>

Fallible cast from one numeric representation to another, preserving the units.

When casting from floating point to integer coordinates, the decimals are truncated as one would expect from a simple cast, but this behavior does not always make sense geometrically. Consider using round(), round_in or round_out() before casting.

Source

pub fn to_f32(&self) -> Box2D<f32, U>

Cast into an f32 box.

Source

pub fn to_f64(&self) -> Box2D<f64, U>

Cast into an f64 box.

Source

pub fn to_usize(&self) -> Box2D<usize, U>

Cast into an usize box, truncating decimals if any.

When casting from floating point boxes, it is worth considering whether to round(), round_in() or round_out() before the cast in order to obtain the desired conversion behavior.

Source

pub fn to_u32(&self) -> Box2D<u32, U>

Cast into an u32 box, truncating decimals if any.

When casting from floating point boxes, it is worth considering whether to round(), round_in() or round_out() before the cast in order to obtain the desired conversion behavior.

Source

pub fn to_i32(&self) -> Box2D<i32, U>

Cast into an i32 box, truncating decimals if any.

When casting from floating point boxes, it is worth considering whether to round(), round_in() or round_out() before the cast in order to obtain the desired conversion behavior.

Source

pub fn to_i64(&self) -> Box2D<i64, U>

Cast into an i64 box, truncating decimals if any.

When casting from floating point boxes, it is worth considering whether to round(), round_in() or round_out() before the cast in order to obtain the desired conversion behavior.

Source§

impl<T, U> Box2D<T, U>
where T: Round,

Source

pub fn round(&self) -> Self

Return a box with edges rounded to integer coordinates, such that the returned box has the same set of pixel centers as the original one. Values equal to 0.5 round up. Suitable for most places where integral device coordinates are needed, but note that any translation should be applied first to avoid pixel rounding errors. Note that this is not rounding to nearest integer if the values are negative. They are always rounding as floor(n + 0.5).

Source§

impl<T, U> Box2D<T, U>
where T: Floor + Ceil,

Source

pub fn round_in(&self) -> Self

Return a box with faces/edges rounded to integer coordinates, such that the original box contains the resulting box.

Source

pub fn round_out(&self) -> Self

Return a box with faces/edges rounded to integer coordinates, such that the original box is contained in the resulting box.

Trait Implementations§

Source§

impl<T: Clone, U> Clone for Box2D<T, U>

Source§

fn clone(&self) -> Self

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<T: Debug, U> Debug for Box2D<T, U>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de, T, U> Deserialize<'de> for Box2D<T, U>
where T: Deserialize<'de>,

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl<T: Copy + Div, U1, U2> Div<Scale<T, U1, U2>> for Box2D<T, U2>

Source§

type Output = Box2D<<T as Div>::Output, U1>

The resulting type after applying the / operator.
Source§

fn div(self, scale: Scale<T, U1, U2>) -> Self::Output

Performs the / operation. Read more
Source§

impl<T: Copy + Div, U> Div<T> for Box2D<T, U>

Source§

type Output = Box2D<<T as Div>::Output, U>

The resulting type after applying the / operator.
Source§

fn div(self, scale: T) -> Self::Output

Performs the / operation. Read more
Source§

impl<T: Copy + DivAssign, U> DivAssign<Scale<T, U, U>> for Box2D<T, U>

Source§

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation. Read more
Source§

impl<T: Copy + DivAssign, U> DivAssign<T> for Box2D<T, U>

Source§

fn div_assign(&mut self, scale: T)

Performs the /= operation. Read more
Source§

impl<T, U> From<Size2D<T, U>> for Box2D<T, U>
where T: Copy + Zero + PartialOrd,

Source§

fn from(b: Size2D<T, U>) -> Self

Converts to this type from the input type.
Source§

impl<T: Hash, U> Hash for Box2D<T, U>

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl<T: Copy + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Box2D<T, U1>

Source§

type Output = Box2D<<T as Mul>::Output, U2>

The resulting type after applying the * operator.
Source§

fn mul(self, scale: Scale<T, U1, U2>) -> Self::Output

Performs the * operation. Read more
Source§

impl<T: Copy + Mul, U> Mul<T> for Box2D<T, U>

Source§

type Output = Box2D<<T as Mul>::Output, U>

The resulting type after applying the * operator.
Source§

fn mul(self, scale: T) -> Self::Output

Performs the * operation. Read more
Source§

impl<T: Copy + MulAssign, U> MulAssign<Scale<T, U, U>> for Box2D<T, U>

Source§

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation. Read more
Source§

impl<T: Copy + MulAssign, U> MulAssign<T> for Box2D<T, U>

Source§

fn mul_assign(&mut self, scale: T)

Performs the *= operation. Read more
Source§

impl<T: PartialEq, U> PartialEq for Box2D<T, U>

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl<T, U> Serialize for Box2D<T, U>
where T: Serialize,

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl<T: Copy, U> Copy for Box2D<T, U>

Source§

impl<T: Eq, U> Eq for Box2D<T, U>

Auto Trait Implementations§

§

impl<T, U> Freeze for Box2D<T, U>
where T: Freeze,

§

impl<T, U> RefUnwindSafe for Box2D<T, U>

§

impl<T, U> Send for Box2D<T, U>
where T: Send, U: Send,

§

impl<T, U> Sync for Box2D<T, U>
where T: Sync, U: Sync,

§

impl<T, U> Unpin for Box2D<T, U>
where T: Unpin, U: Unpin,

§

impl<T, U> UnwindSafe for Box2D<T, U>
where T: UnwindSafe, U: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,