Safe Haskell	None
Language	Haskell2010

BinaryField

Synopsis

data BinaryField (ib :: Nat)

Documentation

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