Struct kailua_check::env::Output

pub struct Output { /* fields omitted */ }

A report-free version of Context. Suitable for analysis.

Methods

impl Output

fn types(&self) -> &Types

fn types_mut(&mut self) -> &mut Types

fn spanned_slots(&self) -> &SpanMap<Slot>

fn spanned_slots_mut(&mut self) -> &mut SpanMap<Slot>

fn global_scope(&self) -> &Scope

fn global_scope_mut(&mut self) -> &mut Scope

fn get<'a>(&'a self, id: &Id) -> Option<&'a NameDef>

fn get_mut<'a>(&'a mut self, id: &Id) -> Option<&'a mut NameDef>

fn all<'a>(&'a self) -> Iter<'a, Id, NameDef>

fn get_string_meta(&self) -> Option<Spanned<Slot>>

fn get_available_fields<'a>(&'a self, ty: &Ty) -> Option<HashMap<Key, Slot>>

Methods from Deref<Target = Types>

fn locale(&self) -> Locale

Returns the current message locale.

fn set_locale(&mut self, locale: Locale)

Sets the current message locale.

Trait Implementations

impl Deref for Output

type Target = Types

The resulting type after dereferencing

fn deref(&self) -> &Types

The method called to dereference a value

impl DerefMut for Output

fn deref_mut(&mut self) -> &mut Types

The method called to mutably dereference a value