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.PrimeFieldKnownNat p => Enum (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldEq (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldKnownNat p => Fractional (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldKnownNat p => Num (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldOrd (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldKnownNat p => Read (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldShow (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldNFData (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldKnownNat p => Hashable (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeFieldKnownNat p => FiniteField (PrimeField p)Defined in finite-field-0.10.0 · Data.FiniteField.PrimeField