linera_witty

Trait WitType

Source
pub trait WitType {
    type Layout: Layout;
    type Dependencies: RegisterWitTypes;

    const SIZE: u32;

    // Required methods
    fn wit_type_name() -> Cow<'static, str>;
    fn wit_type_declaration() -> Cow<'static, str>;
}
Expand description

A type that is representable by fundamental WIT types.

Required Associated Constants§

Source

const SIZE: u32

The size of the type when laid out in memory.

Required Associated Types§

Source

type Layout: Layout

The layout of the type as fundamental types.

Source

type Dependencies: RegisterWitTypes

Other WitTypes that this type depends on.

Required Methods§

Source

fn wit_type_name() -> Cow<'static, str>

Generates the WIT type name for this type.

Source

fn wit_type_declaration() -> Cow<'static, str>

Generates the WIT type declaration for this type.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl WitType for Level

Source§

impl WitType for bool

Source§

impl WitType for f32

Source§

impl WitType for f64

Source§

impl WitType for i8

Source§

impl WitType for i16

Source§

impl WitType for i32

Source§

impl WitType for i64

Source§

impl WitType for i128

Source§

impl WitType for u8

Source§

impl WitType for u16

Source§

impl WitType for u32

Source§

impl WitType for u64

Source§

impl WitType for u128

Source§

impl WitType for ()
where HNil: WitType,

Source§

impl WitType for String

Source§

impl WitType for Duration

Source§

impl WitType for [u8; 20]

Source§

impl<A> WitType for (A,)
where A: WitType, HCons<A, HNil>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HNil> as WitType>::SIZE

Source§

type Layout = <HCons<A, HNil> as WitType>::Layout

Source§

type Dependencies = HCons<A, HNil>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B> WitType for (A, B)
where A: WitType, B: WitType, HCons<A, HCons<B, HNil>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HNil>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HNil>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HNil>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C> WitType for (A, B, C)
where A: WitType, B: WitType, C: WitType, HCons<A, HCons<B, HCons<C, HNil>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HNil>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HNil>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HNil>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D> WitType for (A, B, C, D)
where A: WitType, B: WitType, C: WitType, D: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HNil>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HNil>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HNil>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HNil>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E> WitType for (A, B, C, D, E)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HNil>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HNil>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HNil>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HNil>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F> WitType for (A, B, C, D, E, F)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HNil>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HNil>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HNil>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HNil>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G> WitType for (A, B, C, D, E, F, G)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HNil>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HNil>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HNil>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HNil>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H> WitType for (A, B, C, D, E, F, G, H)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HNil>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HNil>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HNil>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HNil>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I> WitType for (A, B, C, D, E, F, G, H, I)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HNil>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HNil>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HNil>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HNil>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J> WitType for (A, B, C, D, E, F, G, H, I, J)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HNil>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HNil>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HNil>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HNil>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

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

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HNil>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HNil>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HNil>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

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

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HNil>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HNil>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HNil>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

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

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HNil>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HNil>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HNil>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

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

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HNil>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HNil>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HNil>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

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

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HNil>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HNil>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

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

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HNil>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HNil>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

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

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HNil>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HNil>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HNil>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HNil>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HNil>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HNil>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HNil>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HNil>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, T: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HNil>>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HCons<T, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HNil>>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HNil>>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, T: WitType, U: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HNil>>>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HCons<T, ::frunk_core::hlist::HCons<U, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HNil>>>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HNil>>>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, T: WitType, U: WitType, V: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HNil>>>>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HCons<T, ::frunk_core::hlist::HCons<U, ::frunk_core::hlist::HCons<V, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HNil>>>>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HNil>>>>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, T: WitType, U: WitType, V: WitType, W: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HNil>>>>>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HCons<T, ::frunk_core::hlist::HCons<U, ::frunk_core::hlist::HCons<V, ::frunk_core::hlist::HCons<W, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HNil>>>>>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HNil>>>>>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, T: WitType, U: WitType, V: WitType, W: WitType, X: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HNil>>>>>>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HCons<T, ::frunk_core::hlist::HCons<U, ::frunk_core::hlist::HCons<V, ::frunk_core::hlist::HCons<W, ::frunk_core::hlist::HCons<X, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HNil>>>>>>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HNil>>>>>>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, T: WitType, U: WitType, V: WitType, W: WitType, X: WitType, Y: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HCons<Y, HNil>>>>>>>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HCons<T, ::frunk_core::hlist::HCons<U, ::frunk_core::hlist::HCons<V, ::frunk_core::hlist::HCons<W, ::frunk_core::hlist::HCons<X, ::frunk_core::hlist::HCons<Y, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HCons<Y, HNil>>>>>>>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HCons<Y, HNil>>>>>>>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z> WitType for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z)
where A: WitType, B: WitType, C: WitType, D: WitType, E: WitType, F: WitType, G: WitType, H: WitType, I: WitType, J: WitType, K: WitType, L: WitType, M: WitType, N: WitType, O: WitType, P: WitType, Q: WitType, R: WitType, S: WitType, T: WitType, U: WitType, V: WitType, W: WitType, X: WitType, Y: WitType, Z: WitType, HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HCons<Y, HCons<Z, HNil>>>>>>>>>>>>>>>>>>>>>>>>>>: WitType,

Source§

const SIZE: u32 = <::frunk_core::hlist::HCons<A, ::frunk_core::hlist::HCons<B, ::frunk_core::hlist::HCons<C, ::frunk_core::hlist::HCons<D, ::frunk_core::hlist::HCons<E, ::frunk_core::hlist::HCons<F, ::frunk_core::hlist::HCons<G, ::frunk_core::hlist::HCons<H, ::frunk_core::hlist::HCons<I, ::frunk_core::hlist::HCons<J, ::frunk_core::hlist::HCons<K, ::frunk_core::hlist::HCons<L, ::frunk_core::hlist::HCons<M, ::frunk_core::hlist::HCons<N, ::frunk_core::hlist::HCons<O, ::frunk_core::hlist::HCons<P, ::frunk_core::hlist::HCons<Q, ::frunk_core::hlist::HCons<R, ::frunk_core::hlist::HCons<S, ::frunk_core::hlist::HCons<T, ::frunk_core::hlist::HCons<U, ::frunk_core::hlist::HCons<V, ::frunk_core::hlist::HCons<W, ::frunk_core::hlist::HCons<X, ::frunk_core::hlist::HCons<Y, ::frunk_core::hlist::HCons<Z, ::frunk_core::hlist::HNil>>>>>>>>>>>>>>>>>>>>>>>>>> as WitType>::SIZE

Source§

type Layout = <HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HCons<Y, HCons<Z, HNil>>>>>>>>>>>>>>>>>>>>>>>>>> as WitType>::Layout

Source§

type Dependencies = HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HCons<R, HCons<S, HCons<T, HCons<U, HCons<V, HCons<W, HCons<X, HCons<Y, HCons<Z, HNil>>>>>>>>>>>>>>>>>>>>>>>>>>

Source§

fn wit_type_name() -> Cow<'static, str>

Source§

fn wit_type_declaration() -> Cow<'static, str>

Source§

impl<K, V> WitType for BTreeMap<K, V>
where K: WitType, V: WitType, (K, V): WitType,

Source§

impl<T> WitType for Option<T>
where T: WitType, HNil: Merge<T::Layout>, <HNil as Merge<T::Layout>>::Output: Layout,

Source§

impl<T> WitType for &T
where T: WitType + ?Sized,

Source§

impl<T> WitType for [T]
where T: WitType,

Source§

impl<T> WitType for Box<[T]>
where T: WitType,

Source§

impl<T> WitType for Box<T>
where T: WitType,

Source§

impl<T> WitType for BTreeSet<T>
where T: WitType,

Source§

impl<T> WitType for Rc<[T]>
where T: WitType,

Source§

impl<T> WitType for Rc<T>
where T: WitType,

Source§

impl<T> WitType for Arc<[T]>
where T: WitType,

Source§

impl<T> WitType for Arc<T>
where T: WitType,

Source§

impl<T> WitType for Vec<T>
where T: WitType,

Source§

impl<T> WitType for PhantomData<T>

Source§

impl<T, E> WitType for Result<T, E>
where T: WitType, E: WitType, T::Layout: Merge<E::Layout>, <T::Layout as Merge<E::Layout>>::Output: Layout,

Implementors§

Source§

impl WitType for GuestPointer

Source§

impl WitType for HNil

Source§

impl<Head, Tail> WitType for HCons<Head, Tail>
where Head: WitType, Tail: WitType + SizeCalculation, Head::Layout: Add<Tail::Layout>, <Head::Layout as Add<Tail::Layout>>::Output: Layout,

Source§

const SIZE: u32

Source§

type Layout = <<Head as WitType>::Layout as Add<<Tail as WitType>::Layout>>::Output

Source§

type Dependencies = HCons<Head, HCons<Tail, HNil>>