cabal-version: 2.4 name: logical-constraints version: 0.1.3.0 -- A short (one-line) description of the package. synopsis: Simple logical constraints 'syntax-sugar' writing library. -- A longer description of the package. description: 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. -- A URL where users can report bugs. bug-reports: https://github.com/Oleksandr-Zhabenko/logical-constraints/issues -- The license under which the package is released. license: MIT author: OleksandrZhabenko maintainer: oleksandr.zhabenko@yahoo.com -- A copyright notice. copyright: Oleksandr Zhabenko category: Data extra-source-files: CHANGELOG.md library -- Modules included in this executable, other than Main. exposed-modules: Logical.OrdConstraints -- LANGUAGE extensions used by modules in this package. other-extensions: NoImplicitPrelude build-depends: base >=4.13 && <5 default-language: Haskell2010