[][src]Struct euclid::Scale

#[repr(C)]pub struct Scale<T, Src, Dst>(pub T, _);

A scaling factor between two different units of measurement.

This is effectively a type-safe float, intended to be used in combination with other types like length::Length to enforce conversion between systems of measurement at compile time.

Src and Dst represent the units before and after multiplying a value by a Scale. They may be types without values, such as empty enums. For example:

use euclid::Scale;
use euclid::Length;
enum Mm {};
enum Inch {};

let mm_per_inch: Scale<f32, Inch, Mm> = Scale::new(25.4);

let one_foot: Length<f32, Inch> = Length::new(12.0);
let one_foot_in_mm: Length<f32, Mm> = one_foot * mm_per_inch;

Implementations

impl<T, Src, Dst> Scale<T, Src, Dst>[src]

pub const fn new(x: T) -> Self[src]

pub fn transform_point(&self, point: Point2D<T, Src>) -> Point2D<T::Output, Dst> where
    T: Clone + Mul
[src]

Returns the given point transformed by this scale.

Example

use euclid::{Scale, point2};
enum Mm {};
enum Cm {};

let to_mm: Scale<i32, Cm, Mm> = Scale::new(10);

assert_eq!(to_mm.transform_point(point2(42, -42)), point2(420, -420));

pub fn transform_vector(
    &self,
    vec: Vector2D<T, Src>
) -> Vector2D<T::Output, Dst> where
    T: Clone + Mul
[src]

Returns the given vector transformed by this scale.

Example

use euclid::{Scale, vec2};
enum Mm {};
enum Cm {};

let to_mm: Scale<i32, Cm, Mm> = Scale::new(10);

assert_eq!(to_mm.transform_vector(vec2(42, -42)), vec2(420, -420));

pub fn transform_size(&self, size: Size2D<T, Src>) -> Size2D<T::Output, Dst> where
    T: Clone + Mul
[src]

Returns the given vector transformed by this scale.

Example

use euclid::{Scale, size2};
enum Mm {};
enum Cm {};

let to_mm: Scale<i32, Cm, Mm> = Scale::new(10);

assert_eq!(to_mm.transform_size(size2(42, -42)), size2(420, -420));

pub fn transform_rect(&self, rect: &Rect<T, Src>) -> Rect<T::Output, Dst> where
    T: Copy + Mul
[src]

Returns the given rect transformed by this scale.

Example

use euclid::{Scale, rect};
enum Mm {};
enum Cm {};

let to_mm: Scale<i32, Cm, Mm> = Scale::new(10);

assert_eq!(to_mm.transform_rect(&rect(1, 2, 42, -42)), rect(10, 20, 420, -420));

pub fn inverse(&self) -> Scale<T::Output, Dst, Src> where
    T: Clone + Neg
[src]

Returns the inverse of this scale.

pub fn is_identity(&self) -> bool where
    T: PartialEq + One
[src]

Returns true if this scale has no effect.

Example

use euclid::Scale;
use euclid::num::One;
enum Mm {};
enum Cm {};

let cm_per_mm: Scale<f32, Mm, Cm> = Scale::new(0.1);
let mm_per_mm: Scale<f32, Mm, Mm> = Scale::new(1.0);

assert_eq!(cm_per_mm.is_identity(), false);
assert_eq!(mm_per_mm.is_identity(), true);
assert_eq!(mm_per_mm, Scale::one());

impl<T: Clone, Src, Dst> Scale<T, Src, Dst>[src]

pub fn get(&self) -> T[src]

pub fn inv(&self) -> Scale<T::Output, Dst, Src> where
    T: One + Div
[src]

The inverse Scale (1.0 / self).

Example

use euclid::Scale;
enum Mm {};
enum Cm {};

let cm_per_mm: Scale<f32, Cm, Mm> = Scale::new(0.1);

assert_eq!(cm_per_mm.inv(), Scale::new(10.0));

impl<T: NumCast + Clone, Src, Dst> Scale<T, Src, Dst>[src]

pub fn cast<NewT: NumCast>(&self) -> Scale<NewT, Src, Dst>[src]

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

Panics

If the source value cannot be represented by the target type NewT, then method panics. Use try_cast if that must be case.

Example

use euclid::Scale;
enum Mm {};
enum Cm {};

let to_mm: Scale<i32, Cm, Mm> = Scale::new(10);

assert_eq!(to_mm.cast::<f32>(), Scale::new(10.0));

That conversion will panic, because i32 not enough to store such big numbers:

use euclid::Scale;
enum Mm {};// millimeter = 10^-2 meters
enum Em {};// exameter   = 10^18 meters

// Panics
let to_em: Scale<i32, Mm, Em> = Scale::new(10e20).cast();

pub fn try_cast<NewT: NumCast>(&self) -> Option<Scale<NewT, Src, Dst>>[src]

Fallible cast from one numeric representation to another, preserving the units. If the source value cannot be represented by the target type NewT, then None is returned.

Example

use euclid::Scale;
enum Mm {};
enum Cm {};
enum Em {};// Exameter = 10^18 meters

let to_mm: Scale<i32, Cm, Mm> = Scale::new(10);
let to_em: Scale<f32, Mm, Em> = Scale::new(10e20);

assert_eq!(to_mm.try_cast::<f32>(), Some(Scale::new(10.0)));
// Integer to small to store that number
assert_eq!(to_em.try_cast::<i32>(), None);

impl<Src, Dst> Scale<f32, Src, Dst>[src]

pub const ONE: Self[src]

Identity scaling, could be used to safely transit from one space to another.

Trait Implementations

impl<T: Add, Src, Dst> Add<Scale<T, Src, Dst>> for Scale<T, Src, Dst>[src]

type Output = Scale<T::Output, Src, Dst>

The resulting type after applying the + operator.

impl<T: Clone, Src, Dst> Clone for Scale<T, Src, Dst>[src]

impl<T: Copy, Src, Dst> Copy for Scale<T, Src, Dst>[src]

impl<T: Debug, Src, Dst> Debug for Scale<T, Src, Dst>[src]

impl<T: Default, Src, Dst> Default for Scale<T, Src, Dst>[src]

impl<T: Display, Src, Dst> Display for Scale<T, Src, Dst>[src]

impl<Src, Dst, T: Div> Div<Scale<T, Src, Dst>> for Length<T, Dst>[src]

type Output = Length<T::Output, Src>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Box2D<T, U2>[src]

type Output = Box2D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Point2D<T, U2>[src]

type Output = Point2D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Point3D<T, U2>[src]

type Output = Point3D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Rect<T, U2>[src]

type Output = Rect<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Size2D<T, U2>[src]

type Output = Size2D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Size3D<T, U2>[src]

type Output = Size3D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Vector2D<T, U2>[src]

type Output = Vector2D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Vector3D<T, U2>[src]

type Output = Vector3D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + Div, U1, U2> Div<Scale<T, U1, U2>> for Box3D<T, U2>[src]

type Output = Box3D<T::Output, U1>

The resulting type after applying the / operator.

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Box2D<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Point2D<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Point3D<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Rect<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Size2D<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Size3D<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Vector2D<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Vector3D<T, U>[src]

impl<T: Clone + DivAssign, U> DivAssign<Scale<T, U, U>> for Box3D<T, U>[src]

impl<T: Eq, Src, Dst> Eq for Scale<T, Src, Dst>[src]

impl<T: Hash, Src, Dst> Hash for Scale<T, Src, Dst>[src]

impl<T: Mul, A, B, C> Mul<Scale<T, B, C>> for Scale<T, A, B>[src]

type Output = Scale<T::Output, A, C>

The resulting type after applying the * operator.

impl<Src, Dst, T: Mul> Mul<Scale<T, Src, Dst>> for Length<T, Src>[src]

type Output = Length<T::Output, Dst>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Box2D<T, U1>[src]

type Output = Box2D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Point2D<T, U1>[src]

type Output = Point2D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Point3D<T, U1>[src]

type Output = Point3D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Rect<T, U1>[src]

type Output = Rect<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Size2D<T, U1>[src]

type Output = Size2D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Size3D<T, U1>[src]

type Output = Size3D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Vector2D<T, U1>[src]

type Output = Vector2D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Vector3D<T, U1>[src]

type Output = Vector3D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + Mul, U1, U2> Mul<Scale<T, U1, U2>> for Box3D<T, U1>[src]

type Output = Box3D<T::Output, U2>

The resulting type after applying the * operator.

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Box2D<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Point2D<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Point3D<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Rect<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Size2D<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Size3D<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Vector2D<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Vector3D<T, U>[src]

impl<T: Clone + MulAssign, U> MulAssign<Scale<T, U, U>> for Box3D<T, U>[src]

impl<T: One, Src, Dst> One for Scale<T, Src, Dst>[src]

impl<T: Ord, Src, Dst> Ord for Scale<T, Src, Dst>[src]

impl<T: PartialEq, Src, Dst> PartialEq<Scale<T, Src, Dst>> for Scale<T, Src, Dst>[src]

impl<T: PartialOrd, Src, Dst> PartialOrd<Scale<T, Src, Dst>> for Scale<T, Src, Dst>[src]

impl<T: Sub, Src, Dst> Sub<Scale<T, Src, Dst>> for Scale<T, Src, Dst>[src]

type Output = Scale<T::Output, Src, Dst>

The resulting type after applying the - operator.

Auto Trait Implementations

impl<T, Src, Dst> RefUnwindSafe for Scale<T, Src, Dst> where
    Dst: RefUnwindSafe,
    Src: RefUnwindSafe,
    T: RefUnwindSafe

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

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

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

impl<T, Src, Dst> UnwindSafe for Scale<T, Src, Dst> where
    Dst: UnwindSafe,
    Src: UnwindSafe,
    T: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> One for T where
    T: One
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.