Package0.8.2Data
refined
Refinement types with static and runtime checking
- Version0.8.2
- CategoryData
- LicenceMIT
- AuthorNikita Volkov <nikita.
y. volkov@ mail. ru> - Maintainerchessai <chessai1996@
gmail. com> - Homepagegithub.
com/ nikita-volkov/ refined - Pinned byhackage refined 0.
8. 2 - Sourcerefined-0.
8. 2 on Hackage
Modules
- RefinedIn type theory, a refinement type is a type endowed
- Refined.UnsafeThis module exposes unsafe refinements. An unsafe refinement
- Refined.Unsafe.TypeThis module exports the Refined type with its
Description
For an extensive introduction to the library please follow to this blog-post.
Depends on
11 packages- QuickCheck-2.19.0.0in this set
- aeson-2.3.2.0in this set
- base-4.22.0.0with GHC
- bytestring-0.12.2.0with GHC
- deepseq-1.5.1.0with GHC
- exceptions-0.10.11with GHC
- hashable-1.5.1.0in this set
- mtl-2.3.1with GHC
- template-haskell-2.24.0.0with GHC
- text-2.1.3with GHC
- these-skinny-0.7.6in this set
Used by in this set · 0
Nothing in this set depends on it.