refined
Refinement types with static and runtime checking
https://github.com/nikita-volkov/refined
Version on this page: | 0.3.0.0 |
LTS Haskell 22.21: | 0.8.1@rev:1 |
Stackage Nightly 2023-12-26: | 0.8.1 |
Latest on Hackage: | 0.8.2 |
Maintained by chessai
This version can be pinned in stack with:
refined-0.3.0.0@sha256:688f7fb1979acdcf3e99b096590d54c53ab2c3302b7dec15eb600911e05a578f,1240
Module documentation for 0.3.0.0
- Refined
- Refined.Internal
- Refined.These
- Refined.Unsafe
- Refined.Unsafe.Type
Depends on 7 packages(full list with versions):