Trait gluon_vm::api::VmType

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

    fn make_forall_type(vm: &Thread) -> ArcType { ... }
    fn make_type(vm: &Thread) -> ArcType { ... }
    fn extra_args() -> VmIndex { ... }
}
Expand description

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

Required Associated Types

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

Provided Methods

Creates an gluon type which maps to Self in rust

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

Implementors