Struct kind_pass::desugar::DesugarState

pub struct DesugarState<'a> {
    pub errors: Sender<Box<dyn Diagnostic>>,
    pub old_book: &'a Book,
    pub new_book: Book,
    pub name_count: u64,
    pub failed: bool,
}

Fields

errors: Sender<Box<dyn Diagnostic>>

old_book: &'a Book

new_book: Book

name_count: u64

failed: bool

Implementations

impl<'a> DesugarState<'a>

pub fn desugar_attributes(&mut self, attrs: &[Attribute]) -> Attributes

impl<'a> DesugarState<'a>

pub fn check_implementation( &mut self, name: &str, range: Range, sugar: Sugar ) -> bool

impl<'a> DesugarState<'a>

pub fn desugar_argument(&mut self, argument: &Argument) -> Argument

pub fn desugar_sum_type(&mut self, sum_type: &SumTypeDecl)

pub fn desugar_record_type(&mut self, rec_type: &RecordDecl)

pub fn desugar_pair_pat( &mut self, range: Range, fst: &Pat, snd: &Pat ) -> Box<Expr>

pub fn desugar_list_pat(&mut self, range: Range, expr: &[Pat]) -> Box<Expr>

pub fn desugar_pat(&mut self, pat: &Pat) -> Box<Expr>

pub fn desugar_rule(&mut self, args: &Telescope<Argument>, rule: &Rule) -> Rule

pub fn desugar_entry(&mut self, entry: &Entry)

pub fn desugar_top_level(&mut self, top_level: &TopLevel)

impl<'a> DesugarState<'a>

pub fn specialize_on_field( &mut self, typ: Box<Expr> ) -> Option<(QualifiedIdent, &Telescope<Argument>, Telescope<Argument>, Vec<Box<Expr>>)>

pub fn desugar_record_field_sequence( &mut self, range: Range, res: &mut Vec<(QualifiedIdent, Ident)>, typ: Box<Expr>, fields: &[Ident] ) -> bool

impl<'a> DesugarState<'a>

pub fn desugar_book(&mut self, book: &Book)