Trait tvm_rt::function::Typed

pub trait Typed<I, O> {
    fn args<'arg>(i: Vec<ArgValue<'arg>>) -> Result<Args<'arg, I>>;
    fn ret(o: O) -> Result<RetValue>;
}

Required methods

fn args<'arg>(i: Vec<ArgValue<'arg>>) -> Result<Args<'arg, I>>

fn ret(o: O) -> Result<RetValue>

Implementations on Foreign Types

impl Typed<RawArgs, RetValue> for for<'a> fn(_: Vec<ArgValue<'a>>) -> Result<RetValue>

fn args<'arg>(args: Vec<ArgValue<'arg>>) -> Result<Args<'arg, RawArgs>>

fn ret(o: RetValue) -> Result<RetValue>

Implementors

impl<Fun, Out> Typed<(), Out> for Fun where
    Fun: Fn() -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>, 

impl<Fun, Out, A> Typed<(A,), Out> for Fun where
    Fun: Fn(A) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>, 

impl<Fun, Out, A, B> Typed<(A, B), Out> for Fun where
    Fun: Fn(A, B) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>,
    for<'a> B: TryFromArgValue<ArgValue<'a>>, 

impl<Fun, Out, A, B, C> Typed<(A, B, C), Out> for Fun where
    Fun: Fn(A, B, C) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>,
    for<'a> B: TryFromArgValue<ArgValue<'a>>,
    for<'a> C: TryFromArgValue<ArgValue<'a>>, 

impl<Fun, Out, A, B, C, D> Typed<(A, B, C, D), Out> for Fun where
    Fun: Fn(A, B, C, D) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>,
    for<'a> B: TryFromArgValue<ArgValue<'a>>,
    for<'a> C: TryFromArgValue<ArgValue<'a>>,
    for<'a> D: TryFromArgValue<ArgValue<'a>>, 

impl<Fun, Out, A, B, C, D, E> Typed<(A, B, C, D, E), Out> for Fun where
    Fun: Fn(A, B, C, D, E) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>,
    for<'a> B: TryFromArgValue<ArgValue<'a>>,
    for<'a> C: TryFromArgValue<ArgValue<'a>>,
    for<'a> D: TryFromArgValue<ArgValue<'a>>,
    for<'a> E: TryFromArgValue<ArgValue<'a>>, 

impl<Fun, Out, A, B, C, D, E, F> Typed<(A, B, C, D, E, F), Out> for Fun where
    Fun: Fn(A, B, C, D, E, F) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>,
    for<'a> B: TryFromArgValue<ArgValue<'a>>,
    for<'a> C: TryFromArgValue<ArgValue<'a>>,
    for<'a> D: TryFromArgValue<ArgValue<'a>>,
    for<'a> E: TryFromArgValue<ArgValue<'a>>,
    for<'a> F: TryFromArgValue<ArgValue<'a>>, 

impl<Fun, Out, A, B, C, D, E, F, G> Typed<(A, B, C, D, E, F, G), Out> for Fun where
    Fun: Fn(A, B, C, D, E, F, G) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>,
    for<'a> B: TryFromArgValue<ArgValue<'a>>,
    for<'a> C: TryFromArgValue<ArgValue<'a>>,
    for<'a> D: TryFromArgValue<ArgValue<'a>>,
    for<'a> E: TryFromArgValue<ArgValue<'a>>,
    for<'a> F: TryFromArgValue<ArgValue<'a>>,
    for<'a> G: TryFromArgValue<ArgValue<'a>>, 

impl<Fun, Out, A, B, C, D, E, F, G, H> Typed<(A, B, C, D, E, F, G, H), Out> for Fun where
    Fun: Fn(A, B, C, D, E, F, G, H) -> Out,
    Out: TryInto<RetValue>,
    Error: From<Out::Error>,
    for<'a> A: TryFromArgValue<ArgValue<'a>>,
    for<'a> B: TryFromArgValue<ArgValue<'a>>,
    for<'a> C: TryFromArgValue<ArgValue<'a>>,
    for<'a> D: TryFromArgValue<ArgValue<'a>>,
    for<'a> E: TryFromArgValue<ArgValue<'a>>,
    for<'a> F: TryFromArgValue<ArgValue<'a>>,
    for<'a> G: TryFromArgValue<ArgValue<'a>>,
    for<'a> H: TryFromArgValue<ArgValue<'a>>,