Struct gluon_vm::api::Eff

pub struct Eff<R, T>(/* private fields */);

Trait Implementations

impl<R: Default, T: Default> Default for Eff<R, T>

fn default() -> Eff<R, T>

Returns the “default value” for a 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>

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

fn make_type(vm: &Thread) -> ArcType

Creates an gluon type which maps to Self in rust

fn make_forall_type(vm: &Thread) -> ArcType

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