Struct BoundsRefinement 

pub struct BoundsRefinement<T>
where
    T: Clone + Debug + Default + PartialEq,
{
    pub origin: Option<Point<T>>,
    pub size: Option<Size<T>>,
}

A refinable version of [#ident], see that documentation for details.

Fields

origin: Option<Point<T>>

size: Option<Size<T>>

Implementations

impl<T> BoundsRefinement<T>

where T: Clone + Debug + Default + PartialEq, Option<Point<T>>: Clone, Option<Size<T>>: Clone,

pub fn is_some(&self) -> bool

Returns true if all fields are Some

Trait Implementations

impl<T> Clone for BoundsRefinement<T>

where T: Clone + Debug + Default + PartialEq,

fn clone(&self) -> BoundsRefinement<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for BoundsRefinement<T>

where T: Clone + Debug + Default + PartialEq, Option<Point<T>>: Clone, Option<Size<T>>: Clone,

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

Formats the value using the given formatter.

impl<T> Default for BoundsRefinement<T>

where T: Clone + Debug + Default + PartialEq, Option<Point<T>>: Clone, Option<Size<T>>: Clone,

fn default() -> BoundsRefinement<T>

Returns the “default value” for a type.

impl<T> From<BoundsRefinement<T>> for Bounds<T>

where T: Clone + Debug + Default + PartialEq, Option<Point<T>>: Clone, Option<Size<T>>: Clone,

fn from(value: BoundsRefinement<T>) -> Bounds<T>

Converts to this type from the input type.

impl<T> IsEmpty for BoundsRefinement<T>

where T: Clone + Debug + Default + PartialEq, Option<Point<T>>: Clone, Option<Size<T>>: Clone,

fn is_empty(&self) -> bool

Returns true if applying this refinement would have no effect.

impl<T> Refineable for BoundsRefinement<T>

where T: Clone + Debug + Default + PartialEq, Option<Point<T>>: Clone, Option<Size<T>>: Clone,

type Refinement = BoundsRefinement<T>

fn refine( &mut self, refinement: &<BoundsRefinement<T> as Refineable>::Refinement, )

Applies the given refinement to this instance, modifying it in place.

fn refined( self, refinement: <BoundsRefinement<T> as Refineable>::Refinement, ) -> BoundsRefinement<T>

Returns a new instance with the refinement applied, equivalent to cloning self and calling refine on it.

fn is_superset_of( &self, refinement: &<BoundsRefinement<T> as Refineable>::Refinement, ) -> bool

Returns true if this instance would contain all values from the refinement.

fn subtract( &self, refinement: &<BoundsRefinement<T> as Refineable>::Refinement, ) -> <BoundsRefinement<T> as Refineable>::Refinement

Returns a refinement that represents the difference between this instance and the given refinement.

fn from_cascade(cascade: &Cascade<Self>) -> Self

where Self: Sized + Default,

Creates an instance from a cascade by merging all refinements atop the default value.