Struct stabby_abi::istable::End

#[repr(C)]
pub struct End;

The terminator for type-fu lists.

Implementations

impl End

pub const fn has_optimal_layout() -> bool

Returns true if the layout for End is smaller or equal to that Rust would have generated for it.

Trait Implementations

impl Clone for End

fn clone(&self) -> End

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for End

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for End

fn default() -> End

Returns the “default value” for a type.

impl IBitMask for End

const TUPLE: Self::Tuple = ()

Expose the bitmask at runtime.

type Tuple = ()

The type of the runtime-exposed mask.

type ByteAt<O: Unsigned> = UTerm

Self[O]

type BitOr<T: IBitMask> = T

Self | T

type Shift<O: Unsigned> = End

Shift the bitmask by O bytes.

type BitAnd<T: IBitMask> = End

Self & T

type HasFreeByteAt<O: Unsigned> = B0

Checks whether the mask is FF at index O

type ExtractBit = End

Remove the next bit that will be used as a determinant in enums.

type ExtractedBitMask = Saturator

Obtain the determinant’s mask.

type ExtractedBitByteOffset = Saturator

Obtain the determinant’s offset in bytes.

impl IDeterminant for End

unsafe fn ok(_: *mut u8) -> Self

Sets the union in ok state.

unsafe fn err(_: *mut u8) -> Self

Sets the union in err state.

fn is_det_ok(&self, _: *const u8) -> bool

Returns the state of the union.

type IsNicheTrick = B0

Whether the determinant is explicit or implicit.

impl IForbiddenValues for End

type Shift<O: Unsigned> = End

Shift all values in the set by O bytes

type Or<T: IForbiddenValues> = T

union(Self, T)

type SelectFrom<Mask: IBitMask> = End

Extract a single forbidden value that fits within Mask

type SelectOne = End

Extract the first available forbidden value.

impl ISingleForbiddenValue for End

type Push<O: Unsigned, T> = Array<O, T, End>

Add a byte to the forbidden value.

type Or<T: ISingleForbiddenValue> = T

Self == End ? T : Self

type And<T: ISingleForbiddenValue> = T

T == End ? Self : T

type Resolve = End

Turns Saturators into End.

impl IStable for End

where (): IStable,

type ForbiddenValues = <() as IStable>::ForbiddenValues

The values that the annotated type cannot occupy.

type UnusedBits = <() as IStable>::UnusedBits

The padding bits in the annotated types

type Size = <() as IStable>::Size

The size of the annotated type in bytes.

type Align = <() as IStable>::Align

The alignment of the annotated type in bytes.

type HasExactlyOneNiche = <() as IStable>::HasExactlyOneNiche

Allows the detection of whether or not core::option::Options are stable:

type ContainsIndirections = <() as IStable>::ContainsIndirections

Whether or not the type contains indirections (pointers, indices in independent data-structures…)

const REPORT: &'static TypeReport = _

A compile-time generated report of the fields of the type, allowing for compatibility inspection.

const ID: u64 = 15_075_363_123_432_753_443u64

A stable (and ideally unique) identifier for the type. Often generated using crate::report::gen_id, but can be manually set.

fn size() -> usize

Returns the size of the type.

fn align() -> usize

Returns the alignment of the type.

impl<O: Unsigned, T, R: IBitMask> Includes<Array<O, T, R>> for End

type Output = End

The result

impl IntoValueIsErr for End

type ValueIsErr = End

The coerced type.

impl IsEnd for End

type Output = B1

The result

impl Copy for End