Struct DefaultJudge 

pub struct DefaultJudge<'a> { /* private fields */ }

Default implementation of the Judge trait.

Uses basic caching with FxHashMap. For production use with incremental compilation, consider a Salsa-based implementation.

Implementations

impl<'a> DefaultJudge<'a>

pub fn new( db: &'a dyn TypeDatabase, env: &'a TypeEnvironment, config: JudgeConfig, ) -> Self

Create a new Judge with the given database and configuration.

pub fn with_defaults(db: &'a dyn TypeDatabase, env: &'a TypeEnvironment) -> Self

Create a Judge with default configuration.

pub fn clear_caches(&self)

Clear all caches.

pub fn db(&self) -> &'a dyn TypeDatabase

Get the underlying database.

Trait Implementations

impl<'a> Judge for DefaultJudge<'a>

fn is_subtype(&self, source: TypeId, target: TypeId) -> bool

Check if source is a subtype of target.

fn evaluate(&self, type_id: TypeId) -> TypeId

Evaluate a type, resolving meta-types (conditional, mapped, keyof, etc.).

fn instantiate(&self, generic: TypeId, args: &[TypeId]) -> TypeId

Instantiate a generic type with type arguments.

fn classify_iterable(&self, type_id: TypeId) -> IterableKind

Classify how a type can be iterated.

fn classify_callable(&self, type_id: TypeId) -> CallableKind

Classify how a type can be called.

fn classify_primitive(&self, type_id: TypeId) -> PrimitiveFlags

Get primitive-like behavior flags for a type.

fn classify_truthiness(&self, type_id: TypeId) -> TruthinessKind

Classify a type’s truthiness behavior.

fn apparent_type(&self, type_id: TypeId) -> TypeId

Get the apparent type (unwrap type params, resolve constraints).

fn get_property(&self, type_id: TypeId, name: Atom) -> PropertyResult

Get a specific property’s type from a type.

fn get_members(&self, type_id: TypeId) -> Arc<Vec<(Atom, TypeId)>>

Get all members of a type as (name, type) pairs.

fn get_call_signatures(&self, type_id: TypeId) -> Arc<Vec<CallSignature>>

Get call signatures of a type.

fn get_construct_signatures(&self, type_id: TypeId) -> Arc<Vec<CallSignature>>

Get construct signatures of a type.

fn get_index_type(&self, object: TypeId, key: TypeId) -> TypeId

Get the result of indexing: T[K]

fn get_index_signature( &self, type_id: TypeId, kind: IndexKind, ) -> Option<TypeId>

Get index signature type (string or number indexer).

fn get_keyof(&self, type_id: TypeId) -> TypeId

Get keyof: keyof T

fn config(&self) -> &JudgeConfig

Get the current configuration.

fn are_identical(&self, a: TypeId, b: TypeId) -> bool

Check if two types are identical (stricter than subtyping).