Struct RecordDecl

pub struct RecordDecl {
    pub name: QualifiedIdent,
    pub docs: Vec<String>,
    pub parameters: Telescope<Argument>,
    pub constructor: Ident,
    pub fields: Vec<(Ident, Vec<String>, Box<Expr>)>,
    pub attrs: Vec<Attribute>,
    pub cons_attrs: Vec<Attribute>,
}

A single constructor data type.

Fields

name: QualifiedIdent

docs: Vec<String>

parameters: Telescope<Argument>

constructor: Ident

fields: Vec<(Ident, Vec<String>, Box<Expr>)>

attrs: Vec<Attribute>

cons_attrs: Vec<Attribute>

Implementations

impl RecordDecl

pub fn get_constructor(&self) -> Constructor

impl RecordDecl

pub fn fields_to_arguments(&self) -> Telescope<Argument>

pub fn extract_book_info(&self) -> EntryMeta

pub fn extract_book_info_of_constructor(&self) -> EntryMeta

Trait Implementations

impl Clone for RecordDecl

fn clone(&self) -> RecordDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecordDecl

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

Formats the value using the given formatter.