Struct Scale 

pub struct Scale<T, Src, Dst>(pub T, _);

Available on crate feature geometry only.

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;

Tuple Fields

0: T

Implementations

impl<T, Src, Dst> Scale<T, Src, Dst>

pub const fn new(x: T) -> Scale<T, Src, Dst>

Available on crate feature canvas only.

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

where T: One,

Available on crate feature canvas only.

Creates an identity scale (1.0).

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

where T: Copy + Mul,

Available on crate feature canvas only.

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_point3d( self, point: Point3D<T, Src>, ) -> Point3D<<T as Mul>::Output, Dst>

where T: Copy + Mul,

Available on crate feature canvas only.

Returns the given point transformed by this scale.

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

where T: Copy + Mul,

Available on crate feature canvas only.

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 as Mul>::Output, Dst>

where T: Copy + Mul,

Available on crate feature canvas only.

Returns the given size 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 as Mul>::Output, Dst>

where T: Copy + Mul,

Available on crate feature canvas only.

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 transform_box2d( self, b: &Box2D<T, Src>, ) -> Box2D<<T as Mul>::Output, Dst>

where T: Copy + Mul,

Available on crate feature canvas only.

Returns the given box transformed by this scale.

pub fn transform_box3d( self, b: &Box3D<T, Src>, ) -> Box3D<<T as Mul>::Output, Dst>

where T: Copy + Mul,

Available on crate feature canvas only.

Returns the given box transformed by this scale.

pub fn is_identity(self) -> bool

where T: PartialEq + One,

Available on crate feature canvas only.

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());

pub fn get(self) -> T

Available on crate feature canvas only.

Returns the underlying scalar scale factor.

pub fn inverse(self) -> Scale<<T as Div>::Output, Dst, Src>

where T: One + Div,

Available on crate feature canvas only.

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.inverse(), Scale::new(10.0));

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

Available on crate feature canvas only.

Returns the same transform with a different source unit.

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

Available on crate feature canvas only.

Returns the same transform with a different destination unit.

impl<T, Src, Dst> Scale<T, Src, Dst>

where T: PartialOrd,

pub fn min(self, other: Scale<T, Src, Dst>) -> Scale<T, Src, Dst>

Available on crate feature canvas only.

pub fn max(self, other: Scale<T, Src, Dst>) -> Scale<T, Src, Dst>

Available on crate feature canvas only.

pub fn clamp( self, start: Scale<T, Src, Dst>, end: Scale<T, Src, Dst>, ) -> Scale<T, Src, Dst>

where T: Copy,

Available on crate feature canvas only.

Returns the point each component of which clamped by corresponding components of start and end.

Shortcut for self.max(start).min(end).

impl<T, Src, Dst> Scale<T, Src, Dst>

where T: NumCast,

pub fn cast<NewT>(self) -> Scale<NewT, Src, Dst>

where NewT: NumCast,

Available on crate feature canvas only.

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>(self) -> Option<Scale<NewT, Src, Dst>>

where NewT: NumCast,

Available on crate feature canvas only.

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);

Trait Implementations

impl<T, Src, Dst> Add for Scale<T, Src, Dst>

where T: Add,

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

The resulting type after applying the + operator.

fn add(self, other: Scale<T, Src, Dst>) -> <Scale<T, Src, Dst> as Add>::Output

Performs the + operation.

impl<T, Src, Dst> Clone for Scale<T, Src, Dst>

where T: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, Src, Dst> Debug for Scale<T, Src, Dst>

where T: Debug,

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

Formats the value using the given formatter.

impl<T, Src, Dst> Default for Scale<T, Src, Dst>

where T: Default,

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

Returns the “default value” for a type.

impl<Src, Dst, T> Div<Scale<T, Src, Dst>> for Length<T, Dst>

where T: Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, Src, Dst>, ) -> <Length<T, Dst> as Div<Scale<T, Src, Dst>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Box2D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Box2D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Box3D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Box3D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Point2D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Point2D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Point3D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Point3D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Rect<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Rect<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for SideOffsets2D<T, U2>

where T: Copy + Div,

type Output = SideOffsets2D<<T as Div>::Output, U1>

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <SideOffsets2D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Size2D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Size2D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Size3D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Size3D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Vector2D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Vector2D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U1, U2> Div<Scale<T, U1, U2>> for Vector3D<T, U2>

where T: Copy + Div,

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

The resulting type after applying the / operator.

fn div( self, scale: Scale<T, U1, U2>, ) -> <Vector3D<T, U2> as Div<Scale<T, U1, U2>>>::Output

Performs the / operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Box2D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Box3D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Point2D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Point3D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Rect<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for SideOffsets2D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, other: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Size2D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, other: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Size3D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, other: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Vector2D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation.

impl<T, U> DivAssign<Scale<T, U, U>> for Vector3D<T, U>

where T: Copy + DivAssign,

fn div_assign(&mut self, scale: Scale<T, U, U>)

Performs the /= operation.

impl<T, Src, Dst> From<Scale<T, Src, Dst>> for ScaleOffset2D<T, Src, Dst>

where T: Copy + Zero,

fn from(s: Scale<T, Src, Dst>) -> ScaleOffset2D<T, Src, Dst>

Converts to this type from the input type.

impl<T, Src, Dst> From<Scale<T, Src, Dst>> for Transform2D<T, Src, Dst>

where T: Copy + Zero,

fn from(s: Scale<T, Src, Dst>) -> Transform2D<T, Src, Dst>

Converts to this type from the input type.

impl<T, Src, Dst> From<Scale<T, Src, Dst>> for Transform3D<T, Src, Dst>

where T: Copy + Zero + One,

fn from(s: Scale<T, Src, Dst>) -> Transform3D<T, Src, Dst>

Converts to this type from the input type.

impl<T, Src, Dst> Hash for Scale<T, Src, Dst>

where T: Hash,

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T, A, B, C> Mul<Scale<T, B, C>> for Scale<T, A, B>

where T: Mul,

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

The resulting type after applying the * operator.

fn mul( self, other: Scale<T, B, C>, ) -> <Scale<T, A, B> as Mul<Scale<T, B, C>>>::Output

Performs the * operation.

impl<Src, Dst, T> Mul<Scale<T, Src, Dst>> for Length<T, Src>

where T: Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, Src, Dst>, ) -> <Length<T, Src> as Mul<Scale<T, Src, Dst>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Box2D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Box2D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Box3D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Box3D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Point2D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Point2D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Point3D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Point3D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Rect<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Rect<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for SideOffsets2D<T, U1>

where T: Copy + Mul,

type Output = SideOffsets2D<<T as Mul>::Output, U2>

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <SideOffsets2D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Size2D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Size2D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Size3D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Size3D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Vector2D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Vector2D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U1, U2> Mul<Scale<T, U1, U2>> for Vector3D<T, U1>

where T: Copy + Mul,

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

The resulting type after applying the * operator.

fn mul( self, scale: Scale<T, U1, U2>, ) -> <Vector3D<T, U1> as Mul<Scale<T, U1, U2>>>::Output

Performs the * operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Box2D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Box3D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Point2D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Point3D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Rect<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for SideOffsets2D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, other: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Size2D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, other: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Size3D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, other: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Vector2D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation.

impl<T, U> MulAssign<Scale<T, U, U>> for Vector3D<T, U>

where T: Copy + MulAssign,

fn mul_assign(&mut self, scale: Scale<T, U, U>)

Performs the *= operation.

impl<T, Src, Dst> One for Scale<T, Src, Dst>

where T: One,

fn one() -> Scale<T, Src, Dst>

impl<T, Src, Dst> Ord for Scale<T, Src, Dst>

where T: Ord,

fn cmp(&self, other: &Scale<T, Src, Dst>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<T, Src, Dst> PartialEq for Scale<T, Src, Dst>

where T: PartialEq,

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

Tests for self and other values to be equal, and is used by ==.

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<T, Src, Dst> PartialOrd for Scale<T, Src, Dst>

where T: PartialOrd,

fn partial_cmp(&self, other: &Scale<T, Src, Dst>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T, Src, Dst> Sub for Scale<T, Src, Dst>

where T: Sub,

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

The resulting type after applying the - operator.

fn sub(self, other: Scale<T, Src, Dst>) -> <Scale<T, Src, Dst> as Sub>::Output

Performs the - operation.

impl<S> Transformation<S> for Scale<S, UnknownUnit, UnknownUnit>

where S: Scalar,

fn transform_point(&self, p: Point2D<S, UnknownUnit>) -> Point2D<S, UnknownUnit>

fn transform_vector( &self, v: Vector2D<S, UnknownUnit>, ) -> Vector2D<S, UnknownUnit>

impl<T, Src, Dst> Copy for Scale<T, Src, Dst>

where T: Copy,

impl<T, Src, Dst> Eq for Scale<T, Src, Dst>

where T: Eq,