NOTE: the latest version is 3.0.1

README About Versions Source Modules

Numeric.Decimal.Rounding

Definition

type RoundingAlgorythm

= RoundDown

| RoundTowardsZero

| HalfToEven

Rounding Algorythm

Helpers

getRounder : RoundingAlgorythm -> Nat -> Int -> Int

Returns rounding function matched by RoundongAlgorythm

Modules