Enum TypeExpr 

pub enum TypeExpr {
    Variable(String),
    Reference {
        source_name: String,
        arguments: Vec<TypeExpr>,
    },
    Tuple(Vec<TypeExpr>),
    Record(Vec<NamedType>),
    ExtensibleRecord {
        variable: String,
        fields: Vec<NamedType>,
    },
    Function {
        input: Box<TypeExpr>,
        output: Box<TypeExpr>,
    },
    Unit,
}

Morphir type forms that can contribute to Avro schemas.

Variants

Variable(String)

A type parameter reference.

Reference

A fully qualified type reference with concrete arguments.

Fields

source_name: String

Exact canonical referenced Morphir FQName.

arguments: Vec<TypeExpr>

Applied type arguments.

Tuple(Vec<TypeExpr>)

A positional product type.

Record(Vec<NamedType>)

A closed structural record.

ExtensibleRecord

An open structural record.

Fields

variable: String

Row variable name.

fields: Vec<NamedType>

Known record fields.

Function

A function type stored within another type expression.

Fields

input: Box<TypeExpr>

Function input type.

output: Box<TypeExpr>

Function output type.

Unit

The unit type.

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpr

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

Formats the value using the given formatter.

impl Eq for TypeExpr

impl PartialEq for TypeExpr

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for TypeExpr

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 TypeExpr