Enum fungi_lang::ast::Decls

pub enum Decls {
    UseAll(UseAllModule, DeclsRec),
    Doc(String, DeclsRec),
    NmTm(String, NameTm, DeclsRec),
    IdxTm(String, IdxTm, DeclsRec),
    Type(String, Type, DeclsRec),
    Val(String, Option<Type>, Val, DeclsRec),
    Fn(String, Type, Exp, DeclsRec),
    End,
    NoParse(String),
}

Declaration lists of pure terms; the body of each module.

Each declaration is a definition (an alias) for a pure term of some Type, Kind or Sort.

Declaration lists are pure: There is no form for naming an unthunked, effectful expression. In particular, there is no let binding form for sequencing effects among the definitions here. In particular, the Val and Fn forms can each express recursive, effectful functions as values (thunks), but cannot express unthunked applications of these terms. Consequently, declaration lists are "pure" terms, when included within larger expressions via the UseAll form, or other future import forms.

Variants

UseAll(UseAllModule, DeclsRec)

Use all of the definitions of another module

Doc(String, DeclsRec)

Documentation string; from rustdoc

NmTm(String, NameTm, DeclsRec)

Define a name term

IdxTm(String, IdxTm, DeclsRec)

Define an index term

Type(String, Type, DeclsRec)

Define a type

Val(String, Option<Type>, Val, DeclsRec)

Define a value

Fn(String, Type, Exp, DeclsRec)

Define a function

EndNoParse(String)

Trait Implementations

impl Display for Decls

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

Formats the value using the given formatter.

impl Clone for Decls

fn clone(&self) -> Decls

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Decls

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

Formats the value using the given formatter.

impl Eq for Decls

impl PartialEq for Decls

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Hash for Decls

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].