Struct List

pub(super) struct List {
    members: u64,
    rules: Rc<Vec<Rule>>,
}

A simple list of overloads.

Note that this type is not quite as general as it looks, in that the implementation of most_preferred doesn’t work for arbitrary lists of overloads. See the documentation for List::rules for details.

Fields

members: u64

A bitmask of which elements of rules are included in the set.

rules: Rc<Vec<Rule>>

A list of type rules that are members of the set.

These must be listed in order such that every rule in the list is always more preferred than all subsequent rules in the list. If there is no such arrangement of rules, then you cannot use List to represent the overload set.

Implementations

impl List

pub(super) fn from_rules(rules: Vec<Rule>) -> List

fn members(&self) -> impl Iterator<Item = (u64, &Rule)>

fn filter<F>(&self, pred: F) -> List

where F: FnMut(&Rule) -> bool,

Trait Implementations

impl Clone for List

fn clone(&self) -> List

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ForDebugWithTypes for &List

fn for_debug( self, types: &UniqueArena<Type>, ) -> DiagnosticDebug<(Self, &UniqueArena<Type>)>

Format this type using core::fmt::Debug.

impl From<List> for AnyOverloadSet

fn from(concrete: List) -> Self

Converts to this type from the input type.

impl OverloadSet for List

fn is_empty(&self) -> bool

Return true if self is the empty set of overloads.

fn min_arguments(&self) -> usize

Return the smallest number of arguments in any type rule in the set.

fn max_arguments(&self) -> usize

Return the largest number of arguments in any type rule in the set.

fn arg(&self, i: usize, arg_ty: &TypeInner, types: &UniqueArena<Type>) -> Self

Find the overloads that could accept a given argument.

fn concrete_only(self, types: &UniqueArena<Type>) -> Self

Limit self to overloads whose arguments are all concrete types.

fn most_preferred(&self) -> Rule

Return the most preferred candidate.

fn overload_list(&self, _gctx: &GlobalCtx<'_>) -> Vec<Rule>

Return a type rule for each of the overloads in self.

fn allowed_args(&self, i: usize, _gctx: &GlobalCtx<'_>) -> Vec<TypeResolution>

Return a list of the types allowed for argument i.

fn for_debug(&self, types: &UniqueArena<Type>) -> impl Debug

Return an object that can be formatted with core::fmt::Debug.