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.

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