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
- 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.18.0.0in this set
- aeson-2.2.5.1in this set
- base-4.23.0.0with GHC
- bytestring-0.12.2.0with GHC
- deepseq-1.5.2.0with GHC
- exceptions-0.10.12with GHC
- hashable-1.5.1.0in this set
- mtl-2.3.2with GHC
- template-haskell-2.25.0.0with GHC
- text-2.1.4with GHC
- these-skinny-0.7.6in this set
Used by in this set · 0
Nothing in this set depends on it.