Struct kailua_types::diag::TypeReport

pub struct TypeReport { /* fields omitted */ }

Type-level report.

This is used to collect hierarchical information about type operation failures. Distinct from kailua_diag::Report which is non-hierarchical by nature.

Methods

impl TypeReport

fn new(locale: Locale) -> TypeReport

fn not_sub<T: Display, U: Display>(
    self,
    org: Origin,
    lhs: T,
    rhs: U,
    ctx: &TypeContext
) -> TypeReport

fn not_sub_attach_span(self, lhsspan: Span, rhsspan: Span) -> TypeReport

fn not_sub_attach_index(self, org: Origin, index: usize) -> TypeReport

fn not_eq<T: Display, U: Display>(
    self,
    org: Origin,
    lhs: T,
    rhs: U,
    ctx: &TypeContext
) -> TypeReport

fn not_eq_attach_span(self, lhsspan: Span, rhsspan: Span) -> TypeReport

fn not_eq_attach_index(self, org: Origin, index: usize) -> TypeReport

fn cannot_union<T: Display, U: Display>(
    self,
    org: Origin,
    lhs: T,
    rhs: U,
    explicit: bool,
    ctx: &TypeContext
) -> TypeReport

fn cannot_union_attach_span(
    self,
    lhsspan: Span,
    rhsspan: Span,
    explicit: bool
) -> TypeReport

fn cannot_union_attach_index(
    self,
    org: Origin,
    index: usize,
    explicit: bool
) -> TypeReport

fn cannot_union_single<T: Display>(self, t: T, ctx: &TypeContext) -> TypeReport

fn less_arity<T: Display>(
    self,
    lhs: Span,
    rhs: Spanned<&T>,
    index: usize,
    ctx: &TypeContext
) -> TypeReport

fn more_arity<T: Display>(
    self,
    lhs: Spanned<&T>,
    rhs: Span,
    index: usize,
    ctx: &TypeContext
) -> TypeReport

fn cannot_assign<T: Display, U: Display>(
    self,
    org: Origin,
    t: T,
    u: U,
    ctx: &TypeContext
) -> TypeReport

fn cannot_assign_in_place<T: Display>(
    self,
    org: Origin,
    t: T,
    ctx: &TypeContext
) -> TypeReport

fn cannot_filter_by_flags<T: Display>(
    self,
    org: Origin,
    t: T,
    ctx: &TypeContext
) -> TypeReport

fn inextensible_record(self) -> TypeReport

fn recursive_record(self) -> TypeReport

fn record_duplicate_key(self, k: &Key) -> TypeReport

fn record_cannot_have_key(self, k: &Key) -> TypeReport

fn record_should_have_keys<'a, Keys>(self, keys: Keys) -> TypeReport where
    Keys: Iterator<Item = &'a Key>, 

fn record_extended_with_non_nil<T: Display>(
    self,
    k: &Key,
    v: T,
    ctx: &TypeContext
) -> TypeReport

Trait Implementations

impl Clone for TypeReport

fn clone(&self) -> TypeReport

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeReport

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.