Skip to main content

WitType

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§

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

Source§

type Layout = <HNil as WitType>::Layout

Source§

type Dependencies = HNil

Source§

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

Source§

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

Source§

impl WitType for String

Source§

impl WitType for Duration

Source§

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

Source§

type Layout = <HCons<u64, HCons<u32, HNil>> as WitType>::Layout

Source§

type Dependencies = HNil

Source§

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

Source§

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

Source§

impl WitType for [u8; 20]

Source§

const SIZE: u32 = <(u64, u64, u64) as WitType>::SIZE

Source§

type Layout = <(u64, u64, u64) as WitType>::Layout

Source§

type Dependencies = HNil

Source§

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

Source§

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

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§

const SIZE: u32 = <Vec<(K, V)> as WitType>::SIZE

Source§

type Layout = <Vec<(K, V)> as WitType>::Layout

Source§

type Dependencies = HCons<K, HCons<V, HNil>>

Source§

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

Source§

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

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§

const SIZE: u32 = <[T] as WitType>::SIZE

Source§

type Layout = <[T] as WitType>::Layout

Source§

type Dependencies = <[T] as WitType>::Dependencies

Source§

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

Source§

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

Source§

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

Source§

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

Source§

const SIZE: u32 = <Vec<T> as WitType>::SIZE

Source§

type Layout = <Vec<T> as WitType>::Layout

Source§

type Dependencies = HCons<T, HNil>

Source§

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

Source§

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

Source§

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

Source§

const SIZE: u32 = <[T] as WitType>::SIZE

Source§

type Layout = <[T] as WitType>::Layout

Source§

type Dependencies = <[T] as WitType>::Dependencies

Source§

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

Source§

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

Source§

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

Source§

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

Source§

const SIZE: u32 = <[T] as WitType>::SIZE

Source§

type Layout = <[T] as WitType>::Layout

Source§

type Dependencies = <[T] as WitType>::Dependencies

Source§

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

Source§

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

Source§

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

Source§

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

Source§

const SIZE: u32 = <[T] as WitType>::SIZE

Source§

type Layout = <[T] as WitType>::Layout

Source§

type Dependencies = <[T] as WitType>::Dependencies

Source§

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

Source§

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

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>>