lattices v0.3.0

Documentation

• List WithTop in README 4/4

New Features

• make unit () a point lattice
• impl IsTop, IsBot for Min, Max over numeric types
• Add Conflict<T> lattice
• add top lattice, opposite of bottom
• Add Seq lattice.

Bug Fixes

• removed unused nightly features impl_trait_in_assoc_type, type_alias_impl_trait
• fix ConvertFrom for bottom to actually convert the type

  • fix: fix type inference with doubly-nested bottom types

  • fix: address comments

Refactor

• Rename bottom.rs -> with_bot.rs, top.rs -> with_top.rs 1/4

Style

• warn missing docs (instead of deny) to allow code before docs

New Features (BREAKING)

• Add reveal methods, make fields private
• Add Provenance generic param token to Point.
  • Use () provenance for kvs_bench example.
• Add IsBot::is_bot and IsTop::is_top traits
  Also adds test::check_lattice_bot (inlcluded in test::check_all) and test::check_lattice_top (NOT in check_all)

Bug Fixes (BREAKING)

• Remove Default impl for WithTop 3/4
  Is confusing, probably not what users want.

Refactor (BREAKING)

• Rename ConvertFrom::from -> LatticeFrom::lattice_from
• Rename Bottom -> WithBot, Top -> WithTop, constructors now take Options 2/4
• Rename Immut -> Point lattice.

Commit Statistics

• 17 commits contributed to the release over the course of 32 calendar days.
• 33 days passed between releases.
• 17 commits were understood as conventional.
• 12 unique issues were worked on: #742, #744, #761, #763, #765, #766, #767, #772, #773, #780, #789, #793

Commit Details

view details

• #742
  • Fix ConvertFrom for bottom to actually convert the type (3c4eb16)
• #744
  • Add top lattice, opposite of bottom (fc4dcbd)
• #761
  • Rename Immut -> Point lattice. (1bdadb8)
• #763
  • List WithTop in README 4/4 (ac4fd82)
  • Remove Default impl for WithTop 3/4 (5cfd2a0)
  • Rename Bottom -> WithBot, Top -> WithTop, constructors now take Options 2/4 (5c7e4d3)
  • Rename bottom.rs -> with_bot.rs, top.rs -> with_top.rs 1/4 (0cbbaea)
• #765
  • Rename ConvertFrom::from -> LatticeFrom::lattice_from (4a727ec)
• #766
  • Add IsBot::is_bot and IsTop::is_top traits (deb26af)
• #767
  • Add Conflict<T> lattice (f5e0d19)
• #772
  • Add Provenance generic param token to Point. (7aec1ac)
• #773
  • warn missing docs (instead of deny) to allow code before docs (70c88a5)
• #780
  • Removed unused nightly features impl_trait_in_assoc_type, type_alias_impl_trait (9bb5528)
• #789
  • Add reveal methods, make fields private (931d938)
• #793
  • Make unit () a point lattice (016abee)
  • Impl IsTop, IsBot for Min, Max over numeric types (dc99c02)
• Uncategorized
  • Add Seq lattice. (153cbab)