Trait GetProgram

pub trait GetProgram {
    // Required method
    fn get_program(&self, ca: &ContentAddress) -> Arc<Program>;
}

Required impl for retrieving access to any Predicate’s Programs during check.

Required Methods

fn get_program(&self, ca: &ContentAddress) -> Arc<Program>

Provides immediate access to the program with the given content address.

This is called by check_set_predicates for each node within each predicate for each solution being checked.

All necessary programs are assumed to have been read from storage and validated ahead of time.

Implementations on Foreign Types

impl GetProgram for HashMap<ContentAddress, Arc<Program>>

fn get_program(&self, ca: &ContentAddress) -> Arc<Program>

impl<T: GetProgram> GetProgram for Arc<T>

fn get_program(&self, ca: &ContentAddress) -> Arc<Program>

Implementors

impl<F> GetProgram for F

where F: Fn(&ContentAddress) -> Arc<Program>,