Trait gluon_vm::api::VmType

pub trait VmType {
    type Type: ?Sized + Any;

    const EXTRA_ARGS: VmIndex = 0u32;

    // Provided methods
    fn make_forall_type(vm: &Thread) -> ArcType { ... }
    fn make_type(vm: &Thread) -> ArcType { ... }
}

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

Required Associated Types

type Type: ?Sized + Any

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

Provided Associated Constants

const EXTRA_ARGS: VmIndex = 0u32

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

Provided Methods

fn make_forall_type(vm: &Thread) -> ArcType

fn make_type(vm: &Thread) -> ArcType

Creates an gluon type which maps to Self in rust

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl VmType for Ordering

type Type = Ordering

fn make_type(vm: &Thread) -> ArcType

impl VmType for Value

type Type = Value

fn make_type(vm: &Thread) -> ArcType

impl VmType for bool

type Type = bool

fn make_type(vm: &Thread) -> ArcType

impl VmType for char

type Type = char

impl VmType for f32

type Type = f32

impl VmType for f64

type Type = f64

impl VmType for i16

type Type = i64

impl VmType for i32

type Type = i64

impl VmType for i64

type Type = i64

impl VmType for isize

type Type = i64

impl VmType for str

type Type = <String as VmType>::Type

impl VmType for u8

type Type = u8

impl VmType for u16

type Type = i64

impl VmType for u32

type Type = i64

impl VmType for u64

type Type = i64

impl VmType for ()

type Type = ()

impl VmType for usize

type Type = i64

impl VmType for String

type Type = String

impl VmType for OsStr

type Type = <OsString as VmType>::Type

impl VmType for OsString

type Type = String

impl VmType for Path

type Type = <PathBuf as VmType>::Type

impl VmType for PathBuf

type Type = String

impl<'a> VmType for Component<'a>

type Type = Component<'static>

fn make_type(vm: &Thread) -> ArcType

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

where R: VmType, <R as VmType>::Type: Sized, R::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where R: VmType, <R as VmType>::Type: Sized, R::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where R: VmType, <R as VmType>::Type: Sized, R::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where R: VmType, <R as VmType>::Type: Sized, R::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where R: VmType, <R as VmType>::Type: Sized, R::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where R: VmType, <R as VmType>::Type: Sized, R::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where R: VmType, <R as VmType>::Type: Sized, R::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where IO<R>: VmType, <IO<R> as VmType>::Type: Sized, R::Type: Sized,

type Type = fn() -> <IO<R> as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = <T as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = <T as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = <T as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = <T as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = <T as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = <T as VmType>::Type

fn make_forall_type(vm: &Thread) -> ArcType

fn make_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex = T::EXTRA_ARGS

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

where A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, G: VmType, H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, A::Type: Sized, B::Type: Sized, C::Type: Sized, D::Type: Sized, E::Type: Sized, F::Type: Sized, G::Type: Sized, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<A as VmType>::Type, <B as VmType>::Type, <C as VmType>::Type, <D as VmType>::Type, <E as VmType>::Type, <F as VmType>::Type, <G as VmType>::Type, <H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

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

where <R as VmType>::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where <R as VmType>::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where <R as VmType>::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where <R as VmType>::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where <R as VmType>::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where <R as VmType>::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where <R as VmType>::Type: Sized,

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

fn make_type(vm: &Thread) -> ArcType

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

where B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, G: VmType, H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, B::Type: Sized, C::Type: Sized, D::Type: Sized, E::Type: Sized, F::Type: Sized, G::Type: Sized, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<B as VmType>::Type, <C as VmType>::Type, <D as VmType>::Type, <E as VmType>::Type, <F as VmType>::Type, <G as VmType>::Type, <H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

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

where C: VmType, D: VmType, E: VmType, F: VmType, G: VmType, H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, C::Type: Sized, D::Type: Sized, E::Type: Sized, F::Type: Sized, G::Type: Sized, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<C as VmType>::Type, <D as VmType>::Type, <E as VmType>::Type, <F as VmType>::Type, <G as VmType>::Type, <H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<D, E, F, G, H, I, J, K, L> VmType for (D, E, F, G, H, I, J, K, L)

where D: VmType, E: VmType, F: VmType, G: VmType, H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, D::Type: Sized, E::Type: Sized, F::Type: Sized, G::Type: Sized, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<D as VmType>::Type, <E as VmType>::Type, <F as VmType>::Type, <G as VmType>::Type, <H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<E, F, G, H, I, J, K, L> VmType for (E, F, G, H, I, J, K, L)

where E: VmType, F: VmType, G: VmType, H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, E::Type: Sized, F::Type: Sized, G::Type: Sized, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<E as VmType>::Type, <F as VmType>::Type, <G as VmType>::Type, <H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<F, G, H, I, J, K, L> VmType for (F, G, H, I, J, K, L)

where F: VmType, G: VmType, H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, F::Type: Sized, G::Type: Sized, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<F as VmType>::Type, <G as VmType>::Type, <H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<G, H, I, J, K, L> VmType for (G, H, I, J, K, L)

where G: VmType, H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, G::Type: Sized, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<G as VmType>::Type, <H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<H, I, J, K, L> VmType for (H, I, J, K, L)

where H: VmType, I: VmType, J: VmType, K: VmType, L: VmType, H::Type: Sized, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<H as VmType>::Type, <I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<I, J, K, L> VmType for (I, J, K, L)

where I: VmType, J: VmType, K: VmType, L: VmType, I::Type: Sized, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<I as VmType>::Type, <J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<J, K, L> VmType for (J, K, L)

where J: VmType, K: VmType, L: VmType, J::Type: Sized, K::Type: Sized, L::Type: Sized,

type Type = (<J as VmType>::Type, <K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<K, L> VmType for (K, L)

where K: VmType, L: VmType, K::Type: Sized, L::Type: Sized,

type Type = (<K as VmType>::Type, <L as VmType>::Type)

fn make_type(vm: &Thread) -> ArcType

impl<K, V> VmType for BTreeMap<K, V>

where K: VmType, K::Type: Sized, V: VmType, V::Type: Sized,

type Type = BTreeMap<<K as VmType>::Type, <V as VmType>::Type>

fn make_type(vm: &Thread) -> ArcType

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

where <IO<R> as VmType>::Type: Sized, <R as VmType>::Type: Sized,

type Type = fn() -> <IO<R> as VmType>::Type

fn make_type(vm: &Thread) -> ArcType

impl<T> VmType for [T]

where T: VmType, T::Type: Sized,

type Type = Vec<<T as VmType>::Type>

fn make_type(thread: &Thread) -> ArcType

impl<T> VmType for Vec<T>

where T: VmType, T::Type: Sized,

type Type = Vec<<T as VmType>::Type>

fn make_type(thread: &Thread) -> ArcType

impl<T: VmType> VmType for Option<T>

where T::Type: Sized,

type Type = Option<<T as VmType>::Type>

fn make_type(vm: &Thread) -> ArcType

impl<T: VmType, E: VmType> VmType for Result<T, E>

where T::Type: Sized, E::Type: Sized,

type Type = Result<<T as VmType>::Type, <E as VmType>::Type>

fn make_type(vm: &Thread) -> ArcType

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 S

type Type = S

impl VmType for T

type Type = T

impl VmType for U

type Type = U

impl VmType for V

type Type = V

impl VmType for X

type Type = X

impl VmType for Y

type Type = Y

impl VmType for Z

type Type = Z

impl VmType for gluon_vm::api::json::Value

type Type = Value

impl VmType for DirEntry

type Type = DirEntry

impl VmType for Metadata

type Type = Metadata

impl VmType for RootedThread

type Type = Thread

impl VmType for Thread

type Type = Thread

impl VmType for JsonString

type Type = String

impl VmType for JsonValue

type Type = JsonValue

impl VmType for EmptyRow

type Type = EmptyRow

impl VmType for Hole

type Type = Hole

impl<'a> VmType for gluon_vm::primitives::Component<'a>

type Type = Component<'static>

impl<'a, 'b, T> VmType for &'b mut gluon_vm::api::scoped::Ref<'a, T>

where T: Userdata + VmType,

type Type = <T as VmType>::Type

impl<'a, 'b, T> VmType for &'b mut RefMut<'a, T>

where T: Userdata + VmType,

type Type = <T as VmType>::Type

impl<'vm, F: VmType> VmType for Primitive<F>

type Type = <F as VmType>::Type

impl<'vm, T> VmType for WithVM<'vm, T>

where T: VmType,

type Type = <T as VmType>::Type

const EXTRA_ARGS: VmIndex = T::EXTRA_ARGS

impl<F> VmType for FutureResult<F>

where F: Future, F::Output: VmType,

type Type = <<F as Future>::Output as VmType>::Type

const EXTRA_ARGS: VmIndex = <F::Output>::EXTRA_ARGS

impl<K: VmType, V: VmType> VmType for Map<K, V>

where K::Type: Sized, V::Type: Sized,

type Type = Map<<K as VmType>::Type, <V as VmType>::Type>

impl<R, T> VmType for Eff<R, T>

where R: VmType, R::Type: Sized, T: VmType, T::Type: Sized,

type Type = Eff<<R as VmType>::Type, <T as VmType>::Type>

impl<T> VmType for IO<T>

where T: VmType, T::Type: Sized,

type Type = IO<<T as VmType>::Type>

const EXTRA_ARGS: VmIndex = 1u32

impl<T> VmType for Lazy<T>

where T: VmType, T::Type: Sized,

type Type = Lazy<<T as VmType>::Type>

impl<T> VmType for Reference<T>

where T: VmType, T::Type: Sized,

type Type = Reference<<T as VmType>::Type>

impl<T> VmType for De<T>

where T: VmType,

type Type = <T as VmType>::Type

impl<T> VmType for Ser<T>

where T: VmType,

type Type = <T as VmType>::Type

impl<T> VmType for Collect<T>

where T: IntoIterator, T::Item: VmType, <T::Item as VmType>::Type: Sized,

type Type = Vec<<<T as IntoIterator>::Item as VmType>::Type>

impl<T> VmType for UserdataValue<T>

where T: ?Sized + VmType,

type Type = <T as VmType>::Type

const EXTRA_ARGS: VmIndex = T::EXTRA_ARGS

impl<T, F> VmType for Function<T, F>

where T: VmRootInternal, F: VmType,

type Type = <F as VmType>::Type

impl<T, R> VmType for PushAsRef<T, R>

where T: AsRef<R>, R: 'static + ?Sized, &'static R: VmType,

type Type = <&'static R as VmType>::Type

impl<T, V> VmType for Opaque<T, V>

where V: ?Sized + VmType, V::Type: Sized,

type Type = <V as VmType>::Type

const EXTRA_ARGS: VmIndex = V::EXTRA_ARGS

impl<T: FieldTypes, U: FieldValues> VmType for Record<T, U>

type Type = Record<<T as FieldTypes>::Type, <U as FieldValues>::Type>

impl<T: FieldTypes, U: FieldValues, R: VmType> VmType for Row<T, U, R>

type Type = Record<<T as FieldTypes>::Type, <U as FieldValues>::Type>

impl<T: VmType> VmType for Receiver<T>

where T::Type: Sized,

type Type = Receiver<<T as VmType>::Type>

impl<T: VmType> VmType for Sender<T>

where T::Type: Sized,

type Type = Sender<<T as VmType>::Type>

impl<T: VmType> VmType for TypedBytecode<T>

type Type = <T as VmType>::Type

const EXTRA_ARGS: VmIndex = T::EXTRA_ARGS

impl<T: VmType, E> VmType for RuntimeResult<T, E>

type Type = <T as VmType>::Type

const EXTRA_ARGS: VmIndex = T::EXTRA_ARGS