Skip to content
Type-safe prime numbers.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bench
src/Data/Numbers/Primes
test
.travis.yml
ChangeLog.md
LICENSE
README.md
dummy
package.yaml
stack.yaml

README.md

primes-type

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

That is, the value of any object of type Integral a => Prime a is a prime number.

You can’t perform that action at this time.