Trait py_declare::BranchFilter

pub trait BranchFilter<T: Types>: WithSpan {
    // Required methods
    fn satisfy(&self, ty: &Type) -> bool;
    fn expect(&self, defs: &Defs) -> String;
}

Required Methods

fn satisfy(&self, ty: &Type) -> bool

fn expect(&self, defs: &Defs) -> String

Object Safety

This trait is not object safe.

Implementors

impl BranchFilter<Rc<FnSignWithName>> for FnParamLen<'_>

impl<'t> BranchFilter<Rc<FnSignWithName>> for NthParamTyEqual<'t>

impl<T: Types> BranchFilter<T> for TypeEqual<'_>

impl<T: Types, Fs, Fe> BranchFilter<T> for CustomFilter<T, Fs, Fe>

where Fs: Fn(&Type) -> bool, Fe: Fn(&Defs) -> String,