Enum Type 

pub enum Type<'a> {
    Lambda {
        from: &'a Located<Type<'a>>,
        to: &'a Located<Type<'a>>,
    },
    Var(&'a str),
    Type {
        region: Region,
        name: &'a str,
        args: &'a [&'a Located<Type<'a>>],
    },
    TypeQual {
        region: Region,
        module: &'a str,
        name: &'a str,
        args: &'a [&'a Located<Type<'a>>],
    },
    Record {
        fields: &'a [&'a FieldType<'a>],
        ext: Option<&'a Located<&'a str>>,
    },
    Unit,
    Tuple {
        first: &'a Located<Type<'a>>,
        second: &'a Located<Type<'a>>,
        rest: &'a [&'a Located<Type<'a>>],
    },
}

Variants

Lambda

Fields

from: &'a Located<Type<'a>>

to: &'a Located<Type<'a>>

Var(&'a str)

Type

Fields

region: Region

name: &'a str

args: &'a [&'a Located<Type<'a>>]

TypeQual

Fields

region: Region

module: &'a str

name: &'a str

args: &'a [&'a Located<Type<'a>>]

Record

Fields

fields: &'a [&'a FieldType<'a>]

ext: Option<&'a Located<&'a str>>

Unit

Tuple

Fields

first: &'a Located<Type<'a>>

second: &'a Located<Type<'a>>

rest: &'a [&'a Located<Type<'a>>]

Trait Implementations

impl<'a> Debug for Type<'a>

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

Formats the value using the given formatter.