Enum Type 

pub enum Type {
    Bool,
    Nat,
    Int,
    String,
    Set(Box<Type>),
    Seq(Box<Type>),
    Fn(Box<Type>, Box<Type>),
    Option(Box<Type>),
    Record(RecordType),
    Tuple(Vec<Type>),
    Range(i64, i64),
    Named(String),
    Var(TypeVar),
    Error,
}

A Specl type.

Variants

Bool

Boolean type.

Nat

Natural number (non-negative integer).

Int

Integer.

String

String.

Set(Box<Type>)

Set type Set[T].

Seq(Box<Type>)

Sequence type Seq[T].

Fn(Box<Type>, Box<Type>)

Dict type dict[K, V] (finite map).

Option(Box<Type>)

Option type Option[T].

Record(RecordType)

Record type with named fields.

Tuple(Vec<Type>)

Tuple type (T1, T2, ...).

Range(i64, i64)

Finite range type lo..hi.

Named(String)

Named type (reference to a type alias).

Var(TypeVar)

Type variable (for inference).

Error

Error type (used for error recovery).

Implementations

impl Type

pub fn is_numeric(&self) -> bool

Check if this is a numeric type (Nat, Int, or Range).

pub fn is_collection(&self) -> bool

Check if this is a collection type (Set, Seq, or Fn).

pub fn has_vars(&self) -> bool

Check if this type contains any type variables.

pub fn substitute(&self, subst: &Substitution) -> Type

Substitute type variables according to a substitution.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Display for Type

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

Formats the value using the given formatter.

impl Hash for Type

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 Type

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

impl StructuralPartialEq for Type