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
- Sourcehackage.haskell.org/package/refined-0.8.2
Modules
3 modules- Refined60In type theory, a refinement type is a type endowed
- Refined.Unsafe6This module exposes unsafe refinements. An unsafe refinement
- Refined.Unsafe.Type1This 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.15.0.1in this set
- aeson-2.2.3.0in this set
- base-4.20.2.0with GHC
- bytestring-0.12.2.0with GHC
- deepseq-1.5.0.0with GHC
- exceptions-0.10.9with GHC
- hashable-1.4.7.0in this set
- mtl-2.3.1with GHC
- template-haskell-2.22.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.