Struct ParamDefWithType 

pub struct ParamDefWithType {
    pub groups: Vec<ParamGroupWithParamType>,
}

Full parameter list with types, e.g. a, b T, c E as a sequence of ParamGroupWithParamType.

Fields

groups: Vec<ParamGroupWithParamType>

Implementations

impl ParamDefWithType

pub fn new(groups: Vec<ParamGroupWithParamType>) -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn iter(&self) -> Iter<'_, ParamGroupWithParamType>

pub fn as_slice(&self) -> &[ParamGroupWithParamType]

pub fn number_of_params(&self) -> usize

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

pub fn collect_param_names_with_types(&self) -> Vec<(String, ParamType)>

pub fn flat_instantiated_types_for_args( &self, instantiated_types: &[ParamType], ) -> Vec<ParamType>

pub fn param_def_params_to_arg_map( &self, arg_map: &HashMap<String, Obj>, ) -> Option<HashMap<String, Obj>>

pub fn param_defs_and_args_to_param_to_arg_map( &self, args: &[Obj], ) -> HashMap<String, Obj>

impl ParamDefWithType

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for ParamDefWithType

fn clone(&self) -> ParamDefWithType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for ParamDefWithType

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

Formats the value using the given formatter.

impl From<Vec<ParamGroupWithParamType>> for ParamDefWithType

fn from(groups: Vec<ParamGroupWithParamType>) -> Self

Converts to this type from the input type.