Trait puffin::algebra::dynamic_function::DescribableFunction

pub trait DescribableFunction<Types> {
    fn name(&'static self) -> &'static str;
    fn shape() -> DynamicFunctionShape;
    fn make_dynamic(&'static self) -> Box<dyn DynamicFunction>;
}

This trait is implemented for function traits in order to:

• describe their shape during runtime
• wrap them into a DynamicFunction which is callable with arbitrary data

Adapted from https://jsdw.me/posts/rust-fn-traits/ but using type ids

Required Methods

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

fn shape() -> DynamicFunctionShape

fn make_dynamic(&'static self) -> Box<dyn DynamicFunction>

Implementors

impl<F, R> DescribableFunction<(R,)> for Fwhere
    F: Fn() -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,

impl<F, R, T1> DescribableFunction<(R, T1)> for Fwhere
    F: Fn(&T1) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,

impl<F, R, T1, T2> DescribableFunction<(R, T1, T2)> for Fwhere
    F: Fn(&T1, &T2) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,

impl<F, R, T1, T2, T3> DescribableFunction<(R, T1, T2, T3)> for Fwhere
    F: Fn(&T1, &T2, &T3) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,
    T3: Send + Sync + 'static,

impl<F, R, T1, T2, T3, T4> DescribableFunction<(R, T1, T2, T3, T4)> for Fwhere
    F: Fn(&T1, &T2, &T3, &T4) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,
    T3: Send + Sync + 'static,
    T4: Send + Sync + 'static,

impl<F, R, T1, T2, T3, T4, T5> DescribableFunction<(R, T1, T2, T3, T4, T5)> for Fwhere
    F: Fn(&T1, &T2, &T3, &T4, &T5) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,
    T3: Send + Sync + 'static,
    T4: Send + Sync + 'static,
    T5: Send + Sync + 'static,

impl<F, R, T1, T2, T3, T4, T5, T6> DescribableFunction<(R, T1, T2, T3, T4, T5, T6)> for Fwhere
    F: Fn(&T1, &T2, &T3, &T4, &T5, &T6) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,
    T3: Send + Sync + 'static,
    T4: Send + Sync + 'static,
    T5: Send + Sync + 'static,
    T6: Send + Sync + 'static,

impl<F, R, T1, T2, T3, T4, T5, T6, T7> DescribableFunction<(R, T1, T2, T3, T4, T5, T6, T7)> for Fwhere
    F: Fn(&T1, &T2, &T3, &T4, &T5, &T6, &T7) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,
    T3: Send + Sync + 'static,
    T4: Send + Sync + 'static,
    T5: Send + Sync + 'static,
    T6: Send + Sync + 'static,
    T7: Send + Sync + 'static,

impl<F, R, T1, T2, T3, T4, T5, T6, T7, T8> DescribableFunction<(R, T1, T2, T3, T4, T5, T6, T7, T8)> for Fwhere
    F: Fn(&T1, &T2, &T3, &T4, &T5, &T6, &T7, &T8) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,
    T3: Send + Sync + 'static,
    T4: Send + Sync + 'static,
    T5: Send + Sync + 'static,
    T6: Send + Sync + 'static,
    T7: Send + Sync + 'static,
    T8: Send + Sync + 'static,

impl<F, R, T1, T2, T3, T4, T5, T6, T7, T8, T9> DescribableFunction<(R, T1, T2, T3, T4, T5, T6, T7, T8, T9)> for Fwhere
    F: Fn(&T1, &T2, &T3, &T4, &T5, &T6, &T7, &T8, &T9) -> Result<R, FnError> + Send + Sync,
    R: Send + Sync + 'static,
    T1: Send + Sync + 'static,
    T2: Send + Sync + 'static,
    T3: Send + Sync + 'static,
    T4: Send + Sync + 'static,
    T5: Send + Sync + 'static,
    T6: Send + Sync + 'static,
    T7: Send + Sync + 'static,
    T8: Send + Sync + 'static,
    T9: Send + Sync + 'static,