Trait tvm::function::Typed

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

Required methods

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

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

Implementations on Foreign Types

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

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

pub fn ret(o: RetValue) -> Result<RetValue, Error>

Implementors

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

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

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

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

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>,
    A: for<'a> TryFromArgValue<ArgValue<'a>>,
    B: for<'a> TryFromArgValue<ArgValue<'a>>,
    C: for<'a> TryFromArgValue<ArgValue<'a>>,
    D: for<'a> TryFromArgValue<ArgValue<'a>>,
    Error: From<<Out as TryInto<RetValue>>::Error>, 

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>,
    A: for<'a> TryFromArgValue<ArgValue<'a>>,
    B: for<'a> TryFromArgValue<ArgValue<'a>>,
    C: for<'a> TryFromArgValue<ArgValue<'a>>,
    D: for<'a> TryFromArgValue<ArgValue<'a>>,
    E: for<'a> TryFromArgValue<ArgValue<'a>>,
    Error: From<<Out as TryInto<RetValue>>::Error>, 

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>,
    A: for<'a> TryFromArgValue<ArgValue<'a>>,
    B: for<'a> TryFromArgValue<ArgValue<'a>>,
    C: for<'a> TryFromArgValue<ArgValue<'a>>,
    D: for<'a> TryFromArgValue<ArgValue<'a>>,
    E: for<'a> TryFromArgValue<ArgValue<'a>>,
    F: for<'a> TryFromArgValue<ArgValue<'a>>,
    Error: From<<Out as TryInto<RetValue>>::Error>, 

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>,
    A: for<'a> TryFromArgValue<ArgValue<'a>>,
    B: for<'a> TryFromArgValue<ArgValue<'a>>,
    C: for<'a> TryFromArgValue<ArgValue<'a>>,
    D: for<'a> TryFromArgValue<ArgValue<'a>>,
    E: for<'a> TryFromArgValue<ArgValue<'a>>,
    F: for<'a> TryFromArgValue<ArgValue<'a>>,
    G: for<'a> TryFromArgValue<ArgValue<'a>>,
    Error: From<<Out as TryInto<RetValue>>::Error>, 

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>,
    A: for<'a> TryFromArgValue<ArgValue<'a>>,
    B: for<'a> TryFromArgValue<ArgValue<'a>>,
    C: for<'a> TryFromArgValue<ArgValue<'a>>,
    D: for<'a> TryFromArgValue<ArgValue<'a>>,
    E: for<'a> TryFromArgValue<ArgValue<'a>>,
    F: for<'a> TryFromArgValue<ArgValue<'a>>,
    G: for<'a> TryFromArgValue<ArgValue<'a>>,
    H: for<'a> TryFromArgValue<ArgValue<'a>>,
    Error: From<<Out as TryInto<RetValue>>::Error>,