Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
NonZero a |
divRem64 :: (HasField "divisor" strRed a, HasField "multiplier" strRed Word128, Integral a, FiniteBits a) => a -> strRed -> (a, a) Source #
divRem :: forall strRed a b. (HasField "divisor" strRed a, HasField "multiplier" strRed b, Integral a, FiniteBits a, Integral b, FiniteBits (Half b), Bits b) => a -> strRed -> (a, a) Source #
new :: (Bits t, Integral t, Bounded (Multiplier t), Integral (Multiplier t)) => (Multiplier t -> t -> a) -> NonZero t -> a Source #
div64 :: (HasField "divisor" r b, HasField "multiplier" r Word128, Integral b, FiniteBits b) => b -> r -> b Source #
rem64 :: (HasField "divisor" r b, HasField "multiplier" r Word128, Integral b, FiniteBits b) => b -> r -> b Source #
div' :: (HasField "divisor" strRed b, HasField "multiplier" strRed w, Integral b, FiniteBits b, Integral w, FiniteBits (Half w), Bits w) => b -> strRed -> b Source #
rem' :: (HasField "divisor" strRed b, HasField "multiplier" strRed w, Integral b, FiniteBits b, Integral w, FiniteBits (Half w), Bits w) => b -> strRed -> b Source #
type family Multiplier a where ... Source #
data StrengthReducedW64 Source #
StrengthReducedW64 | |
|
data StrengthReducedW32 Source #
StrengthReducedW32 | |
|
data StrengthReducedW16 Source #
StrengthReducedW16 | |
|
data StrengthReducedW8 Source #
StrengthReducedW7 | |
|
data StrengthReducedW128 Source #
StrengthReducedW128 | |
|
module Atrophy.LongMultiplication
module Atrophy.LongDivision
data StrengthReducedW128 Source #
StrengthReducedW128 | |
|
data StrengthReducedW64 Source #
StrengthReducedW64 | |
|
data StrengthReducedW32 Source #
StrengthReducedW32 | |
|
data StrengthReducedW16 Source #
StrengthReducedW16 | |
|
data StrengthReducedW8 Source #
StrengthReducedW7 | |
|