Trait Check 

pub trait Check<'db> {
    // Required method
    fn check(&self, db: &'db dyn Db);
}

The main “check” routine. This defines what it means for a dada program to successfully compile.

Required Methods

fn check(&self, db: &'db dyn Db)

Implementations on Foreign Types

impl<'db> Check<'db> for SignatureSymbols<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SourceFile

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymAggregate<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymClassMember<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymField<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymFunction<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymFunctionSignature<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymGenericKind

fn check(&self, _db: &'db dyn Db)

impl<'db> Check<'db> for SymGenericTerm<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymInputOutput<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymItem<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymModule<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymPerm<'db>

fn check(&self, _db: &'db dyn Db)

impl<'db> Check<'db> for SymPlace<'db>

fn check(&self, _db: &'db dyn Db)

impl<'db> Check<'db> for SymTy<'db>

fn check(&self, _db: &'db dyn Db)

impl<'db> Check<'db> for SymVariable<'db>

fn check(&self, _db: &'db dyn Db)

impl<'db> Check<'db> for SymWhereClause<'db>

fn check(&self, db: &'db dyn Db)

impl<'db> Check<'db> for SymWhereClauseKind

fn check(&self, _db: &'db dyn Db)

impl<'db, C: Check<'db> + BoundTerm<'db>> Check<'db> for Binder<'db, C>

fn check(&self, db: &'db dyn Db)

impl<'db, C: Check<'db>> Check<'db> for Vec<C>

fn check(&self, db: &'db dyn Db)

impl<'db, T: Check<'db>> Check<'db> for Option<T>

fn check(&self, db: &'db dyn Db)

Implementors