Struct euclid::Rotation3D

source ·
#[repr(C)]
pub struct Rotation3D<T, Src, Dst> { pub i: T, pub j: T, pub k: T, pub r: T, /* private fields */ }
Expand description

A transform that can represent rotations in 3d, represented as a quaternion.

Most methods expect the quaternion to be normalized. When in doubt, use unit_quaternion instead of quaternion to create a rotation as the former will ensure that its result is normalized.

Some people use the x, y, z, w (or w, x, y, z) notations. The equivalence is as follows: x -> i, y -> j, z -> k, w -> r. The memory layout of this type corresponds to the x, y, z, w notation

Fields§

§i: T

Component multiplied by the imaginary number i.

§j: T

Component multiplied by the imaginary number j.

§k: T

Component multiplied by the imaginary number k.

§r: T

The real part.

Implementations§

source§

impl<T, Src, Dst> Rotation3D<T, Src, Dst>

source

pub fn quaternion(a: T, b: T, c: T, r: T) -> Self

Creates a rotation around from a quaternion representation.

The parameters are a, b, c and r compose the quaternion a*i + b*j + c*k + r where a, b and c describe the vector part and the last parameter r is the real part.

The resulting quaternion is not necessarily normalized. See unit_quaternion.

source

pub fn identity() -> Self
where T: Zero + One,

Creates the identity rotation.

source§

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

source

pub fn vector_part(&self) -> Vector3D<T, UnknownUnit>

Returns the vector part (i, j, k) of this quaternion.

source

pub fn cast_unit<Src2, Dst2>(&self) -> Rotation3D<T, Src2, Dst2>

Cast the unit, preserving the numeric value.

Example
enum Local {}
enum World {}

enum Local2 {}
enum World2 {}

let to_world: Rotation3D<_, Local, World> = Rotation3D::quaternion(1, 2, 3, 4);

assert_eq!(to_world.i, to_world.cast_unit::<Local2, World2>().i);
assert_eq!(to_world.j, to_world.cast_unit::<Local2, World2>().j);
assert_eq!(to_world.k, to_world.cast_unit::<Local2, World2>().k);
assert_eq!(to_world.r, to_world.cast_unit::<Local2, World2>().r);
source

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

Drop the units, preserving only the numeric value.

Example
enum Local {}
enum World {}

let to_world: Rotation3D<_, Local, World> = Rotation3D::quaternion(1, 2, 3, 4);

assert_eq!(to_world.i, to_world.to_untyped().i);
assert_eq!(to_world.j, to_world.to_untyped().j);
assert_eq!(to_world.k, to_world.to_untyped().k);
assert_eq!(to_world.r, to_world.to_untyped().r);
source

pub fn from_untyped(r: &Rotation3D<T, UnknownUnit, UnknownUnit>) -> Self

Tag a unitless value with units.

Example
use euclid::UnknownUnit;
enum Local {}
enum World {}

let rot: Rotation3D<_, UnknownUnit, UnknownUnit> = Rotation3D::quaternion(1, 2, 3, 4);

assert_eq!(rot.i, Rotation3D::<_, Local, World>::from_untyped(&rot).i);
assert_eq!(rot.j, Rotation3D::<_, Local, World>::from_untyped(&rot).j);
assert_eq!(rot.k, Rotation3D::<_, Local, World>::from_untyped(&rot).k);
assert_eq!(rot.r, Rotation3D::<_, Local, World>::from_untyped(&rot).r);
source§

impl<T, Src, Dst> Rotation3D<T, Src, Dst>
where T: Real,

source

pub fn unit_quaternion(i: T, j: T, k: T, r: T) -> Self

Creates a rotation around from a quaternion representation and normalizes it.

The parameters are a, b, c and r compose the quaternion a*i + b*j + c*k + r before normalization, where a, b and c describe the vector part and the last parameter r is the real part.

source

pub fn around_axis(axis: Vector3D<T, Src>, angle: Angle<T>) -> Self

Creates a rotation around a given axis.

source

pub fn around_x(angle: Angle<T>) -> Self

Creates a rotation around the x axis.

source

pub fn around_y(angle: Angle<T>) -> Self

Creates a rotation around the y axis.

source

pub fn around_z(angle: Angle<T>) -> Self

Creates a rotation around the z axis.

source

pub fn euler(roll: Angle<T>, pitch: Angle<T>, yaw: Angle<T>) -> Self

Creates a rotation from Euler angles.

The rotations are applied in roll then pitch then yaw order.

  • Roll (also called bank) is a rotation around the x axis.
  • Pitch (also called bearing) is a rotation around the y axis.
  • Yaw (also called heading) is a rotation around the z axis.
source

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

Returns the inverse of this rotation.

source

pub fn norm(&self) -> T

Computes the norm of this quaternion.

source

pub fn square_norm(&self) -> T

Computes the squared norm of this quaternion.

source

pub fn normalize(&self) -> Self

Returns a unit quaternion from this one.

source

pub fn is_normalized(&self) -> bool
where T: ApproxEq<T>,

Returns true if norm of this quaternion is (approximately) one.

source

pub fn slerp(&self, other: &Self, t: T) -> Self
where T: ApproxEq<T>,

Spherical linear interpolation between this rotation and another rotation.

t is expected to be between zero and one.

source

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

Basic Linear interpolation between this rotation and another rotation.

source

pub fn transform_point3d(&self, point: Point3D<T, Src>) -> Point3D<T, Dst>
where T: ApproxEq<T>,

Returns the given 3d point transformed by this rotation.

The input point must be use the unit Src, and the returned point has the unit Dst.

source

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

Returns the given 2d point transformed by this rotation then projected on the xy plane.

The input point must be use the unit Src, and the returned point has the unit Dst.

source

pub fn transform_vector3d(&self, vector: Vector3D<T, Src>) -> Vector3D<T, Dst>
where T: ApproxEq<T>,

Returns the given 3d vector transformed by this rotation.

The input vector must be use the unit Src, and the returned point has the unit Dst.

source

pub fn transform_vector2d(&self, vector: Vector2D<T, Src>) -> Vector2D<T, Dst>
where T: ApproxEq<T>,

Returns the given 2d vector transformed by this rotation then projected on the xy plane.

The input vector must be use the unit Src, and the returned point has the unit Dst.

source

pub fn to_transform(&self) -> Transform3D<T, Src, Dst>
where T: ApproxEq<T>,

Returns the matrix representation of this rotation.

source

pub fn then<NewDst>( &self, other: &Rotation3D<T, Dst, NewDst> ) -> Rotation3D<T, Src, NewDst>
where T: ApproxEq<T>,

Returns a rotation representing this rotation followed by the other rotation.

Trait Implementations§

source§

impl<T, Src, Dst> ApproxEq<T> for Rotation3D<T, Src, Dst>
where T: Copy + Neg<Output = T> + ApproxEq<T>,

source§

fn approx_epsilon() -> T

Default epsilon value
source§

fn approx_eq_eps(&self, other: &Self, eps: &T) -> bool

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

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

impl<T: Clone, Src, Dst> Clone for Rotation3D<T, Src, Dst>

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, Src, Dst> Debug for Rotation3D<T, Src, Dst>

source§

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

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

impl<T: Real + ApproxEq<T>, Src, Dst> From<Rotation3D<T, Src, Dst>> for RigidTransform3D<T, Src, Dst>

source§

fn from(rot: Rotation3D<T, Src, Dst>) -> Self

Converts to this type from the input type.
source§

impl<T, Src, Dst> Hash for Rotation3D<T, Src, Dst>
where T: Hash,

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

source§

fn eq(&self, other: &Self) -> 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.
source§

impl<T: Copy, Src, Dst> Copy for Rotation3D<T, Src, Dst>

source§

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

Auto Trait Implementations§

§

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

§

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

§

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

§

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

§

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

§

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.