Bounded Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Enum Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Eq Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Num Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Ord Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Show Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Storable Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Bits Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
HasNegation Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Integral Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
IsNatural Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
IsIntegral Word256 Source # | |
Instance detailsDefined in Basement.Types.Word256 |
Subtractive Word256 Source # | |
Instance detailsDefined in Basement.Numerical.Subtractive |
Additive Word256 Source # | |
Instance detailsDefined in Basement.Numerical.Additive |
IDivisible Word256 Source # | |
Instance detailsDefined in Basement.Numerical.Multiplicative |
Multiplicative Word256 Source # | |
Instance detailsDefined in Basement.Numerical.Multiplicative |
PrimMemoryComparable Word256 Source # | |
Instance detailsDefined in Basement.PrimType |
PrimType Word256 Source # | |
Instance detailsDefined in Basement.PrimType |
NormalForm Word256 Source # | |
Instance detailsDefined in Basement.NormalForm |
BitOps Word256 Source # | |
Instance detailsDefined in Basement.Bits |
FiniteBitsOps Word256 Source # | |
Instance detailsDefined in Basement.Bits |
From Word8 Word256 Source # | |
Instance detailsDefined in Basement.From |
From Word16 Word256 Source # | |
Instance detailsDefined in Basement.From |
From Word32 Word256 Source # | |
Instance detailsDefined in Basement.From |
From Word64 Word256 Source # | |
Instance detailsDefined in Basement.From |
From Word128 Word256 Source # | |
Instance detailsDefined in Basement.From |
(KnownNat n, NatWithinBound Word256 n) => From (Zn n) Word256 Source # | |
Instance detailsDefined in Basement.From |
From (Zn64 n) Word256 Source # | |
Instance detailsDefined in Basement.From |
type NatNumMaxBound Word256 Source # | |
Instance detailsDefined in Basement.Nat type NatNumMaxBound Word256 = 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
type Difference Word256 Source # | |
Instance detailsDefined in Basement.Numerical.Subtractive |
type PrimSize Word256 Source # | |
Instance detailsDefined in Basement.PrimType |