Enum plexus::primitive::BoundedPolygon

source · [−]

pub enum BoundedPolygon<G> {
    N3(Trigon<G>),
    N4(Tetragon<G>),
}

Expand description

Bounded polymorphic $n$-gon.

BoundedPolygon represents an $n$-gon with at least three edges by enumerating NGons. As such, $n$ is bounded, because the enumeration only supports a limited set of polygons. Only common arities used by generators are provided.

See the module documentation for more information.

Variants

`N3(Trigon<G>)`

`N4(Tetragon<G>)`

Trait Implementations

impl<G> Adjunct for BoundedPolygon<G>

type Item = G

impl<G> AsMut<[G]> for BoundedPolygon<G>

fn as_mut(&mut self) -> &mut [G]ⓘNotable traits for &'_ mut [u8 ]`impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`

Converts this type into a mutable reference of the (usually inferred) input type.

impl<G> AsRef<[G]> for BoundedPolygon<G>

fn as_ref(&self) -> &[G]ⓘNotable traits for &'_ mut [u8 ]`impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`

Converts this type into a shared reference of the (usually inferred) input type.

impl<G: Clone> Clone for BoundedPolygon<G>

fn clone(&self) -> BoundedPolygon<G>

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

impl<G: Debug> Debug for BoundedPolygon<G>

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

Formats the value using the given formatter. Read more

impl<G> DynamicArity for BoundedPolygon<G>

type Dynamic = usize

fn arity(&self) -> Self::Dynamic

impl<G> Fold for BoundedPolygon<G>

fn fold<U, F>(self, seed: U, f: F) -> U where
F: FnMut(U, Self::Item) -> U,

fn sum(self) -> Self::Item where
    Self::Item: Add<Self::Item>,
    Self::Item: Zero,
    <Self::Item as Add<Self::Item>>::Output == Self::Item,

fn product(self) -> Self::Item where
    Self::Item: Mul<Self::Item>,
    Self::Item: One,
    <Self::Item as Mul<Self::Item>>::Output == Self::Item,

fn min_or_undefined(self) -> Self::Item where
Self::Item: Bounded,
Self::Item: IntrinsicOrd,

fn max_or_undefined(self) -> Self::Item where
Self::Item: Bounded,
Self::Item: IntrinsicOrd,

fn any<F>(self, f: F) -> bool where
F: FnMut(Self::Item) -> bool,

fn all<F>(self, f: F) -> bool where
F: FnMut(Self::Item) -> bool,

impl<G> From<[G; 3]> for BoundedPolygon<G>

fn from(array: [G; 3]) -> Self

Converts to this type from the input type.

impl<G> From<[G; 4]> for BoundedPolygon<G>

fn from(array: [G; 4]) -> Self

Converts to this type from the input type.

impl<G> From<BoundedPolygon<G>> for UnboundedPolygon<G> where
G: Clone,

fn from(polygon: BoundedPolygon<G>) -> Self

Converts to this type from the input type.

impl<G> From<NGon<G, 3_usize>> for BoundedPolygon<G>

fn from(trigon: Trigon<G>) -> Self

Converts to this type from the input type.

impl<G> From<NGon<G, 4_usize>> for BoundedPolygon<G>

fn from(tetragon: Tetragon<G>) -> Self

Converts to this type from the input type.

impl<G> Index<usize> for BoundedPolygon<G>

type Output = G

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation. Read more

impl<G> IndexMut<usize> for BoundedPolygon<G>

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation. Read more

impl<T> IntoEdges for BoundedPolygon<T> where
T: Clone,

type Output = Vec<NGon<<BoundedPolygon<T> as Topological>::Vertex, 2_usize>, Global>

fn into_edges(self) -> Self::Output

impl<G> IntoItems for BoundedPolygon<G>

type Output = SmallVec<[G; 4]>

fn into_items(self) -> Self::Output

impl<G> IntoIterator for BoundedPolygon<G>

type Item = G

The type of the elements being iterated over.

type IntoIter = <<BoundedPolygon<G> as IntoItems>::Output as IntoIterator>::IntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more

impl<T> IntoSubdivisions for BoundedPolygon<T> where
T: Clone + Interpolate<Output = T>,

type Output = Vec<BoundedPolygon<T>, Global>

fn into_subdivisions(self) -> Self::Output

impl<T> IntoTrigons for BoundedPolygon<T> where
T: Clone,

type Output = Vec<NGon<<BoundedPolygon<T> as Topological>::Vertex, 3_usize>, Global>

fn into_trigons(self) -> Self::Output

impl<T, U> Map<U> for BoundedPolygon<T>

type Output = BoundedPolygon<U>

fn map<F>(self, f: F) -> Self::Output where
F: FnMut(Self::Item) -> U,

impl<G: PartialEq> PartialEq<BoundedPolygon<G>> for BoundedPolygon<G>

fn eq(&self, other: &BoundedPolygon<G>) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

fn ne(&self, other: &BoundedPolygon<G>) -> bool

This method tests for !=.

impl<G> Polygonal for BoundedPolygon<G>

fn is_convex(&self) -> bool where
Self::Vertex: AsPosition,
Position<Self::Vertex>: EuclideanSpace + FiniteDimensional<N = U2>,

Determines if the polygon is convex. Read more

impl<G> Rotate for BoundedPolygon<G>

fn rotate(self, n: isize) -> Self

impl<G> StaticArity for BoundedPolygon<G>

type Static = (usize, usize )

const ARITY: Self::Static = (3, 4)

impl<G> Topological for BoundedPolygon<G>

type Vertex = G

fn try_from_slice<I>(vertices: I) -> Option<Self> where
Self::Vertex: Copy,
I: AsRef<[Self::Vertex ]>,

fn embed_into_e3_xy<P>(ngon: P, z: Scalar<Self::Vertex>) -> Self where
    Self::Vertex: EuclideanSpace + FiniteDimensional<N = U3>,
    P: Map<Self::Vertex, Output = Self> + Topological,
    P::Vertex: EuclideanSpace + FiniteDimensional<N = U2> + Extend<Self::Vertex>,
    Vector<P::Vertex>: VectorSpace<Scalar = Scalar<Self::Vertex>>,

Embeds an $n$-gon from $\Reals^2$ into $\Reals^3$. Read more

fn embed_into_e3_xy_with<P, F>(
    ngon: P,
    z: Scalar<Position<Self::Vertex>>,
    f: F
) -> Self where
    Self::Vertex: AsPosition,
    Position<Self::Vertex>: EuclideanSpace + FiniteDimensional<N = U3>,
    P: Map<Self::Vertex, Output = Self> + Topological,
    P::Vertex: EuclideanSpace + FiniteDimensional<N = U2> + Extend<Position<Self::Vertex>>,
    Vector<P::Vertex>: VectorSpace<Scalar = Scalar<Position<Self::Vertex>>>,
    F: FnMut(Position<Self::Vertex>) -> Self::Vertex,

fn embed_into_e3_plane<P>(ngon: P, plane: Plane<Self::Vertex>) -> Self where
    Self::Vertex: EuclideanSpace + FiniteDimensional<N = U3>,
    P: Map<Self::Vertex, Output = Self> + Topological,
    P::Vertex: EuclideanSpace + FiniteDimensional<N = U2> + Extend<Self::Vertex>,
    Vector<P::Vertex>: VectorSpace<Scalar = Scalar<Self::Vertex>>,

Embeds an $n$-gon from $\Reals^2$ into $\Reals^3$. Read more

fn embed_into_e3_plane_with<P, F>(
    ngon: P,
    _: Plane<Position<Self::Vertex>>,
    f: F
) -> Self where
    Self::Vertex: AsPosition,
    Position<Self::Vertex>: EuclideanSpace + FiniteDimensional<N = U3>,
    P: Map<Self::Vertex, Output = Self> + Topological,
    P::Vertex: EuclideanSpace + FiniteDimensional<N = U2> + Extend<Position<Self::Vertex>>,
    Vector<P::Vertex>: VectorSpace<Scalar = Scalar<Position<Self::Vertex>>>,
    F: FnMut(Position<Self::Vertex>) -> Self::Vertex,

fn project_into_plane(self, plane: Plane<Position<Self::Vertex>>) -> Self where
    Self::Vertex: AsPositionMut,
    Position<Self::Vertex>: EuclideanSpace + FiniteDimensional,
    <Position<Self::Vertex> as FiniteDimensional>::N: Cmp<U2, Output = Greater>,

Projects an $n$-gon into a plane. Read more

fn edges(&self) -> Vec<Edge<&Self::Vertex>>

impl<G: Copy> Copy for BoundedPolygon<G>

impl<G> StructuralPartialEq for BoundedPolygon<G>

Auto Trait Implementations

impl<G> RefUnwindSafe for BoundedPolygon<G> where
G: RefUnwindSafe,

impl<G> Send for BoundedPolygon<G> where
G: Send,

impl<G> Sync for BoundedPolygon<G> where
G: Sync,

impl<G> Unpin for BoundedPolygon<G> where
G: Unpin,

impl<G> UnwindSafe for BoundedPolygon<G> where
G: UnwindSafe,

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> FromGeometry<T> for T

fn from_geometry(other: T) -> T

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · 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.

impl<T, U> IntoGeometry<U> for T where
U: FromGeometry<T>,

fn into_geometry(self) -> U

impl<N, P, Q> IntoIndexed<N> for P where
    P: Map<(N, <P as Topological>::Vertex ), Output = Q> + Polygonal,
    Q: Polygonal<Vertex = (N, <P as Topological>::Vertex )>,
    N: Copy + Integer + Unsigned,

type Indexed = Q

fn into_indexed(self) -> <P as IntoIndexed<N>>::Indexed

impl<T> IntoVertices for T where
T: Topological,

type Output = <T as IntoIterator>::IntoIter

fn into_vertices(self) -> <T as IntoVertices>::Output

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> Scalar for T where
T: Copy + PartialEq<T> + Debug + Any,

fn inlined_clone(&self) -> T

Performance hack: Clone doesn’t get inlined for Copy types in debug mode, so make it inline anyway.

fn is<T>() -> bool where
T: Scalar,

Tests if Self the same as the type T Read more

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.

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

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.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn vzip(self) -> V