HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulefinite-field-0.10.0Haskell2010

Data.FiniteField.Base

  • 1 class
classclass Fractional k => FiniteField k where
#

Type class for finite fields

Methods

  • order :: k -> Integer

    The order is number of elements of a finite field k. It of the form p^n, where p is prime number called the characteristic of the field, and n is a positive integer.

  • char :: k -> Integer

    The characteristic of a field, p.

  • pthRoot :: k -> k

    The inverse of Frobenius endomorphism x ↦ x^p.

  • allValues :: [k]

    All values of a field

Instances1FiniteField