Pergola

This is a small crate that provides a generic unital-join-semilattice type (hereafter: "lattice") along with a few common instances.

Lattices are defined in two separate pieces: a definition trait LatticeDef that provides the type-and-functions for a given lattice and a user interface struct LatticeElt that's parameterized by a LatticeDef and provides convenient methods to work with (including impls of standard Rust operator traits).

This unusual split exists because many types have multiple equally viable lattices you can build on them (eg. u32-with-min or u32-with-max) and we want to avoid both coupling any given lattice definition to the type or accidentally inheriting an impl for any of the type's "standard semantics" as the lattice semantics, eg. we don't want to inherit u32's standard partial order as any lattice's partial order, unless explicitly building such a lattice.

To minimize disruption caused by this two-level wrapping scheme and provide a degree of compositionality, every LatticeElt also implements LatticeDef by delegation to the LatticeDef it's parameterized over.

Examples

Simple u32-with-max lattice

```rust use pergola::{MaxDef,LatticeElt};

type Def = MaxDef; // lattice def for "u32 with max for join" type Elt = LatticeElt; // element struct, implementing std traits let v = Elt::newfrom(1); let u = Elt::newfrom(2); let w = v + u; // calls join(), which calls max() assert!(v < u); assert!(v < w); ```

Trickier union-map-of-union-bitsets lattice

```rust use pergola::{BTreeMapWithUnion,BitSetWithUnion,LatticeElt}; use bit_set::BitSet; use std::collections::BTreeMap;

type Def = BTreeMapWithUnion; type Elt = LatticeElt; let bsa1 = BitSet::frombytes(&[0b11110000]); let bsa2 = BitSet::frombytes(&[0b00001111]); let bsb = BitSet::frombytes(&[0b10101010]); let v = Elt::newfrom([(String::from("a"),bsa1.into()), (String::from("b"),bsb.into())].iter().cloned().collect()); let u = Elt::newfrom([(String::from("a"),bsa2.into())].iter().cloned().collect()); let w = &v + &u; assert!(!(v < u)); // bsa1 is not a subset of bsa2, // so v["a"] is unordered wrt. u["a"]. assert!(v < w); // However, w is a join and join unions // the values at common keys, so v["a"] < w["a"]. assert!(u < w); // And likewise the other input to the join. asserteq!(w.value["a"].value, BitSet::frombytes(&[0b11111111])); asserteq!(w.value["b"].value, BitSet::from_bytes(&[0b10101010])); ```

Name

Wikipedia:

A pergola is an outdoor garden feature forming a shaded walkway, passageway, or sitting area of vertical posts or pillars that usually support cross-beams and a sturdy open lattice, often upon which woody vines are trained.