Struct TypeCheckState 

pub struct TypeCheckState {
    pub committed_stubs: String,
    pub pending_snippet: Option<String>,
    pub config: TypeCheckingConfig,
    pub committed_imports: String,
    pub pending_imports: String,
    pub asked_modules: Vec<String>,
}

Per-session type-check state: successfully committed snippets accumulate as stubs so later snippets can reference names defined by earlier ones.

Fields

committed_stubs: String

User-provided stubs plus every snippet that has completed successfully.

pending_snippet: Option<String>

The in-flight snippet; committed on success, discarded on error.

config: TypeCheckingConfig

How diagnostics are rendered by whoever runs the type checker.

committed_imports: String

Committed imports, injected before the stubs’ star import to preserve bindings .pyi files omit.

pending_imports: String

Imports from pending_snippet, appended to committed_imports on commit.

asked_modules: Vec<String>

Modules already requested from the host, including modules without stubs, to avoid asking twice.

Trait Implementations

impl Clone for TypeCheckState

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeCheckState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeCheckState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TypeCheckState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.