[−][src]Struct gluon_vm::api::Hole
Marker type representing a hole
Trait Implementations
impl VmType for Hole[src]
type Type = Hole
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
Auto Trait Implementations
impl Send for Hole
impl Unpin for Hole
impl Sync for Hole
impl UnwindSafe for Hole
impl RefUnwindSafe for Hole
Blanket Implementations
impl<D, T> FromPtr<D> for T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom<U> 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, U> TryInto<U> 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<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<Choices> CoproductSubsetter<CNil, HNil> 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<HNil, HNil> for Source[src]
impl<T, U, I> LiftInto<U, I> for T where
U: LiftFrom<T, I>, [src]
U: LiftFrom<T, I>,
impl<T> Any for T where
T: Any, [src]
T: Any,