Skip to main content

AffineTransform

Struct AffineTransform 

#[repr(transparent)]
pub struct AffineTransform(pub Mat4);
Expand description

Represents a 3D affine transformation (translation, rotation, scale).

This is a semantic wrapper around a Mat4 that guarantees the matrix represents a valid affine transform. It provides a dedicated API for creating and manipulating these transformations.

Tuple Fields§

§0: Mat4

Implementations§

§

impl AffineTransform

pub const IDENTITY: AffineTransform

The identity transform, which results in no change.

pub fn from_translation(v: Vec3) -> AffineTransform

Creates an AffineTransform from a translation vector.

§Arguments
  • v - The translation vector to apply
§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::from_translation(Vec3::new(1.0, 2.0, 3.0));
assert_eq!(transform.translation(), Vec3::new(1.0, 2.0, 3.0));

pub fn from_scale(scale: Vec3) -> AffineTransform

Creates an AffineTransform from a non-uniform scale vector.

§Arguments
  • scale - The scale vector to apply to each axis
§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::from_scale(Vec3::new(2.0, 1.5, 0.5));

pub fn from_rotation_x(angle: f32) -> AffineTransform

Creates an AffineTransform from a rotation around the X axis.

§Arguments
  • angle - The angle of rotation in radians
§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;
use std::f32::consts::PI;

let transform = AffineTransform::from_rotation_x(PI / 2.0);

pub fn from_rotation_y(angle: f32) -> AffineTransform

Creates an AffineTransform from a rotation around the Y axis.

§Arguments
  • angle - The angle of rotation in radians
§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;
use std::f32::consts::PI;

let transform = AffineTransform::from_rotation_y(PI / 2.0);

pub fn from_rotation_z(angle: f32) -> AffineTransform

Creates an AffineTransform from a rotation around the Z axis.

§Arguments
  • angle - The angle of rotation in radians
§Example
use std::f32::consts::PI;
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::from_rotation_z(PI / 2.0);

pub fn from_axis_angle(axis: Vec3, angle: f32) -> AffineTransform

Creates an AffineTransform from a rotation around an arbitrary axis.

Uses Rodrigues’ rotation formula to create a rotation matrix.

§Arguments
  • axis - The axis of rotation (will be normalized automatically)
  • angle - The angle of rotation in radians
§Example
use std::f32::consts::PI;
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let axis = Vec3::new(1.0, 1.0, 0.0);
let transform = AffineTransform::from_axis_angle(axis, PI / 4.0);

pub fn from_quat(q: Quaternion) -> AffineTransform

Creates an AffineTransform from a quaternion representing a rotation.

§Arguments
  • q - The quaternion representing the rotation
§Example
use khora_core::math::{Quaternion, Vec3};
use khora_core::math::affine_transform::AffineTransform;
use std::f32::consts::PI;

let q = Quaternion::from_axis_angle(Vec3::Y, PI / 2.0);
let transform = AffineTransform::from_quat(q);

pub fn to_matrix(&self) -> Mat4

Converts the AffineTransform to a Mat4.

This is useful when you need to pass the transformation matrix to shaders or other systems that expect a raw matrix.

§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::IDENTITY;
let matrix = transform.to_matrix();

pub fn translation(&self) -> Vec3

Extracts the translation component from the affine transform.

Returns the translation vector representing the position offset applied by this transformation.

§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::from_translation(Vec3::new(1.0, 2.0, 3.0));
assert_eq!(transform.translation(), Vec3::new(1.0, 2.0, 3.0));

pub fn right(&self) -> Vec3

Extracts the right direction vector from the affine transform.

This returns the first column of the transformation matrix (excluding the w component), which represents the transformed positive X-axis direction.

§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;
use std::f32::consts::PI;

let transform = AffineTransform::from_rotation_z(PI / 2.0);
let right = transform.right();
// After 90° rotation around Z, right vector points in -Y direction

pub fn up(&self) -> Vec3

Extracts the up direction vector from the affine transform.

This returns the second column of the transformation matrix (excluding the w component), which represents the transformed positive Y-axis direction.

§Example
use std::f32::consts::PI;
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::from_rotation_x(PI / 2.0);
let up = transform.up();
// After 90° rotation around X, up vector points in -Z direction

pub fn forward(&self) -> Vec3

Extracts the forward direction vector from the affine transform.

This returns the third column of the transformation matrix (excluding the w component), which represents the transformed positive Z-axis direction.

§Example
use std::f32::consts::PI;
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::from_rotation_y(PI / 2.0);
let forward = transform.forward();
// After 90° rotation around Y, forward vector points in X direction

pub fn rotation(&self) -> Quaternion

Extracts the rotation component as a quaternion.

This method extracts the rotation represented by the upper-left 3x3 portion of the transformation matrix.

§Note

This assumes the transform has uniform or no scale. For transforms with non-uniform scale, the result may not represent a pure rotation. In such cases, consider normalizing the direction vectors first.

§Example
use khora_core::math::{Quaternion, Vec3};
use khora_core::math::affine_transform::AffineTransform;
use std::f32::consts::PI;

let q = Quaternion::from_axis_angle(Vec3::Y, PI / 2.0);
let transform = AffineTransform::from_quat(q);
let extracted = transform.rotation();
// extracted should be approximately equal to q

pub fn scale(&self) -> Vec3

Extracts the non-negative scale factors along each local axis.

Returns the Euclidean lengths of the three basis columns (right, up, forward). For a transform built as translation ∘ rotation ∘ scale this recovers the original scale vector. Mirror/negative scales are reported as their magnitudes (sign is folded into the rotation extraction).

pub fn interpolate( &self, other: &AffineTransform, alpha: f32, ) -> AffineTransform

Interpolates between two affine transforms for smooth rendering between discrete simulation steps.

Decomposes both transforms into translation / rotation / scale and blends each channel independently: translation and scale by linear interpolation, rotation by spherical interpolation (shortest-path slerp). alpha is clamped to [0, 1]; alpha = 0 returns self (the previous transform) and alpha = 1 returns other (the current transform).

This is a render-only blend: it never feeds back into the authoritative simulation state.

§Examples
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let prev = AffineTransform::from_translation(Vec3::ZERO);
let curr = AffineTransform::from_translation(Vec3::new(10.0, 0.0, 0.0));

// The endpoints round-trip the inputs; the midpoint blends them.
assert_eq!(prev.interpolate(&curr, 0.0).translation(), Vec3::ZERO);
assert_eq!(prev.interpolate(&curr, 1.0).translation(), curr.translation());

let mid = prev.interpolate(&curr, 0.5).translation();
assert!((mid - Vec3::new(5.0, 0.0, 0.0)).length() < 1e-5);

pub fn inverse(&self) -> Option<AffineTransform>

Computes the inverse of the affine transformation.

This uses an optimized affine inverse algorithm that’s more efficient than a general matrix inverse, taking advantage of the affine transform structure. Returns None if the transformation is not invertible (e.g., zero scale).

§Returns

Some(AffineTransform) if the inverse exists, None otherwise.

§Example
use khora_core::math::Vec3;
use khora_core::math::affine_transform::AffineTransform;

let transform = AffineTransform::from_translation(Vec3::new(1.0, 2.0, 3.0));
let inverse = transform.inverse().unwrap();
// The inverse should translate by (-1, -2, -3)

Trait Implementations§

§

impl<'__de, __Context> BorrowDecode<'__de, __Context> for AffineTransform

§

fn borrow_decode<__D>(decoder: &mut __D) -> Result<AffineTransform, DecodeError>
where __D: BorrowDecoder<'__de, Context = __Context>,

Attempt to decode this type with the given BorrowDecode.
§

impl Clone for AffineTransform

§

fn clone(&self) -> AffineTransform

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
§

impl Debug for AffineTransform

§

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

Formats the value using the given formatter. Read more
§

impl<__Context> Decode<__Context> for AffineTransform

§

fn decode<__D>(decoder: &mut __D) -> Result<AffineTransform, DecodeError>
where __D: Decoder<Context = __Context>,

Attempt to decode this type with the given Decode.
§

impl Default for AffineTransform

§

fn default() -> AffineTransform

Returns the identity AffineTransform.

§

impl<'de> Deserialize<'de> for AffineTransform

§

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

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

impl Encode for AffineTransform

§

fn encode<__E>(&self, encoder: &mut __E) -> Result<(), EncodeError>
where __E: Encoder,

Encode a given type.
§

impl From<AffineTransform> for Mat4

§

fn from(transform: AffineTransform) -> Mat4

Converts the AffineTransform into its inner Mat4.

§

impl From<Mat4> for AffineTransform

§

fn from(val: Mat4) -> AffineTransform

Converts a Mat4 into an AffineTransform.

§Panics

Panics if the matrix is not a valid affine transformation.

§

impl PartialEq for AffineTransform

§

fn eq(&self, other: &AffineTransform) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · 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 Serialize for AffineTransform

§

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 Copy for AffineTransform

§

impl StructuralPartialEq for AffineTransform

Auto Trait Implementations§

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
§

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

§

fn on_start(&mut self, ctx: &mut dyn AppContext)

Called once after the backend is up but before the first update. Apps install their theme / fonts here.
§

fn on_exit(&mut self)

Called once when the window is closing. Persist state here.
§

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

§

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

Returns a reference to the inner value as &dyn Any.
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> 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
§

impl<T> Downcast<T> for T

§

fn downcast(&self) -> &T

§

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> Downcast for T
where T: Any,

§

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

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

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

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

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

Converts &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)

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

impl<T> DowncastSend for T
where T: Any + Send,

§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

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

§

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

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

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

§

fn into_any_sync(self: Box<T>) -> Box<dyn Any + Send + Sync>

Converts Box<Trait> (where Trait: DowncastSync) to Box<dyn Any + Send + Sync>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

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

Converts Arc<Trait> (where Trait: DowncastSync) to Arc<Any>, which can then be 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.

§

impl<S> FromSample<S> for S

§

fn from_sample_(s: S) -> S

§

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<F, T> IntoSample<T> for F
where T: FromSample<F>,

§

fn into_sample(self) -> T

§

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, S> SimdFrom<T, S> for T
where S: Simd,

§

fn simd_from(value: T, _simd: S) -> T

§

impl<F, T, S> SimdInto<T, S> for F
where T: SimdFrom<F, S>, S: Simd,

§

fn simd_into(self, simd: S) -> T

§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
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
§

impl<T, U> ToSample<U> for T
where U: FromSample<T>,

§

fn to_sample_(self) -> U

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

§

fn upcast(&self) -> Option<&T>

§

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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

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

§

impl<S, T> Duplex<S> for T
where T: FromSample<S> + ToSample<S>,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

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

§

impl<T> SerializableAny for T
where T: 'static + Any + Clone + for<'a> Send + Sync,

§

impl<T> WasmNotSend for T
where T: Send,

§

impl<T> WasmNotSendSync for T
where T: WasmNotSend + WasmNotSync,

§

impl<T> WasmNotSync for T
where T: Sync,