Struct Method1 

pub struct Method1<R, A0>
where
    A0: Map,
{ /* private fields */ }

Macro Expansion

pub struct MethodN<R, A0, A1, ...>
where
    A0: Map,
    A1: Map,
    ...,
{
    f: Box<dyn for<'a0, 'a1, ...> Fn(A0::Type<'a0>, A1::Type<'a1>, ...) -> R>,
    _types: std::marker::PhantomData<(A0, A1, ...)>,
}

Trait Implementations

impl<R, T0, A0> Dispatch1<R, T0> for Method1<R, A0>

where T0: Map, A0: Map, for<'a> A0::Type<'a>: DispatchRule<T0::Type<'a>>,

fn try_match(&self, x0: &T0::Type<'_>) -> [Result<MatchScore, FailureScore>; 1]

Invoke DispatchRule::try_match on each argument/type pair where the type comes from the backend method.

fn call(&self, x0: T0::Type<'_>) -> R

Invoke this method with the given types, invoking DispatchRule::convert on each argument to the target types of the backend method.

fn signatures(&self) -> [Signature; 1]

Return the signatures for each back-end argument type.

fn try_match_verbose<'a, 'a0>( &self, x0: &'a T0::Type<'a0>, ) -> [Result<MatchScore, TaggedFailureScore<'a>>; 1]

where 'a0: 'a,

The equivalent of Self::try_match, but using the DispatchRule::try_match_verbose interface.