Struct Scheme 

pub struct Scheme {
    pub vars: Vec<TyVar>,
    pub constraints: Vec<Constraint>,
    pub ty: Ty,
}

A polymorphic type scheme (forall-quantified type).

A scheme represents a type that may be instantiated with different type arguments. For example, forall a. a -> a can be instantiated as Int -> Int or Bool -> Bool.

Fields

vars: Vec<TyVar>

The bound type variables.

constraints: Vec<Constraint>

The constraints on the type variables.

ty: Ty

The underlying type.

Implementations

impl Scheme

pub fn mono(ty: Ty) -> Self

Creates a monomorphic scheme (no quantified variables).

pub fn poly(vars: Vec<TyVar>, ty: Ty) -> Self

Creates a polymorphic scheme with the given variables and type.

pub fn qualified(vars: Vec<TyVar>, constraints: Vec<Constraint>, ty: Ty) -> Self

Creates a qualified scheme with constraints.

pub fn is_mono(&self) -> bool

Returns true if this is a monomorphic scheme.

Trait Implementations

impl Clone for Scheme

fn clone(&self) -> Scheme

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Scheme

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Scheme

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Scheme

impl PartialEq for Scheme

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Scheme