Basement.Types.Word256

Documentation

data Word256

256 bits Word

Constructors

Word256 !Word64 !Word64 !Word64 !Word64

Instances

Bounded Word256

Methods

minBound :: Word256

maxBound :: Word256

Enum Word256

Methods

succ :: Word256 -> Word256

pred :: Word256 -> Word256

toEnum :: Int -> Word256

fromEnum :: Word256 -> Int

enumFrom :: Word256 -> [Word256]

enumFromThen :: Word256 -> Word256 -> [Word256]

enumFromTo :: Word256 -> Word256 -> [Word256]

enumFromThenTo :: Word256 -> Word256 -> Word256 -> [Word256]

Eq Word256

Methods

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

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

Num Word256

Methods

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

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

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

negate :: Word256 -> Word256

abs :: Word256 -> Word256

signum :: Word256 -> Word256

fromInteger :: Integer -> Word256

Ord Word256

Methods

compare :: Word256 -> Word256 -> Ordering

(<) :: Word256 -> Word256 -> Bool

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

(>) :: Word256 -> Word256 -> Bool

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

max :: Word256 -> Word256 -> Word256

min :: Word256 -> Word256 -> Word256

Show Word256

Methods

showsPrec :: Int -> Word256 -> ShowS

show :: Word256 -> String

showList :: [Word256] -> ShowS

Storable Word256

Methods

sizeOf :: Word256 -> Int

alignment :: Word256 -> Int

peekElemOff :: Ptr Word256 -> Int -> IO Word256

pokeElemOff :: Ptr Word256 -> Int -> Word256 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Word256

pokeByteOff :: Ptr b -> Int -> Word256 -> IO ()

peek :: Ptr Word256 -> IO Word256

poke :: Ptr Word256 -> Word256 -> IO ()

Bits Word256

Methods

(.&.) :: Word256 -> Word256 -> Word256

(.|.) :: Word256 -> Word256 -> Word256

xor :: Word256 -> Word256 -> Word256

complement :: Word256 -> Word256

shift :: Word256 -> Int -> Word256

rotate :: Word256 -> Int -> Word256

zeroBits :: Word256

bit :: Int -> Word256

setBit :: Word256 -> Int -> Word256

clearBit :: Word256 -> Int -> Word256

complementBit :: Word256 -> Int -> Word256

testBit :: Word256 -> Int -> Bool

bitSizeMaybe :: Word256 -> Maybe Int

bitSize :: Word256 -> Int

isSigned :: Word256 -> Bool

shiftL :: Word256 -> Int -> Word256

unsafeShiftL :: Word256 -> Int -> Word256

shiftR :: Word256 -> Int -> Word256

unsafeShiftR :: Word256 -> Int -> Word256

rotateL :: Word256 -> Int -> Word256

rotateR :: Word256 -> Int -> Word256

popCount :: Word256 -> Int

HasNegation Word256

Methods

negate :: Word256 -> Word256

Integral Word256

Methods

fromInteger :: Integer -> Word256

IsNatural Word256

Methods

toNatural :: Word256 -> Natural

IsIntegral Word256

Methods

toInteger :: Word256 -> Integer

Subtractive Word256

Associated Types

type Difference Word256 :: *

Methods

(-) :: Word256 -> Word256 -> Difference Word256

Additive Word256

Methods

azero :: Word256

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

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

IDivisible Word256

Methods

div :: Word256 -> Word256 -> Word256

mod :: Word256 -> Word256 -> Word256

divMod :: Word256 -> Word256 -> (Word256, Word256)

Multiplicative Word256

Methods

midentity :: Word256

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

(^) :: (IsNatural n, IDivisible n) => Word256 -> n -> Word256

PrimMemoryComparable Word256

PrimType Word256

Associated Types

type PrimSize Word256 :: Nat

Methods

primSizeInBytes :: Proxy * Word256 -> CountOf Word8

primShiftToBytes :: Proxy * Word256 -> Int

primBaUIndex :: ByteArray# -> Offset Word256 -> Word256

primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word256 -> prim Word256

primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word256 -> Word256 -> prim ()

primAddrIndex :: Addr# -> Offset Word256 -> Word256

primAddrRead :: PrimMonad prim => Addr# -> Offset Word256 -> prim Word256

primAddrWrite :: PrimMonad prim => Addr# -> Offset Word256 -> Word256 -> prim ()

NormalForm Word256

Methods

toNormalForm :: Word256 -> ()

BitOps Word256

Methods

(.&.) :: Word256 -> Word256 -> Word256

(.|.) :: Word256 -> Word256 -> Word256

(.^.) :: Word256 -> Word256 -> Word256

(.<<.) :: Word256 -> CountOf Bool -> Word256

(.>>.) :: Word256 -> CountOf Bool -> Word256

bit :: Offset Bool -> Word256

isBitSet :: Word256 -> Offset Bool -> Bool

setBit :: Word256 -> Offset Bool -> Word256

clearBit :: Word256 -> Offset Bool -> Word256

FiniteBitsOps Word256

Methods

numberOfBits :: Word256 -> CountOf Bool

rotateL :: Word256 -> CountOf Bool -> Word256

rotateR :: Word256 -> CountOf Bool -> Word256

popCount :: Word256 -> CountOf Bool

bitFlip :: Word256 -> Word256

countLeadingZeros :: Word256 -> CountOf Bool

countTrailingZeros :: Word256 -> CountOf Bool

From Word8 Word256

Methods

from :: Word8 -> Word256

From Word16 Word256

Methods

from :: Word16 -> Word256

From Word32 Word256

Methods

from :: Word32 -> Word256

From Word64 Word256

Methods

from :: Word64 -> Word256

(KnownNat n, NatWithinBound Word256 n) => From (Zn n) Word256

Methods

from :: Zn n -> Word256

From (Zn64 n) Word256

Methods

from :: Zn64 n -> Word256

type NatNumMaxBound Word256

type NatNumMaxBound Word256 = 115792089237316195423570985008687907853269984665640564039457584007913129639935

type Difference Word256

type Difference Word256 = Word256

type PrimSize Word256

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

fromNatural :: Natural -> Word256