README About Versions Source Modules

Numeric.Decimal.Rounding

Definition

type RoundingAlgorythm

= RoundDown

| RoundUp

| RoundTowardsZero

| RoundAwayFromZero

| HalfUp

| HalfDown

| HalfTowardsZero

| HalfAwayFromZero

| HalfToEven

| HalfToOdd

Rounding Algorythm

Helpers

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

Returns rounding function matched by RoundongAlgorythm

Modules