Enum TopLevel

pub enum TopLevel {
    SumType(SumTypeDecl),
    RecordType(RecordDecl),
    Entry(Entry),
}

All of the structures

Variants

SumType(SumTypeDecl)

RecordType(RecordDecl)

Entry(Entry)

Implementations

impl TopLevel

pub fn get_constructors(&self) -> Option<Cow<'_, Vec<Constructor>>>

pub fn get_indices(&self) -> Option<Cow<'_, Telescope<Argument>>>

pub fn is_record(&self) -> bool

pub fn is_sum_type(&self) -> bool

pub fn is_definition(&self) -> bool

Trait Implementations

impl Clone for TopLevel

fn clone(&self) -> TopLevel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TopLevel

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

Formats the value using the given formatter.

impl Display for TopLevel

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

Formats the value using the given formatter.