pub(crate) struct TypeSet {
    pub lanes: BTreeSet<u16>,
    pub dynamic_lanes: BTreeSet<u16>,
    pub ints: BTreeSet<u16>,
    pub floats: BTreeSet<u16>,
    pub refs: BTreeSet<u16>,
}

Fields§

§lanes: BTreeSet<u16>§dynamic_lanes: BTreeSet<u16>§ints: BTreeSet<u16>§floats: BTreeSet<u16>§refs: BTreeSet<u16>

Implementations§

source§

impl TypeSet

source

fn new( lanes: BTreeSet<u16>, dynamic_lanes: BTreeSet<u16>, ints: BTreeSet<u16>, floats: BTreeSet<u16>, refs: BTreeSet<u16> ) -> Self

source

pub fn size(&self) -> usize

Return the number of concrete types represented by this typeset.

source

fn image(&self, derived_func: DerivedFunc) -> TypeSet

Return the image of self across the derived function func.

source

fn lane_of(&self) -> TypeSet

Return a TypeSet describing the image of self across lane_of.

source

fn as_truthy(&self) -> TypeSet

Return a TypeSet describing the image of self across as_truthy.

source

fn half_width(&self) -> TypeSet

Return a TypeSet describing the image of self across halfwidth.

source

fn double_width(&self) -> TypeSet

Return a TypeSet describing the image of self across doublewidth.

source

fn half_vector(&self) -> TypeSet

Return a TypeSet describing the image of self across halfvector.

source

fn double_vector(&self) -> TypeSet

Return a TypeSet describing the image of self across doublevector.

source

fn dynamic_to_vector(&self) -> TypeSet

source

fn concrete_types(&self) -> Vec<ValueType>

source

fn get_singleton(&self) -> ValueType

Return the singleton type represented by self. Can only call on typesets containing 1 type.

Trait Implementations§

source§

impl Clone for TypeSet

source§

fn clone(&self) -> TypeSet

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for TypeSet

source§

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

Formats the value using the given formatter. Read more
source§

impl Hash for TypeSet

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq<TypeSet> for TypeSet

source§

fn eq(&self, other: &TypeSet) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Eq for TypeSet

source§

impl StructuralEq for TypeSet

source§

impl StructuralPartialEq for TypeSet

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

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

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

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

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.