Enum TemplateBodyDecl 

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: Option<Type>,
        pos: Pos,
        span: Span,
    },
    Maintainer {
        expr: Expr,
        pos: Pos,
        span: Span,
    },
    Choice(ChoiceDecl),
    InterfaceInstance(InterfaceInstanceDecl),
    Other {
        raw: String,
        pos: Pos,
        span: Span,
    },
}

Variants

Signatory

Fields

parties: Vec<Expr>

pos: Pos

span: Span

Observer

Fields

parties: Vec<Expr>

pos: Pos

span: Span

Ensure

Fields

expr: Expr

pos: Pos

span: Span

Key

Fields

expr: Expr

ty: Option<Type>

Structured key type. None if absent or not cleanly parseable.

pos: Pos

span: Span

Maintainer

Fields

expr: Expr

pos: Pos

span: Span

Choice(ChoiceDecl)

InterfaceInstance(InterfaceInstanceDecl)

Other

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

Fields

raw: String

pos: Pos

span: Span

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.