Struct ParamGroupWithSet 

pub struct ParamGroupWithSet {
    pub params: Vec<String>,
    pub param_type: Box<Obj>,
}

Fields

params: Vec<String>

param_type: Box<Obj>

Implementations

impl ParamGroupWithSet

pub fn new(params: Vec<String>, set: Obj) -> Self

pub fn set_obj(&self) -> &Obj

pub fn facts_for_binding_scope(&self, binding_scope: ParamObjType) -> Vec<Fact>

Membership facts for parameters; element tagging must match [define_params_with_set_in_scope]’s binding_scope (e.g. FnSet ~5 for fn and ' anonymous heads).

pub fn facts(&self) -> Vec<Fact>

pub fn facts_for_args_satisfy_param_def_with_set_vec( runtime: &Runtime, param_defs: &Vec<ParamGroupWithSet>, args: &Vec<Obj>, param_obj_type: ParamObjType, ) -> Result<Vec<AtomicFact>, RuntimeError>

pub fn param_names(&self) -> &Vec<String>

pub fn collect_param_names(param_defs: &Vec<ParamGroupWithSet>) -> Vec<String>

pub fn number_of_params(param_defs: &Vec<ParamGroupWithSet>) -> usize

pub fn param_defs_and_args_to_param_to_arg_map( param_defs: &Vec<ParamGroupWithSet>, args: &Vec<Obj>, ) -> HashMap<String, Obj>

Trait Implementations

impl Clone for ParamGroupWithSet

fn clone(&self) -> ParamGroupWithSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for ParamGroupWithSet

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

Formats the value using the given formatter.