Struct InstanceEntry 

pub struct InstanceEntry {
    pub name: Name,
    pub ty: Expr,
    pub priority: InstancePriority,
    pub is_local: bool,
    pub preferred: bool,
}

A registered type class instance.

Fields

name: Name

Name of the instance declaration.

ty: Expr

Type of the instance (the class application it satisfies).

priority: InstancePriority

Priority (lower = tried first).

is_local: bool

Whether this is a local instance (from the context).

preferred: bool

Whether this instance is preferred (used for tie-breaking).

Implementations

impl InstanceEntry

pub fn new(name: Name, ty: Expr) -> Self

Create a new instance entry with defaults.

pub fn with_priority(self, priority: InstancePriority) -> Self

Set the priority of this instance.

pub fn with_local(self, is_local: bool) -> Self

Mark this instance as local.

pub fn with_preferred(self, preferred: bool) -> Self

Mark this instance as preferred.

Trait Implementations

impl Clone for InstanceEntry

fn clone(&self) -> InstanceEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InstanceEntry

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

Formats the value using the given formatter.