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 { ... }
}
Expand description
Trait which maps a type in rust to a type in gluon
Required Associated Types§
Provided Associated Constants§
sourceconst EXTRA_ARGS: VmIndex = 0u32
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