Struct UserTypeDecl 

pub struct UserTypeDecl {
    pub name: String,
    pub params: Vec<String>,
    pub ctors: Vec<(String, Option<TypeExpr>)>,
}

A user type declaration, surfaced (but not yet lowered into crate::types::MonoType — that’s typecheck::build_variant_decl’s job) from a CST cst::TypeDecl. Ctor payload types are kept as raw CST TypeExprs: cheap to clone, and this untyped elaborator has no use for them beyond passing them through to the typechecker.

Fields

name: String

params: Vec<String>

Type-parameter names, in declaration order (e.g. ["a"] for 'a).

ctors: Vec<(String, Option<TypeExpr>)>

(ctor name, payload type expr), in declaration order.

Trait Implementations

impl Clone for UserTypeDecl

fn clone(&self) -> UserTypeDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UserTypeDecl

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

Formats the value using the given formatter.