numeric-prelude-0.2: An experimental alternative hierarchy of numeric type classes

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 
Show T 
Arbitrary T 
Storable T 
C T 
C T 
C T 
C T T 

base :: C a => aSource

lift2 :: (Word64 -> Word64 -> Word64) -> T -> T -> TSource

lift2Integer :: (Int64 -> Int64 -> Int64) -> T -> T -> TSource