Data.FiniteField.PrimeField

Finite field of prime order p, Fp = Z/pZ.

References:

• http://en.wikipedia.org/wiki/Finite_field

Documentation

data PrimeField p

Finite field of prime order p, Fp = Z/pZ.

NB: Primality of p is assumed, but not checked.

Instances

Typeable1 PrimeField

Nat p => Bounded (PrimeField p)

Nat p => Enum (PrimeField p)

Eq (PrimeField p)

Nat p => Fractional (PrimeField p)

Nat p => Num (PrimeField p)

Ord (PrimeField p)

Nat p => Read (PrimeField p)

Show (PrimeField p)

NFData (PrimeField p)

Nat p => Hashable (PrimeField p)

Nat p => FiniteField (PrimeField p)

toInteger :: PrimeField p -> Integer

conversion to Integer

Template haskell utilities

Here is usage example for primeField:

 a :: $(primeField 15485867)
 a = 1

primeField :: Integer -> TypeQ

Create a PrimeField type