Type Alias SmExtra 

pub type SmExtra<M> = SmExtra<M>;

Aliased Type

pub enum SmExtra<M> {}

Trait Implementations

impl<M> ByteOrd for SmExtra<M>

fn bytes_cmp(&self, _: &Self) -> Ordering

impl<M> InlineOutput for SmExtra<M>

fn slice_to_output(slice: &[Self], output: &mut impl Output)

where Self: Sized,

impl<M> ListHashes for SmExtra<M>

fn list_hashes(&self, f: &mut impl FnMut(Hash))

fn topology_hash(&self) -> Hash

fn point_count(&self) -> usize

impl<M: StaticMap<E, Mapped: 'static + Clone>, E: 'static + Clone> MapExtra<E> for SmExtra<M>

type Mapped = <M as StaticMap<E>>::Mapped

fn map_extra(&self, e: E) -> Self::Mapped

impl<M> MaybeHasNiche for SmExtra<M>

type MnArray = NoNiche<ZeroNoNiche<<SmExtra<M> as Size>::Size>>

Should implement [MnArray]. Not constraint explicitly, because that breaks things.

impl<M, I: ParseInput> Parse<I> for SmExtra<M>

fn parse(input: I) -> Result<Self>

Parse consuming the whole stream.

impl<M, I: ParseInput> ParseInline<I> for SmExtra<M>

fn parse_inline(_: &mut I) -> Result<Self>

Parse without consuming the whole stream. Errors on unexpected EOF.

fn parse_as_inline(input: I) -> Result<Self>

For implementing Parse::parse.

fn parse_vec(input: I) -> Result<Vec<Self>>

Parse a Vec of Self. Customisable for optimisations.

fn parse_vec_n(input: &mut I, n: usize) -> Result<Vec<Self>>

Parse a Vec of Self of length n. Customisable for optimisations.

fn parse_array<const N: usize>(input: &mut I) -> Result<[Self; N]>

Parse an array of Self. Customisable for optimisations.

fn parse_generic_array<N: ArrayLength>( input: &mut I, ) -> Result<GenericArray<Self, N>>

Parse a GenericArray of Self. Customisable for optimisations.

impl<M> Size for SmExtra<M>

const SIZE: usize = 0

type Size = UTerm

impl<M: StaticMap<T>, T> StaticMap<T> for SmExtra<M>

type Mapped = <M as StaticMap<T>>::Mapped

fn static_map(x: T) -> Self::Mapped

impl<M> Tagged for SmExtra<M>

const TAGS: Tags = _

const HASH: Hash = _

impl<M> ToOutput for SmExtra<M>

fn to_output(&self, _: &mut impl Output)

fn data_hash(&self) -> Hash

fn mangle_hash(&self) -> Hash

fn output<T: Output + Default>(&self) -> T

fn vec(&self) -> Vec<u8>

impl<M> Topological for SmExtra<M>

fn traverse(&self, visitor: &mut impl PointVisitor)

fn topology(&self) -> TopoVec