obiloud / numeric-decimal / Numeric.Decimal.Rounding

Definition


type RoundingAlgorythm
    = RoundDown
    | RoundUp
    | RoundTowardsZero
    | RoundAwayFromZero
    | HalfUp
    | HalfDown
    | HalfTowardsZero
    | HalfAwayFromZero
    | HalfToEven
    | HalfToOdd

Rounding Algorythm

Helpers

getRounder : RoundingAlgorythm -> Numeric.Nat.Nat -> Basics.Int -> Basics.Int

Returns rounding function matched by RoundongAlgorythm