basement-0.0.6: Foundation scrap box of array & string

Safe HaskellNone
LanguageHaskell2010

Basement.Types.Word128

Synopsis

Documentation

data Word128 Source #

128 bits Word

Constructors

Word128 !Word64 !Word64 

Instances

Bounded Word128 Source # 
Enum Word128 Source # 
Eq Word128 Source # 

Methods

(==) :: Word128 -> Word128 -> Bool #

(/=) :: Word128 -> Word128 -> Bool #

Num Word128 Source # 
Ord Word128 Source # 
Show Word128 Source # 
Storable Word128 Source # 
Bits Word128 Source # 
HasNegation Word128 Source # 
Integral Word128 Source # 
IsNatural Word128 Source # 
IsIntegral Word128 Source # 
Subtractive Word128 Source # 

Associated Types

type Difference Word128 :: * Source #

Additive Word128 Source # 
IDivisible Word128 Source # 
Multiplicative Word128 Source # 
PrimMemoryComparable Word128 Source # 
PrimType Word128 Source # 
NormalForm Word128 Source # 

Methods

toNormalForm :: Word128 -> () Source #

From Word8 Word128 Source # 

Methods

from :: Word8 -> Word128 Source #

From Word16 Word128 Source # 

Methods

from :: Word16 -> Word128 Source #

From Word32 Word128 Source # 

Methods

from :: Word32 -> Word128 Source #

From Word64 Word128 Source # 

Methods

from :: Word64 -> Word128 Source #

(KnownNat n, NatWithinBound Word128 n) => From (Zn n) Word128 Source # 

Methods

from :: Zn n -> Word128 Source #

From (Zn64 n) Word128 Source # 

Methods

from :: Zn64 n -> Word128 Source #

type NatNumMaxBound Word128 Source # 
type NatNumMaxBound Word128 = 340282366920938463463374607431768211455
type Difference Word128 Source # 
type PrimSize Word128 Source # 
type PrimSize Word128 = 16

(+) :: Word128 -> Word128 -> Word128 Source #

Add 2 Word128

(-) :: Word128 -> Word128 -> Word128 Source #

Subtract 2 Word128

(*) :: Word128 -> Word128 -> Word128 Source #

Multiplication

quot :: Word128 -> Word128 -> Word128 Source #

Division