Struct TypeSystem 

pub struct TypeSystem {
    pub name: String,
    pub type_constructors: Vec<TypeConstructor>,
    pub term_constructors: Vec<TermConstructor>,
    pub typing_rules: Vec<TypingRule>,
    pub reduction_rules: Vec<ReductionRule>,
    pub equivalence_rules: Vec<EquivalenceRule>,
    pub structural: StructuralRules,
}

A complete derived type system.

This is the main output of the derivation process.

Fields

name: String

Name of the type system

type_constructors: Vec<TypeConstructor>

Type constructors (how to form types)

term_constructors: Vec<TermConstructor>

Term constructors (how to form terms)

typing_rules: Vec<TypingRule>

Typing rules

reduction_rules: Vec<ReductionRule>

Reduction rules (β-reduction)

equivalence_rules: Vec<EquivalenceRule>

Equivalence rules (η-expansion)

structural: StructuralRules

Structural rules available

Trait Implementations

impl Clone for TypeSystem

fn clone(&self) -> TypeSystem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TypeSystem

fn default() -> TypeSystem

Returns the “default value” for a type.

impl Display for TypeSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.