Struct TypeInfoDirectory 

pub struct TypeInfoDirectory { /* private fields */ }

A directory of Types associating them to TypeIds, used as part of the specification of a Context. There can be multiple Type::VecTypes with different TypeIds, but given argument and return TypeIds, this directory may only contain at most one TypeId with the corresponding Type::FuncType.

Implementations

impl TypeInfoDirectory

pub fn new() -> Self

Creates an empty TypeInfoDirectory.

pub fn add(&mut self, info: Type) -> TypeId

Adds the given Type to this TypeInfoDirectory, and returns the TypeId that it was assigned.

pub fn get_total_num_types(&self) -> usize

Gets the total number of types stored in this TypeInfoDirectory. Since TypeIds are allocated consecutively, it’s correct to use this as an iteration bound if you want to iterate over all TypeIds stored here.

pub fn has_func_type(&self, arg_type_id: TypeId, ret_type_id: TypeId) -> bool

Returns true iff this TypeInfoDirectory has a registered TypeId for Type::FuncType(arg_type_id, ret_type_id).

pub fn get_func_type_id( &self, arg_type_id: TypeId, ret_type_id: TypeId, ) -> TypeId

Assuming that there is a TypeId for a function from the given argument TypeId to the given return TypeId, yields the TypeId of the function type.

pub fn get_type(&self, id: TypeId) -> Type

Gets the Type information stored for the given TypeId.

pub fn get_application_type_ids(&self, id: TypeId) -> Vec<(TypeId, TypeId)>

Gets all (func_type_id, arg_type_id) pairs which may be applied to yield the given TypeId.

pub fn get_ret_type_id(&self, func_type_id: TypeId) -> TypeId

Given the TypeId of a function type, yields the TypeId of the return type.

pub fn is_vector_type(&self, id: TypeId) -> bool

Returns true iff the given TypeId points to a Type::VecType.

pub fn get_arg_type_id(&self, func_type_id: TypeId) -> TypeId

Given the TypeId of a function type, yields the TypeId of the argument type.

pub fn get_dimension(&self, vec_type_id: TypeId) -> usize

Assuming that the given TypeId points to a Type::VecType, yields the declared number of dimensions for that type’s base space.