Enum TemplateBodyDecl 

#[non_exhaustive]
pub enum TemplateBodyDecl {
    Signatory {
        parties: Vec<Expr>,
        pos: Pos,
        span: Span,
    },
    Observer {
        parties: Vec<Expr>,
        pos: Pos,
        span: Span,
    },
    Ensure {
        expr: Expr,
        pos: Pos,
        span: Span,
    },
    Key {
        expr: Expr,
        ty: TypeAnnotation,
        pos: Pos,
        span: Span,
    },
    Maintainer {
        expr: Expr,
        pos: Pos,
        span: Span,
    },
    Choice(ChoiceDecl),
    InterfaceInstance(InterfaceInstanceDecl),
    Other {
        raw: String,
        pos: Pos,
        span: Span,
    },
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Signatory

signatory clause with source-ordered party expressions.

Fields

parties: Vec<Expr>

Party expressions in source order.

pos: Pos

Position of the signatory token.

span: Span

Span of the whole clause.

Observer

observer clause with source-ordered party expressions.

Fields

parties: Vec<Expr>

Party expressions in source order.

pos: Pos

Position of the observer token.

span: Span

Span of the whole clause.

Ensure

ensure clause.

Fields

expr: Expr

Predicate expression after ensure.

pos: Pos

Position of the ensure token.

span: Span

Span of the whole clause.

Key

Template key declaration.

Fields

expr: Expr

Key expression.

ty: TypeAnnotation

Structured key type parse state.

pos: Pos

Position of the key token.

span: Span

Span of the whole key declaration.

Maintainer

maintainer clause.

Fields

expr: Expr

Maintainer expression.

pos: Pos

Position of the maintainer token.

span: Span

Span of the whole clause.

Choice(ChoiceDecl)

choice declaration.

InterfaceInstance(InterfaceInstanceDecl)

interface instance declaration nested in a template.

Other

agreement, let blocks, deprecated controller ... can, etc.

Fields

raw: String

Raw source text preserved for unsupported/malformed body syntax.

pos: Pos

Position of the raw body’s first token.

span: Span

Span of the preserved raw body text.

Trait Implementations

impl Clone for TemplateBodyDecl

fn clone(&self) -> TemplateBodyDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TemplateBodyDecl

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

Formats the value using the given formatter.

impl Eq for TemplateBodyDecl

impl PartialEq for TemplateBodyDecl

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for TemplateBodyDecl