Trait plexus::StaticArity

pub trait StaticArity {
    type Static: Arity;

    const ARITY: Self::Static;
}

Type-level arity.

This trait specifies the arity that a type supports. Values of a StaticArity type have an arity that reflects this constant, which may be any type or form implementing the Arity trait.

Required Associated Types

type Static: Arity

Required Associated Constants

const ARITY: Self::Static

Implementors

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

type Static = <MeshGraph<G> as StaticArity>::Static

const ARITY: Self::Static = MeshGraph::::ARITY

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

type Static = <MeshGraph<G> as StaticArity>::Static

const ARITY: Self::Static = MeshGraph::::ARITY

impl<G> StaticArity for BoundedPolygon<G>

type Static = (usize, usize)

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

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

type Static = (usize, Option<usize>)

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

impl<G> StaticArity for UnboundedPolygon<G>

type Static = (usize, Option<usize>)

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

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

type Static = usize

const ARITY: Self::Static = crate::n_arity(N)

impl<R, G> StaticArity for MeshBuffer<R, G> where
    R: Grouping, 

type Static = <R as StaticArity>::Static

const ARITY: Self::Static = R::ARITY

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

type Static = usize

const ARITY: Self::Static = crate::n_arity(N)