Struct Signature 

pub struct Signature {
    pub operations: Vec<OpSymbol>,
}

An algebraic signature: a collection of operation symbols.

Fields

operations: Vec<OpSymbol>

Implementations

impl Signature

pub fn new() -> Self

Create an empty signature.

pub fn add_op(&mut self, op: OpSymbol)

Add an operation symbol to the signature.

pub fn arities(&self) -> Vec<(String, usize)>

Return the list of (name, arity) pairs.

pub fn has_op(&self, name: &str) -> bool

Check whether an operation with the given name exists.

Trait Implementations

impl Default for Signature

fn default() -> Self

Returns the “default value” for a type.