primes-type: Type-safe prime numbers.

[ algorithms, library, numerical ] [ Propose Tags ]

This library provides type safe prime numbers. The idea is based upon the concept of a predicate type from type theory.

Versions [faq],,,
Dependencies base (>=4.8 && <4.11), deepseq, primes (==0.2.*) [details]
License ISC
Copyright 2017 Ignat Insarov
Author Ignat Insarov
Category Algorithms, Numerical
Home page
Bug tracker
Source repo head: git clone
Uploaded by kindaro at Thu Oct 5 23:59:09 UTC 2017
Distributions NixOS:
Downloads 1000 total (35 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2017-10-06 [all 3 reports]


  • Data
    • Numbers
      • Primes
        • Data.Numbers.Primes.Type


Maintainer's Corner

For package maintainers and hackage trustees