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