Struct TypeInferenceResult 

pub struct TypeInferenceResult<'src> {
    pub type_defs: Vec<InferredTypeDef<'src>>,
    pub entrypoint_types: IndexMap<&'src str, TypeId>,
    pub diagnostics: Diagnostics,
    pub errors: Vec<UnificationError<'src>>,
}

Result of type inference.

Fields

type_defs: Vec<InferredTypeDef<'src>>

entrypoint_types: IndexMap<&'src str, TypeId>

diagnostics: Diagnostics

errors: Vec<UnificationError<'src>>

Implementations

impl TypeInferenceResult<'_>

pub fn dump(&self) -> String

pub fn dump_diagnostics(&self, source: &str) -> String

pub fn has_errors(&self) -> bool

Trait Implementations

impl<'src> Debug for TypeInferenceResult<'src>

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

Formats the value using the given formatter.

impl<'src> Default for TypeInferenceResult<'src>

fn default() -> TypeInferenceResult<'src>

Returns the “default value” for a type.