Struct fj_math::Line

source ·
#[repr(C)]
pub struct Line<const D: usize> { /* private fields */ }
Expand description

An n-dimensional line, defined by an origin and a direction

The dimensionality of the line is defined by the const generic D parameter.

Implementations§

source§

impl<const D: usize> Line<D>

source

pub fn from_origin_and_direction(origin: Point<D>, direction: Vector<D>) -> Self

Create a line from a point and a vector

§Panics

Panics, if direction has a length of zero.

source

pub fn from_points(points: [impl Into<Point<D>>; 2]) -> (Self, [Point<1>; 2])

Create a line from two points

Also returns the lines coordinates of the provided points on the new line.

§Panics

Panics, if the points are coincident.

source

pub fn from_points_with_line_coords( points: [(impl Into<Point<1>>, impl Into<Point<D>>); 2] ) -> Self

Create a line from two points that include line coordinates

§Panics

Panics, if the points are coincident.

source

pub fn origin(&self) -> Point<D>

Access the origin of the line

The origin is a point on the line which, together with the direction field, defines the line fully. The origin also defines the origin of the line’s 1-dimensional coordinate system.

source

pub fn direction(&self) -> Vector<D>

Access the direction of the line

The length of this vector defines the unit of the line’s curve coordinate system. The coordinate 1. is always where the direction vector points, from origin.

source

pub fn is_coincident_with(&self, other: &Self) -> bool

Determine if this line is coincident with another line

§Implementation Note

This method only returns true, if the lines are precisely coincident. This will probably not be enough going forward, but it’ll do for now.

source

pub fn reverse(self) -> Self

Create a new instance that is reversed

source

pub fn point_to_line_coords(&self, point: impl Into<Point<D>>) -> Point<1>

Convert a D-dimensional point to line coordinates

Projects the point onto the line before the conversion. This is done to make this method robust against floating point accuracy issues.

Callers are advised to be careful about the points they pass, as the point not being on the line, intentional or not, will never result in an error.

source

pub fn vector_to_line_coords(&self, vector: impl Into<Vector<D>>) -> Vector<1>

Convert a D-dimensional vector to line coordinates

source

pub fn point_from_line_coords(&self, point: impl Into<Point<1>>) -> Point<D>

Convert a point in line coordinates into a D-dimensional point

source

pub fn vector_from_line_coords(&self, vector: impl Into<Vector<1>>) -> Vector<D>

Convert a vector in line coordinates into a D-dimensional vector

Trait Implementations§

source§

impl<const D: usize> AbsDiffEq for Line<D>

§

type Epsilon = <Scalar as AbsDiffEq>::Epsilon

Used for specifying relative comparisons.
source§

fn default_epsilon() -> Self::Epsilon

The default tolerance to use when testing values that are close together. Read more
source§

fn abs_diff_eq(&self, other: &Self, epsilon: Self::Epsilon) -> bool

A test for equality that uses the absolute difference to compute the approximate equality of two numbers.
source§

fn abs_diff_ne(&self, other: &Rhs, epsilon: Self::Epsilon) -> bool

The inverse of AbsDiffEq::abs_diff_eq.
source§

impl<const D: usize> Clone for Line<D>

source§

fn clone(&self) -> Line<D>

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<const D: usize> Debug for Line<D>

source§

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

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

impl<const D: usize> Default for Line<D>

source§

fn default() -> Line<D>

Returns the “default value” for a type. Read more
source§

impl<const D: usize> Hash for Line<D>

source§

fn hash<__H: Hasher>(&self, state: &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<const D: usize> Ord for Line<D>

source§

fn cmp(&self, other: &Line<D>) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

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

Compares and returns the maximum of two values. Read more
1.21.0 · source§

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

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more
source§

impl<const D: usize> PartialEq for Line<D>

source§

fn eq(&self, other: &Line<D>) -> 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<const D: usize> PartialOrd for Line<D>

source§

fn partial_cmp(&self, other: &Line<D>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl<const D: usize> Copy for Line<D>

source§

impl<const D: usize> Eq for Line<D>

source§

impl<const D: usize> StructuralPartialEq for Line<D>

Auto Trait Implementations§

§

impl<const D: usize> Freeze for Line<D>

§

impl<const D: usize> RefUnwindSafe for Line<D>

§

impl<const D: usize> Send for Line<D>

§

impl<const D: usize> Sync for Line<D>

§

impl<const D: usize> Unpin for Line<D>

§

impl<const D: usize> UnwindSafe for Line<D>

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> 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<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. 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> Same for T

§

type Output = T

Should always be Self
source§

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

source§

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

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

fn is_in_subset(&self) -> bool

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

fn to_subset_unchecked(&self) -> SS

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

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,

§

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

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