Struct puffin::algebra::signature::Signature

pub struct Signature<PT: ProtocolTypes> {
    pub functions_by_name: HashMap<&'static str, FunctionDefinition<PT>>,
    pub functions_by_typ: HashMap<TypeShape<PT>, Vec<FunctionDefinition<PT>>>,
    pub functions: Vec<FunctionDefinition<PT>>,
    pub types_by_name: HashMap<&'static str, TypeShape<PT>>,
}

Records a universe of functions. Signatures are containers for types and function symbols. They hold references to the concrete implementations of functions and the types of variables.

Fields

functions_by_name: HashMap<&'static str, FunctionDefinition<PT>>

functions_by_typ: HashMap<TypeShape<PT>, Vec<FunctionDefinition<PT>>>

functions: Vec<FunctionDefinition<PT>>

types_by_name: HashMap<&'static str, TypeShape<PT>>

Implementations

impl<PT: ProtocolTypes> Signature<PT>

pub fn new(definitions: Vec<FunctionDefinition<PT>>) -> Signature<PT>

Construct a Signature from the given FunctionDefinitions.

pub fn new_function<F, Types>(f: &'static F) -> Function<PT>

where F: DescribableFunction<PT, Types> + 'static,

Create a new Function distinct from all existing Functions.

pub fn new_var_with_type<T: 'static, M: Matcher>( source: Option<Source>, matcher: Option<M>, counter: u16, ) -> Variable<PT>

where PT: ProtocolTypes<Matcher = M>,

pub fn new_var<M: Matcher>( type_shape: TypeShape<PT>, source: Option<Source>, matcher: Option<M>, counter: u16, ) -> Variable<PT>

where PT: ProtocolTypes<Matcher = M>,

Trait Implementations

impl<PT: ProtocolTypes> Debug for Signature<PT>

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

Formats the value using the given formatter.