Enum DhallType 

pub enum DhallType {
    Bool,
    Natural,
    Integer,
    Double,
    Text,
    List(Box<DhallType>),
    Optional(Box<DhallType>),
    Record(Vec<(String, DhallType)>),
    Union(Vec<(String, Option<DhallType>)>),
    Function(Box<DhallType>, Box<DhallType>),
    Forall(String, Box<DhallType>, Box<DhallType>),
    Type,
    Kind,
    Sort,
    Named(String),
}

Dhall type-level expressions (a subset of DhallExpr, named for clarity).

Variants

Bool

Bool

Natural

Natural

Integer

Integer

Double

Double

Text

Text

List(Box<DhallType>)

List T

Optional(Box<DhallType>)

Optional T

Record(Vec<(String, DhallType)>)

Record type: { field1 : T1, field2 : T2 }

Union(Vec<(String, Option<DhallType>)>)

Union type: < Ctor1 : T1 | Ctor2 | Ctor3 : T3 >

Function(Box<DhallType>, Box<DhallType>)

Function type: T1 -> T2

Forall(String, Box<DhallType>, Box<DhallType>)

Dependent function type: forall (x : T1) -> T2

Type

Type universe

Kind

Kind universe (type of types)

Sort

Sort universe (type of kinds)

Named(String)

Named type reference: Natural/show, MyRecord

Trait Implementations

impl Clone for DhallType

fn clone(&self) -> DhallType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DhallType

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

Formats the value using the given formatter.

impl Display for DhallType

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

Formats the value using the given formatter.

impl PartialEq for DhallType

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