Trait DataStackPack 

pub trait DataStackPack: Sized {
    // Required methods
    fn stack_push(self, stack: &mut DataStack);
    fn stack_pop(stack: &mut DataStack) -> Self;
    fn pack_types() -> Vec<TypeHash>;

    // Provided method
    fn stack_push_reversed(self, stack: &mut DataStack) { ... }
}

Moves a tuple of values on and off a DataStack in one step.

This is the bridge between a Rust call with typed arguments and the untyped stack. Argument tuples and result tuples both go through it. Implemented for tuples of up to sixteen elements, and for ().

Required Methods

fn stack_push(self, stack: &mut DataStack)

Pushes every element in tuple order.

fn stack_pop(stack: &mut DataStack) -> Self

Pops every element in tuple order.

Panics

Panics when the stack does not hold the expected types.

fn pack_types() -> Vec<TypeHash>

Returns the types of the tuple elements, in order.

Provided Methods

fn stack_push_reversed(self, stack: &mut DataStack)

Pushes every element so that the first one ends up on top.

This is the order a callee expects, since it pops its arguments from first to last.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl DataStackPack for ()

fn stack_push(self, _: &mut DataStack)

fn stack_pop(_: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

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

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static, I: 'static, J: 'static, K: 'static, L: 'static, M: 'static, N: 'static, O: 'static> DataStackPack for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static, I: 'static, J: 'static, K: 'static, L: 'static, M: 'static, N: 'static> DataStackPack for (A, B, C, D, E, F, G, H, I, J, K, L, M, N)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static, I: 'static, J: 'static, K: 'static, L: 'static, M: 'static> DataStackPack for (A, B, C, D, E, F, G, H, I, J, K, L, M)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static, I: 'static, J: 'static, K: 'static, L: 'static> DataStackPack for (A, B, C, D, E, F, G, H, I, J, K, L)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static, I: 'static, J: 'static, K: 'static> DataStackPack for (A, B, C, D, E, F, G, H, I, J, K)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static, I: 'static, J: 'static> DataStackPack for (A, B, C, D, E, F, G, H, I, J)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static, I: 'static> DataStackPack for (A, B, C, D, E, F, G, H, I)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static, H: 'static> DataStackPack for (A, B, C, D, E, F, G, H)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static, G: 'static> DataStackPack for (A, B, C, D, E, F, G)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static, F: 'static> DataStackPack for (A, B, C, D, E, F)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static, E: 'static> DataStackPack for (A, B, C, D, E)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static, D: 'static> DataStackPack for (A, B, C, D)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static, C: 'static> DataStackPack for (A, B, C)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static, B: 'static> DataStackPack for (A, B)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

impl<A: 'static> DataStackPack for (A,)

fn stack_push(self, stack: &mut DataStack)

fn stack_pop(stack: &mut DataStack) -> Self

fn pack_types() -> Vec<TypeHash>

Implementors