Trait plexus::DynamicArity

pub trait DynamicArity: StaticArity {
    type Dynamic: Arity;

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

Value-level arity.

This trait specifies the arity of a value at runtime. This is often distinct from the type-level arity of the StaticArity trait, which expresses the capabilities of a type.

Required Associated Types

type Dynamic: Arity

Required Methods

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

Implementors

impl<B, M, G> DynamicArity for FaceView<B> where
    B: Reborrow<Target = M>,
    M: AsStorage<Arc<G>> + AsStorage<Face<G>> + Consistent + Parametric<Data = G>,
    G: GraphData, 

type Dynamic = usize

impl<B, M, G> DynamicArity for Ring<B> where
    B: Reborrow<Target = M>,
    M: AsStorage<Arc<G>> + Consistent + Parametric<Data = G>,
    G: GraphData, 

type Dynamic = usize

impl<G> DynamicArity for BoundedPolygon<G>

type Dynamic = usize

impl<G> DynamicArity for MeshGraph<G> where
    G: GraphData, 

type Dynamic = MeshArity

impl<G> DynamicArity for UnboundedPolygon<G>

type Dynamic = usize

impl<G, const N: usize> DynamicArity for NGon<G, N> where
    Constant<N>: ToType,
    TypeOf<N>: Cmp<U1, Output = Greater>, 

type Dynamic = usize

impl<N, G> DynamicArity for MeshBuffer<BoundedPolygon<N>, G> where
    N: Copy + Integer + Unsigned, 

type Dynamic = MeshArity

impl<N, G> DynamicArity for MeshBuffer<UnboundedPolygon<N>, G> where
    N: Copy + Integer + Unsigned, 

type Dynamic = MeshArity

impl<P, G> DynamicArity for MeshBuffer<P, G> where
    P: Grouping + Monomorphic + Polygonal,
    P::Vertex: Copy + Integer + Unsigned, 

type Dynamic = <P as StaticArity>::Static

impl<T, G, const N: usize> DynamicArity for MeshBuffer<Flat<T, N>, G> where
    Constant<N>: ToType,
    TypeOf<N>: NonZero,
    T: Copy + Integer + Unsigned, 

type Dynamic = <Flat<T, N> as StaticArity>::Static