opentheory-prime-1.80: Prime natural numbers

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

OpenTheory.Natural.Prime.Sieve

Description

 

Documentation

newtype Sieve Source

Constructors

Sieve 

Fields

unSieve :: (Natural, [(Natural, (Natural, Natural))])
 

initial :: Sieve Source

increment :: Sieve -> (Bool, Sieve) Source

perimeter :: Sieve -> Natural Source

next :: Sieve -> (Natural, Sieve) Source