galois-field-0.1.0: Galois field

Safe Haskell	None
Language	Haskell2010

PrimeField

Synopsis

data PrimeField (p :: Nat)
toInt :: PrimeField p -> Integer

Documentation

data PrimeField (p :: Nat) Source #

Prime fields GF(p) for p prime

Instances

Eq (PrimeField p) Source #
Instance details Defined in PrimeField Methods (==) :: PrimeField p -> PrimeField p -> Bool # (/=) :: PrimeField p -> PrimeField p -> Bool #
KnownNat p => Fractional (PrimeField p) Source #	Prime fields are fields
Instance details Defined in PrimeField Methods (/) :: PrimeField p -> PrimeField p -> PrimeField p # recip :: PrimeField p -> PrimeField p # fromRational :: Rational -> PrimeField p #
KnownNat p => Num (PrimeField p) Source #	Prime fields are rings
Instance details Defined in PrimeField Methods (+) :: PrimeField p -> PrimeField p -> PrimeField p # (-) :: PrimeField p -> PrimeField p -> PrimeField p # (*) :: PrimeField p -> PrimeField p -> PrimeField p # negate :: PrimeField p -> PrimeField p # abs :: PrimeField p -> PrimeField p # signum :: PrimeField p -> PrimeField p # fromInteger :: Integer -> PrimeField p #
Show (PrimeField p) Source #
Instance details Defined in PrimeField Methods showsPrec :: Int -> PrimeField p -> ShowS # show :: PrimeField p -> String # showList :: [PrimeField p] -> ShowS #
Generic (PrimeField p) Source #
Instance details Defined in PrimeField Associated Types type Rep (PrimeField p) :: Type -> Type # Methods from :: PrimeField p -> Rep (PrimeField p) x # to :: Rep (PrimeField p) x -> PrimeField p #
NFData (PrimeField p) Source #
Instance details Defined in PrimeField Methods rnf :: PrimeField p -> () #
KnownNat p => GaloisField (PrimeField p) Source #	Prime fields are Galois fields
Instance details Defined in PrimeField Methods char :: PrimeField p -> Integer Source #
type Rep (PrimeField p) Source #
Instance details Defined in PrimeField type Rep (PrimeField p) = D1 (MetaData "PrimeField" "PrimeField" "galois-field-0.1.0-IjJmxew0YBCCYrRjJp3Mo3" True) (C1 (MetaCons "PF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

toInt :: PrimeField p -> Integer Source #

Embed to integers