[−][src]Struct gluon_vm::api::Eff
Trait Implementations
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>
A version of Self which implements Any allowing a TypeId to be retrieved
fn make_type(vm: &Thread) -> ArcType[src]
fn make_forall_type(vm: &Thread) -> ArcType[src]
fn extra_args() -> VmIndex[src]
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 Read more
impl<R: Default, T: Default> Default for Eff<R, T>[src]
Auto Trait Implementations
impl<R, T> Send for Eff<R, T> where
R: Send,
T: Send,
R: Send,
T: Send,
impl<R, T> Sync for Eff<R, T> where
R: Sync,
T: Sync,
R: Sync,
T: Sync,
Blanket Implementations
impl<D, T> FromPtr for T[src]
impl<T, U> Into for T where
U: From<T>, [src]
U: From<T>,
impl<T> From for T[src]
impl<T, U> TryFrom for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T> Borrow for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T, U> TryInto for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<Choices> CoproductSubsetter for Choices[src]
type Remainder = Choices
fn subset(
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>[src]
self
) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>
impl<Source> Sculptor for Source[src]
impl<T, U, I> LiftInto for T where
U: LiftFrom<T, I>, [src]
U: LiftFrom<T, I>,
impl<T> Any for T where
T: Any, [src]
T: Any,