Struct zng_layout::unit::euclid::Transform2D

#[repr(C)]
pub struct Transform2D<T, Src, Dst> { pub m11: T, pub m12: T, pub m21: T, pub m22: T, pub m31: T, pub m32: T, /* private fields */ }
Expand description

A 2d transform represented by a column-major 3 by 3 matrix, compressed down to 3 by 2.

Transforms can be parametrized over the source and destination units, to describe a transformation from a space to another. For example, Transform2D<f32, WorldSpace, ScreenSpace>::transform_point4d takes a Point2D<f32, WorldSpace> and returns a Point2D<f32, ScreenSpace>.

Transforms expose a set of convenience methods for pre- and post-transformations. Pre-transformations (pre_* methods) correspond to adding an operation that is applied before the rest of the transformation, while post-transformations (then_* methods) add an operation that is applied after.

The matrix representation is conceptually equivalent to a 3 by 3 matrix transformation compressed to 3 by 2 with the components that aren’t needed to describe the set of 2d transformations we are interested in implicitly defined:

 | m11 m21 m31 |   |x|   |x'|
 | m12 m22 m32 | x |y| = |y'|
 |   0   0   1 |   |1|   |1 |

When translating Transform2D into general matrix representations, consider that the representation follows the column-major notation with column vectors.

The translation terms are m31 and m32.

Fields§

§m11: T§m12: T§m21: T§m22: T§m31: T§m32: T

Implementations§

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>

pub const fn new( m11: T, m12: T, m21: T, m22: T, m31: T, m32: T ) -> Transform2D<T, Src, Dst>

Create a transform specifying its components in using the column-major-column-vector matrix notation.

For example, the translation terms m31 and m32 are the last two parameters parameters.

use euclid::default::Transform2D;
let tx = 1.0;
let ty = 2.0;
let translation = Transform2D::new(
  1.0, 0.0,
  0.0, 1.0,
  tx,  ty,
);

pub fn approx_eq(&self, other: &Transform2D<T, Src, Dst>) -> bool
where T: ApproxEq<T>,

Returns true is this transform is approximately equal to the other one, using T’s default epsilon value.

The same as ApproxEq::approx_eq() but available without importing trait.

pub fn approx_eq_eps(&self, other: &Transform2D<T, Src, Dst>, eps: &T) -> bool
where T: ApproxEq<T>,

Returns true is this transform is approximately equal to the other one, using a provided epsilon value.

The same as ApproxEq::approx_eq_eps() but available without importing trait.

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: Copy,

pub fn to_array(&self) -> [T; 6]

Returns an array containing this transform’s terms.

The terms are laid out in the same order as they are specified in Transform2D::new, that is following the column-major-column-vector matrix notation.

For example the translation terms are found in the last two slots of the array.

pub fn to_array_transposed(&self) -> [T; 6]

Returns an array containing this transform’s terms transposed.

The terms are laid out in transposed order from the same order of Transform3D::new and Transform3D::to_array, that is following the row-major-column-vector matrix notation.

For example the translation terms are found at indices 2 and 5 in the array.

pub fn to_arrays(&self) -> [[T; 2]; 3]

Equivalent to to_array with elements packed two at a time in an array of arrays.

pub fn from_array(array: [T; 6]) -> Transform2D<T, Src, Dst>

Create a transform providing its components via an array of 6 elements instead of as individual parameters.

The order of the components corresponds to the column-major-column-vector matrix notation (the same order as Transform2D::new).

pub fn from_arrays(array: [[T; 2]; 3]) -> Transform2D<T, Src, Dst>

Equivalent to from_array with elements packed two at a time in an array of arrays.

The order of the components corresponds to the column-major-column-vector matrix notation (the same order as Transform3D::new).

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

Drop the units, preserving only the numeric value.

pub fn from_untyped( p: &Transform2D<T, UnknownUnit, UnknownUnit> ) -> Transform2D<T, Src, Dst>

Tag a unitless value with units.

pub fn with_source<NewSrc>(&self) -> Transform2D<T, NewSrc, Dst>

Returns the same transform with a different source unit.

pub fn with_destination<NewDst>(&self) -> Transform2D<T, Src, NewDst>

Returns the same transform with a different destination unit.

pub fn to_3d(&self) -> Transform3D<T, Src, Dst>
where T: Zero + One,

Create a 3D transform from the current transform

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: NumCast + Copy,

pub fn cast<NewT>(&self) -> Transform2D<NewT, Src, Dst>
where NewT: NumCast,

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

pub fn try_cast<NewT>(&self) -> Option<Transform2D<NewT, Src, Dst>>
where NewT: NumCast,

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

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: Zero + One,

pub fn identity() -> Transform2D<T, Src, Dst>

Create an identity matrix:

1 0
0 1
0 0
§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: Copy + Add<Output = T> + Mul<Output = T>,

Methods for combining generic transformations

pub fn then<NewDst>( &self, mat: &Transform2D<T, Dst, NewDst> ) -> Transform2D<T, Src, NewDst>

Returns the multiplication of the two matrices such that mat’s transformation applies after self’s transformation.

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: Zero + One,

Methods for creating and combining translation transformations

pub fn translation(x: T, y: T) -> Transform2D<T, Src, Dst>

Create a 2d translation transform:

1 0
0 1
x y

pub fn then_translate(&self, v: Vector2D<T, Dst>) -> Transform2D<T, Src, Dst>
where T: Copy + Add<Output = T> + Mul<Output = T>,

Applies a translation after self’s transformation and returns the resulting transform.

pub fn pre_translate(&self, v: Vector2D<T, Src>) -> Transform2D<T, Src, Dst>
where T: Copy + Add<Output = T> + Mul<Output = T>,

Applies a translation before self’s transformation and returns the resulting transform.

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: Copy + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Zero + Trig,

Methods for creating and combining rotation transformations

pub fn rotation(theta: Angle<T>) -> Transform2D<T, Src, Dst>

Returns a rotation transform.

pub fn then_rotate(&self, theta: Angle<T>) -> Transform2D<T, Src, Dst>

Applies a rotation after self’s transformation and returns the resulting transform.

pub fn pre_rotate(&self, theta: Angle<T>) -> Transform2D<T, Src, Dst>

Applies a rotation before self’s transformation and returns the resulting transform.

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>

Methods for creating and combining scale transformations

pub fn scale(x: T, y: T) -> Transform2D<T, Src, Dst>
where T: Zero,

Create a 2d scale transform:

x 0
0 y
0 0

pub fn then_scale(&self, x: T, y: T) -> Transform2D<T, Src, Dst>
where T: Copy + Add<Output = T> + Mul<Output = T> + Zero,

Applies a scale after self’s transformation and returns the resulting transform.

pub fn pre_scale(&self, x: T, y: T) -> Transform2D<T, Src, Dst>
where T: Copy + Mul<Output = T>,

Applies a scale before self’s transformation and returns the resulting transform.

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: Copy + Add<Output = T> + Mul<Output = T>,

Methods for apply transformations to objects

pub fn transform_point(&self, point: Point2D<T, Src>) -> Point2D<T, Dst>

Returns the given point transformed by this transform.

pub fn transform_vector(&self, vec: Vector2D<T, Src>) -> Vector2D<T, Dst>

Returns the given vector transformed by this matrix.

pub fn outer_transformed_rect(&self, rect: &Rect<T, Src>) -> Rect<T, Dst>
where T: Sub<Output = T> + Zero + PartialOrd,

Returns a rectangle that encompasses the result of transforming the given rectangle by this transform.

pub fn outer_transformed_box(&self, b: &Box2D<T, Src>) -> Box2D<T, Dst>
where T: Sub<Output = T> + Zero + PartialOrd,

Returns a box that encompasses the result of transforming the given box by this transform.

§

impl<T, Src, Dst> Transform2D<T, Src, Dst>
where T: Copy + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + PartialEq + Zero + One,

pub fn determinant(&self) -> T

Computes and returns the determinant of this transform.

pub fn is_invertible(&self) -> bool

Returns whether it is possible to compute the inverse transform.

pub fn inverse(&self) -> Option<Transform2D<T, Dst, Src>>

Returns the inverse transform if possible.

Trait Implementations§

§

impl<T, Src, Dst> ApproxEq<T> for Transform2D<T, Src, Dst>
where T: ApproxEq<T>,

§

fn approx_eq_eps(&self, other: &Transform2D<T, Src, Dst>, eps: &T) -> bool

Returns true is this transform is approximately equal to the other one, using a provided epsilon value.

§

fn approx_epsilon() -> T

Default epsilon value
§

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

Returns true is this object is approximately equal to the other one, using the approx_epsilon() epsilon value.
§

impl<T, Src, Dst> Clone for Transform2D<T, Src, Dst>
where T: Clone,

§

fn clone(&self) -> Transform2D<T, Src, Dst>

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, Src, Dst> Debug for Transform2D<T, Src, Dst>
where T: Copy + Debug + PartialEq + One + Zero,

§

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

Formats the value using the given formatter. Read more
§

impl<T, Src, Dst> Default for Transform2D<T, Src, Dst>
where T: Zero + One,

§

fn default() -> Transform2D<T, Src, Dst>

Returns the identity transform.

§

impl<'de, T, Src, Dst> Deserialize<'de> for Transform2D<T, Src, Dst>
where T: Deserialize<'de>,

§

fn deserialize<__D>( __deserializer: __D ) -> Result<Transform2D<T, Src, Dst>, <__D as Deserializer<'de>>::Error>
where __D: Deserializer<'de>,

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

impl<T, Src, Dst> From<Translation2D<T, Src, Dst>> for Transform2D<T, Src, Dst>
where T: Zero + One,

§

fn from(t: Translation2D<T, Src, Dst>) -> Transform2D<T, Src, Dst>

Converts to this type from the input type.
§

impl<T, Src, Dst> Hash for Transform2D<T, Src, Dst>
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, Src, Dst> PartialEq for Transform2D<T, Src, Dst>
where T: PartialEq,

§

fn eq(&self, other: &Transform2D<T, Src, Dst>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

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

impl<T, Src, Dst> Serialize for Transform2D<T, Src, Dst>
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, Src, Dst> Zeroable for Transform2D<T, Src, Dst>
where T: Zeroable,

§

fn zeroed() -> Self

§

impl<T, Src, Dst> Copy for Transform2D<T, Src, Dst>
where T: Copy,

§

impl<T, Src, Dst> Eq for Transform2D<T, Src, Dst>
where T: Eq,

§

impl<T, Src, Dst> Pod for Transform2D<T, Src, Dst>
where T: Pod, Src: 'static, Dst: 'static,

Auto Trait Implementations§

§

impl<T, Src, Dst> Freeze for Transform2D<T, Src, Dst>
where T: Freeze,

§

impl<T, Src, Dst> RefUnwindSafe for Transform2D<T, Src, Dst>

§

impl<T, Src, Dst> Send for Transform2D<T, Src, Dst>
where T: Send, Src: Send, Dst: Send,

§

impl<T, Src, Dst> Sync for Transform2D<T, Src, Dst>
where T: Sync, Src: Sync, Dst: Sync,

§

impl<T, Src, Dst> Unpin for Transform2D<T, Src, Dst>
where T: Unpin, Src: Unpin, Dst: Unpin,

§

impl<T, Src, Dst> UnwindSafe for Transform2D<T, Src, Dst>
where T: UnwindSafe, Src: UnwindSafe, Dst: 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> AnyVarValue for T
where T: VarValue,

source§

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

Access to dyn Any methods.
source§

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

Access to mut dyn Any methods.
source§

fn clone_boxed(&self) -> Box<dyn AnyVarValue>

Clone the value.
source§

fn clone_boxed_var(&self) -> Box<dyn AnyVar>

Clone the value into a new boxed LocalVar<Self>.
source§

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

Access to Box<dyn Any> methods.
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> CheckedBitPattern for T
where T: AnyBitPattern,

§

type Bits = T

Self must have the same layout as the specified Bits except for the possible invalid bit patterns being checked during is_valid_bit_pattern.
§

fn is_valid_bit_pattern(_bits: &T) -> bool

If this function returns true, then it must be valid to reinterpret bits as &Self.
§

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.
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
source§

impl<T> IntoVar<T> for T
where T: VarValue,

§

type Var = LocalVar<T>

Variable type that will wrap the T value. Read more
source§

fn into_var(self) -> <T as IntoVar<T>>::Var

Converts the source value into a var.
source§

fn into_boxed_var(self) -> Box<dyn VarBoxed<T>>
where Self: Sized,

Converts into BoxedVar<T>. Read more
§

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<T> ToOwned for T
where T: Clone,

§

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>,

§

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>,

§

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<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> AnyBitPattern for T
where T: Pod,

source§

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

source§

impl<T> IntoValue<T> for T
where T: VarValue,

§

impl<T> NoUninit for T
where T: Pod,

source§

impl<T> VarValue for T
where T: Debug + Clone + PartialEq + Any + Send + Sync,