Struct EnumTag

pub struct EnumTag<T, const MAX: usize>(/* private fields */);

Implementations§

Trait Implementations§

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more

Get a shared RTTI reference.

Get an exclusive RTTI reference.

Get an RTTI Box.

Get an RTTI Arc.

Get an RTTI Arc which is also Send.

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Should always be Self

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

EnumTag

Struct EnumTag Copy item path

Implementations§

impl<T: UsizeTag, const MAX: usize> EnumTag<T, MAX>

pub fn to_usize(&self) -> usize

pub fn from_const<const N: usize>() -> Self

Trait Implementations§

impl<T, const MAX: usize> InlineOutput for EnumTag<T, MAX>where T: InlineOutput,

fn slice_to_output(slice: &[Self], output: &mut dyn Output)where Self: Sized,

impl<T, const MAX: usize> ListHashes for EnumTag<T, MAX>where T: ListHashes,

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

fn topology_hash(&self) -> Hash

fn point_count(&self) -> usize

impl<T, const MAX: usize> MaybeHasNiche for EnumTag<T, MAX>where T: MaybeHasNiche<MnArray: MnArray<MaybeNiche: MaybeNiche>>,

type MnArray = TArr<<<T as MaybeHasNiche>::MnArray as MnArray>::MaybeNiche, ATerm>

impl<T, const MAX: usize, __I: ParseInput> Parse<__I> for EnumTag<T, MAX>where Self: ParseInline<__I>,

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

impl<T: ParseInline<I> + UsizeTag, I: ParseInput, const MAX: usize> ParseInline<I> for EnumTag<T, MAX>

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

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

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

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

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

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

impl<T, const MAX: usize> Size for EnumTag<T, MAX>where T: Size, TArr<U0, TArr<<T as Size>::Size, ATerm>>: FoldAdd<Output: Unsigned>,

const SIZE: usize = <T as ::object_rainbow::Size>::SIZE

type Size = <TArr<UTerm, TArr<<T as Size>::Size, ATerm>> as FoldAdd>::Output

impl<T, const MAX: usize> Tagged for EnumTag<T, MAX>where T: Tagged,

const TAGS: Tags = <T as ::object_rainbow::Tagged>::TAGS

const HASH: Hash = _

impl<T, const MAX: usize> ToOutput for EnumTag<T, MAX>where T: ToOutput,

fn to_output(&self, output: &mut dyn Output)

fn data_hash(&self) -> Hash

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

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

impl<T, const MAX: usize> Topological for EnumTag<T, MAX>where T: Topological,

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

fn topology(&self) -> TopoVec

impl<T: UsizeTag, const MAX: usize> UsizeTag for EnumTag<T, MAX>

fn from_usize(n: usize) -> Self

fn to_usize(&self) -> usize

fn try_to_usize(&self) -> Option<usize>

Auto Trait Implementations§

impl<T, const MAX: usize> Freeze for EnumTag<T, MAX>where T: Freeze,

impl<T, const MAX: usize> RefUnwindSafe for EnumTag<T, MAX>where T: RefUnwindSafe,

impl<T, const MAX: usize> Send for EnumTag<T, MAX>where T: Send,

impl<T, const MAX: usize> Sync for EnumTag<T, MAX>where T: Sync,

impl<T, const MAX: usize> Unpin for EnumTag<T, MAX>where T: Unpin,

impl<T, const MAX: usize> UnsafeUnpin for EnumTag<T, MAX>where T: UnsafeUnpin,

impl<T, const MAX: usize> UnwindSafe for EnumTag<T, MAX>where T: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

impl<T> AsAny for T

fn any_ref(&self) -> &(dyn Any + 'static)where T: 'static,

fn any_mut(&mut self) -> &mut (dyn Any + 'static)where T: 'static,

fn any_box(self: Box<T>) -> Box<dyn Any>where T: 'static,

fn any_arc(self: Arc<T>) -> Arc<dyn Any>where T: 'static,

fn any_arc_sync(self: Arc<T>) -> Arc<dyn Any + Send + Sync>where T: 'static + Send + Sync,

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> FullHash for Twhere T: ToOutput + ListHashes + Tagged + ?Sized,

fn hashes(&self) -> ObjectHashes

fn full_hash(&self) -> Hash

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

fn into(self) -> U

impl<T> ParseSlice for Twhere T: for<'a> Parse<Input<'a>>,

fn parse_slice(data: &[u8], resolve: &Arc<dyn Resolve>) -> Result<Self>

fn reparse(&self) -> Result<Self>where Self: Traversible,

impl<T, Extra> ParseSliceExtra<Extra> for Twhere T: for<'a> Parse<Input<'a, Extra>>, Extra: Clone,

fn parse_slice_extra( data: &[u8], resolve: &Arc<dyn Resolve>, extra: &Extra, ) -> Result<Self>

fn reparse_extra(&self, extra: &Extra) -> Result<Self>where Self: Traversible,

impl<T> ParseSliceRefless for Twhere T: for<'a> Parse<ReflessInput<'a>>,

fn parse_slice_refless(data: &[u8]) -> Result<Self>

impl<T> Same for T

type Output = T

Struct EnumTag

impl<T, const MAX: usize> InlineOutput for EnumTag<T, MAX>
where T: InlineOutput,

fn slice_to_output(slice: &[Self], output: &mut dyn Output)
where Self: Sized,

impl<T, const MAX: usize> ListHashes for EnumTag<T, MAX>
where T: ListHashes,

impl<T, const MAX: usize> MaybeHasNiche for EnumTag<T, MAX>
where T: MaybeHasNiche<MnArray: MnArray<MaybeNiche: MaybeNiche>>,

impl<T, const MAX: usize, I: ParseInput> Parse<I> for EnumTag<T, MAX>
where Self: ParseInline<__I>,

impl<T, const MAX: usize> Size for EnumTag<T, MAX>
where T: Size, TArr<U0, TArr<<T as Size>::Size, ATerm>>: FoldAdd<Output: Unsigned>,

impl<T, const MAX: usize> Tagged for EnumTag<T, MAX>
where T: Tagged,

impl<T, const MAX: usize> ToOutput for EnumTag<T, MAX>
where T: ToOutput,

impl<T, const MAX: usize> Topological for EnumTag<T, MAX>
where T: Topological,

impl<T, const MAX: usize> Freeze for EnumTag<T, MAX>
where T: Freeze,

impl<T, const MAX: usize> RefUnwindSafe for EnumTag<T, MAX>
where T: RefUnwindSafe,

impl<T, const MAX: usize> Send for EnumTag<T, MAX>
where T: Send,

impl<T, const MAX: usize> Sync for EnumTag<T, MAX>
where T: Sync,

impl<T, const MAX: usize> Unpin for EnumTag<T, MAX>
where T: Unpin,

impl<T, const MAX: usize> UnsafeUnpin for EnumTag<T, MAX>
where T: UnsafeUnpin,

impl<T, const MAX: usize> UnwindSafe for EnumTag<T, MAX>
where T: UnwindSafe,

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

fn any_ref(&self) -> &(dyn Any + 'static)
where T: 'static,

fn any_mut(&mut self) -> &mut (dyn Any + 'static)
where T: 'static,

fn any_box(self: Box<T>) -> Box<dyn Any>
where T: 'static,

fn any_arc(self: Arc<T>) -> Arc<dyn Any>
where T: 'static,

fn any_arc_sync(self: Arc<T>) -> Arc<dyn Any + Send + Sync>
where T: 'static + Send + Sync,

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

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

impl<T> FullHash for T
where T: ToOutput + ListHashes + Tagged + ?Sized,

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

impl<T> ParseSlice for T
where T: for<'a> Parse<Input<'a>>,

fn reparse(&self) -> Result<Self>
where Self: Traversible,

impl<T, Extra> ParseSliceExtra<Extra> for T
where T: for<'a> Parse<Input<'a, Extra>>, Extra: Clone,

fn reparse_extra(&self, extra: &Extra) -> Result<Self>
where Self: Traversible,

impl<T> ParseSliceRefless for T
where T: for<'a> Parse<ReflessInput<'a>>,

impl<T> Traversible for T
where T: 'static + Send + Sync + FullHash + Topological,

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

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

impl<T, Extra> Inline<Extra> for T
where T: Object<Extra> + InlineOutput + for<'a> ParseInline<Input<'a, Extra>>,

impl<T, Extra> Object<Extra> for T
where T: Traversible + for<'a> Parse<Input<'a, Extra>>,

impl<T> ReflessInline for T
where T: ReflessObject + InlineOutput + for<'a> ParseInline<ReflessInput<'a>>,

impl<T> ReflessObject for T
where T: 'static + Send + Sync + ToOutput + Tagged + for<'a> Parse<ReflessInput<'a>>,