BSD-3-Clause licensed by Maximilian Bolingbroke
Maintained by Oleg Grenrus

Module documentation for 1.3

This version can be pinned in stack with:[email protected]:614ea39ee90b5f3bc38f4af7dc823f886391f485a6e20b7d83f082b73e94a79e,1606


Build Status

Fine-grained library for constructing and manipulating lattices


1.3 (2015-05-18)

  • relaxed constraint for BoundedLattice (Levitated a)
  • added instances to Dropped, Levitated and Lifted:
    • from base
    • NFData
    • Hashable
  • added HashSet and HashMap lattice instances