Enum Type

pub enum Type<T: TypeMark> {
    Bottom(PhantomData<T>),
    Primitive(BitFlags<Typ>),
    Ref(ModPath),
    Fn(Arc<FnType<T>>),
    Set(Arc<[Type<T>]>),
    TVar(TVar<T>),
    Array(Arc<Type<T>>),
    Tuple(Arc<[Type<T>]>),
    Struct(Arc<[(ArcStr, Type<T>)]>),
    Variant(ArcStr, Arc<[Type<T>]>),
}

Variants

Bottom(PhantomData<T>)

Primitive(BitFlags<Typ>)

Ref(ModPath)

Fn(Arc<FnType<T>>)

Set(Arc<[Type<T>]>)

TVar(TVar<T>)

Array(Arc<Type<T>>)

Tuple(Arc<[Type<T>]>)

Struct(Arc<[(ArcStr, Type<T>)]>)

Variant(ArcStr, Arc<[Type<T>]>)

Implementations

impl Type<NoRefs>

pub fn empty_tvar() -> Self

pub fn is_defined(&self) -> bool

pub fn check_contains(&self, t: &Self) -> Result<()>

pub fn contains(&self, t: &Self) -> bool

pub fn union(&self, t: &Self) -> Self

pub fn diff(&self, t: &Self) -> Self

pub fn any() -> Self

pub fn boolean() -> Self

pub fn number() -> Self

pub fn int() -> Self

pub fn uint() -> Self

pub fn alias_tvars(&self, known: &mut FxHashMap<ArcStr, TVar<NoRefs>>)

alias type variables with the same name to each other

pub fn collect_tvars(&self, known: &mut FxHashMap<ArcStr, TVar<NoRefs>>)

pub fn has_unbound(&self) -> bool

pub fn bind_as(&self, t: &Self)

bind all unbound type variables to the specified type

pub fn reset_tvars(&self) -> Type<NoRefs>

return a copy of self with all type variables unbound and unaliased. self will not be modified

pub fn replace_tvars(&self, known: &FxHashMap<ArcStr, Self>) -> Type<NoRefs>

return a copy of self with every TVar named in known replaced with the corresponding type

pub fn check_cast(&self) -> Result<()>

pub fn cast_value(&self, v: Value) -> Value

pub fn is_a(&self, v: &Value) -> bool

return true if v is structurally compatible with the type

impl<T: TypeMark> Type<T>

pub fn is_bot(&self) -> bool

pub fn with_deref<R, F: FnOnce(Option<&Self>) -> R>(&self, f: F) -> R

impl Type<Refs>

pub fn resolve_typerefs<'a, C: Ctx, E: UserEvent>( &self, scope: &ModPath, env: &Env<C, E>, ) -> Result<Type<NoRefs>>

Trait Implementations

impl<T: Clone + TypeMark> Clone for Type<T>

fn clone(&self) -> Type<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + TypeMark> Debug for Type<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: TypeMark> Default for Type<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: TypeMark> Display for Type<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Ord + TypeMark> Ord for Type<T>

fn cmp(&self, other: &Type<T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<T: PartialEq + TypeMark> PartialEq for Type<T>

fn eq(&self, other: &Type<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: PartialOrd + TypeMark> PartialOrd for Type<T>

fn partial_cmp(&self, other: &Type<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: Eq + TypeMark> Eq for Type<T>

impl<T: TypeMark> StructuralPartialEq for Type<T>