Trait fungi_lang::bitype::HasClas

pub trait HasClas {
    type Term: Debug + Serialize;
    type Clas: Serialize;
    fn tm_fam() -> String;
}

Associated Types

type Term: Debug + Serialize

type Clas: Serialize

Required Methods

fn tm_fam() -> String

Implementors

• impl HasClas for fungi_lang::decide::equiv::NmTmRule type Term = NameTm; type Clas = Sort;

• impl HasClas for fungi_lang::decide::equiv::IdxTmRule type Term = IdxTm; type Clas = Sort;

• impl HasClas for TypeRule type Term = Type; type Clas = Kind;

• impl HasClas for CEffectRule type Term = CEffect; type Clas = Kind;

• impl HasClas for fungi_lang::decide::subset::IdxTmRule type Term = IdxTm; type Clas = Sort;

• impl HasClas for fungi_lang::decide::apart::NmTmRule type Term = NameTm; type Clas = Sort;

• impl HasClas for fungi_lang::decide::apart::IdxTmRule type Term = IdxTm; type Clas = Sort;

• impl HasClas for fungi_lang::bitype::NmTmRule type Term = NameTm; type Clas = Sort;

• impl HasClas for fungi_lang::bitype::IdxTmRule type Term = IdxTm; type Clas = Sort;

• impl HasClas for ValRule type Term = Val; type Clas = Type;

• impl HasClas for DeclRule type Term = (); type Clas = DeclClas;

• impl HasClas for ExpRule type Term = Exp; type Clas = CEffect;