Struct IndexType 

pub struct IndexType;

Implementations

impl IndexType

pub fn get(ctx: &Context) -> TypedHandle<Self>

Get or create a new instance.

Trait Implementations

impl AlignedType for IndexType

fn align(&self, ctx: &Context) -> usize

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

impl Clone for IndexType

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IndexType

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

Formats the value using the given formatter.

impl Eq for IndexType

impl HasElementType for IndexType

fn element_type(&self, ctx: &Context) -> Option<TypeHandle>

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

impl Hash for IndexType

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl MaybePackedType for IndexType

fn packing_factor(&self, _ctx: &Context) -> usize

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

impl MaybeVectorizedType for IndexType

fn vector_size(&self, _ctx: &Context) -> usize

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

fn try_vector_size(&self, ctx: &Context) -> Option<usize>

impl OperandNOfType<1, IndexType> for IndexOp

impl OperandNOfType<1, IndexType> for VectorExtractDynamicOp

impl OperandNOfType<2, IndexType> for VectorInsertDynamicOp

impl Parsable for IndexType

type Arg = ()

Type of the argument that must be passed to the parser.

type Parsed = TypedHandle<IndexType>

The type of the parsed entity.

fn parse<'__pliron_parse>( state_stream: &mut StateStream<'__pliron_parse>, arg: Self::Arg, ) -> ParseResult<'__pliron_parse, Self::Parsed>

Define a parser using existing combinators and call into on Parser::parse_stream to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

where Self::Parsed: 'a,

Get a parser combinator that can work on StateStream as its input.

impl PartialEq for IndexType

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for IndexType

fn fmt(&self, ctx: &Context, state: &State, fmt: &mut Formatter<'_>) -> Result

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.

impl ScalarType for IndexType

fn elem_type(&self, _ctx: &Context) -> ElemType

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

impl ScalarizableType for IndexType

fn scalar_type(&self, ctx: &Context) -> TypeHandle

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

impl SizedType for IndexType

fn size(&self, ctx: &Context) -> usize

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

fn size_bits(&self, ctx: &Context) -> usize

impl StructuralPartialEq for IndexType

impl Type for IndexType

fn hash_type(&self) -> TypeValueHash

Compute and get the hash for this instance of Self. Hash collisions can be a possibility.

fn eq_type(&self, other: &dyn Type) -> bool

Is self equal to an other Type?

fn get_type_id(&self) -> TypeId

Get a Type’s static name. This is not per instantiation of the type. It is mostly useful for printing and parsing the type. Uniquing does not use this, but instead uses core::any::TypeId.

fn get_type_id_static() -> TypeId

Same as get_type_id, but without the self reference.

fn get_self_handle(&self, ctx: &Context) -> TypeHandle

Get a copyable handle to this type.

fn instantiate(t: Self, ctx: &Context) -> TypedHandle<Self>

where Self: Sized,

Instantiate a type in the provided Context, returning a TypeHandle to self.

fn register(ctx: &mut Context)

where Self: Sized + Parsable<Arg = (), Parsed = TypedHandle<Self>>,

Register this Type’s TypeId in the dialect it belongs to.

impl TypeImplsInterface<dyn AlignedType> for IndexType

impl TypeImplsInterface<dyn HasElementType> for IndexType

impl TypeImplsInterface<dyn MaybePackedType> for IndexType

impl TypeImplsInterface<dyn MaybeVectorizedType> for IndexType

impl TypeImplsInterface<dyn ScalarType> for IndexType

impl TypeImplsInterface<dyn ScalarizableType> for IndexType

impl TypeImplsInterface<dyn SizedType> for IndexType

impl Verify for IndexType

fn verify(&self, _ctx: &Context) -> Result<()>