Enum TypeDeclaration 

pub enum TypeDeclaration {
    Alias {
        source_name: String,
        name: String,
        type_params: Vec<String>,
        value: TypeExpr,
        doc: Option<String>,
    },
    Opaque {
        source_name: String,
        name: String,
        type_params: Vec<String>,
        doc: Option<String>,
    },
    Custom {
        source_name: String,
        name: String,
        type_params: Vec<String>,
        constructors: Vec<Constructor>,
        doc: Option<String>,
    },
    Incomplete {
        source_name: String,
        name: String,
        type_params: Vec<String>,
        incompleteness: IncompletenessKind,
        partial_type: Option<TypeExpr>,
        doc: Option<String>,
    },
}

A public type declaration or specification.

Variants

Alias

A transparent type alias.

Fields

source_name: String

Exact canonical Morphir FQName.

name: String

Canonical local Morphir name.

type_params: Vec<String>

Declared type parameters.

value: TypeExpr

Alias target type.

doc: Option<String>

Optional source documentation.

Opaque

An opaque type specification without a visible representation.

Fields

source_name: String

Exact canonical Morphir FQName.

name: String

Canonical local Morphir name.

type_params: Vec<String>

Declared type parameters.

doc: Option<String>

Optional source documentation.

Custom

An algebraic custom type.

Fields

source_name: String

Exact canonical Morphir FQName.

name: String

Canonical local Morphir name.

type_params: Vec<String>

Declared type parameters.

constructors: Vec<Constructor>

Public constructors.

doc: Option<String>

Optional source documentation.

Incomplete

A v4 declaration whose definition is incomplete.

Fields

source_name: String

Exact canonical Morphir FQName.

name: String

Canonical local Morphir name.

type_params: Vec<String>

Declared type parameters.

incompleteness: IncompletenessKind

Kind of incompleteness reported by the IR.

partial_type: Option<TypeExpr>

Partial type information, when available.

doc: Option<String>

Optional source documentation.

Implementations

impl TypeDeclaration

pub fn name(&self) -> &str

Canonical local Morphir name of this declaration.

pub fn source_name(&self) -> &str

Canonical fully qualified Morphir source name.

Trait Implementations

impl Clone for TypeDeclaration

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 TypeDeclaration

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

Formats the value using the given formatter.

impl Eq for TypeDeclaration

impl PartialEq for TypeDeclaration

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TypeDeclaration

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 TypeDeclaration