Struct SpaceBody 

pub struct SpaceBody {
    pub types: Vec<TypeDecl>,
    pub state: StateBlock,
    pub capabilities: Option<CapabilitiesBlock>,
    pub credentials: Option<CredentialsBlock>,
    pub derived: Option<DerivedBlock>,
    pub invariants: Vec<InvariantDecl>,
    pub actions: Vec<ActionDecl>,
    pub views: Vec<ViewDecl>,
    pub update: Option<UpdateDecl>,
    pub handle_event: Option<HandleEventDecl>,
    pub span: Span,
}

The body of a space declaration — blocks in enforced order.

Block ordering: types → state → capabilities → credentials → derived → invariants → actions → views → update → handleEvent

Fields

types: Vec<TypeDecl>

state: StateBlock

capabilities: Option<CapabilitiesBlock>

credentials: Option<CredentialsBlock>

derived: Option<DerivedBlock>

invariants: Vec<InvariantDecl>

actions: Vec<ActionDecl>

views: Vec<ViewDecl>

update: Option<UpdateDecl>

handle_event: Option<HandleEventDecl>

span: Span

Trait Implementations

impl Clone for SpaceBody

fn clone(&self) -> SpaceBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpaceBody

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SpaceBody

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SpaceBody

fn eq(&self, other: &SpaceBody) -> 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 Serialize for SpaceBody

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SpaceBody