Struct kontroli::Signature

pub struct Signature<Sym, Pat, Tm> {
    pub types: HashMap<Sym, Tm, FnvBuildHasher>,
    pub rules: HashMap<Sym, Vec<Rule<String, Application<Sym, Pat>, Tm>>, FnvBuildHasher>,
    pub eta: bool,
}

Map from symbols to their associated types and rewrite rules.

Furthermore, set whether convertibility should be checked modulo eta.

Fields

types: HashMap<Sym, Tm, FnvBuildHasher>

rules: HashMap<Sym, Vec<Rule<String, Application<Sym, Pat>, Tm>>, FnvBuildHasher>

eta: bool

Implementations

impl<Sym: Clone + Eq + Hash, Pat: Clone, Tm: Clone> Signature<Sym, Pat, Tm>

pub fn new() -> Self

Construct an empty signature without eta modularity.

let sig = Signature::new();
assert!(sig.eta == false);

pub fn add_rule(
    &mut self,
    rule: Rule<String, Application<Sym, Pat>, Tm>
) -> Result<(), Error>

Add a rewrite rule to an existing symbol.

pub fn add_rules<I>(&mut self, rules: I) -> Result<(), Error> where
    I: Iterator<Item = Rule<String, Application<Sym, Pat>, Tm>>, 

Add several rewrite rules.

pub fn insert(&mut self, sym: Sym, typing: Typing<Tm>) -> Result<(), Error>

Introduce a new symbol with given typing.

Trait Implementations

impl<Sym: Clone, Pat: Clone, Tm: Clone> Clone for Signature<Sym, Pat, Tm>

fn clone(&self) -> Signature<Sym, Pat, Tm>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Sym, Pat, Tm> Default for Signature<Sym, Pat, Tm>

fn default() -> Self

Returns the "default value" for a type.