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] 0.2.0.0, 0.2.0.1, 0.2.0.2, 0.2.0.3
Dependencies base (>=4.8 && <4.11), deepseq, primes (==0.2.*) [details]
License ISC
Copyright 2017 Ignat Insarov
Author Ignat Insarov
Maintainer kindaro@gmail.com
Category Algorithms, Numerical
Home page https://github.com/kindaro/primes-type#readme
Bug tracker https://github.com/kindaro/primes-type/issues
Source repo head: git clone https://github.com/kindaro/primes-type
Uploaded by kindaro at Thu Oct 5 23:59:09 UTC 2017
Distributions NixOS:0.2.0.3
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]

Modules

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees