div package:clash-prelude

div :: Integral a => a -> a -> a

integer division truncated toward negative infinity

simultaneous div and mod

Divide a base-2 encoded natural number by 2 NB: Not synthesizable

Subtract 1 and divide a base-2 encoded natural number by 2 NB: Not synthesizable

Fixed point division When used in a polymorphic setting, use the following Constraint synonyms for less verbose type signatures:

DivideC rep int1 frac1 int2 frac2 for: Fixed rep int1 frac1 -> Fixed rep int2 frac2 -> Fixed rep (int1 + frac2 + 1) (int2 + frac1)
DivideSC rep int1 frac1 int2 frac2 for: SFixed int1 frac1 -> SFixed int2 frac2 -> SFixed (int1 + frac2 + 1) (int2 + frac1)
DivideUC rep int1 frac1 int2 frac2 for: UFixed int1 frac1 -> UFixed int2 frac2 -> UFixed (int1 + frac2 + 1) (int2 + frac1)

type DivideC rep int1 frac1 int2 frac2 = (Resize rep, Integral (rep (((int1 + frac2) + 1) + (int2 + frac1))), Bits (rep (((int1 + frac2) + 1) + (int2 + frac1))), KnownNat int1, KnownNat frac1, KnownNat int2, KnownNat frac2)

Constraint for the divide function

type DivideSC int1 frac1 int2 frac2 = (KnownNat (((int1 + frac2) + 1) + (int2 + frac1)), KnownNat frac2, KnownNat int2, KnownNat frac1, KnownNat int1)

Constraint for the divide function, specialized for SFixed

type DivideUC int1 frac1 int2 frac2 = DivideSC int1 frac1 int2 frac2

Constraint for the divide function, specialized for UFixed