Struct AdtDecl 

pub struct AdtDecl {
    pub name: Symbol,
    pub params: Vec<AdtParam>,
    pub variants: Vec<AdtVariant>,
}

A type declaration for an algebraic data type.

This only describes the type surface (params + variants). It does not introduce any runtime values by itself. Runtime values are created by injecting constructor schemes into the environment (see inject_adt).

Fields

name: Symbol

params: Vec<AdtParam>

variants: Vec<AdtVariant>

Implementations

impl AdtDecl

pub fn new( name: &Symbol, param_names: &[Symbol], supply: &mut TypeVarSupply, ) -> AdtDecl

pub fn param_type(&self, name: &Symbol) -> Option<Type>

pub fn add_variant(&mut self, name: Symbol, args: Vec<Type>)

pub fn result_type(&self) -> Type

pub fn constructor_schemes(&self) -> Vec<(Symbol, Scheme)>

Build constructor schemes of the form: C :: a1 -> a2 -> ... -> T params.

Trait Implementations

impl Clone for AdtDecl

fn clone(&self) -> AdtDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdtDecl

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

Formats the value using the given formatter.