Trait ContractTypeRefSpec 

pub trait ContractTypeRefSpec {
    const INFO: ContractTypeInfo<'static>;
    const SIGNED_PREIMAGE: Option<&'static ContractTypeView<'static>> = _;
}

Trait for types that can appear in contract spec signatures. Implemented for primitives, collections, and #[contract_type] types.

Required Associated Constants

const INFO: ContractTypeInfo<'static>

The type reference. Transitive type definitions are not carried here; they are retained via the linker-anchor mechanism (__THRUPUT_SPEC_ANCHOR_ROOT) and resolved by spec-tool.

Provided Associated Constants

const SIGNED_PREIMAGE: Option<&'static ContractTypeView<'static>> = _

How this type appears as a signed-token preimage (ContractTypeView::SignedToken’s payload): the type itself by default, or None for a type-erased payload (the SDK’s Opaque overrides this).

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl ContractTypeRefSpec for &[u8]

const INFO: ContractTypeInfo<'static> = <[u8] as ContractTypeRefSpec>::INFO

impl ContractTypeRefSpec for &str

const INFO: ContractTypeInfo<'static> = <str as ContractTypeRefSpec>::INFO

impl ContractTypeRefSpec for ()

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for BlockHeight

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for ContractAddress

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for ContractEntrypointID

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for Ed25519PublicKey

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for Ed25519Signature

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for MlDsa65PublicKey

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for MlDsa65Signature

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for PublicKey

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for SHA256Hash

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for Signature

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for String

Available on crate feature alloc only.

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for SysErr

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for SyscallNo

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for bool

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for i32

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for i64

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for i128

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for str

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for u8

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for u32

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for u64

const INFO: ContractTypeInfo<'static>

impl ContractTypeRefSpec for u128

const INFO: ContractTypeInfo<'static>

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

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec, J: ContractTypeRefSpec, K: ContractTypeRefSpec, L: ContractTypeRefSpec, M: ContractTypeRefSpec, N: ContractTypeRefSpec, O: ContractTypeRefSpec, P: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

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

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec, J: ContractTypeRefSpec, K: ContractTypeRefSpec, L: ContractTypeRefSpec, M: ContractTypeRefSpec, N: ContractTypeRefSpec, O: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

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

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec, J: ContractTypeRefSpec, K: ContractTypeRefSpec, L: ContractTypeRefSpec, M: ContractTypeRefSpec, N: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

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

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec, J: ContractTypeRefSpec, K: ContractTypeRefSpec, L: ContractTypeRefSpec, M: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E, F, G, H, I, J, K, L> ContractTypeRefSpec for (A, B, C, D, E, F, G, H, I, J, K, L)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec, J: ContractTypeRefSpec, K: ContractTypeRefSpec, L: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E, F, G, H, I, J, K> ContractTypeRefSpec for (A, B, C, D, E, F, G, H, I, J, K)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec, J: ContractTypeRefSpec, K: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E, F, G, H, I, J> ContractTypeRefSpec for (A, B, C, D, E, F, G, H, I, J)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec, J: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E, F, G, H, I> ContractTypeRefSpec for (A, B, C, D, E, F, G, H, I)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec, I: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E, F, G, H> ContractTypeRefSpec for (A, B, C, D, E, F, G, H)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec, H: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E, F, G> ContractTypeRefSpec for (A, B, C, D, E, F, G)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec, G: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E, F> ContractTypeRefSpec for (A, B, C, D, E, F)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec, F: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D, E> ContractTypeRefSpec for (A, B, C, D, E)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec, E: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C, D> ContractTypeRefSpec for (A, B, C, D)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec, D: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B, C> ContractTypeRefSpec for (A, B, C)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec, C: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A, B> ContractTypeRefSpec for (A, B)

where A: ContractTypeRefSpec, B: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<A> ContractTypeRefSpec for (A,)

where A: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<T, const N: u32> ContractTypeRefSpec for VecM<T, N>

where T: ContractTypeRefSpec,

Available on crate feature alloc only.

const INFO: ContractTypeInfo<'static>

impl<T, const N: usize> ContractTypeRefSpec for Vec<T, N>

where T: ContractTypeRefSpec,

Bounded vector with no allocator: the same wire shape and spec as VecM<T, N> (for u8, as BytesM<N>), but decodable in a no-alloc guest.

const INFO: ContractTypeInfo<'static>

impl<T, const N: usize> ContractTypeRefSpec for [T; N]

where T: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<T> ContractTypeRefSpec for Box<T>

where T: ContractTypeRefSpec,

Available on crate feature alloc only.

const INFO: ContractTypeInfo<'static> = T::INFO

impl<T> ContractTypeRefSpec for Option<T>

where T: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<T> ContractTypeRefSpec for Vec<T>

where T: ContractTypeRefSpec,

Available on crate feature alloc only.

const INFO: ContractTypeInfo<'static>

impl<T> ContractTypeRefSpec for [T]

where T: ContractTypeRefSpec,

const INFO: ContractTypeInfo<'static>

impl<const MAX: u32> ContractTypeRefSpec for BytesM<MAX>

const INFO: ContractTypeInfo<'static>

impl<const MAX: u32> ContractTypeRefSpec for StringM<MAX>

const INFO: ContractTypeInfo<'static> = <str as ContractTypeRefSpec>::INFO

impl<const MAX: usize> ContractTypeRefSpec for String<MAX>

const INFO: ContractTypeInfo<'static> = <str as ContractTypeRefSpec>::INFO

Implementors