basement-0.0.12: Foundation scrap box of array & string
Safe HaskellNone
LanguageHaskell2010

Basement.Types.Word128

Synopsis

Documentation

data Word128 #

128 bits Word

Constructors

Word128 !Word64 !Word64 

Instances

Instances details
Bounded Word128 # 
Instance details

Defined in Basement.Types.Word128

Enum Word128 # 
Instance details

Defined in Basement.Types.Word128

Eq Word128 # 
Instance details

Defined in Basement.Types.Word128

Methods

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

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

Num Word128 # 
Instance details

Defined in Basement.Types.Word128

Ord Word128 # 
Instance details

Defined in Basement.Types.Word128

Show Word128 # 
Instance details

Defined in Basement.Types.Word128

Storable Word128 # 
Instance details

Defined in Basement.Types.Word128

Bits Word128 # 
Instance details

Defined in Basement.Types.Word128

HasNegation Word128 # 
Instance details

Defined in Basement.Types.Word128

Methods

negate :: Word128 -> Word128 #

Integral Word128 # 
Instance details

Defined in Basement.Types.Word128

IsNatural Word128 # 
Instance details

Defined in Basement.Types.Word128

Methods

toNatural :: Word128 -> Natural #

IsIntegral Word128 # 
Instance details

Defined in Basement.Types.Word128

Methods

toInteger :: Word128 -> Integer #

Subtractive Word128 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word128 #

Additive Word128 # 
Instance details

Defined in Basement.Numerical.Additive

Methods

azero :: Word128 #

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

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

IDivisible Word128 # 
Instance details

Defined in Basement.Numerical.Multiplicative

Multiplicative Word128 # 
Instance details

Defined in Basement.Numerical.Multiplicative

PrimMemoryComparable Word128 # 
Instance details

Defined in Basement.PrimType

PrimType Word128 # 
Instance details

Defined in Basement.PrimType

Associated Types

type PrimSize Word128 :: Nat #

NormalForm Word128 # 
Instance details

Defined in Basement.NormalForm

Methods

toNormalForm :: Word128 -> () #

BitOps Word128 # 
Instance details

Defined in Basement.Bits

FiniteBitsOps Word128 # 
Instance details

Defined in Basement.Bits

From Word8 Word128 # 
Instance details

Defined in Basement.From

Methods

from :: Word8 -> Word128 #

From Word16 Word128 # 
Instance details

Defined in Basement.From

Methods

from :: Word16 -> Word128 #

From Word32 Word128 # 
Instance details

Defined in Basement.From

Methods

from :: Word32 -> Word128 #

From Word64 Word128 # 
Instance details

Defined in Basement.From

Methods

from :: Word64 -> Word128 #

From Word128 Word256 # 
Instance details

Defined in Basement.From

Methods

from :: Word128 -> Word256 #

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

Defined in Basement.From

Methods

from :: Zn n -> Word128 #

From (Zn64 n) Word128 # 
Instance details

Defined in Basement.From

Methods

from :: Zn64 n -> Word128 #

type NatNumMaxBound Word128 # 
Instance details

Defined in Basement.Nat

type NatNumMaxBound Word128 = 340282366920938463463374607431768211455
type Difference Word128 # 
Instance details

Defined in Basement.Numerical.Subtractive

type PrimSize Word128 # 
Instance details

Defined in Basement.PrimType

type PrimSize Word128 = 16

(+) :: 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

complement :: Word128 -> Word128 #

Bitwise complement

shiftL :: Word128 -> Int -> Word128 #

Bitwise Shift Left

shiftR :: Word128 -> Int -> Word128 #

Bitwise Shift Right

rotateL :: Word128 -> Int -> Word128 #

Bitwise rotate Left

rotateR :: Word128 -> Int -> Word128 #

Bitwise rotate Left

popCount :: Word128 -> Int #

Population count