Enum TypeAnnotation 

pub enum TypeAnnotation {
    GenericType(Ident),
    Typed {
        module_name: ModuleName,
        name: Spanned<Ident>,
        args: Vec<Spanned<TypeAnnotation>>,
    },
    Unit,
    Tupled(Vec<Spanned<TypeAnnotation>>),
    Record(Vec<Spanned<RecordField>>),
    GenericRecord {
        base: Spanned<Ident>,
        fields: Vec<Spanned<RecordField>>,
    },
    FunctionType {
        from: Box<Spanned<TypeAnnotation>>,
        to: Box<Spanned<TypeAnnotation>>,
    },
}

A type annotation in Elm source code.

Represents the syntax of types as written by the programmer, before any resolution or canonicalization.

Variants

GenericType(Ident)

A type variable: a, msg, comparable

Typed

A named type, possibly qualified, with type arguments.

Examples:

• Int → Typed { module_name: [], name: "Int", args: [] }
• Maybe Int → Typed { module_name: [], name: "Maybe", args: [Int] }
• Dict.Dict String Int → Typed { module_name: ["Dict"], name: "Dict", args: [String, Int] }

Fields

module_name: ModuleName

name: Spanned<Ident>

args: Vec<Spanned<TypeAnnotation>>

Unit

The unit type: ()

Tupled(Vec<Spanned<TypeAnnotation>>)

A tuple type: ( Int, String ) or ( Int, String, Bool )

Elm only supports 2-tuples and 3-tuples.

Record(Vec<Spanned<RecordField>>)

A record type: { name : String, age : Int }

GenericRecord

An extensible record type: { a | name : String, age : Int }

Fields

base: Spanned<Ident>

fields: Vec<Spanned<RecordField>>

FunctionType

A function type: Int -> String

Fields

from: Box<Spanned<TypeAnnotation>>

to: Box<Spanned<TypeAnnotation>>

Trait Implementations

impl Clone for TypeAnnotation

fn clone(&self) -> TypeAnnotation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAnnotation

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

Formats the value using the given formatter.

impl Display for TypeAnnotation

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

Formats the value using the given formatter.

impl PartialEq for TypeAnnotation

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

impl StructuralPartialEq for TypeAnnotation