Trait gluon_vm::api::VmType

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

    const EXTRA_ARGS: VmIndex;
    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

Associated Types

type Type: ?Sized + Any

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

Loading content...

Associated Constants

const 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

Loading content...

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

Loading content...

Implementations on Foreign Types

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

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

fn make_type(vm: &Thread) -> ArcType

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

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

fn make_type(vm: &Thread) -> ArcType

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

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

fn make_type(vm: &Thread) -> ArcType

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

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

fn make_type(vm: &Thread) -> ArcType

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

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

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

fn make_type(vm: &Thread) -> ArcType

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

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

type Type = fn(_: A::Type, _: B::Type, _: C::Type) -> R::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

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

fn make_type(vm: &Thread) -> ArcType

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, R: VmType> VmType for dyn 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

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

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, R: VmType> VmType for dyn 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

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

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, R: VmType> VmType for dyn 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

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

impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, F: VmType, G: VmType, R: VmType> VmType for dyn 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

impl VmType for Value

type Type = Self

fn make_type(vm: &Thread) -> ArcType

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

type Type = T::Type

fn make_forall_type(vm: &Thread) -> ArcType

fn make_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

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

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

impl VmType for ()

type Type = Self

impl VmType for u8

type Type = Self

impl VmType for i16

type Type = VmInt

impl VmType for i32

type Type = VmInt

impl VmType for i64

type Type = VmInt

impl VmType for u16

type Type = VmInt

impl VmType for u32

type Type = VmInt

impl VmType for u64

type Type = VmInt

impl VmType for usize

type Type = VmInt

impl VmType for isize

type Type = VmInt

impl VmType for f64

type Type = Self

impl VmType for f32

type Type = Self

impl VmType for bool

type Type = Self

fn make_type(vm: &Thread) -> ArcType

impl VmType for Ordering

type Type = Self

fn make_type(vm: &Thread) -> ArcType

impl VmType for str

type Type = <String as VmType>::Type

impl VmType for String

type Type = String

impl VmType for char

type Type = Self

impl VmType for Path

type Type = <PathBuf as VmType>::Type

impl VmType for PathBuf

type Type = String

impl VmType for OsStr

type Type = <OsString as VmType>::Type

impl VmType for OsString

type Type = String

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

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

impl<T> VmType for [T] where
    T: VmType,
    T::Type: Sized, 

type Type = Vec<T::Type>

fn make_type(thread: &Thread) -> ArcType

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

type Type = Vec<T::Type>

fn make_type(thread: &Thread) -> ArcType

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

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = T::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::Type, V::Type>

fn make_type(vm: &Thread) -> ArcType

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

type Type = Option<T::Type>

fn make_type(vm: &Thread) -> ArcType

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

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::Type, B::Type, C::Type, D::Type, E::Type, F::Type, G::Type, H::Type, I::Type, J::Type, K::Type, L::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::Type, C::Type, D::Type, E::Type, F::Type, G::Type, H::Type, I::Type, J::Type, K::Type, L::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::Type, D::Type, E::Type, F::Type, G::Type, H::Type, I::Type, J::Type, K::Type, L::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::Type, E::Type, F::Type, G::Type, H::Type, I::Type, J::Type, K::Type, L::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::Type, F::Type, G::Type, H::Type, I::Type, J::Type, K::Type, L::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::Type, G::Type, H::Type, I::Type, J::Type, K::Type, L::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::Type, H::Type, I::Type, J::Type, K::Type, L::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::Type, I::Type, J::Type, K::Type, L::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::Type, J::Type, K::Type, L::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::Type, K::Type, L::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::Type, L::Type)

fn make_type(vm: &Thread) -> ArcType

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

type Type = Component<'static>

fn make_type(vm: &Thread) -> ArcType

Loading content...

Implementors

impl VmType for A

type Type = A

fn make_type(vm: &Thread) -> ArcType

impl VmType for B

type Type = B

fn make_type(vm: &Thread) -> ArcType

impl VmType for C

type Type = C

fn make_type(vm: &Thread) -> ArcType

impl VmType for D

type Type = D

fn make_type(vm: &Thread) -> ArcType

impl VmType for E

type Type = E

fn make_type(vm: &Thread) -> ArcType

impl VmType for F

type Type = F

fn make_type(vm: &Thread) -> ArcType

impl VmType for G

type Type = G

fn make_type(vm: &Thread) -> ArcType

impl VmType for H

type Type = H

fn make_type(vm: &Thread) -> ArcType

impl VmType for I

type Type = I

fn make_type(vm: &Thread) -> ArcType

impl VmType for J

type Type = J

fn make_type(vm: &Thread) -> ArcType

impl VmType for K

type Type = K

fn make_type(vm: &Thread) -> ArcType

impl VmType for L

type Type = L

fn make_type(vm: &Thread) -> ArcType

impl VmType for M

type Type = M

fn make_type(vm: &Thread) -> ArcType

impl VmType for N

type Type = N

fn make_type(vm: &Thread) -> ArcType

impl VmType for O

type Type = O

fn make_type(vm: &Thread) -> ArcType

impl VmType for P

type Type = P

fn make_type(vm: &Thread) -> ArcType

impl VmType for Q

type Type = Q

fn make_type(vm: &Thread) -> ArcType

impl VmType for R

type Type = R

fn make_type(vm: &Thread) -> ArcType

impl VmType for S

type Type = S

fn make_type(vm: &Thread) -> ArcType

impl VmType for T

type Type = T

fn make_type(vm: &Thread) -> ArcType

impl VmType for U

type Type = U

fn make_type(vm: &Thread) -> ArcType

impl VmType for V

type Type = V

fn make_type(vm: &Thread) -> ArcType

impl VmType for X

type Type = X

fn make_type(vm: &Thread) -> ArcType

impl VmType for Y

type Type = Y

fn make_type(vm: &Thread) -> ArcType

impl VmType for Z

type Type = Z

fn make_type(vm: &Thread) -> ArcType

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

type Type = Self

fn make_type(vm: &Thread) -> ArcType

impl VmType for JsonString

type Type = String

impl VmType for JsonValue

type Type = JsonValue

fn make_type(vm: &Thread) -> ArcType

impl VmType for EmptyRow

type Type = Self

fn make_type(vm: &Thread) -> ArcType

impl VmType for Hole

type Type = Hole

fn make_type(vm: &Thread) -> ArcType

impl VmType for DirEntry

type Type = DirEntry

fn make_type(vm: &Thread) -> ArcType

impl VmType for Metadata

type Type = Metadata

fn make_type(vm: &Thread) -> ArcType

impl VmType for RootedThread

type Type = Thread

impl VmType for Thread

type Type = Self

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

type Type = Component<'static>

fn make_type(vm: &Thread) -> ArcType

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

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

impl<'a, 'b, T> VmType for &'b mut RefMut<'a, T> where
    T: Userdata + VmType, 

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = F::Type

fn make_type(vm: &Thread) -> ArcType

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

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

impl<F> VmType for FutureResult<F> where
    F: Future,
    F::Output: VmType, 

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

fn make_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

impl<K: VmType, V: VmType> VmType for Map<K, V> where
    K::Type: Sized,
    V::Type: Sized, 

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

fn make_type(vm: &Thread) -> ArcType

impl<R, T> VmType for Eff<R, T> where
    R: VmType,
    R::Type: Sized,
    T: VmType,
    T::Type: Sized, 

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

fn make_type(vm: &Thread) -> ArcType

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

type Type = IO<T::Type>

fn make_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

impl<T> VmType for De<T> where
    T: VmType, 

type Type = T::Type

fn make_type(thread: &Thread) -> ArcType

impl<T> VmType for Ser<T> where
    T: VmType, 

type Type = T::Type

fn make_type(thread: &Thread) -> ArcType

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

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

fn make_type(vm: &Thread) -> ArcType

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

type Type = Lazy<T::Type>

fn make_type(vm: &Thread) -> ArcType

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

type Type = Reference<T::Type>

fn make_type(vm: &Thread) -> ArcType

impl<T, F> VmType for Function<T, F> where
    T: VmRootInternal,
    F: VmType, 

type Type = F::Type

fn make_type(vm: &Thread) -> ArcType

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

fn make_type(thread: &Thread) -> ArcType

impl<T, V: ?Sized> VmType for Opaque<T, V> where
    V: VmType,
    V::Type: Sized, 

type Type = V::Type

fn make_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

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

type Type = Record<T::Type, U::Type>

fn make_type(vm: &Thread) -> ArcType

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

type Type = Record<T::Type, U::Type>

fn make_type(vm: &Thread) -> ArcType

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

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

fn make_forall_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

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

type Type = Receiver<T::Type>

fn make_type(vm: &Thread) -> ArcType

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

type Type = Sender<T::Type>

fn make_type(vm: &Thread) -> ArcType

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

type Type = T::Type

fn make_forall_type(vm: &Thread) -> ArcType

fn make_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

impl<T: ?Sized> VmType for UserdataValue<T> where
    T: VmType, 

type Type = T::Type

fn make_type(vm: &Thread) -> ArcType

fn make_forall_type(vm: &Thread) -> ArcType

const EXTRA_ARGS: VmIndex

Loading content...