basement-0.0.6: Foundation scrap box of array & string

Safe HaskellNone
LanguageHaskell2010

Basement.Types.Word256

Synopsis

Documentation

data Word256 Source #

256 bits Word

Constructors

Word256 !Word64 !Word64 !Word64 !Word64 

Instances

Bounded Word256 Source # 
Enum Word256 Source # 
Eq Word256 Source # 

Methods

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

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

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

Associated Types

type Difference Word256 :: * Source #

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

Methods

toNormalForm :: Word256 -> () Source #

From Word8 Word256 Source # 

Methods

from :: Word8 -> Word256 Source #

From Word16 Word256 Source # 

Methods

from :: Word16 -> Word256 Source #

From Word32 Word256 Source # 

Methods

from :: Word32 -> Word256 Source #

From Word64 Word256 Source # 

Methods

from :: Word64 -> Word256 Source #

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

Methods

from :: Zn n -> Word256 Source #

From (Zn64 n) Word256 Source # 

Methods

from :: Zn64 n -> Word256 Source #

type NatNumMaxBound Word256 Source # 
type NatNumMaxBound Word256 = 115792089237316195423570985008687907853269984665640564039457584007913129639935
type Difference Word256 Source # 
type PrimSize Word256 Source # 
type PrimSize Word256 = 32

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

Add 2 Word256

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

Subtract 2 Word256

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

Multiplication

quot :: Word256 -> Word256 -> Word256 Source #

Division