Struct ComposableNamespace 

pub struct ComposableNamespace {
    pub namespace: Namespace,
    pub interfaces: Vec<Interface>,
}

A namespace with marked interfaces for operadic composition.

Extends the basic Namespace with input/output interface markings, enabling operadic gluing operations.

Fields

namespace: Namespace

The underlying namespace

interfaces: Vec<Interface>

Interfaces marked on capabilities

Implementations

impl ComposableNamespace

pub fn new(namespace: Namespace) -> Self

Create a composable namespace from an existing namespace.

pub fn mark_output(&mut self, cap_id: &CapabilityId) -> Result<(), String>

Mark a capability as an output interface.

Contract

requires: namespace has capability with given id
ensures: interfaces contains an Output entry for cap_id

pub fn mark_input(&mut self, cap_id: &CapabilityId) -> Result<(), String>

Mark a capability as an input interface.

Contract

requires: namespace has capability with given id
ensures: interfaces contains an Input entry for cap_id

pub fn outputs(&self) -> Vec<&Interface>

Get output interfaces.

Contract

ensures: forall i in result. i.direction == Output

pub fn inputs(&self) -> Vec<&Interface>

Get input interfaces.

Contract

ensures: forall i in result. i.direction == Input

pub fn effective_capability_count(&self) -> usize

Effective capability count: total capabilities minus glued interfaces.

Contract

ensures: result == self.namespace.capabilities.len() - self.interfaces.len()
         (saturating at 0)

Trait Implementations

impl Clone for ComposableNamespace

fn clone(&self) -> ComposableNamespace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComposableNamespace

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

Formats the value using the given formatter.