GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → mrkkrp → facts

mrkkrp / facts

Licence: other
Refined types

Programming Languages

haskell
3896 projects

Labels

refinement-types

Projects that are alternatives of or similar to facts

play-json-refined
Play JSON Reads/Writes instances for refined types
Stars: ✭ 24 (-58.62%)
Mutual labels:  refinement-types
phantom-types
Phantom types for Python.
Stars: ✭ 120 (+106.9%)
Mutual labels:  refinement-types

Facts

License BSD3 Hackage Stackage Nightly Stackage LTS Build Status

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:

Contribution

Please kindly direct all issues, bugs, and questions to the GitHub issue tracker for this project.

Pull requests are also welcome and will be reviewed quickly.

License

Copyright © 2018 Mark Karpov

Distributed under BSD 3 clause license.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].