Linear

Struct Linear 

Source
pub struct Linear(/* private fields */);
Expand description

Linear transformation: scaling and rotation

This represents scaling and rotation transformations (i.e. the linear mappings on DVec2 in the mathematical sense, excluding skew).

A Linear transform a may be applied to a vector v via multiplication: a * v. Multiple transforms can be combined: a * (b * v) == (a * b) * v.

Linear transforms are a ring algebra with commutative operations. Both addition and multiplication operations are associative and commutative, e.g. (a * b) * c == a * (b * c) and a * b == b * c. The operators are also distributive: a * (b + c) == a * b + a * c. (Subject to the limitations of floating-point numbers.)

Implementations§

Source§

impl Linear

Source

pub const IDENTITY: Linear

The multiplicitive identity

Source

pub const ZERO: Linear

The additive identity

Source

pub fn new(u: f64, v: f64) -> Self

Construct as a complex number

The state is treated as a complex number of the form u + v*i = a * e^{i*t} where a is the scale component and t is the angle of rotation.

Source

pub fn scale(scale: f64) -> Self

Construct a scaling transform

Source

pub fn rotate(radians: f64) -> Self

Construct a rotating transform

In case two vectors are available, it is preferable to use Linear::from_vectors(a, b).normalize().

To also scale, use Linear::rotate(radians) * scale.

Source

pub fn from_vectors(a: DVec2, b: DVec2) -> Self

Construct a scaling and rotation transform taking a to b

This may be used to construct from two-finger touch motions. In this case, a = old.finger1 - old.finger2 and b = new.finger1 - new.finger2.

Source

pub fn pan(a: DVec2, b: DVec2, (scale, rotate): (bool, bool)) -> Self

Construct from two vectors with optional scaling and rotation

This is a multiplexer over Self::from_vectors and other methods, making scaling and rotation optional (though unless both are true, the transform won’t map a to b).

Source

pub fn get_complex(self) -> (f64, f64)

Get the internal representation

The state is treated as a complex number of the form u + v*i = a * e^{i*t} where a is the scale component and t is the angle of rotation. These components can be calculated as follows:

let (u, v) = alpha.get_complex();
let a = (u*u + v*v).sqrt();
let t = v.atan2(a);

The matrix form of this transform is:

    u  -v
    v   u
Source

pub fn get_vec2(self) -> DVec2

Get the internal representation as a DVec2

Source

pub fn get_scale(self) -> f64

Calculate the change in scale (non-trivial)

Source

pub fn get_angle(self) -> f64

Calculate the rotation angle (non-trivial)

Source

pub fn has_scale(self) -> bool

True if the transform scales its input

This is a non-trivial operation.

Source

pub fn has_rotation(self) -> bool

True if the transform rotates its input

This is a trivial operation.

Source

pub fn is_finite(self) -> bool

True if all components are finite

Source

pub fn is_bijective(self) -> bool

True if the transform has an inverse

This test corresponds approximately but not exactly to self.inverse().is_finite(). Further, self.is_bijective() approximately implies self.inverse().is_bijective().

Source

pub fn normalize(self) -> Self

Remove the scaling component

Source

pub fn inverse(self) -> Self

Calculate the inverse

This is the reciprical: Self::IDENTITY / self. Due to the limitations of floating-point numbers, it is not guaranteed that self * self.inverse() == Self::IDENTITY in general.

Trait Implementations§

Source§

impl Add for Linear

Source§

type Output = Linear

The resulting type after applying the + operator.
Source§

fn add(self, rhs: Linear) -> Linear

Performs the + operation. Read more
Source§

impl AddAssign for Linear

Source§

fn add_assign(&mut self, rhs: Linear)

Performs the += operation. Read more
Source§

impl Clone for Linear

Source§

fn clone(&self) -> Linear

Returns a duplicate 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 Debug for Linear

Source§

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

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

impl Div<Affine> for Linear

Source§

type Output = Affine

The resulting type after applying the / operator.
Source§

fn div(self, rhs: Affine) -> Affine

Performs the / operation. Read more
Source§

impl Div<Linear> for Affine

Source§

type Output = Affine

The resulting type after applying the / operator.
Source§

fn div(self, rhs: Linear) -> Affine

Performs the / operation. Read more
Source§

impl Div<f64> for Linear

Source§

type Output = Linear

The resulting type after applying the / operator.
Source§

fn div(self, rhs: f64) -> Linear

Performs the / operation. Read more
Source§

impl Div for Linear

Source§

type Output = Linear

The resulting type after applying the / operator.
Source§

fn div(self, rhs: Linear) -> Linear

Performs the / operation. Read more
Source§

impl DivAssign<Linear> for Affine

Source§

fn div_assign(&mut self, rhs: Linear)

Performs the /= operation. Read more
Source§

impl DivAssign<f64> for Linear

Source§

fn div_assign(&mut self, rhs: f64)

Performs the /= operation. Read more
Source§

impl DivAssign for Linear

Source§

fn div_assign(&mut self, rhs: Linear)

Performs the /= operation. Read more
Source§

impl From<Linear> for Affine

Source§

fn from(alpha: Linear) -> Self

Converts to this type from the input type.
Source§

impl Mul<Affine> for Linear

Source§

type Output = Affine

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: Affine) -> Affine

Performs the * operation. Read more
Source§

impl Mul<DVec2> for Linear

Source§

type Output = DVec2

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: DVec2) -> DVec2

Performs the * operation. Read more
Source§

impl Mul<Linear> for Affine

Source§

type Output = Affine

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: Linear) -> Affine

Performs the * operation. Read more
Source§

impl Mul<f64> for Linear

Source§

type Output = Linear

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: f64) -> Linear

Performs the * operation. Read more
Source§

impl Mul for Linear

Source§

type Output = Linear

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: Linear) -> Linear

Performs the * operation. Read more
Source§

impl MulAssign<Linear> for Affine

Source§

fn mul_assign(&mut self, rhs: Linear)

Performs the *= operation. Read more
Source§

impl MulAssign<f64> for Linear

Source§

fn mul_assign(&mut self, rhs: f64)

Performs the *= operation. Read more
Source§

impl MulAssign for Linear

Source§

fn mul_assign(&mut self, rhs: Linear)

Performs the *= operation. Read more
Source§

impl Neg for Linear

Source§

type Output = Linear

The resulting type after applying the - operator.
Source§

fn neg(self) -> Self

Performs the unary - operation. Read more
Source§

impl PartialEq for Linear

Source§

fn eq(&self, other: &Linear) -> 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 Sub for Linear

Source§

type Output = Linear

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: Linear) -> Linear

Performs the - operation. Read more
Source§

impl SubAssign for Linear

Source§

fn sub_assign(&mut self, rhs: Linear)

Performs the -= operation. Read more
Source§

impl Copy for Linear

Source§

impl StructuralPartialEq for Linear

Auto Trait Implementations§

§

impl Freeze for Linear

§

impl RefUnwindSafe for Linear

§

impl Send for Linear

§

impl Sync for Linear

§

impl Unpin for Linear

§

impl UnwindSafe for Linear

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<S, T> Cast<T> for S
where T: Conv<S>,

Source§

fn cast(self) -> T

Cast from Self to T Read more
Source§

fn try_cast(self) -> Result<T, Error>

Try converting from Self to T Read more
Source§

impl<S, T> CastApprox<T> for S
where T: ConvApprox<S>,

Source§

fn try_cast_approx(self) -> Result<T, Error>

Try approximate conversion from Self to T Read more
Source§

fn cast_approx(self) -> T

Cast approximately from Self to T Read more
Source§

impl<S, T> CastFloat<T> for S
where T: ConvFloat<S>,

Source§

fn cast_trunc(self) -> T

Cast to integer, truncating Read more
Source§

fn cast_nearest(self) -> T

Cast to the nearest integer Read more
Source§

fn cast_floor(self) -> T

Cast the floor to an integer Read more
Source§

fn cast_ceil(self) -> T

Cast the ceiling to an integer Read more
Source§

fn try_cast_trunc(self) -> Result<T, Error>

Try converting to integer with truncation Read more
Source§

fn try_cast_nearest(self) -> Result<T, Error>

Try converting to the nearest integer Read more
Source§

fn try_cast_floor(self) -> Result<T, Error>

Try converting the floor to an integer Read more
Source§

fn try_cast_ceil(self) -> Result<T, Error>

Try convert the ceiling to an integer Read more
Source§

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

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

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

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

Source§

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

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

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

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

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

Source§

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

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

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

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

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> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

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

Initializes a with the given initializer. Read more
Source§

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

Dereferences the given pointer. Read more
Source§

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

Mutably dereferences the given pointer. Read more
Source§

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,

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> WithSubscriber for T

Source§

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
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

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