Enum InstanceSearchResult 

pub enum InstanceSearchResult {
    Found(Instance),
    Ambiguous(Vec<Instance>),
    NotFound,
}

Result of a type class search.

Variants

Found(Instance)

A unique instance was found.

Ambiguous(Vec<Instance>)

Multiple instances matched (ambiguity).

NotFound

No instance was found.

Implementations

impl InstanceSearchResult

pub fn is_found(&self) -> bool

Returns true if a unique instance was found.

pub fn is_ambiguous(&self) -> bool

Returns true if the search was ambiguous.

pub fn into_instance(self) -> Option<Instance>

Extract the unique instance, if any.

Trait Implementations

impl Clone for InstanceSearchResult

fn clone(&self) -> InstanceSearchResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InstanceSearchResult

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

Formats the value using the given formatter.