Struct TypeInfo

pub struct TypeInfo {
    pub valid: bool,
    pub fid: Option<FileId>,
    pub revision: usize,
    pub exports: HashMap<Interned<str>, Ty, FxBuildHasher>,
    pub vars: HashMap<Interned<Decl>, TypeVarBounds, FxBuildHasher>,
    pub var_docs: HashMap<Interned<Decl>, Arc<DefDocsT<()>>, FxBuildHasher>,
    pub local_binds: SnapshotMap<Interned<Decl>, Ty>,
    pub mapping: HashMap<Span, HashSet<Ty, FxBuildHasher>, FxBuildHasher>,
    /* private fields */
}

The type information on a group of syntax structures (typing).

Fields

valid: bool

Whether the typing is valid.

fid: Option<FileId>

The belonging file id.

revision: usize

The used revision.

exports: HashMap<Interned<str>, Ty, FxBuildHasher>

The exported types.

vars: HashMap<Interned<Decl>, TypeVarBounds, FxBuildHasher>

The typing on definitions.

var_docs: HashMap<Interned<Decl>, Arc<DefDocsT<()>>, FxBuildHasher>

The checked documentation of definitions.

local_binds: SnapshotMap<Interned<Decl>, Ty>

The local binding of the type variable.

mapping: HashMap<Span, HashSet<Ty, FxBuildHasher>, FxBuildHasher>

The typing on syntax structures.

Implementations

impl TypeInfo

pub fn type_of_span(&self, site: Span) -> Option<Ty>

Gets the type of a syntax structure.

pub fn witness_at_least(&mut self, site: Span, ty: Ty)

Witnesses a lower-bound type on a syntax structure.

pub fn witness_at_most(&mut self, site: Span, ty: Ty)

Witnesses a upper-bound type on a syntax structure.

pub fn witness_( site: Span, ty: Ty, mapping: &mut HashMap<Span, HashSet<Ty, FxBuildHasher>, FxBuildHasher>, )

Witnesses a type.

pub fn to_bounds(&self, def: Ty) -> DynTypeBounds

Converts a type to a type with bounds.

impl TypeInfo

pub fn simplify(&self, ty: Ty, principal: bool) -> Ty

Simplifies (canonicalizes) the given type with the given type scheme.

Trait Implementations

impl Default for TypeInfo

fn default() -> TypeInfo

Returns the “default value” for a type.

impl Hash for TypeInfo

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl TyCtx for TypeInfo

fn global_bounds( &self, var: &Interned<TypeVar>, _pol: bool, ) -> Option<DynTypeBounds>

Get the type of a variable.

fn local_bind_of(&self, var: &Interned<TypeVar>) -> Option<Ty>

Get local binding of a variable.

impl TyCtxMut for TypeInfo

type Snap = Snapshot

The type of a snapshot of the scope.

fn start_scope(&mut self) -> <TypeInfo as TyCtxMut>::Snap

Start a new scope.

fn end_scope(&mut self, snap: <TypeInfo as TyCtxMut>::Snap)

End the current scope.

fn bind_local(&mut self, var: &Interned<TypeVar>, ty: Ty)

Bind a variable locally.

fn type_of_func(&mut self, _func: &Func) -> Option<Interned<SigTy>>

Get the type of a runtime function.

fn type_of_value(&mut self, _val: &Value) -> Ty

Get the type of a runtime value.

fn check_module_item( &mut self, _module: FileId, _key: &Interned<str>, ) -> Option<Ty>

Check a module item.

fn with_scope<R>(&mut self, f: impl FnOnce(&mut Self) -> R) -> R

Execute a function with a new scope.

fn type_of_dict(&mut self, dict: &Dict) -> Interned<RecordTy>

Get the type of a runtime dict.

fn type_of_module(&mut self, module: &Module) -> Interned<RecordTy>

Get the type of a runtime module.