Trait fungi_lang::bitype::HasClas

pub trait HasClas {
    type Term: Debug + Serialize;
    type Clas: Serialize;

    fn tm_fam() -> String;
}

Required Associated Types

type Term: Debug + Serialize

type Clas: Serialize

Required Methods

fn tm_fam() -> String

Implementors

impl HasClas for fungi_lang::decide::apart::IdxTmRule

type Term = IdxTm

type Clas = Sort

impl HasClas for fungi_lang::decide::apart::NmTmRule

type Term = NameTm

type Clas = Sort

impl HasClas for CEffectRule

type Term = CEffect

type Clas = Kind

impl HasClas for fungi_lang::decide::equiv::IdxTmRule

type Term = IdxTm

type Clas = Sort

impl HasClas for fungi_lang::decide::equiv::NmTmRule

type Term = NameTm

type Clas = Sort

impl HasClas for TypeRule

type Term = Type

type Clas = Kind

impl HasClas for fungi_lang::decide::subset::IdxTmRule

type Term = IdxTm

type Clas = Sort

impl HasClas for DeclRule

type Term = ()

type Clas = DeclClas

impl HasClas for ExpRule

type Term = Exp

type Clas = CEffect

impl HasClas for fungi_lang::bitype::IdxTmRule

type Term = IdxTm

type Clas = Sort

impl HasClas for fungi_lang::bitype::NmTmRule

type Term = NameTm

type Clas = Sort

impl HasClas for ValRule

type Term = Val

type Clas = Type