Trait gluon_vm::api::VmType

pub trait VmType {
    type Type: ?Sized + Any;
    fn make_type(vm: &Thread) -> ArcType { ... }
    fn extra_args() -> VmIndex { ... }
}

Trait which maps a type in rust to a type in gluon

Associated Types

type Type: ?Sized + Any

A version of Self which implements Any allowing a TypeId to be retrieved

Provided Methods

fn make_type(vm: &Thread) -> ArcType

Creates an gluon type which maps to Self in rust

fn extra_args() -> VmIndex

How many extra arguments a function returning this type requires. Used for abstract types which when used in return position should act like they still need more arguments before they are called

Implementations on Foreign Types

impl<'vm, T: ?Sized + VmType> VmType for &'vm T

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for ()

type Type = Self

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for u8

type Type = Self

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for i16

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for i32

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for i64

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for u16

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for u32

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for u64

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for usize

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for isize

type Type = VmInt

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for f64

type Type = Self

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for bool

type Type = Self

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for Ordering

type Type = Self

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for str

type Type = <String as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for String

type Type = String

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl VmType for char

type Type = Self

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, T: VmType> VmType for Ref<'s, T>

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, T> VmType for &'s [T] where
    T: VmType + ArrayRepr + 's,
    T::Type: Sized, 

type Type = &'static [T::Type]

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<T> VmType for Vec<T> where
    T: VmType,
    T::Type: Sized, 

type Type = Vec<T::Type>

fn make_type(thread: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, T: VmType> VmType for *const T

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<T: VmType> VmType for Option<T> where
    T::Type: Sized, 

type Type = Option<T::Type>

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<T: VmType, E: VmType> VmType for StdResult<T, E> where
    T::Type: Sized,
    E::Type: Sized, 

type Type = StdResult<T::Type, E::Type>

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<_0, _1, _2, _3, _4, _5, _6> VmType for (_0, _1, _2, _3, _4, _5, _6) where
    _0: VmType,
    _1: VmType,
    _2: VmType,
    _3: VmType,
    _4: VmType,
    _5: VmType,
    _6: VmType,
    _0::Type: Sized,
    _1::Type: Sized,
    _2::Type: Sized,
    _3::Type: Sized,
    _4::Type: Sized,
    _5::Type: Sized,
    _6::Type: Sized, 

type Type = (_0::Type, _1::Type, _2::Type, _3::Type, _4::Type, _5::Type, _6::Type)

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<_1, _2, _3, _4, _5, _6> VmType for (_1, _2, _3, _4, _5, _6) where
    _1: VmType,
    _2: VmType,
    _3: VmType,
    _4: VmType,
    _5: VmType,
    _6: VmType,
    _1::Type: Sized,
    _2::Type: Sized,
    _3::Type: Sized,
    _4::Type: Sized,
    _5::Type: Sized,
    _6::Type: Sized, 

type Type = (_1::Type, _2::Type, _3::Type, _4::Type, _5::Type, _6::Type)

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<_2, _3, _4, _5, _6> VmType for (_2, _3, _4, _5, _6) where
    _2: VmType,
    _3: VmType,
    _4: VmType,
    _5: VmType,
    _6: VmType,
    _2::Type: Sized,
    _3::Type: Sized,
    _4::Type: Sized,
    _5::Type: Sized,
    _6::Type: Sized, 

type Type = (_2::Type, _3::Type, _4::Type, _5::Type, _6::Type)

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<_3, _4, _5, _6> VmType for (_3, _4, _5, _6) where
    _3: VmType,
    _4: VmType,
    _5: VmType,
    _6: VmType,
    _3::Type: Sized,
    _4::Type: Sized,
    _5::Type: Sized,
    _6::Type: Sized, 

type Type = (_3::Type, _4::Type, _5::Type, _6::Type)

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<_4, _5, _6> VmType for (_4, _5, _6) where
    _4: VmType,
    _5: VmType,
    _6: VmType,
    _4::Type: Sized,
    _5::Type: Sized,
    _6::Type: Sized, 

type Type = (_4::Type, _5::Type, _6::Type)

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<_5, _6> VmType for (_5, _6) where
    _5: VmType,
    _6: VmType,
    _5::Type: Sized,
    _6::Type: Sized, 

type Type = (_5::Type, _6::Type)

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<R: VmType> VmType for fn() -> R

type Type = fn() -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, R: VmType> VmType for Fn() -> R + 's

type Type = fn() -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<A: VmType, R: VmType> VmType for fn(_: A) -> R

type Type = fn(_: A::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, A: VmType, R: VmType> VmType for Fn(A) -> R + 's

type Type = fn(_: A::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<A: VmType, B: VmType, R: VmType> VmType for fn(_: A, _: B) -> R

type Type = fn(_: A::Type, _: B::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, A: VmType, B: VmType, R: VmType> VmType for Fn(A, B) -> R + 's

type Type = fn(_: A::Type, _: B::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<A: VmType, B: VmType, C: VmType, R: VmType> VmType for fn(_: A, _: B, _: C) -> R

type Type = fn(_: A::Type, _: B::Type, _: C::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, A: VmType, B: VmType, C: VmType, R: VmType> VmType for Fn(A, B, C) -> R + 's

type Type = fn(_: A::Type, _: B::Type, _: C::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<A: VmType, B: VmType, C: VmType, D: VmType, R: VmType> VmType for fn(_: A, _: B, _: C, _: D) -> R

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, R: VmType> VmType for Fn(A, B, C, D) -> R + 's

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, R: VmType> VmType for fn(_: A, _: B, _: C, _: D, _: E) -> R

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, R: VmType> VmType for Fn(A, B, C, D, E) -> R + 's

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, R: VmType> VmType for fn(_: A, _: B, _: C, _: D, _: E, _: F) -> R

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type, _: F::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, R: VmType> VmType for Fn(A, B, C, D, E, F) -> R + 's

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type, _: F::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, G: VmType, R: VmType> VmType for fn(_: A, _: B, _: C, _: D, _: E, _: F, _: G) -> R

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type, _: F::Type, _: G::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, G: VmType, R: VmType> VmType for Fn(A, B, C, D, E, F, G) -> R + 's

type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type, _: F::Type, _: G::Type) -> R::Type

fn make_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

Implementors

• impl VmType for A type Type = A;
• impl VmType for B type Type = B;
• impl VmType for C type Type = C;
• impl VmType for D type Type = D;
• impl VmType for E type Type = E;
• impl VmType for F type Type = F;
• impl VmType for G type Type = G;
• impl VmType for H type Type = H;
• impl VmType for I type Type = I;
• impl VmType for J type Type = J;
• impl VmType for K type Type = K;
• impl VmType for L type Type = L;
• impl VmType for M type Type = M;
• impl VmType for N type Type = N;
• impl VmType for O type Type = O;
• impl VmType for P type Type = P;
• impl VmType for Q type Type = Q;
• impl VmType for R type Type = R;
• impl VmType for X type Type = X;
• impl VmType for Y type Type = Y;
• impl VmType for Z type Type = Z;
• impl<T: FieldTypes> VmType for Record<T> type Type = Record<T::Type>;
• impl VmType for Hole type Type = Hole;
• impl<T: VmType> VmType for Generic<T> type Type = T::Type;
• impl<'vm, T> VmType for WithVM<'vm, T> where
    T: VmType,  type Type = T::Type;
• impl<F> VmType for FutureResult<F> where
    F: Future,
    F::Item: VmType,  type Type = <F::Item as VmType>::Type;
• impl<T: VmType, E> VmType for RuntimeResult<T, E> type Type = T::Type;
• impl<T> VmType for IO<T> where
    T: VmType,
    T::Type: Sized,  type Type = IO<T::Type>;
• impl<T, V> VmType for OpaqueValue<T, V> where
    T: Deref<Target = Thread>,
    V: VmType,
    V::Type: Sized,  type Type = V::Type;
• impl<'vm, T: VmType> VmType for Array<'vm, T> where
    T::Type: Sized,  type Type = Array<'static, T::Type>;
• impl<'vm, T: Any> VmType for Root<'vm, T> type Type = T;
• impl<'vm> VmType for RootStr<'vm> type Type = <str as VmType>::Type;
• impl<T, R: ?Sized> VmType for PushAsRef<T, R> where
    T: AsRef<R>,
    R: 'static,
    &'static R: VmType,  type Type = <&'static R as VmType>::Type;
• impl<'vm, F: VmType> VmType for Primitive<F> type Type = F::Type;
• impl<'vm, F: VmType> VmType for RefPrimitive<'vm, F> type Type = F::Type;
• impl<T, F> VmType for Function<T, F> where
    T: Deref<Target = Thread>,
    F: VmType,  type Type = F::Type;
• impl<T: VmType> VmType for Sender<T> where
    T::Type: Sized,  type Type = Sender<T::Type>;
• impl<T: VmType> VmType for Receiver<T> where
    T::Type: Sized,  type Type = Receiver<T::Type>;
• impl VmType for Thread type Type = Self;
• impl VmType for RootedThread type Type = Thread;
• impl<T> VmType for Reference<T> where
    T: VmType,
    T::Type: Sized,  type Type = Reference<T::Type>;