basement-0.0.2: Foundation scrap box of array & string

Safe HaskellNone
LanguageHaskell2010

Basement.Types.Word128

Synopsis

Documentation

data Word128 #

128 bits Word

Constructors

Word128 !Word64 !Word64 

Instances

Bounded Word128 # 
Enum Word128 # 
Eq Word128 # 

Methods

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

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

Num Word128 # 
Ord Word128 # 
Show Word128 # 
Storable Word128 # 
Bits Word128 # 
HasNegation Word128 # 

Methods

negate :: Word128 -> Word128 #

Integral Word128 # 
IsNatural Word128 # 

Methods

toNatural :: Word128 -> Natural #

IsIntegral Word128 # 

Methods

toInteger :: Word128 -> Integer #

Additive Word128 # 

Methods

azero :: Word128 #

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

scale :: IsNatural n => n -> Word128 -> Word128 #

IDivisible Word128 # 
Multiplicative Word128 # 
Subtractive Word128 # 

Associated Types

type Difference Word128 :: * #

NormalForm Word128 # 

Methods

toNormalForm :: Word128 -> () #

PrimMemoryComparable Word128 # 
PrimType Word128 # 
From Word8 Word128 # 

Methods

from :: Word8 -> Word128 #

From Word16 Word128 # 

Methods

from :: Word16 -> Word128 #

From Word32 Word128 # 

Methods

from :: Word32 -> Word128 #

From Word64 Word128 # 

Methods

from :: Word64 -> Word128 #

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

Methods

from :: Zn n -> Word128 #

From (Zn64 n) Word128 # 

Methods

from :: Zn64 n -> Word128 #

type Difference Word128 # 

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

Add 2 Word128

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

Subtract 2 Word128

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

Multiplication

quot :: Word128 -> Word128 -> Word128 #

Division

rem :: Word128 -> Word128 -> Word128 #

Modulo

bitwiseAnd :: Word128 -> Word128 -> Word128 #

Bitwise and

bitwiseOr :: Word128 -> Word128 -> Word128 #

Bitwise or

bitwiseXor :: Word128 -> Word128 -> Word128 #

Bitwise xor