Struct freya::prelude::Rect

#[repr(C)]
pub struct Rect<T, U> { pub origin: Point2D<T, U>, pub size: Size2D<T, U>, }
Expand description

A 2d Rectangle optionally tagged with a unit.

§Representation

Rect is represented by an origin point and a size.

See [Box2D] for a rectangle represented by two endpoints.

§Empty rectangle

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

  • it’s area is empty,
  • it’s area is negative (size.x < 0 or size.y < 0),
  • it contains NaNs.

Fields§

§origin: Point2D<T, U>§size: Size2D<T, U>

Implementations§

§

impl<T, U> Rect<T, U>

pub const fn new(origin: Point2D<T, U>, size: Size2D<T, U>) -> Rect<T, U>

Constructor.

§

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

pub fn zero() -> Rect<T, U>

Constructor, setting all sides to zero.

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

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

§

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

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

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

pub fn max_x(&self) -> T

pub fn min_x(&self) -> T

pub fn max_y(&self) -> T

pub fn min_y(&self) -> T

pub fn width(&self) -> T

pub fn height(&self) -> T

pub fn x_range(&self) -> Range<T>

pub fn y_range(&self) -> Range<T>

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

Returns the same rectangle, translated by a vector.

pub fn to_box2d(&self) -> Box2D<T, U>

§

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

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

Returns true if this rectangle contains the point. Points are considered in the rectangle if they are on the left or top edge, but outside if they are on the right or bottom edge.

pub fn intersects(&self, other: &Rect<T, U>) -> bool

§

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

pub fn intersection(&self, other: &Rect<T, U>) -> Option<Rect<T, U>>

§

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

pub fn inflate(&self, width: T, height: T) -> Rect<T, U>

§

impl<T, U> Rect<T, U>
where T: Copy + Zero + PartialOrd + Add<Output = T>,

pub fn contains_rect(&self, rect: &Rect<T, U>) -> bool

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

§

impl<T, U> Rect<T, U>
where T: Copy + Zero + PartialOrd + Add<Output = T> + Sub<Output = T>,

pub fn inner_rect(&self, offsets: SideOffsets2D<T, U>) -> Rect<T, U>

Calculate the size and position of an inner rectangle.

Subtracts the side offsets from all sides. The horizontal and vertical offsets must not be larger than the original side length. This method assumes y oriented downward.

§

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

pub fn outer_rect(&self, offsets: SideOffsets2D<T, U>) -> Rect<T, U>

Calculate the size and position of an outer rectangle.

Add the offsets to all sides. The expanded rectangle is returned. This method assumes y oriented downward.

§

impl<T, U> Rect<T, U>
where T: Copy + Zero + PartialOrd + Sub<Output = T>,

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

Returns the smallest rectangle defined by the top/bottom/left/right-most points provided as parameter.

Note: This function has a behavior that can be surprising because the right-most and bottom-most points are exactly on the edge of the rectangle while the contains function is has exclusive semantic on these edges. This means that the right-most and bottom-most points provided to from_points will count as not contained by the rect. This behavior may change in the future.

§

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

pub fn lerp(&self, other: Rect<T, U>, t: T) -> Rect<T, U>

Linearly interpolate between this rectangle and another rectangle.

§

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

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

§

impl<T, U> Rect<T, U>
where T: Copy + PartialOrd + Add<Output = T> + Sub<Output = T> + Zero,

pub fn union(&self, other: &Rect<T, U>) -> Rect<T, U>

§

impl<T, U> Rect<T, U>

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

§

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

pub fn area(&self) -> T

§

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

pub fn is_empty(&self) -> bool

§

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

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

§

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

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

Drop the units, preserving only the numeric value.

pub fn from_untyped(r: &Rect<T, UnknownUnit>) -> Rect<T, U>

Tag a unitless value with units.

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

Cast the unit

§

impl<T, U> Rect<T, U>
where T: NumCast + Copy,

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

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.

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

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.

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

Cast into an f32 rectangle.

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

Cast into an f64 rectangle.

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

Cast into an usize rectangle, truncating decimals if any.

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

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

Cast into an u32 rectangle, truncating decimals if any.

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

pub fn to_u64(&self) -> Rect<u64, U>

Cast into an u64 rectangle, truncating decimals if any.

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

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

Cast into an i32 rectangle, truncating decimals if any.

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

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

Cast into an i64 rectangle, truncating decimals if any.

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

§

impl<T, U> Rect<T, U>
where T: Float,

pub fn is_finite(self) -> bool

Returns true if all members are finite.

§

impl<T, U> Rect<T, U>
where T: Floor + Ceil + Round + Add<Output = T> + Sub<Output = T>,

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

Return a rectangle with edges rounded to integer coordinates, such that the returned rectangle has the same set of pixel centers as the original one. Edges at offset 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).

§Usage notes

Note, that when using with floating-point T types that method can significantly lose precision for large values, so if you need to call this method very often it is better to use [Box2D].

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

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

§Usage notes

Note, that when using with floating-point T types that method can significantly lose precision for large values, so if you need to call this method very often it is better to use [Box2D].

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

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

§Usage notes

Note, that when using with floating-point T types that method can significantly lose precision for large values, so if you need to call this method very often it is better to use [Box2D].

Trait Implementations§

§

impl AreaModel for Rect<f32, Measure>

§

fn without_gaps(self, gaps: &Gaps) -> Rect<f32, Measure>

The area without any outer gap (e.g margin)
§

fn move_with_offsets( &mut self, offset_x: &Length<f32, Measure>, offset_y: &Length<f32, Measure>, )

Adjust the available area with the node offsets (mainly used by scrollviews)
§

fn adjust_size(&mut self, node: &Node)

Adjust the size given the Node data
§

fn expand(&mut self, size: &Size2D<f32, Measure>)

§

fn max_area_when_rotated( &self, center: Point2D<f32, Measure>, ) -> Rect<f32, Measure>

§

fn clip(&mut self, other: &Rect<f32, Measure>)

§

impl<T, U> Clone for Rect<T, U>
where T: Clone,

§

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

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
§

impl<T, U> Debug for Rect<T, U>
where T: Debug,

§

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

Formats the value using the given formatter. Read more
§

impl<T, U> Default for Rect<T, U>
where T: Default,

§

fn default() -> Rect<T, U>

Returns the “default value” for a type. Read more
§

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

§

fn deserialize<__D>( __deserializer: __D, ) -> Result<Rect<T, U>, <__D as Deserializer<'de>>::Error>
where __D: Deserializer<'de>,

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

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

§

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

The resulting type after applying the / operator.
§

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

Performs the / operation. Read more
§

impl<T, U> Div<T> for Rect<T, U>
where T: Copy + Div,

§

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

The resulting type after applying the / operator.
§

fn div(self, scale: T) -> <Rect<T, U> as Div<T>>::Output

Performs the / operation. Read more
§

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

§

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

Performs the /= operation. Read more
§

impl<T, U> DivAssign<T> for Rect<T, U>
where T: Copy + DivAssign,

§

fn div_assign(&mut self, scale: T)

Performs the /= operation. Read more
§

impl<T, U> From<Size2D<T, U>> for Rect<T, U>
where T: Zero,

§

fn from(size: Size2D<T, U>) -> Rect<T, U>

Converts to this type from the input type.
§

impl<T, U> Hash for Rect<T, U>
where T: Hash,

§

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

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
§

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

§

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

The resulting type after applying the * operator.
§

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

Performs the * operation. Read more
§

impl<T, U> Mul<T> for Rect<T, U>
where T: Copy + Mul,

§

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

The resulting type after applying the * operator.
§

fn mul(self, scale: T) -> <Rect<T, U> as Mul<T>>::Output

Performs the * operation. Read more
§

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

§

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

Performs the *= operation. Read more
§

impl<T, U> MulAssign<T> for Rect<T, U>
where T: Copy + MulAssign,

§

fn mul_assign(&mut self, scale: T)

Performs the *= operation. Read more
§

impl<T, U> PartialEq for Rect<T, U>
where T: PartialEq,

§

fn eq(&self, other: &Rect<T, U>) -> 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.
§

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

§

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

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

impl<T, U> Copy for Rect<T, U>
where T: Copy,

§

impl<T, U> Eq for Rect<T, U>
where T: Eq,

Auto Trait Implementations§

§

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

§

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

§

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

§

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

§

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

§

impl<T, U> UnwindSafe for Rect<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
§

impl<T> CallHasher for T
where T: Hash + ?Sized,

§

fn get_hash<H, B>(value: &H, build_hasher: &B) -> u64
where H: Hash + ?Sized, B: BuildHasher,

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
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> NoneValue for T
where T: Default,

§

type NoneType = T

§

fn null_value() -> T

The none-equivalent value.
§

impl<T> Pointable for T

§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<R, P> ReadPrimitive<R> for P
where R: Read + ReadEndian<P>, P: Default,

source§

fn read_from_little_endian(read: &mut R) -> Result<Self, Error>

Read this value from the supplied reader. Same as ReadEndian::read_from_little_endian().
source§

fn read_from_big_endian(read: &mut R) -> Result<Self, Error>

Read this value from the supplied reader. Same as ReadEndian::read_from_big_endian().
source§

fn read_from_native_endian(read: &mut R) -> Result<Self, Error>

Read this value from the supplied reader. Same as ReadEndian::read_from_native_endian().
source§

impl<T> Same for T

source§

type Output = T

Should always be Self
§

impl<T, O> SuperFrom<T> for O
where O: From<T>,

§

fn super_from(input: T) -> O

Convert from a type to another type.
§

impl<T, O, M> SuperInto<O, M> for T
where O: SuperFrom<T, M>,

§

fn super_into(self) -> O

Convert from a type to another type.
§

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

§

fn to<T>(self) -> T
where Self: Into<T>,

Converts to T by calling Into<T>::into.
§

fn try_to<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

Tries to convert to T by calling TryInto<T>::try_into.
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.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<T> DependencyElement for T
where T: 'static + PartialEq + Clone,

source§

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

§

impl<T> ErasedDestructor for T
where T: 'static,

§

impl<T> MaybeSendSync for T