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

Safe HaskellNone
LanguageHaskell98

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 => a Source

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

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