Enum Resource 

pub enum Resource {
    Channel(ChannelState),
    Message(Message),
    Session {
        role: String,
        type_hash: u64,
    },
    Value {
        tag: String,
        data: Vec<u8>,
    },
}

Resource kinds that can be allocated on the heap.

All resources are immutable and content-addressed.

Variants

Channel(ChannelState)

A communication channel between roles

Message(Message)

A message in transit

Session

Current session state for a role

Fields

role: String

The role name

type_hash: u64

Hash of the session type (LocalTypeR)

Value

An arbitrary value

Fields

tag: String

Type tag

data: Vec<u8>

Serialized value

Implementations

impl Resource

pub fn channel(sender: impl Into<String>, receiver: impl Into<String>) -> Self

Create a channel resource.

pub fn message( source: impl Into<String>, dest: impl Into<String>, label: impl Into<String>, payload: Vec<u8>, seq_no: u64, ) -> Self

Create a message resource.

pub fn session(role: impl Into<String>, type_hash: u64) -> Self

Create a session resource.

pub fn value(tag: impl Into<String>, data: Vec<u8>) -> Self

Create a value resource.

pub fn kind(&self) -> &'static str

Get the resource kind as a string.

pub fn canonical_bytes(&self) -> Vec<u8>

Serialize the resource to canonical heap bytes.

The heap derives resource identity and Merkle leaves from this versioned canonical encoding.

Trait Implementations

impl CanonicalHeapEncoding for Resource

fn encode_canonical_body(&self, encoder: &mut CanonicalHeapEncoder)

Append the canonical body for this value.

fn canonical_tag(&self) -> u8

The canonical tag for this value.

fn to_canonical_bytes(&self) -> Vec<u8>

Encode this value to canonical bytes.

impl Clone for Resource

fn clone(&self) -> Resource

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Resource

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

Formats the value using the given formatter.

impl Display for Resource

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

Formats the value using the given formatter.

impl PartialEq for Resource

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

impl StructuralPartialEq for Resource