Struct Diagram 

pub struct Diagram {
    pub kind: DiagramKind,
    pub input_arity: usize,
    pub output_arity: usize,
}

Runtime string-diagram representation.

Fields

kind: DiagramKind

input_arity: usize

output_arity: usize

Implementations

impl Diagram

pub fn identity(arity: usize) -> Diagram

pub fn box_( label: impl Into<String>, input_arity: usize, output_arity: usize, ) -> Diagram

pub fn swap(left: usize, right: usize) -> Diagram

pub fn cup(arity: usize) -> Diagram

Unit of a compact-closed duality, drawn as a cup: I -> A* ⊗ A.

pub fn cap(arity: usize) -> Diagram

Counit of a compact-closed duality, drawn as a cap: A ⊗ A* -> I.

pub fn then(self, next: Diagram) -> Diagram

pub fn parallel(self, other: Diagram) -> Diagram

pub fn normalize(&self) -> Diagram

pub fn normalize_with_trace(&self) -> NormalizationTrace

pub fn equivalent_to(&self, other: &Diagram) -> bool

pub fn render_text(&self) -> String

pub fn render_svg(&self) -> String

pub fn render_normalization_trace(&self) -> String

Trait Implementations

impl Clone for Diagram

fn clone(&self) -> Diagram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Diagram

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

Formats the value using the given formatter.

impl Eq for Diagram

impl PartialEq for Diagram

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