Trait plexus::Monomorphic
source · [−]pub trait Monomorphic: StaticArity<Static = usize> { }
Expand description
Topological types with fixed and singular arity.
Types are monomorphic if they have a fixed and singular arity as types and
values. For example, Trigon
always and only represents a trigon
(triangle) with an arity of three. Trigon
values always have an arity of
three and types composed of only Trigon
s have a compound arity of three.
This contrasts polymorphic types like BoundedPolygon
, which have an
interval arity at the type-level and a singular but varying arity for values
(because a BoundedPolygon
value may be either a trigon or tertragon).