https://github.com/mrkkrp/facts

Refined types
https://github.com/mrkkrp/facts

haskell refinement-types

Last synced: over 1 year ago
JSON representation

Refined types

• Host: GitHub
• URL: https://github.com/mrkkrp/facts
• Owner: mrkkrp
• License: other
• Created: 2018-06-11T16:33:44.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-09-25T17:21:42.000Z (over 7 years ago)
• Last Synced: 2024-05-08T20:24:47.596Z (about 2 years 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.