Struct kailua_types::ty::Slot
[−]
[src]
pub struct Slot(_);
A container for slot types.
Methods
impl Slot
[src]
fn new<'a>(flex: F, ty: Ty) -> Slot
fn from(s: S) -> Slot
fn just(t: Ty) -> Slot
fn var(t: Ty) -> Slot
fn dummy() -> Slot
fn unlift<'a>(&'a self) -> UnliftedSlot<'a>
fn adapt(&self, flex: F, _ctx: &mut TypeContext)
fn accept(
&self,
rhs: &Slot,
ctx: &mut TypeContext,
init: bool
) -> TypeResult<()>
&self,
rhs: &Slot,
ctx: &mut TypeContext,
init: bool
) -> TypeResult<()>
fn accept_in_place(&self, ctx: &mut TypeContext) -> TypeResult<()>
fn unmark_as_module(&self)
fn filter_by_flags(&self, flags: Flags, ctx: &mut TypeContext) -> TypeResult<()>
fn flex(&self) -> F
fn flags(&self) -> Flags
fn is_integral(&self) -> bool
fn is_numeric(&self) -> bool
fn is_stringy(&self) -> bool
fn is_tabular(&self) -> bool
fn is_callable(&self) -> bool
fn is_truthy(&self) -> bool
fn is_falsy(&self) -> bool
fn get_dynamic(&self) -> Option<Dyn>
fn get_tvar(&self) -> Option<TVar>
fn can_omit(&self) -> bool
fn tag(&self) -> Option<Tag>
fn nil(&self) -> Nil
fn with_nil(&self) -> Slot
fn without_nil(&self) -> Slot
fn coerce(&self) -> Slot
fn generalize(&self, ctx: &mut TypeContext) -> Slot
fn set_display(self, disp: DisplayName) -> Slot
Trait Implementations
impl Clone for Slot
[src]
fn clone(&self) -> Slot
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more
impl Dummy for Slot
[src]
impl Union for Slot
[src]
type Output = Slot
A type of the resulting type.
fn union(
&self,
other: &Slot,
explicit: bool,
ctx: &mut TypeContext
) -> TypeResult<Slot>
&self,
other: &Slot,
explicit: bool,
ctx: &mut TypeContext
) -> TypeResult<Slot>
Calculates a union type of self
and other
, explicitly or implicitly. Read more
impl Lattice for Slot
[src]
fn assert_sub(&self, other: &Slot, ctx: &mut TypeContext) -> TypeResult<()>
Asserts that self
is a consistent subtype of other
under the type context.
fn assert_eq(&self, other: &Slot, ctx: &mut TypeContext) -> TypeResult<()>
Asserts that self
is a consistent type equal to other
under the type context.
impl PartialEq for Slot
[src]
fn eq(&self, other: &Slot) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0
This method tests for !=
.