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

End

NoParse(String)

Trait Implementations

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 Display for Decls

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

Formats the value using the given formatter.

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,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Decls> 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Decls

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Decls

impl StructuralEq for Decls

impl StructuralPartialEq for Decls