facts: Refined types

[ bsd3, data, library ] [ Propose Tags ]

Refined types.

[Skip to Readme]




Manual Flags


Turn on development settings.


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Change log CHANGELOG.md
Dependencies base (>=4.10 && <5.0), exceptions (>=0.6 && <0.11), mtl (>=2.0 && <3.0), template-haskell (>=2.10 && <2.15) [details]
License BSD-3-Clause
Author Mark Karpov <markkarpov92@gmail.com>
Maintainer Mark Karpov <markkarpov92@gmail.com>
Revised Revision 1 made by mrkkrp at 2018-09-25T17:21:25Z
Category Data
Home page https://github.com/mrkkrp/facts
Bug tracker https://github.com/mrkkrp/facts/issues
Source repo head: git clone https://github.com/mrkkrp/facts.git
Uploaded by mrkkrp at 2018-06-16T10:52:33Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 872 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-06-16 [all 1 reports]

Readme for facts-

[back to package description]


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:


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.


Copyright © 2018 Mark Karpov

Distributed under BSD 3 clause license.