Enum SynthType 

pub enum SynthType {
    Base(String),
    Arrow(Box<SynthType>, Box<SynthType>),
    Product(Box<SynthType>, Box<SynthType>),
    Sum(Box<SynthType>, Box<SynthType>),
    Var(String),
    Forall(String, Box<SynthType>),
    Unit,
}

A simple type language for type-directed synthesis.

Variants

Base(String)

Base type (e.g., “Nat”, “Bool”).

Arrow(Box<SynthType>, Box<SynthType>)

Function type A → B.

Product(Box<SynthType>, Box<SynthType>)

Product type A × B.

Sum(Box<SynthType>, Box<SynthType>)

Sum type A + B.

Var(String)

Type variable.

Forall(String, Box<SynthType>)

Universally quantified type ∀ α. T.

Unit

The unit type.

Implementations

impl SynthType

pub fn arrow(a: SynthType, b: SynthType) -> Self

Construct an arrow type.

pub fn product(a: SynthType, b: SynthType) -> Self

Construct a product type.

pub fn sum(a: SynthType, b: SynthType) -> Self

Construct a sum type.

pub fn free_vars(&self) -> Vec<String>

Check whether name appears free in this type.

Trait Implementations

impl Clone for SynthType

fn clone(&self) -> SynthType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SynthType

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

Formats the value using the given formatter.

impl Display for SynthType

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

Formats the value using the given formatter.

impl Hash for SynthType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SynthType

fn eq(&self, other: &SynthType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SynthType

impl StructuralPartialEq for SynthType