[−][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
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,