Skip to content

Latest commit

 

History

History
41 lines (28 loc) · 1.1 KB

ChangeLog.md

File metadata and controls

41 lines (28 loc) · 1.1 KB

Revision history for connections

0.3.2 -- 2021-09-16

  • Add double-sided Extended integer connections.
  • Add left-hand float and double connections.
  • Re-export Connection class from top.

0.3.1 -- 2021-05-30

  • Add Data.Connection.Time.
  • Add float-word connections.
  • Move infix join/meet to Data.Lattice
  • Re-organize top-level exports.
  • New dependencies on time and extended-reals.

0.3.0 -- 2021-03-14

  • Add Data.Connection.Fixed.

0.2.0 -- 2021-02-21

  • Change integral connection instances to non-shifting behavior.
  • Move all one-sided Connection instances to Connection 'L.
  • Consolidate floating point utilities into one module.
  • Rename some functions in Class.hs and Conn.hs for clarity.
  • Move < and > to Syntax.hs.
  • Remove niche instances w/ upstream dependencies.
  • Add misc new instances.

0.1.0 -- 2020-07-07

  • Unify Connection and Triple into a single class
  • Add Heyting, Symmetric, and Boolean algebras
  • Add misc new instances

0.0.3 -- 2020-02-17

  • Data.Connection.Float : float utils
  • Data.Connection.Ratio : add rational connections