Trait rune::runtime::GuardedArgs

pub trait GuardedArgs {
    type Guard;

    // Required methods
    unsafe fn unsafe_into_stack(
        self,
        stack: &mut Stack
    ) -> VmResult<Self::Guard>;
    fn count(&self) -> usize;
}

Expand description

Trait for converting arguments onto the stack.

This can take references, because it is unsafe to call. And should only be implemented in contexts where it can be guaranteed that the references will not outlive the call.

Required Associated Types§

type Guard

Guard that when dropped will invalidate any values encoded.

Required Methods§

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

Encode arguments onto a stack.

§Safety

This is implemented for and allows encoding references on the stack. The returned guard must be dropped before any used references are invalidated.

fn count(&self) -> usize

The number of arguments.

Implementations on Foreign Types§

impl GuardedArgs for ()

type Guard = ()

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A> GuardedArgs for (A,)
where A: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard,)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B> GuardedArgs for (A, B)
where A: UnsafeToValue, B: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C> GuardedArgs for (A, B, C)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D> GuardedArgs for (A, B, C, D)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E> GuardedArgs for (A, B, C, D, E)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F> GuardedArgs for (A, B, C, D, E, F)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G> GuardedArgs for (A, B, C, D, E, F, G)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H> GuardedArgs for (A, B, C, D, E, F, G, H)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I> GuardedArgs for (A, B, C, D, E, F, G, H, I)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I, J> GuardedArgs for (A, B, C, D, E, F, G, H, I, J)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue, J: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard, <J as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I, J, K> GuardedArgs for (A, B, C, D, E, F, G, H, I, J, K)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue, J: UnsafeToValue, K: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard, <J as UnsafeToValue>::Guard, <K as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I, J, K, L> GuardedArgs for (A, B, C, D, E, F, G, H, I, J, K, L)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue, J: UnsafeToValue, K: UnsafeToValue, L: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard, <J as UnsafeToValue>::Guard, <K as UnsafeToValue>::Guard, <L as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I, J, K, L, M> GuardedArgs for (A, B, C, D, E, F, G, H, I, J, K, L, M)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue, J: UnsafeToValue, K: UnsafeToValue, L: UnsafeToValue, M: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard, <J as UnsafeToValue>::Guard, <K as UnsafeToValue>::Guard, <L as UnsafeToValue>::Guard, <M as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N> GuardedArgs for (A, B, C, D, E, F, G, H, I, J, K, L, M, N)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue, J: UnsafeToValue, K: UnsafeToValue, L: UnsafeToValue, M: UnsafeToValue, N: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard, <J as UnsafeToValue>::Guard, <K as UnsafeToValue>::Guard, <L as UnsafeToValue>::Guard, <M as UnsafeToValue>::Guard, <N as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O> GuardedArgs for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue, J: UnsafeToValue, K: UnsafeToValue, L: UnsafeToValue, M: UnsafeToValue, N: UnsafeToValue, O: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard, <J as UnsafeToValue>::Guard, <K as UnsafeToValue>::Guard, <L as UnsafeToValue>::Guard, <M as UnsafeToValue>::Guard, <N as UnsafeToValue>::Guard, <O as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P> GuardedArgs for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)
where A: UnsafeToValue, B: UnsafeToValue, C: UnsafeToValue, D: UnsafeToValue, E: UnsafeToValue, F: UnsafeToValue, G: UnsafeToValue, H: UnsafeToValue, I: UnsafeToValue, J: UnsafeToValue, K: UnsafeToValue, L: UnsafeToValue, M: UnsafeToValue, N: UnsafeToValue, O: UnsafeToValue, P: UnsafeToValue,

type Guard = (<A as UnsafeToValue>::Guard, <B as UnsafeToValue>::Guard, <C as UnsafeToValue>::Guard, <D as UnsafeToValue>::Guard, <E as UnsafeToValue>::Guard, <F as UnsafeToValue>::Guard, <G as UnsafeToValue>::Guard, <H as UnsafeToValue>::Guard, <I as UnsafeToValue>::Guard, <J as UnsafeToValue>::Guard, <K as UnsafeToValue>::Guard, <L as UnsafeToValue>::Guard, <M as UnsafeToValue>::Guard, <N as UnsafeToValue>::Guard, <O as UnsafeToValue>::Guard, <P as UnsafeToValue>::Guard)

unsafe fn unsafe_into_stack(self, stack: &mut Stack) -> VmResult<Self::Guard>

fn count(&self) -> usize

Implementors§