basement-0.0.10: Foundation scrap box of array & string

Safe HaskellNone
LanguageHaskell2010

Basement.Types.Word256

Synopsis

Documentation

data Word256 #

256 bits Word

Constructors

Word256 !Word64 !Word64 !Word64 !Word64 
Instances
Bounded Word256 # 
Instance details

Defined in Basement.Types.Word256

Enum Word256 # 
Instance details

Defined in Basement.Types.Word256

Eq Word256 # 
Instance details

Defined in Basement.Types.Word256

Methods

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

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

Num Word256 # 
Instance details

Defined in Basement.Types.Word256

Ord Word256 # 
Instance details

Defined in Basement.Types.Word256

Show Word256 # 
Instance details

Defined in Basement.Types.Word256

Storable Word256 # 
Instance details

Defined in Basement.Types.Word256

Bits Word256 # 
Instance details

Defined in Basement.Types.Word256

HasNegation Word256 # 
Instance details

Defined in Basement.Types.Word256

Methods

negate :: Word256 -> Word256 #

Integral Word256 # 
Instance details

Defined in Basement.Types.Word256

IsNatural Word256 # 
Instance details

Defined in Basement.Types.Word256

Methods

toNatural :: Word256 -> Natural #

IsIntegral Word256 # 
Instance details

Defined in Basement.Types.Word256

Methods

toInteger :: Word256 -> Integer #

Subtractive Word256 # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Word256 :: Type #

Additive Word256 # 
Instance details

Defined in Basement.Numerical.Additive

Methods

azero :: Word256 #

(+) :: Word256 -> Word256 -> Word256 #

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

IDivisible Word256 # 
Instance details

Defined in Basement.Numerical.Multiplicative

Multiplicative Word256 # 
Instance details

Defined in Basement.Numerical.Multiplicative

PrimMemoryComparable Word256 # 
Instance details

Defined in Basement.PrimType

PrimType Word256 # 
Instance details

Defined in Basement.PrimType

Associated Types

type PrimSize Word256 :: Nat #

NormalForm Word256 # 
Instance details

Defined in Basement.NormalForm

Methods

toNormalForm :: Word256 -> () #

BitOps Word256 # 
Instance details

Defined in Basement.Bits

FiniteBitsOps Word256 # 
Instance details

Defined in Basement.Bits

From Word8 Word256 # 
Instance details

Defined in Basement.From

Methods

from :: Word8 -> Word256 #

From Word16 Word256 # 
Instance details

Defined in Basement.From

Methods

from :: Word16 -> Word256 #

From Word32 Word256 # 
Instance details

Defined in Basement.From

Methods

from :: Word32 -> Word256 #

From Word64 Word256 # 
Instance details

Defined in Basement.From

Methods

from :: Word64 -> Word256 #

From Word128 Word256 # 
Instance details

Defined in Basement.From

Methods

from :: Word128 -> Word256 #

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

Defined in Basement.From

Methods

from :: Zn n -> Word256 #

From (Zn64 n) Word256 # 
Instance details

Defined in Basement.From

Methods

from :: Zn64 n -> Word256 #

type NatNumMaxBound Word256 # 
Instance details

Defined in Basement.Nat

type NatNumMaxBound Word256 = 115792089237316195423570985008687907853269984665640564039457584007913129639935
type Difference Word256 # 
Instance details

Defined in Basement.Numerical.Subtractive

type PrimSize Word256 # 
Instance details

Defined in Basement.PrimType

type PrimSize Word256 = 32

(+) :: Word256 -> Word256 -> Word256 #

Add 2 Word256

(-) :: Word256 -> Word256 -> Word256 #

Subtract 2 Word256

(*) :: Word256 -> Word256 -> Word256 #

Multiplication

quot :: Word256 -> Word256 -> Word256 #

Division

rem :: Word256 -> Word256 -> Word256 #

Modulo

bitwiseAnd :: Word256 -> Word256 -> Word256 #

Bitwise and

bitwiseOr :: Word256 -> Word256 -> Word256 #

Bitwise or

bitwiseXor :: Word256 -> Word256 -> Word256 #

Bitwise xor

complement :: Word256 -> Word256 #

Bitwise complement

shiftL :: Word256 -> Int -> Word256 #

Bitwise Shift Left

shiftR :: Word256 -> Int -> Word256 #

Bitwise Shift Right

rotateL :: Word256 -> Int -> Word256 #

Bitwise rotate Left

rotateR :: Word256 -> Int -> Word256 #

Bitwise rotate Left

popCount :: Word256 -> Int #

Population count