Skip to main content

InstanceResolver

oxilean_kernel::typeclasses::functions

Trait InstanceResolver 

Source 
pub trait InstanceResolver: Debug {
    // Required methods
    fn resolve(&self, class: &Name, ty: &Expr) -> Option<Instance>;
    fn name(&self) -> &'static str;
}
Expand description

A trait object for custom instance resolution strategies.

Implementors can supply alternative instance lookup logic.

Required Methods§

Source

fn resolve(&self, class: &Name, ty: &Expr) -> Option<Instance>

Attempt to resolve an instance for class applied to ty.

Source

fn name(&self) -> &'static str

Name of this resolver strategy.

Implementors§