Enum simplicity::types::Bound

pub enum Bound {
    Free(String),
    Complete(Arc<Final>),
    Sum(Type, Type),
    Product(Type, Type),
}

The state of a Type based on all constraints currently imposed on it.

Variants

Free(String)

Fully-unconstrained type

Complete(Arc<Final>)

Fully-constrained (i.e. complete) type, which has no free variables.

Sum(Type, Type)

A sum of two other types

Product(Type, Type)

A product of two other types

Implementations

impl Bound

pub fn shallow_clone(&self) -> Bound

Clones the Bound.

This is the same as just calling .clone() but has a different name to emphasize that what’s being cloned is (at most) a pair of ref-counted pointers.

Trait Implementations

impl Clone for Bound

fn clone(&self) -> Bound

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bound

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

Formats the value using the given formatter.

impl Display for Bound

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

Formats the value using the given formatter.

impl From<Bound> for Type

fn from(bound: Bound) -> Type

Promotes a Bound to a type defined by that constraint