Safe Haskell	None
Language	Haskell2010

BinaryField

Synopsis

data BinaryField (im :: Nat)

Documentation

data BinaryField (im :: Nat) Source #

Binary fields GF(2^q)[X]/<f(X)> for q positive and f(X) irreducible monic in GF(2^q)[X] encoded as an integer.

Instances

Eq (BinaryField im) Source #
Instance details Defined in BinaryField Methods (==) :: BinaryField im -> BinaryField im -> Bool # (/=) :: BinaryField im -> BinaryField im -> Bool #
KnownNat im => Fractional (BinaryField im) Source #
Instance details Defined in BinaryField Methods (/) :: BinaryField im -> BinaryField im -> BinaryField im # recip :: BinaryField im -> BinaryField im # fromRational :: Rational -> BinaryField im #
KnownNat im => Num (BinaryField im) Source #
Instance details Defined in BinaryField Methods (+) :: BinaryField im -> BinaryField im -> BinaryField im # (-) :: BinaryField im -> BinaryField im -> BinaryField im # (*) :: BinaryField im -> BinaryField im -> BinaryField im # negate :: BinaryField im -> BinaryField im # abs :: BinaryField im -> BinaryField im # signum :: BinaryField im -> BinaryField im # fromInteger :: Integer -> BinaryField im #
Read (BinaryField im) Source #
Instance details Defined in BinaryField Methods readsPrec :: Int -> ReadS (BinaryField im) # readList :: ReadS [BinaryField im] # readPrec :: ReadPrec (BinaryField im) # readListPrec :: ReadPrec [BinaryField im] #
Show (BinaryField im) Source #
Instance details Defined in BinaryField Methods showsPrec :: Int -> BinaryField im -> ShowS # show :: BinaryField im -> String # showList :: [BinaryField im] -> ShowS #
Generic (BinaryField im) Source #
Instance details Defined in BinaryField Associated Types type Rep (BinaryField im) :: Type -> Type # Methods from :: BinaryField im -> Rep (BinaryField im) x # to :: Rep (BinaryField im) x -> BinaryField im #
KnownNat im => Random (BinaryField im) Source #
Instance details Defined in BinaryField Methods randomR :: RandomGen g => (BinaryField im, BinaryField im) -> g -> (BinaryField im, g) # random :: RandomGen g => g -> (BinaryField im, g) # randomRs :: RandomGen g => (BinaryField im, BinaryField im) -> g -> [BinaryField im] # randoms :: RandomGen g => g -> [BinaryField im] # randomRIO :: (BinaryField im, BinaryField im) -> IO (BinaryField im) # randomIO :: IO (BinaryField im) #
KnownNat im => Arbitrary (BinaryField im) Source #
Instance details Defined in BinaryField Methods arbitrary :: Gen (BinaryField im) # shrink :: BinaryField im -> [BinaryField im] #
NFData (BinaryField im) Source #
Instance details Defined in BinaryField Methods rnf :: BinaryField im -> () #
KnownNat im => Pretty (BinaryField im) Source #
Instance details Defined in BinaryField Methods pretty :: BinaryField im -> Doc # prettyList :: [BinaryField im] -> Doc #
KnownNat im => GaloisField (BinaryField im) Source #
Instance details Defined in BinaryField Methods char :: BinaryField im -> Integer Source # deg :: BinaryField im -> Int Source # order :: BinaryField im -> Integer Source # frob :: BinaryField im -> BinaryField im Source # pow :: BinaryField im -> Integer -> BinaryField im Source # quad :: BinaryField im -> BinaryField im -> BinaryField im -> Maybe (BinaryField im) Source # rnd :: MonadRandom m => m (BinaryField im) Source # sr :: BinaryField im -> Maybe (BinaryField im) Source #
type Rep (BinaryField im) Source #
Instance details Defined in BinaryField type Rep (BinaryField im) = D1 (MetaData "BinaryField" "BinaryField" "galois-field-0.3.0-8sVKOPVrbZL48NlSEdH1sC" True) (C1 (MetaCons "BF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))