refined1
Version 0.9.0 revision 0 uploaded by raehik.
Package meta
- Synopsis
- Refinement types with static and runtime checking (+ Refined1)
- Description
For an extensive introduction to the library please follow to this blog-post.
- Author
- Nikita Volkov <nikita.y.volkov@mail.ru>
- Bug reports
- n/a
- Category
- Data
- Copyright
- Copyright © 2015, Nikita Volkov Copyright © 2018, Remy Goldschmidt Copyright © 2020, chessai Copyright © 2023, Ben Orchard
- Homepage
- https://github.com/raehik/refined/tree/refined1-hackage
- Maintainer
- Ben Orchard <thefirstmuffinman@gmail.com>
- Package URL
- n/a
- Stability
- n/a