Enum GradualType 

pub enum GradualType {
    Unknown,
    Base(String),
    Arrow(Box<GradualType>, Box<GradualType>),
    Prod(Box<GradualType>, Box<GradualType>),
}

A static type in the gradual type system.

Variants

Unknown

The unknown type ? (dynamic)

Base(String)

A base type (Int, Bool, …)

Arrow(Box<GradualType>, Box<GradualType>)

An arrow type A → B

Prod(Box<GradualType>, Box<GradualType>)

A product type A × B

Trait Implementations

impl Clone for GradualType

fn clone(&self) -> GradualType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GradualType

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

Formats the value using the given formatter.

impl PartialEq for GradualType

fn eq(&self, other: &GradualType) -> 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 GradualType

impl StructuralPartialEq for GradualType