Atrophy

Documentation

newtype NonZero a

Constructors

NonZero a

Instances

(Bounded a, Num a) => Bounded (NonZero a)

Defined in Atrophy.Internal

Methods

minBound :: NonZero a

maxBound :: NonZero a

Num a => Num (NonZero a)

Defined in Atrophy.Internal

Methods

(+) :: NonZero a -> NonZero a -> NonZero a

(-) :: NonZero a -> NonZero a -> NonZero a

(*) :: NonZero a -> NonZero a -> NonZero a

negate :: NonZero a -> NonZero a

abs :: NonZero a -> NonZero a

signum :: NonZero a -> NonZero a

fromInteger :: Integer -> NonZero a

Show a => Show (NonZero a)

Defined in Atrophy.Internal

Methods

showsPrec :: Int -> NonZero a -> ShowS

show :: NonZero a -> String

showList :: [NonZero a] -> ShowS

isPowerOf2 :: (Bits a, Num a) => a -> Bool

new64 :: NonZero Word64 -> StrengthReducedW64

divRem64 :: (HasField "divisor" strRed a, HasField "multiplier" strRed Word128, Integral a, FiniteBits a) => a -> strRed -> (a, a)

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)

new :: (Bits t, Integral t, Bounded (Multiplier t), Integral (Multiplier t)) => (Multiplier t -> t -> a) -> NonZero t -> a

div64 :: (HasField "divisor" r b, HasField "multiplier" r Word128, Integral b, FiniteBits b) => b -> r -> b

rem64 :: (HasField "divisor" r b, HasField "multiplier" r Word128, Integral b, FiniteBits b) => b -> r -> b

div' :: (HasField "divisor" strRed b, HasField "multiplier" strRed w, Integral b, FiniteBits b, Integral w, FiniteBits (Half w), Bits w) => b -> strRed -> b

rem' :: (HasField "divisor" strRed b, HasField "multiplier" strRed w, Integral b, FiniteBits b, Integral w, FiniteBits (Half w), Bits w) => b -> strRed -> b

lower128 :: Word128 -> Word128

upper128 :: Word128 -> Word128

lowerHalf :: forall w. (FiniteBits (Half w), Bits w) => w -> w

upperHalf :: forall w. (Bits w, FiniteBits (Half w)) => w -> w

type family Multiplier a where ...

Equations

Multiplier Word64 = Word128

Multiplier Word32 = Word64

Multiplier Word16 = Word32

Multiplier Word8 = Word16

type family Half a where ...

Equations

Half Word128 = Word64

Half Word64 = Word32

Half Word32 = Word16

Half Word16 = Word8

data StrengthReducedW64

Constructors

StrengthReducedW64

Fields

• multiplier :: !Word128
• divisor :: !Word64

data StrengthReducedW32

Constructors

StrengthReducedW32

Fields

• multiplier :: !Word64
• divisor :: !Word32

data StrengthReducedW16

Constructors

StrengthReducedW16

Fields

• multiplier :: !Word32
• divisor :: !Word16

data StrengthReducedW8

Constructors

StrengthReducedW7

Fields

• multiplier :: !Word16
• divisor :: !Word8

data StrengthReducedW128

Constructors

StrengthReducedW128

Fields

• multiplierHi :: !Word128
• multiplierLo :: !Word128
• divisor :: !Word128

module Atrophy.LongMultiplication

module Atrophy.LongDivision

data StrengthReducedW128

Constructors

StrengthReducedW128

Fields

• multiplierHi :: !Word128
• multiplierLo :: !Word128
• divisor :: !Word128

data StrengthReducedW64

Constructors

StrengthReducedW64

Fields

• multiplier :: !Word128
• divisor :: !Word64

data StrengthReducedW32

Constructors

StrengthReducedW32

Fields

• multiplier :: !Word64
• divisor :: !Word32

data StrengthReducedW16

Constructors

StrengthReducedW16

Fields

• multiplier :: !Word32
• divisor :: !Word16

data StrengthReducedW8

Constructors

StrengthReducedW7

Fields

• multiplier :: !Word16
• divisor :: !Word8