Struct fetish_lib::primitive_directory::PrimitiveDirectory

pub struct PrimitiveDirectory {
    pub primitive_type_spaces: HashMap<TypeId, PrimitiveTypeSpace>,
}

A directory of primitive function terms (FuncImpls), consisting of one PrimitiveTypeSpace for each function TypeId in some TypeInfoDirectory.

Fields

primitive_type_spaces: HashMap<TypeId, PrimitiveTypeSpace>

Implementations

impl PrimitiveDirectory

pub fn get_primitive(
    &self,
    primitive_term_pointer: PrimitiveTermPointer
) -> &dyn FuncImpl

Given a PrimitiveTermPointer pointing to a primitive term in this PrimitiveDirectory, yields the primitive term as a FuncImpl.

pub fn new(type_info_directory: &TypeInfoDirectory) -> PrimitiveDirectory

Constructs a new, initially-empty PrimitiveDirectory.

pub fn add(
    &mut self,
    func_impl: Box<dyn FuncImpl>,
    type_info_directory: &TypeInfoDirectory
)

Adds the given FuncImpl to this PrimitiveDirectory, which is assumed to reference types pulled from the given TypeInfoDirectory.

pub fn add_binary_func(
    &mut self,
    type_id: TypeId,
    binary_func: Box<dyn BinaryArrayOperator>,
    type_info_directory: &TypeInfoDirectory
)

Convenient wrapper around Self::add which allows adding a BinaryArrayOperator to this PrimitiveDirectory whose element type is the given TypeId within the given TypeInfoDirectory.