Trait tylisp::engine::CallImpl[−][src]

pub trait CallImpl<F, Args> {
    type Result;
}

Expand description

A hack to work around a long-standing bug in the type system, where associated types aren’t considered appropriately distinct

Associated Types

`type Result`[src]

Implementors

`impl<F, Args> CallImpl<F, Args> for Syntax where F: SynCall<Args>,` [src]

`type Result = <F as SynCall<Args>>::Result`

`impl<F, Args: EvalList> CallImpl<F, Args> for Func where F: FunCall<<Args as EvalList>::Result>,` [src]

`type Result = <F as FunCall<<Args as EvalList>::Result>>::Result`