Data.FiniteField.PrimeField

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

References:

newtypenewtype PrimeField (p :: Nat)

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

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

Instances11Bounded, Enum, Eq, Fractional, Num, Ord, …

KnownNat p => Bounded (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
KnownNat p => Enum (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
Eq (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
KnownNat p => Fractional (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
KnownNat p => Num (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
Ord (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
KnownNat p => Read (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
Show (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
NFData (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
KnownNat p => Hashable (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField
KnownNat p => FiniteField (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField

valuetoInteger :: PrimeField p -> Integer

conversion to Integer

Template haskell utilities

1 declaration

Here is usage example for primeField:

a :: $(primeField 15485867)
a = 1

valueprimeField :: Integer -> TypeQ

Create a PrimeField type