A numeric domain is a union of zero or more non-empty, non-overlapping, open or closed numeric intervals. This Haskell library provides the types and functions needed to construct, combine and process such numeric domains.
typedbyte / numeric-domains Goto Github PK
View Code? Open in Web Editor NEWA library to construct, combine and process numeric domains, written in Haskell.
License: BSD 3-Clause "New" or "Revised" License