refined: Refinement types with static and runtime checking
Flags
Manual Flags
Name | Description | Default |
---|---|---|
aeson | You can disable the use of the | Enabled |
quickcheck | You can disable the use of the | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- refined-0.8.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.2, 0.1.2.1, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.3.0.0, 0.4, 0.4.1, 0.4.2, 0.4.2.1, 0.4.2.2, 0.4.3, 0.4.4, 0.5, 0.5.1, 0.6, 0.6.1, 0.6.2, 0.6.3, 0.7, 0.8, 0.8.1, 0.8.2 (info) |
---|---|
Change log | changelog.md |
Dependencies | aeson (>=0.9), base (>=4.11 && <5), bytestring (>=0.10), deepseq (>=1.4), exceptions (>=0.8), hashable (>=1.0), mtl (>=2.2.2), QuickCheck (>=2.1), template-haskell (>=2.9), text (>=1.2), these-skinny (>=0.7.5) [details] |
Tested with | ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.5, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.4, ghc ==9.4.2, ghc ==9.6.1 |
License | MIT |
Copyright | Copyright © 2015, Nikita Volkov Copyright © 2018, Remy Goldschmidt Copyright © 2020, chessai |
Author | Nikita Volkov <nikita.y.volkov@mail.ru> |
Maintainer | chessai <chessai1996@gmail.com> |
Category | Data |
Home page | https://github.com/nikita-volkov/refined |
Bug tracker | https://github.com/nikita-volkov/refined/issues |
Source repo | head: git clone git://github.com/nikita-volkov/refined.git |
Uploaded | by chessai at 2024-05-09T20:45:52Z |
Distributions | LTSHaskell:0.8.2, NixOS:0.8.2, Stackage:0.8.2 |
Reverse Dependencies | 18 direct, 3 indirect [details] |
Downloads | 13561 total (96 in the last 30 days) |
Rating | 2.5 (votes: 3) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |