pub struct Eff<R, T>(_);
Trait Implementations
sourceimpl<R, T> VmType for Eff<R, T>where
R: VmType,
R::Type: Sized,
T: VmType,
T::Type: Sized,
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>
type Type = Eff<<R as VmType>::Type, <T as VmType>::Type>
A version of
Self
which implements Any
allowing a TypeId
to be retrievedfn make_forall_type(vm: &Thread) -> ArcType
sourcefn extra_args() -> VmIndex
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 Read more
Auto Trait Implementations
impl<R, T> RefUnwindSafe for Eff<R, T>where
R: RefUnwindSafe,
T: RefUnwindSafe,
impl<R, T> Send for Eff<R, T>where
R: Send,
T: Send,
impl<R, T> Sync for Eff<R, T>where
R: Sync,
T: Sync,
impl<R, T> Unpin for Eff<R, T>where
R: Unpin,
T: Unpin,
impl<R, T> UnwindSafe for Eff<R, T>where
R: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more