Safe Haskell	None
Language	Haskell98

Number.GaloisField2p32m5

Description

This number type is intended for tests of functions over fields, where the field elements need constant space. This way we can provide a Storable instance. For Rational this would not be possible.

However, be aware that sums of non-zero elements may yield zero. Thus division is not always safe, where it is for rational numbers.

Documentation

newtype T Source #

Constructors

Cons
Fields decons :: Word32

Instances

Eq T Source #
Methods (==) :: T -> T -> Bool # (/=) :: T -> T -> Bool #
Show T Source #
Methods showsPrec :: Int -> T -> ShowS # show :: T -> String # showList :: [T] -> ShowS #
Arbitrary T Source #
Methods arbitrary :: Gen T # shrink :: T -> [T] #
Storable T Source #
Methods sizeOf :: T -> Int # alignment :: T -> Int # peekElemOff :: Ptr T -> Int -> IO T # pokeElemOff :: Ptr T -> Int -> T -> IO () # peekByteOff :: Ptr b -> Int -> IO T # pokeByteOff :: Ptr b -> Int -> T -> IO () # peek :: Ptr T -> IO T # poke :: Ptr T -> T -> IO () #
C T Source #
Methods zero :: T Source # (+) :: T -> T -> T Source # (-) :: T -> T -> T Source # negate :: T -> T Source #
C T Source #
Methods isZero :: T -> Bool Source #
C T Source #
Methods (*) :: T -> T -> T Source # one :: T Source # fromInteger :: Integer -> T Source # (^) :: T -> Integer -> T Source #
C T Source #
Methods (/) :: T -> T -> T Source # recip :: T -> T Source # fromRational' :: Rational -> T Source # (^-) :: T -> Integer -> T Source #
C T T Source #
Methods (*>) :: T -> T -> T Source #

appPrec :: Int Source #

base :: C a => a Source #

lift2 :: (Word64 -> Word64 -> Word64) -> T -> T -> T Source #

lift2Integer :: (Int64 -> Int64 -> Int64) -> T -> T -> T Source #