Enum MemberAst 

pub enum MemberAst {
    Value {
        name: String,
        opt: bool,
        ty: TypeAst,
        dflt: Option<Rc<Expr>>,
        annotations: Vec<Annotation>,
        loc: Option<Loc>,
    },
    Derived {
        name: String,
        ty: Option<TypeAst>,
        expr: Rc<Expr>,
        hidden: bool,
        annotations: Vec<Annotation>,
        loc: Option<Loc>,
    },
    Context {
        variable: String,
        ty: TypeAst,
        annotations: Vec<Annotation>,
        loc: Option<Loc>,
    },
    Assert {
        name: String,
        cond: Rc<Expr>,
        tail: Option<Tail>,
        annotations: Vec<Annotation>,
        loc: Option<Loc>,
    },
    When {
        cond: Rc<Expr>,
        body: Vec<MemberAst>,
        annotations: Vec<Annotation>,
        loc: Option<Loc>,
    },
}

a member of a record type (§5)

Variants

Value

a value member: required, optional, or defaulted

Fields

name: String

the name

opt: bool

optional (?)

ty: TypeAst

the type

dflt: Option<Rc<Expr>>

the default, for a defaulted member

annotations: Vec<Annotation>

the annotations (§5.10)

loc: Option<Loc>

the source range

Derived

hidden: x$ = e — computed for the schema’s own use, never part of the value (D34)

Fields

name: String

the name

ty: Option<TypeAst>

the annotation, when given

expr: Rc<Expr>

the expression

hidden: bool

hidden (x$ = e)

annotations: Vec<Annotation>

the annotations (§5.10)

loc: Option<Loc>

the source range

Context

a context declaration ($parent: ref<P>, §7.3)

Fields

variable: String

the variable

ty: TypeAst

the declared type

annotations: Vec<Annotation>

the annotations (§5.10)

loc: Option<Loc>

the source range

Assert

an assertion

Fields

name: String

the name

cond: Rc<Expr>

the condition

tail: Option<Tail>

the else tail

annotations: Vec<Annotation>

the annotations (§5.10)

loc: Option<Loc>

the source range

When

a guarded group of members (when)

Fields

cond: Rc<Expr>

the condition

body: Vec<MemberAst>

the members

annotations: Vec<Annotation>

the annotations (§5.10)

loc: Option<Loc>

the source range

Implementations

impl MemberAst

pub fn loc(&self) -> Option<Loc>

The source range.

pub fn set_loc(&mut self, l: Loc)

Record the source range.

pub fn set_annotations(&mut self, a: Vec<Annotation>)

Attach the annotations (§5.10).

pub fn annotations(&self) -> &[Annotation]

the annotations (§5.10)

pub fn name(&self) -> Option<&str>

the member’s name (name in the reference: value, derived, and assert members)

Trait Implementations

impl Clone for MemberAst

fn clone(&self) -> MemberAst

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemberAst

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

Formats the value using the given formatter.