[−][src]Trait gluon_vm::api::VmType
Trait which maps a type in rust to a type in gluon
Associated Types
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
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<R: VmType> VmType for fn() -> R
[src]
type Type = fn() -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, R: VmType> VmType for dyn Fn() -> R + 's
[src]
type Type = fn() -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<A: VmType, R: VmType> VmType for fn(_: A) -> R
[src]
type Type = fn(_: A::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, A: VmType, R: VmType> VmType for dyn Fn(A) -> R + 's
[src]
type Type = fn(_: A::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<A: VmType, B: VmType, R: VmType> VmType for fn(_: A, _: B) -> R
[src]
type Type = fn(_: A::Type, _: B::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, A: VmType, B: VmType, R: VmType> VmType for dyn Fn(A, B) -> R + 's
[src]
type Type = fn(_: A::Type, _: B::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<A: VmType, B: VmType, C: VmType, R: VmType> VmType for fn(_: A, _: B, _: C) -> R
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, A: VmType, B: VmType, C: VmType, R: VmType> VmType for dyn Fn(A, B, C) -> R + 's
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<A: VmType, B: VmType, C: VmType, D: VmType, R: VmType> VmType for fn(_: A, _: B, _: C, _: D) -> R
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, A: VmType, B: VmType, C: VmType, D: VmType, R: VmType> VmType for dyn Fn(A, B, C, D) -> R + 's
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<A: VmType, B: VmType, C: VmType, D: VmType, E: VmType, R: VmType> VmType for fn(_: A, _: B, _: C, _: D, _: E) -> R
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type, _: F::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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
[src]
type Type = fn(_: A::Type, _: B::Type, _: C::Type, _: D::Type, _: E::Type, _: F::Type) -> R::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'vm, T: ?Sized + VmType> VmType for PhantomData<T>
[src]
type Type = T::Type
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'vm, T: ?Sized + VmType> VmType for &'vm T
[src]
type Type = T::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for ()
[src]
type Type = Self
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for u8
[src]
type Type = Self
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for i16
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for i32
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for i64
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for u16
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for u32
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for u64
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for usize
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for isize
[src]
type Type = VmInt
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for f64
[src]
type Type = Self
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for bool
[src]
type Type = Self
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Ordering
[src]
type Type = Self
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for str
[src]
type Type = <String as VmType>::Type
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for String
[src]
type Type = String
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for char
[src]
type Type = Self
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Path
[src]
type Type = <PathBuf as VmType>::Type
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for PathBuf
[src]
type Type = String
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for OsStr
[src]
type Type = <OsString as VmType>::Type
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for OsString
[src]
type Type = String
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, T: VmType> VmType for Ref<'s, T>
[src]
type Type = T::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T> VmType for [T] where
T: VmType,
T::Type: Sized,
[src]
T: VmType,
T::Type: Sized,
type Type = Vec<T::Type>
fn make_type(thread: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T> VmType for Vec<T> where
T: VmType,
T::Type: Sized,
[src]
T: VmType,
T::Type: Sized,
type Type = Vec<T::Type>
fn make_type(thread: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, T: VmType> VmType for *const T
[src]
type Type = T::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'s, T: VmType> VmType for Box<T>
[src]
type Type = T::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<K, V> VmType for BTreeMap<K, V> where
K: VmType,
K::Type: Sized,
V: VmType,
V::Type: Sized,
[src]
K: VmType,
K::Type: Sized,
V: VmType,
V::Type: Sized,
type Type = BTreeMap<K::Type, V::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: VmType> VmType for Option<T> where
T::Type: Sized,
[src]
T::Type: Sized,
type Type = Option<T::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: VmType, E: VmType> VmType for StdResult<T, E> where
T::Type: Sized,
E::Type: Sized,
[src]
T::Type: Sized,
E::Type: Sized,
type Type = StdResult<T::Type, E::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
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,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<K, L> VmType for (K, L) where
K: VmType,
L: VmType,
K::Type: Sized,
L::Type: Sized,
[src]
K: VmType,
L: VmType,
K::Type: Sized,
L::Type: Sized,
type Type = (K::Type, L::Type)
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'a> VmType for Component<'a>
[src]
type Type = Component<'static>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
Implementors
impl VmType for A
[src]
type Type = A
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for B
[src]
type Type = B
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for C
[src]
type Type = C
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for D
[src]
type Type = D
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for E
[src]
type Type = E
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for F
[src]
type Type = F
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for G
[src]
type Type = G
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for H
[src]
type Type = H
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for I
[src]
type Type = I
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for J
[src]
type Type = J
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for K
[src]
type Type = K
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for L
[src]
type Type = L
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for M
[src]
type Type = M
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for N
[src]
type Type = N
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for O
[src]
type Type = O
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for P
[src]
type Type = P
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Q
[src]
type Type = Q
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for R
[src]
type Type = R
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for X
[src]
type Type = X
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Y
[src]
type Type = Y
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Z
[src]
type Type = Z
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for EmptyRow
[src]
type Type = Self
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Hole
[src]
type Type = Hole
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for DirEntry
[src]
type Type = DirEntry
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Metadata
[src]
type Type = Metadata
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for RootedThread
[src]
type Type = Thread
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl VmType for Thread
[src]
type Type = Self
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'a> VmType for gluon_vm::primitives::Component<'a>
[src]
type Type = Component<'static>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'vm, F: VmType> VmType for Primitive<F>
[src]
type Type = F::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'vm, F: VmType> VmType for RefPrimitive<'vm, F>
[src]
type Type = F::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<'vm, T> VmType for WithVM<'vm, T> where
T: VmType,
[src]
T: VmType,
type Type = T::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
impl<F> VmType for FutureResult<F> where
F: Future,
F::Item: VmType,
[src]
F: Future,
F::Item: VmType,
type Type = <F::Item as VmType>::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
impl<K: VmType, V: VmType> VmType for Map<K, V> where
K::Type: Sized,
V::Type: Sized,
[src]
K::Type: Sized,
V::Type: Sized,
type Type = Map<K::Type, V::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<R, T> VmType for Eff<R, T> where
R: VmType,
R::Type: Sized,
T: VmType,
T::Type: Sized,
[src]
R: VmType,
R::Type: Sized,
T: VmType,
T::Type: Sized,
type Type = Eff<R::Type, T::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T> VmType for IO<T> where
T: VmType,
T::Type: Sized,
[src]
T: VmType,
T::Type: Sized,
type Type = IO<T::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
impl<T> VmType for Collect<T> where
T: IntoIterator,
T::Item: VmType,
<T::Item as VmType>::Type: Sized,
[src]
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
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T> VmType for Lazy<T> where
T: VmType,
T::Type: Sized,
[src]
T: VmType,
T::Type: Sized,
type Type = Lazy<T::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T> VmType for Reference<T> where
T: VmType,
T::Type: Sized,
[src]
T: VmType,
T::Type: Sized,
type Type = Reference<T::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T, F> VmType for Function<T, F> where
T: Deref<Target = Thread>,
F: VmType,
[src]
T: Deref<Target = Thread>,
F: VmType,
type Type = F::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T, R: ?Sized> VmType for PushAsRef<T, R> where
T: AsRef<R>,
R: 'static,
&'static R: VmType,
[src]
T: AsRef<R>,
R: 'static,
&'static R: VmType,
type Type = <&'static R as VmType>::Type
fn make_type(thread: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T, V: ?Sized> VmType for Opaque<T, V> where
V: VmType,
V::Type: Sized,
[src]
V: VmType,
V::Type: Sized,
type Type = V::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
impl<T: FieldTypes, U: FieldValues> VmType for Record<T, U>
[src]
type Type = Record<T::Type, U::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: FieldTypes, U: FieldValues, R: VmType> VmType for Row<T, U, R>
[src]
type Type = Record<T::Type, U::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: VmType> VmType for TypedBytecode<T>
[src]
type Type = T::Type
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: VmType> VmType for Receiver<T> where
T::Type: Sized,
[src]
T::Type: Sized,
type Type = Receiver<T::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: VmType> VmType for Sender<T> where
T::Type: Sized,
[src]
T::Type: Sized,
type Type = Sender<T::Type>
fn make_type(vm: &Thread) -> ArcType
[src]
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: VmType, E> VmType for RuntimeResult<T, E>
[src]
type Type = T::Type
fn make_forall_type(vm: &Thread) -> ArcType
[src]
fn make_type(vm: &Thread) -> ArcType
[src]
fn extra_args() -> VmIndex
[src]
impl<T: ?Sized> VmType for UserdataValue<T> where
T: VmType,
[src]
T: VmType,