Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mrkkrp/facts
Refined types
https://github.com/mrkkrp/facts
haskell refinement-types
Last synced: 10 days ago
JSON representation
Refined types
- Host: GitHub
- URL: https://github.com/mrkkrp/facts
- Owner: mrkkrp
- License: other
- Created: 2018-06-11T16:33:44.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-09-25T17:21:42.000Z (about 6 years ago)
- Last Synced: 2024-05-08T20:24:47.596Z (6 months ago)
- Topics: haskell, refinement-types
- Language: Haskell
- Homepage:
- Size: 35.2 KB
- Stars: 58
- Watchers: 5
- Forks: 3
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE.md
Awesome Lists containing this project
README
# Facts
[![License BSD3](https://img.shields.io/badge/license-BSD3-brightgreen.svg)](http://opensource.org/licenses/BSD-3-Clause)
[![Hackage](https://img.shields.io/hackage/v/facts.svg?style=flat)](https://hackage.haskell.org/package/facts)
[![Stackage Nightly](http://stackage.org/package/facts/badge/nightly)](http://stackage.org/nightly/package/facts)
[![Stackage LTS](http://stackage.org/package/facts/badge/lts)](http://stackage.org/lts/package/facts)
[![Build Status](https://travis-ci.org/mrkkrp/facts.svg?branch=master)](https://travis-ci.org/mrkkrp/facts)This is a library for working with refined types in Haskell. Please refer to
the Haddock for more information as I'm still working on how to present the
ideas in it to people.Here is a blog post that announces the library:
* https://markkarpov.com/post/smart-constructors-that-cannot-fail.html
## Contribution
Please kindly direct all issues, bugs, and questions to [the GitHub issue
tracker for this project](https://github.com/mrkkrp/facts/issues).Pull requests are also welcome and will be reviewed quickly.
## License
Copyright © 2018 Mark Karpov
Distributed under BSD 3 clause license.