logical-constraints: Simple logical constraints 'syntax-sugar' writing library.

[ data, library, mit ] [ Propose Tags ]

Some library functions and data to simplify the writing of the simple logical constraints of Ord class data instances so that it represents point-wise and interval-based logics.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS], (info)
Change log CHANGELOG.md
Dependencies base (>=4.13 && <5) [details]
License MIT
Copyright Oleksandr Zhabenko
Author OleksandrZhabenko
Maintainer oleksandr.zhabenko@yahoo.com
Category Data
Bug tracker https://github.com/Oleksandr-Zhabenko/logical-constraints/issues
Uploaded by OleksandrZhabenko at 2023-01-12T15:46:15Z
Distributions NixOS:
Reverse Dependencies 2 direct, 4 indirect [details]
Downloads 73 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-01-12 [all 1 reports]