Money

Import this module qualified as follows:

import qualified Money

Note: This module exports support for many well-known currencies out-of-the-box, but you are not limited to the currencies mentioned here. You can simply create a new UnitScale instance, and voilà. If you want to add a new currency to the out-of-the-box offer, please request so in https://github.com/k0001/safe-money/issues and the authors will see to it.

This module offers plenty of documentation, but for a deep explanation of how all of the pieces fit together, please read https://ren.zone/articles/safe-money. Notice, however, that this library has changed a bit since that article was written. You can always see the change log to understand what has changed.

Also, keep in mind that useful instances for the many types defined by safe-money can be found in these other libraries:

• safe-money-aeson: FromJSON and ToJSON instances (from the aeson library).
• safe-money-cereal: Serialize instances (from the cereal library).
• safe-money-serialise: Serialise instances (from the serialise library).
• safe-money-store: Store instances (from the store library).
• safe-money-xmlbf: FromXml and ToXml instances (from the xmlbf library).

Dense monetary values

data Dense (currency :: Symbol)

Dense represents a dense monetary value for currency (usually a ISO-4217 currency code, but not necessarily) as a rational number.

While monetary values associated with a particular currency are discrete (e.g., an exact number of coins and bills), you can still treat monetary values as dense while operating on them. For example, the half of USD 3.41 is USD 1.705, which is not an amount that can't be represented as a number of USD cents (the smallest unit that can represent USD amounts). Nevertheless, if you do manage to represent USD 1.709 somehow, and you eventually multiply USD 1.705 by 4 for example, then you end up with USD 6.82, which is again a value representable as USD cents. In other words, Dense monetary values allow us to perform precise calculations deferring the conversion to a Discrete monetary values as much as posible. Once you are ready to approximate a Dense value to a Discrete value you can use one discreteFromDense. Otherwise, using toRational you can obtain a precise Rational representation.

Instances

Eq (Dense currency)

Methods

(==) :: Dense currency -> Dense currency -> Bool

(/=) :: Dense currency -> Dense currency -> Bool

ErrFractionalDense => Fractional (Dense currency)

Methods

(/) :: Dense currency -> Dense currency -> Dense currency

recip :: Dense currency -> Dense currency

fromRational :: Rational -> Dense currency

Num (Dense currency)

Notice that multiplication of Dense values doesn't make sense:

(*) :: Dense currency -> Dense currency -> Dense currency

How is * implemented, then? It behaves as the scalar multiplication of a Dense amount by a Rational scalar. That is, you can think of * as having one of the the following types:

(*) :: Rational -> Dense currency -> Dense currency

(*) :: Dense currency -> Rational -> Dense currency@

That is:

dense' (1 % 4) * dense' (1 % 2)  ==  dense' (1 % 8)

In fact, * functions exactly as *^ from the VectorSpace instance.

(*)  ==  (*^)

(*)  ==  flip (*^)

Methods

(+) :: Dense currency -> Dense currency -> Dense currency

(-) :: Dense currency -> Dense currency -> Dense currency

(*) :: Dense currency -> Dense currency -> Dense currency

negate :: Dense currency -> Dense currency

abs :: Dense currency -> Dense currency

signum :: Dense currency -> Dense currency

fromInteger :: Integer -> Dense currency

Ord (Dense currency)

Methods

compare :: Dense currency -> Dense currency -> Ordering

(<) :: Dense currency -> Dense currency -> Bool

(<=) :: Dense currency -> Dense currency -> Bool

(>) :: Dense currency -> Dense currency -> Bool

(>=) :: Dense currency -> Dense currency -> Bool

max :: Dense currency -> Dense currency -> Dense currency

min :: Dense currency -> Dense currency -> Dense currency

KnownSymbol currency => Read (Dense currency)

Methods

readsPrec :: Int -> ReadS (Dense currency)

readList :: ReadS [Dense currency]

readPrec :: ReadPrec (Dense currency)

readListPrec :: ReadPrec [Dense currency]

Real (Dense currency)

Methods

toRational :: Dense currency -> Rational

KnownSymbol currency => Show (Dense currency)

> show (dense' (1 % 3) :: Dense "USD")
"Dense \"USD\" 1%3"

Methods

showsPrec :: Int -> Dense currency -> ShowS

show :: Dense currency -> String

showList :: [Dense currency] -> ShowS

Generic (Dense currency)

Associated Types

type Rep (Dense currency) :: * -> *

Methods

from :: Dense currency -> Rep (Dense currency) x

to :: Rep (Dense currency) x -> Dense currency

Arbitrary (Dense currency)

Methods

arbitrary :: Gen (Dense currency)

shrink :: Dense currency -> [Dense currency]

KnownSymbol currency => Binary (Dense currency)

Compatible with SomeDense.

Methods

put :: Dense currency -> Put

get :: Get (Dense currency)

putList :: [Dense currency] -> Put

NFData (Dense currency)

Methods

rnf :: Dense currency -> ()

Hashable (Dense currency)

Methods

hashWithSalt :: Int -> Dense currency -> Int

hash :: Dense currency -> Int

VectorSpace (Dense currency)

WARNING a scalar with a zero denominator will cause *^ to crash.

Associated Types

type Scalar (Dense currency) :: *

Methods

(*^) :: Scalar (Dense currency) -> Dense currency -> Dense currency

AdditiveGroup (Dense currency)

Methods

zeroV :: Dense currency

(^+^) :: Dense currency -> Dense currency -> Dense currency

negateV :: Dense currency -> Dense currency

(^-^) :: Dense currency -> Dense currency -> Dense currency

type Rep (Dense currency)

type Rep (Dense currency) = D1 (MetaData "Dense" "Money.Internal" "safe-money-0.8.1-inplace" True) (C1 (MetaCons "Dense" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rational)))

type Scalar (Dense currency)

type Scalar (Dense currency) = Rational

denseCurrency :: KnownSymbol currency => Dense currency -> Text

Dense currency identifier.

> denseCurrency (dense' 4 :: Dense "USD")
"USD"

dense :: Rational -> Maybe (Dense currency)

Build a Dense monetary value from a Rational value.

For example, if you want to represent USD 12.52316, then you can use:

dense (125316 % 10000)

Notice that dense returns Nothing in case the given Rational's denominator is zero, which although unlikely, it is possible if the Rational was unsafely constructed. When dealing with hardcoded or trusted Rational values, you can use dense' instead of dense which unsafely constructs a Dense.

dense' :: Rational -> Dense currency

Unsafely build a Dense monetary value from a Rational value. Contrary to dense, this function *crashes* if the given Rational has zero as a denominator, which is something very unlikely to happen unless the given Rational was itself unsafely constructed. Other than that, dense and dense' behave the same.

Prefer to use dense when dealing with Rational inputs from untrusted sources.

denominator x /= 0
  ⇒ dense x == Just (dense' x)

denominator x == 0
  ⇒ undefined == dense' x

denseFromDiscrete

Arguments

:: GoodScale scale

=> Discrete' currency scale

-> Dense currency

Convert currency Discrete monetary value into a Dense monetary value.

denseFromDecimal

Arguments

:: DecimalConf

Config to use for parsing the decimal number.

Notice that a leading '-' or '+' will always be correctly interpreted, notwithstanding what the “leading '+'” policy is on the given DecimalConf.

-> Text

The raw string containing the decimal representation (e.g., "-1,234.56789").

-> Maybe (Dense currency)

Parses a decimal representation of a Dense.

denseToDecimal

Arguments

:: DecimalConf

Config to use for rendering the decimal number.

-> Approximation

Approximation to use if necessary in order to fit the Dense amount in as many decimal numbers as requested.

-> Dense currency

The monetary amount to render.

-> Text

Render a Dense monetary amount as a decimal number in a potentially lossy manner.

> denseToDecimal defaultDecimalConf Round
     (dense' (123456 % 100) :: Dense "USD")
"1234.56"

Discrete monetary values

type Discrete (currency :: Symbol) (unit :: Symbol) = Discrete' currency (UnitScale currency unit)

Discrete represents a discrete monetary value for a currency expresed as an integer amount of a particular unit. For example, with currency ~ "USD" and unit ~ "cent" you can represent United States Dollars to their full extent.

currency is usually a ISO-4217 currency code, but not necessarily.

Construct Discrete values using discrete, fromIntegral, fromInteger, discreteFromDense, discreteFromDecimal.

For example, if you want to represent GBP 21.05, where the smallest represetable unit for a GBP (United Kingdom Pound) is the penny, and 100 pennies equal 1 GBP (i.e., UnitScale "GBP" "penny" ~ '(100, 1)), then you can use:

discrete 2105 :: Discrete "GBP" "penny"

Because 2015 / 100 == 20.15.

data Discrete' (currency :: Symbol) (scale :: (Nat, Nat))

Discrete' represents a discrete monetary value for a currency expresed as amount of scale, which is a rational number expressed as (numerator, denominator).

You'll be using Discrete instead of Discrete' most of the time, which mentions the unit name (such as cent or centavo) instead of explicitely mentioning the unit scale.

Instances

GoodScale scale => Enum (Discrete' currency scale)

Methods

succ :: Discrete' currency scale -> Discrete' currency scale

pred :: Discrete' currency scale -> Discrete' currency scale

toEnum :: Int -> Discrete' currency scale

fromEnum :: Discrete' currency scale -> Int

enumFrom :: Discrete' currency scale -> [Discrete' currency scale]

enumFromThen :: Discrete' currency scale -> Discrete' currency scale -> [Discrete' currency scale]

enumFromTo :: Discrete' currency scale -> Discrete' currency scale -> [Discrete' currency scale]

enumFromThenTo :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale -> [Discrete' currency scale]

GoodScale scale => Eq (Discrete' currency scale)

Methods

(==) :: Discrete' currency scale -> Discrete' currency scale -> Bool

(/=) :: Discrete' currency scale -> Discrete' currency scale -> Bool

(ErrFractionalDiscrete, GoodScale scale) => Fractional (Discrete' currency scale)

Methods

(/) :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

recip :: Discrete' currency scale -> Discrete' currency scale

fromRational :: Rational -> Discrete' currency scale

GoodScale scale => Integral (Discrete' currency scale)

Methods

quot :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

rem :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

div :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

mod :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

quotRem :: Discrete' currency scale -> Discrete' currency scale -> (Discrete' currency scale, Discrete' currency scale)

divMod :: Discrete' currency scale -> Discrete' currency scale -> (Discrete' currency scale, Discrete' currency scale)

toInteger :: Discrete' currency scale -> Integer

GoodScale scale => Num (Discrete' currency scale)

Notice that multiplication of Discrete' values doesn't make sense:

(*) :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

How is * implemented, then? It behaves as the scalar multiplication of a Discrete' amount by an Integer scalar. That is, you can think of * as having one of the the following types:

(*) :: Integer -> Discrete' currency scale -> Discrete' currency scale

(*) :: Discrete' currency scale -> Integer -> Discrete' currency scale@

That is:

discrete 2 * discrete 4  ==  discrete 8

In fact, * functions exactly as *^ from the VectorSpace instance.

(*)  ==  (*^)

(*)  ==  flip (*^)

Methods

(+) :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

(-) :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

(*) :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

negate :: Discrete' currency scale -> Discrete' currency scale

abs :: Discrete' currency scale -> Discrete' currency scale

signum :: Discrete' currency scale -> Discrete' currency scale

fromInteger :: Integer -> Discrete' currency scale

GoodScale scale => Ord (Discrete' currency scale)

Methods

compare :: Discrete' currency scale -> Discrete' currency scale -> Ordering

(<) :: Discrete' currency scale -> Discrete' currency scale -> Bool

(<=) :: Discrete' currency scale -> Discrete' currency scale -> Bool

(>) :: Discrete' currency scale -> Discrete' currency scale -> Bool

(>=) :: Discrete' currency scale -> Discrete' currency scale -> Bool

max :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

min :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

(KnownSymbol currency, GoodScale scale) => Read (Discrete' currency scale)

Methods

readsPrec :: Int -> ReadS (Discrete' currency scale)

readList :: ReadS [Discrete' currency scale]

readPrec :: ReadPrec (Discrete' currency scale)

readListPrec :: ReadPrec [Discrete' currency scale]

GoodScale scale => Real (Discrete' currency scale)

Methods

toRational :: Discrete' currency scale -> Rational

(KnownSymbol currency, GoodScale scale) => Show (Discrete' currency scale)

> show (discrete 123 :: Discrete "USD" "cent")
"Discrete \"USD\" 100%1 123"

Methods

showsPrec :: Int -> Discrete' currency scale -> ShowS

show :: Discrete' currency scale -> String

showList :: [Discrete' currency scale] -> ShowS

GoodScale scale => Generic (Discrete' currency scale)

Associated Types

type Rep (Discrete' currency scale) :: * -> *

Methods

from :: Discrete' currency scale -> Rep (Discrete' currency scale) x

to :: Rep (Discrete' currency scale) x -> Discrete' currency scale

GoodScale scale => Arbitrary (Discrete' currency scale)

Methods

arbitrary :: Gen (Discrete' currency scale)

shrink :: Discrete' currency scale -> [Discrete' currency scale]

(KnownSymbol currency, GoodScale scale) => Binary (Discrete' currency scale)

Compatible with SomeDiscrete.

Methods

put :: Discrete' currency scale -> Put

get :: Get (Discrete' currency scale)

putList :: [Discrete' currency scale] -> Put

GoodScale scale => NFData (Discrete' currency scale)

Methods

rnf :: Discrete' currency scale -> ()

GoodScale scale => Hashable (Discrete' currency scale)

Methods

hashWithSalt :: Int -> Discrete' currency scale -> Int

hash :: Discrete' currency scale -> Int

GoodScale scale => VectorSpace (Discrete' currency scale)

Associated Types

type Scalar (Discrete' currency scale) :: *

Methods

(*^) :: Scalar (Discrete' currency scale) -> Discrete' currency scale -> Discrete' currency scale

GoodScale scale => AdditiveGroup (Discrete' currency scale)

Methods

zeroV :: Discrete' currency scale

(^+^) :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

negateV :: Discrete' currency scale -> Discrete' currency scale

(^-^) :: Discrete' currency scale -> Discrete' currency scale -> Discrete' currency scale

type Rep (Discrete' currency scale)

type Rep (Discrete' currency scale) = D1 (MetaData "Discrete'" "Money.Internal" "safe-money-0.8.1-inplace" True) (C1 (MetaCons "Discrete" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

type Scalar (Discrete' currency scale)

type Scalar (Discrete' currency scale) = Integer

discrete :: GoodScale scale => Integer -> Discrete' currency scale

Construct a Discrete value.

discreteCurrency

Arguments

:: (KnownSymbol currency, GoodScale scale)

=> Discrete' currency scale

-> Text

Discrete currency identifier.

> discreteCurrency (discrete 4 :: Discrete "USD" "cent")
"USD"

discreteFromDense

Arguments

:: GoodScale scale

=> Approximation

Approximation to use if necessary in order to fit the Dense amount in the requested scale.

-> Dense currency

-> (Discrete' currency scale, Dense currency)

Approximate a Dense value x to the nearest value fully representable a given scale.

If the given Dense doesn't fit entirely in the scale, then a non-zero Dense reminder is returned alongside the Discrete approximation.

Proof that discreteFromDense doesn't lose money:

x == case discreteFromDense a x of
        (y, z) -> denseFromDiscrete y + z

discreteFromDecimal

Arguments

:: GoodScale scale

=> DecimalConf

Config to use for parsing the decimal number.

Notice that a leading '-' or '+' will always be correctly interpreted, notwithstanding what the “leading '+'” policy is on the given DecimalConf.

-> Text

The raw string containing the decimal representation (e.g., "-1,234.56789").

-> Maybe (Discrete' currency scale)

Parses a decimal representation of a Discrete.

Notice that parsing will fail unless the entire precision of the decimal number can be represented in the desired scale.

discreteToDecimal

Arguments

:: GoodScale scale

=> DecimalConf

Config to use for rendering the decimal number.

-> Approximation

Approximation to use if necessary in order to fit the Discrete amount in as many decimal numbers as requested.

-> Discrete' currency scale

The monetary amount to render.

-> Text

Render a Discrete' monetary amount as a decimal number in a potentially lossy manner.

This is simply a convenient wrapper around denseToDecimal:

discreteToDecimal ds a (dis :: Discrete' currency scale)
    == denseToDecimal ds a (denseFromDiscrete dis :: Dense currency)

In particular, the scale in Discrete' currency scale has no influence over the scale in which the decimal number is rendered. Change the scale with decimalConf_scale in order to modify that behavior.

Please refer to denseToDecimal for further documentation.

Currency scales

data Scale

This is the term-level representation of the “scale” we represent as (Nat, Nat) elsewhere in the type system (e.g., in GoodScale or UnitScale).

See UnitScale for a detailed description.

Instances

Eq Scale

Methods

(==) :: Scale -> Scale -> Bool

(/=) :: Scale -> Scale -> Bool

Ord Scale

Methods

compare :: Scale -> Scale -> Ordering

(<) :: Scale -> Scale -> Bool

(<=) :: Scale -> Scale -> Bool

(>) :: Scale -> Scale -> Bool

(>=) :: Scale -> Scale -> Bool

max :: Scale -> Scale -> Scale

min :: Scale -> Scale -> Scale

Show Scale

Methods

showsPrec :: Int -> Scale -> ShowS

show :: Scale -> String

showList :: [Scale] -> ShowS

Generic Scale

Associated Types

type Rep Scale :: * -> *

Methods

from :: Scale -> Rep Scale x

to :: Rep Scale x -> Scale

Arbitrary Scale

Methods

arbitrary :: Gen Scale

shrink :: Scale -> [Scale]

Binary Scale

Methods

put :: Scale -> Put

get :: Get Scale

putList :: [Scale] -> Put

NFData Scale

Methods

rnf :: Scale -> ()

Hashable Scale

Methods

hashWithSalt :: Int -> Scale -> Int

hash :: Scale -> Int

type Rep Scale

type Rep Scale = D1 (MetaData "Scale" "Money.Internal" "safe-money-0.8.1-inplace" True) (C1 (MetaCons "Scale" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rational)))

scaleFromRational :: Rational -> Maybe Scale

Construct a Scale from a positive, non-zero rational number.

scaleToRational :: Scale -> Rational

Obtain the Rational representation of a Scale.

scale

Arguments

:: GoodScale scale

=> proxy scale

-> Scale

Term-level representation of a currrency scale.

For example, the Scale for "USD" in "cent"s is 100/1. We can obtain a term-level representation for it using any of the following:

> scale (Proxy :: Proxy (UnitScale "USD" "cent"))
Scale (100 % 1)

> scale (Proxy :: CurrencyScale "USD")
Scale (100 % 1)

> scale (x :: Discrete "USD" "cent")
Scale (100 % 1)

The returned Rational is statically guaranteed to be a positive number.

type family UnitScale (currency :: Symbol) (unit :: Symbol) :: (Nat, Nat)

UnitScale currency unit is an rational number (expressed as '(numerator, denominator)) indicating how many pieces of unit fit in currency.

currency is usually a ISO-4217 currency code, but not necessarily.

The resulting (Nat, Nat), which is the type-level representation for what at the term-level we call Scale, will determine how to convert a Dense value into a Discrete value and vice-versa.

For example, there are 100 USD cents in 1 USD, so the scale for this relationship is:

type instance UnitScale "USD" "cent" = '(100, 1)

As another example, there is 1 dollar in USD, so the scale for this relationship is:

type instance UnitScale "USD" "dollar" = '(1, 1)

When using Discrete values to represent money, it will be impossible to represent an amount of currency smaller than unit. So, if you decide to use UnitScale "USD" "dollar" as your scale, you will not be able to represent values such as USD 3.50 or USD 21.87 becacuse they are not exact multiples of a dollar.

For some monetary values, such as precious metals, there is no smallest representable unit, since you can repeatedly split the precious metal many times before it stops being a precious metal. Nevertheless, for practical purposes we can make a sane arbitrary choice of smallest unit. For example, the base unit for XAU (Gold) is the troy ounce, which is too big to be considered the smallest unit, but we can arbitrarily choose the milligrain as our smallest unit, which is about as heavy as a single grain of table salt and should be sufficiently precise for all monetary practical purposes. A troy ounce equals 480000 milligrains.

type instance UnitScale "XAU" "milligrain" = '(480000, 1)

You can use other units such as milligrams for measuring XAU, for example. However, since the amount of milligrams in a troy ounce (31103.477) is not integral, we need to use rational with a denominator different than 1 to express it.

type instance UnitScale "XAU" "milligram" = '(31103477, 1000)

If you try to obtain the UnitScale of a currency without an obvious smallest representable unit, like XAU, you will get a compile error.

Instances

type UnitScale "ADA" "ada"

type UnitScale "ADA" "ada" = (,) 1 1

type UnitScale "ADA" "lovelace"

type UnitScale "ADA" "lovelace" = (,) 1000000 1

type UnitScale "AED" "dirham"

type UnitScale "AED" "dirham" = (,) 1 1

type UnitScale "AED" "fils"

type UnitScale "AED" "fils" = (,) 100 1

type UnitScale "AFN" "afghani"

type UnitScale "AFN" "afghani" = (,) 1 1

type UnitScale "AFN" "pul"

type UnitScale "AFN" "pul" = (,) 100 1

type UnitScale "ALL" "lek"

type UnitScale "ALL" "lek" = (,) 1 1

type UnitScale "ALL" "qindarke"

type UnitScale "ALL" "qindarke" = (,) 100 1

type UnitScale "AMD" "dram"

type UnitScale "AMD" "dram" = (,) 1 1

type UnitScale "AMD" "luma"

type UnitScale "AMD" "luma" = (,) 100 1

type UnitScale "ANG" "cent"

type UnitScale "ANG" "cent" = (,) 100 1

type UnitScale "ANG" "guilder"

type UnitScale "ANG" "guilder" = (,) 1 1

type UnitScale "AOA" "centimo"

type UnitScale "AOA" "centimo" = (,) 100 1

type UnitScale "AOA" "kwanza"

type UnitScale "AOA" "kwanza" = (,) 1 1

type UnitScale "ARS" "centavo"

type UnitScale "ARS" "centavo" = (,) 100 1

type UnitScale "ARS" "peso"

type UnitScale "ARS" "peso" = (,) 1 1

type UnitScale "AUD" "cent"

type UnitScale "AUD" "cent" = (,) 100 1

type UnitScale "AUD" "dollar"

type UnitScale "AUD" "dollar" = (,) 1 1

type UnitScale "AWG" "cent"

type UnitScale "AWG" "cent" = (,) 100 1

type UnitScale "AWG" "florin"

type UnitScale "AWG" "florin" = (,) 1 1

type UnitScale "AZN" "manat"

type UnitScale "AZN" "manat" = (,) 1 1

type UnitScale "AZN" "qapik"

type UnitScale "AZN" "qapik" = (,) 100 1

type UnitScale "BAM" "fening"

type UnitScale "BAM" "fening" = (,) 100 1

type UnitScale "BAM" "mark"

type UnitScale "BAM" "mark" = (,) 1 1

type UnitScale "BBD" "cent"

type UnitScale "BBD" "cent" = (,) 100 1

type UnitScale "BBD" "dollar"

type UnitScale "BBD" "dollar" = (,) 1 1

type UnitScale "BDT" "paisa"

type UnitScale "BDT" "paisa" = (,) 100 1

type UnitScale "BDT" "taka"

type UnitScale "BDT" "taka" = (,) 1 1

type UnitScale "BGN" "lev"

type UnitScale "BGN" "lev" = (,) 1 1

type UnitScale "BGN" "stotinka"

type UnitScale "BGN" "stotinka" = (,) 100 1

type UnitScale "BHD" "dinar"

type UnitScale "BHD" "dinar" = (,) 1 1

type UnitScale "BHD" "fils"

type UnitScale "BHD" "fils" = (,) 1000 1

type UnitScale "BIF" "centime"

type UnitScale "BIF" "centime" = (,) 100 1

type UnitScale "BIF" "franc"

type UnitScale "BIF" "franc" = (,) 1 1

type UnitScale "BMD" "cent"

type UnitScale "BMD" "cent" = (,) 100 1

type UnitScale "BMD" "dollar"

type UnitScale "BMD" "dollar" = (,) 1 1

type UnitScale "BND" "dollar"

type UnitScale "BND" "dollar" = (,) 1 1

type UnitScale "BND" "sen"

type UnitScale "BND" "sen" = (,) 100 1

type UnitScale "BOB" "boliviano"

type UnitScale "BOB" "boliviano" = (,) 1 1

type UnitScale "BOB" "centavo"

type UnitScale "BOB" "centavo" = (,) 100 1

type UnitScale "BRL" "centavo"

type UnitScale "BRL" "centavo" = (,) 100 1

type UnitScale "BRL" "real"

type UnitScale "BRL" "real" = (,) 1 1

type UnitScale "BSD" "cent"

type UnitScale "BSD" "cent" = (,) 1 1

type UnitScale "BSD" "dollar"

type UnitScale "BSD" "dollar" = (,) 1 1

type UnitScale "BTC" "bitcoin"

type UnitScale "BTC" "bitcoin" = (,) 1 1

type UnitScale "BTC" "millibitcoin"

type UnitScale "BTC" "millibitcoin" = (,) 1000 1

type UnitScale "BTC" "satoshi"

type UnitScale "BTC" "satoshi" = (,) 100000000 1

type UnitScale "BTN" "chetrum"

type UnitScale "BTN" "chetrum" = (,) 100 1

type UnitScale "BTN" "ngultrum"

type UnitScale "BTN" "ngultrum" = (,) 1 1

type UnitScale "BWP" "pula"

type UnitScale "BWP" "pula" = (,) 1 1

type UnitScale "BWP" "thebe"

type UnitScale "BWP" "thebe" = (,) 100 1

type UnitScale "BYN" "kapiejka"

type UnitScale "BYN" "kapiejka" = (,) 100 1

type UnitScale "BYN" "ruble"

type UnitScale "BYN" "ruble" = (,) 1 1

type UnitScale "BYR" "kapiejka"

type UnitScale "BYR" "kapiejka" = (,) 100 1

type UnitScale "BYR" "ruble"

type UnitScale "BYR" "ruble" = (,) 1 1

type UnitScale "BZD" "cent"

type UnitScale "BZD" "cent" = (,) 100 1

type UnitScale "BZD" "dollar"

type UnitScale "BZD" "dollar" = (,) 1 1

type UnitScale "CAD" "cent"

type UnitScale "CAD" "cent" = (,) 100 1

type UnitScale "CAD" "dollar"

type UnitScale "CAD" "dollar" = (,) 1 1

type UnitScale "CDF" "centime"

type UnitScale "CDF" "centime" = (,) 100 1

type UnitScale "CDF" "franc"

type UnitScale "CDF" "franc" = (,) 1 1

type UnitScale "CHF" "franc"

type UnitScale "CHF" "franc" = (,) 1 1

type UnitScale "CHF" "rappen"

type UnitScale "CHF" "rappen" = (,) 100 1

type UnitScale "CLP" "centavo"

type UnitScale "CLP" "centavo" = (,) 100 1

type UnitScale "CLP" "peso"

type UnitScale "CLP" "peso" = (,) 1 1

type UnitScale "CNY" "fen"

type UnitScale "CNY" "fen" = (,) 100 1

type UnitScale "CNY" "yuan"

type UnitScale "CNY" "yuan" = (,) 1 1

type UnitScale "COP" "centavo"

type UnitScale "COP" "centavo" = (,) 100 1

type UnitScale "COP" "peso"

type UnitScale "COP" "peso" = (,) 1 1

type UnitScale "CRC" "centimo"

type UnitScale "CRC" "centimo" = (,) 100 1

type UnitScale "CRC" "colon"

type UnitScale "CRC" "colon" = (,) 1 1

type UnitScale "CUC" "centavo"

type UnitScale "CUC" "centavo" = (,) 100 1

type UnitScale "CUC" "peso"

type UnitScale "CUC" "peso" = (,) 1 1

type UnitScale "CUP" "centavo"

type UnitScale "CUP" "centavo" = (,) 100 1

type UnitScale "CUP" "peso"

type UnitScale "CUP" "peso" = (,) 1 1

type UnitScale "CVE" "centavo"

type UnitScale "CVE" "centavo" = (,) 100 1

type UnitScale "CVE" "escudo"

type UnitScale "CVE" "escudo" = (,) 1 1

type UnitScale "CZK" "haler"

type UnitScale "CZK" "haler" = (,) 100 1

type UnitScale "CZK" "koruna"

type UnitScale "CZK" "koruna" = (,) 1 1

type UnitScale "DJF" "centime"

type UnitScale "DJF" "centime" = (,) 100 1

type UnitScale "DJF" "franc"

type UnitScale "DJF" "franc" = (,) 1 1

type UnitScale "DKK" "krone"

type UnitScale "DKK" "krone" = (,) 1 1

type UnitScale "DKK" "ore"

type UnitScale "DKK" "ore" = (,) 100 1

type UnitScale "DOP" "centavo"

type UnitScale "DOP" "centavo" = (,) 100 1

type UnitScale "DOP" "peso"

type UnitScale "DOP" "peso" = (,) 1 1

type UnitScale "DZD" "dinar"

type UnitScale "DZD" "dinar" = (,) 1 1

type UnitScale "DZD" "santeem"

type UnitScale "DZD" "santeem" = (,) 100 1

type UnitScale "EGP" "piastre"

type UnitScale "EGP" "piastre" = (,) 100 1

type UnitScale "EGP" "pound"

type UnitScale "EGP" "pound" = (,) 1 1

type UnitScale "ERN" "cent"

type UnitScale "ERN" "cent" = (,) 100 1

type UnitScale "ERN" "nafka"

type UnitScale "ERN" "nafka" = (,) 1 1

type UnitScale "ETB" "birr"

type UnitScale "ETB" "birr" = (,) 1 1

type UnitScale "ETB" "santim"

type UnitScale "ETB" "santim" = (,) 100 1

type UnitScale "ETH" "babbage"

type UnitScale "ETH" "babbage" = (,) 1000 1

type UnitScale "ETH" "ether"

type UnitScale "ETH" "ether" = (,) 1 1

type UnitScale "ETH" "finney"

type UnitScale "ETH" "finney" = (,) 1000000000000000 1

type UnitScale "ETH" "gwei"

type UnitScale "ETH" "gwei" = (,) 1000000000 1

type UnitScale "ETH" "kwei"

type UnitScale "ETH" "kwei" = (,) 1000 1

type UnitScale "ETH" "lovelace"

type UnitScale "ETH" "lovelace" = (,) 1000000 1

type UnitScale "ETH" "microether"

type UnitScale "ETH" "microether" = (,) 1000000000000 1

type UnitScale "ETH" "milliether"

type UnitScale "ETH" "milliether" = (,) 1000000000000000 1

type UnitScale "ETH" "mwei"

type UnitScale "ETH" "mwei" = (,) 1000000 1

type UnitScale "ETH" "shannon"

type UnitScale "ETH" "shannon" = (,) 1000000000 1

type UnitScale "ETH" "szabo"

type UnitScale "ETH" "szabo" = (,) 1000000000000 1

type UnitScale "ETH" "wei"

type UnitScale "ETH" "wei" = (,) 1000000000000000000 1

type UnitScale "EUR" "cent"

type UnitScale "EUR" "cent" = (,) 100 1

type UnitScale "EUR" "euro"

type UnitScale "EUR" "euro" = (,) 1 1

type UnitScale "FJD" "cent"

type UnitScale "FJD" "cent" = (,) 100 1

type UnitScale "FJD" "dollar"

type UnitScale "FJD" "dollar" = (,) 1 1

type UnitScale "FKP" "penny"

type UnitScale "FKP" "penny" = (,) 100 1

type UnitScale "FKP" "pound"

type UnitScale "FKP" "pound" = (,) 1 1

type UnitScale "GBP" "penny"

type UnitScale "GBP" "penny" = (,) 100 1

type UnitScale "GBP" "pound"

type UnitScale "GBP" "pound" = (,) 1 1

type UnitScale "GEL" "lari"

type UnitScale "GEL" "lari" = (,) 1 1

type UnitScale "GEL" "tetri"

type UnitScale "GEL" "tetri" = (,) 100 1

type UnitScale "GHS" "cedi"

type UnitScale "GHS" "cedi" = (,) 1 1

type UnitScale "GHS" "pesewa"

type UnitScale "GHS" "pesewa" = (,) 100 1

type UnitScale "GIP" "penny"

type UnitScale "GIP" "penny" = (,) 100 1

type UnitScale "GIP" "pound"

type UnitScale "GIP" "pound" = (,) 1 1

type UnitScale "GMD" "butut"

type UnitScale "GMD" "butut" = (,) 100 1

type UnitScale "GMD" "dalasi"

type UnitScale "GMD" "dalasi" = (,) 1 1

type UnitScale "GNF" "centime"

type UnitScale "GNF" "centime" = (,) 100 1

type UnitScale "GNF" "franc"

type UnitScale "GNF" "franc" = (,) 1 1

type UnitScale "GTQ" "centavo"

type UnitScale "GTQ" "centavo" = (,) 100 1

type UnitScale "GTQ" "quetzal"

type UnitScale "GTQ" "quetzal" = (,) 1 1

type UnitScale "GYD" "cent"

type UnitScale "GYD" "cent" = (,) 100 1

type UnitScale "GYD" "dollar"

type UnitScale "GYD" "dollar" = (,) 1 1

type UnitScale "HKD" "cent"

type UnitScale "HKD" "cent" = (,) 100 1

type UnitScale "HKD" "dollar"

type UnitScale "HKD" "dollar" = (,) 1 1

type UnitScale "HNL" "centavo"

type UnitScale "HNL" "centavo" = (,) 100 1

type UnitScale "HNL" "lempira"

type UnitScale "HNL" "lempira" = (,) 1 1

type UnitScale "HRK" "kuna"

type UnitScale "HRK" "kuna" = (,) 1 1

type UnitScale "HRK" "lipa"

type UnitScale "HRK" "lipa" = (,) 100 1

type UnitScale "HTG" "centime"

type UnitScale "HTG" "centime" = (,) 1 1

type UnitScale "HTG" "gourde"

type UnitScale "HTG" "gourde" = (,) 1 1

type UnitScale "HUF" "filler"

type UnitScale "HUF" "filler" = (,) 100 1

type UnitScale "HUF" "forint"

type UnitScale "HUF" "forint" = (,) 1 1

type UnitScale "IDR" "rupiah"

type UnitScale "IDR" "rupiah" = (,) 1 1

type UnitScale "IDR" "sen"

type UnitScale "IDR" "sen" = (,) 100 1

type UnitScale "ILS" "agora"

type UnitScale "ILS" "agora" = (,) 100 1

type UnitScale "ILS" "shekel"

type UnitScale "ILS" "shekel" = (,) 1 1

type UnitScale "INR" "paisa"

type UnitScale "INR" "paisa" = (,) 100 1

type UnitScale "INR" "rupee"

type UnitScale "INR" "rupee" = (,) 1 1

type UnitScale "IQD" "dinar"

type UnitScale "IQD" "dinar" = (,) 1 1

type UnitScale "IQD" "fils"

type UnitScale "IQD" "fils" = (,) 1000 1

type UnitScale "IRR" "dinar"

type UnitScale "IRR" "dinar" = (,) 100 1

type UnitScale "IRR" "rial"

type UnitScale "IRR" "rial" = (,) 1 1

type UnitScale "ISK" "eyrir"

type UnitScale "ISK" "eyrir" = (,) 100 1

type UnitScale "ISK" "krona"

type UnitScale "ISK" "krona" = (,) 1 1

type UnitScale "JMD" "cent"

type UnitScale "JMD" "cent" = (,) 100 1

type UnitScale "JMD" "dollar"

type UnitScale "JMD" "dollar" = (,) 1 1

type UnitScale "JOD" "dinar"

type UnitScale "JOD" "dinar" = (,) 1 1

type UnitScale "JOD" "piastre"

type UnitScale "JOD" "piastre" = (,) 100 1

type UnitScale "JPY" "sen"

type UnitScale "JPY" "sen" = (,) 100 1

type UnitScale "JPY" "yen"

type UnitScale "JPY" "yen" = (,) 1 1

type UnitScale "KES" "cent"

type UnitScale "KES" "cent" = (,) 100 1

type UnitScale "KES" "shilling"

type UnitScale "KES" "shilling" = (,) 1 1

type UnitScale "KGS" "som"

type UnitScale "KGS" "som" = (,) 1 1

type UnitScale "KGS" "tyiyn"

type UnitScale "KGS" "tyiyn" = (,) 100 1

type UnitScale "KHR" "riel"

type UnitScale "KHR" "riel" = (,) 1 1

type UnitScale "KHR" "sen"

type UnitScale "KHR" "sen" = (,) 100 1

type UnitScale "KMF" "centime"

type UnitScale "KMF" "centime" = (,) 100 1

type UnitScale "KMF" "franc"

type UnitScale "KMF" "franc" = (,) 1 1

type UnitScale "KPW" "chon"

type UnitScale "KPW" "chon" = (,) 100 1

type UnitScale "KPW" "won"

type UnitScale "KPW" "won" = (,) 1 1

type UnitScale "KRW" "jeon"

type UnitScale "KRW" "jeon" = (,) 100 1

type UnitScale "KRW" "won"

type UnitScale "KRW" "won" = (,) 1 1

type UnitScale "KWD" "dinar"

type UnitScale "KWD" "dinar" = (,) 1 1

type UnitScale "KWD" "fils"

type UnitScale "KWD" "fils" = (,) 1000 1

type UnitScale "KYD" "cent"

type UnitScale "KYD" "cent" = (,) 100 1

type UnitScale "KYD" "dollar"

type UnitScale "KYD" "dollar" = (,) 1 1

type UnitScale "KZT" "tenge"

type UnitScale "KZT" "tenge" = (,) 1 1

type UnitScale "KZT" "tiyin"

type UnitScale "KZT" "tiyin" = (,) 100 1

type UnitScale "LAK" "att"

type UnitScale "LAK" "att" = (,) 100 1

type UnitScale "LAK" "kip"

type UnitScale "LAK" "kip" = (,) 1 1

type UnitScale "LBP" "piastre"

type UnitScale "LBP" "piastre" = (,) 100 1

type UnitScale "LBP" "pound"

type UnitScale "LBP" "pound" = (,) 1 1

type UnitScale "LKR" "cent"

type UnitScale "LKR" "cent" = (,) 100 1

type UnitScale "LKR" "rupee"

type UnitScale "LKR" "rupee" = (,) 1 1

type UnitScale "LRD" "cent"

type UnitScale "LRD" "cent" = (,) 100 1

type UnitScale "LRD" "dollar"

type UnitScale "LRD" "dollar" = (,) 1 1

type UnitScale "LSL" "loti"

type UnitScale "LSL" "loti" = (,) 1 1

type UnitScale "LSL" "sente"

type UnitScale "LSL" "sente" = (,) 100 1

type UnitScale "LTC" "lite"

type UnitScale "LTC" "lite" = (,) 1000 1

type UnitScale "LTC" "litecoin"

type UnitScale "LTC" "litecoin" = (,) 1 1

type UnitScale "LTC" "photon"

type UnitScale "LTC" "photon" = (,) 100000000 1

type UnitScale "LYD" "dinar"

type UnitScale "LYD" "dinar" = (,) 1 1

type UnitScale "LYD" "dirham"

type UnitScale "LYD" "dirham" = (,) 1000 1

type UnitScale "MAD" "centime"

type UnitScale "MAD" "centime" = (,) 100 1

type UnitScale "MAD" "dirham"

type UnitScale "MAD" "dirham" = (,) 1 1

type UnitScale "MDL" "ban"

type UnitScale "MDL" "ban" = (,) 100 1

type UnitScale "MDL" "leu"

type UnitScale "MDL" "leu" = (,) 100 1

type UnitScale "MGA" "ariary"

type UnitScale "MGA" "ariary" = (,) 1 1

type UnitScale "MGA" "iraimbilanja"

type UnitScale "MGA" "iraimbilanja" = (,) 5 1

type UnitScale "MKD" "denar"

type UnitScale "MKD" "denar" = (,) 1 1

type UnitScale "MKD" "deni"

type UnitScale "MKD" "deni" = (,) 100 1

type UnitScale "MMK" "kyat"

type UnitScale "MMK" "kyat" = (,) 1 1

type UnitScale "MMK" "pya"

type UnitScale "MMK" "pya" = (,) 100 1

type UnitScale "MNT" "mongo"

type UnitScale "MNT" "mongo" = (,) 100 1

type UnitScale "MNT" "tugrik"

type UnitScale "MNT" "tugrik" = (,) 1 1

type UnitScale "MOP" "avo"

type UnitScale "MOP" "avo" = (,) 100 1

type UnitScale "MOP" "pataca"

type UnitScale "MOP" "pataca" = (,) 1 1

type UnitScale "MRO" "khoums"

type UnitScale "MRO" "khoums" = (,) 5 1

type UnitScale "MRO" "ouguiya"

type UnitScale "MRO" "ouguiya" = (,) 1 1

type UnitScale "MUR" "cent"

type UnitScale "MUR" "cent" = (,) 100 1

type UnitScale "MUR" "rupee"

type UnitScale "MUR" "rupee" = (,) 1 1

type UnitScale "MVR" "laari"

type UnitScale "MVR" "laari" = (,) 100 1

type UnitScale "MVR" "rufiyaa"

type UnitScale "MVR" "rufiyaa" = (,) 1 1

type UnitScale "MWK" "kwacha"

type UnitScale "MWK" "kwacha" = (,) 1 1

type UnitScale "MWK" "tambala"

type UnitScale "MWK" "tambala" = (,) 100 1

type UnitScale "MXN" "centavo"

type UnitScale "MXN" "centavo" = (,) 100 1

type UnitScale "MXN" "peso"

type UnitScale "MXN" "peso" = (,) 1 1

type UnitScale "MYR" "ringgit"

type UnitScale "MYR" "ringgit" = (,) 1 1

type UnitScale "MYR" "sen"

type UnitScale "MYR" "sen" = (,) 100 1

type UnitScale "MZN" "centavo"

type UnitScale "MZN" "centavo" = (,) 100 1

type UnitScale "MZN" "metical"

type UnitScale "MZN" "metical" = (,) 1 1

type UnitScale "NAD" "cent"

type UnitScale "NAD" "cent" = (,) 100 1

type UnitScale "NAD" "dollar"

type UnitScale "NAD" "dollar" = (,) 1 1

type UnitScale "NGN" "kobo"

type UnitScale "NGN" "kobo" = (,) 100 1

type UnitScale "NGN" "naira"

type UnitScale "NGN" "naira" = (,) 1 1

type UnitScale "NIO" "centavo"

type UnitScale "NIO" "centavo" = (,) 100 1

type UnitScale "NIO" "cordoba"

type UnitScale "NIO" "cordoba" = (,) 1 1

type UnitScale "NOK" "krone"

type UnitScale "NOK" "krone" = (,) 1 1

type UnitScale "NOK" "ore"

type UnitScale "NOK" "ore" = (,) 100 1

type UnitScale "NPR" "paisa"

type UnitScale "NPR" "paisa" = (,) 100 1

type UnitScale "NPR" "rupee"

type UnitScale "NPR" "rupee" = (,) 1 1

type UnitScale "NZD" "cent"

type UnitScale "NZD" "cent" = (,) 100 1

type UnitScale "NZD" "dollar"

type UnitScale "NZD" "dollar" = (,) 1 1

type UnitScale "OMR" "baisa"

type UnitScale "OMR" "baisa" = (,) 1000 1

type UnitScale "OMR" "rial"

type UnitScale "OMR" "rial" = (,) 1 1

type UnitScale "PAB" "balboa"

type UnitScale "PAB" "balboa" = (,) 1 1

type UnitScale "PAB" "centesimo"

type UnitScale "PAB" "centesimo" = (,) 100 1

type UnitScale "PEN" "centimo"

type UnitScale "PEN" "centimo" = (,) 100 1

type UnitScale "PEN" "sol"

type UnitScale "PEN" "sol" = (,) 1 1

type UnitScale "PGK" "kina"

type UnitScale "PGK" "kina" = (,) 1 1

type UnitScale "PGK" "toea"

type UnitScale "PGK" "toea" = (,) 100 1

type UnitScale "PHP" "centavo"

type UnitScale "PHP" "centavo" = (,) 100 1

type UnitScale "PHP" "peso"

type UnitScale "PHP" "peso" = (,) 1 1

type UnitScale "PKR" "paisa"

type UnitScale "PKR" "paisa" = (,) 100 1

type UnitScale "PKR" "rupee"

type UnitScale "PKR" "rupee" = (,) 1 1

type UnitScale "PLN" "grosz"

type UnitScale "PLN" "grosz" = (,) 100 1

type UnitScale "PLN" "zloty"

type UnitScale "PLN" "zloty" = (,) 1 1

type UnitScale "PYG" "centimo"

type UnitScale "PYG" "centimo" = (,) 100 1

type UnitScale "PYG" "guarani"

type UnitScale "PYG" "guarani" = (,) 1 1

type UnitScale "QAR" "dirham"

type UnitScale "QAR" "dirham" = (,) 100 1

type UnitScale "QAR" "riyal"

type UnitScale "QAR" "riyal" = (,) 1 1

type UnitScale "RON" "ban"

type UnitScale "RON" "ban" = (,) 100 1

type UnitScale "RON" "leu"

type UnitScale "RON" "leu" = (,) 1 1

type UnitScale "RSD" "dinar"

type UnitScale "RSD" "dinar" = (,) 1 1

type UnitScale "RSD" "para"

type UnitScale "RSD" "para" = (,) 100 1

type UnitScale "RUB" "kopek"

type UnitScale "RUB" "kopek" = (,) 100 1

type UnitScale "RUB" "ruble"

type UnitScale "RUB" "ruble" = (,) 1 1

type UnitScale "RWF" "centime"

type UnitScale "RWF" "centime" = (,) 100 1

type UnitScale "RWF" "franc"

type UnitScale "RWF" "franc" = (,) 1 1

type UnitScale "SAR" "halala"

type UnitScale "SAR" "halala" = (,) 100 1

type UnitScale "SAR" "riyal"

type UnitScale "SAR" "riyal" = (,) 1 1

type UnitScale "SBD" "cent"

type UnitScale "SBD" "cent" = (,) 100 1

type UnitScale "SBD" "dollar"

type UnitScale "SBD" "dollar" = (,) 100 1

type UnitScale "SCR" "cent"

type UnitScale "SCR" "cent" = (,) 100 1

type UnitScale "SCR" "rupee"

type UnitScale "SCR" "rupee" = (,) 1 1

type UnitScale "SDG" "piastre"

type UnitScale "SDG" "piastre" = (,) 100 1

type UnitScale "SDG" "pound"

type UnitScale "SDG" "pound" = (,) 1 1

type UnitScale "SEK" "krona"

type UnitScale "SEK" "krona" = (,) 1 1

type UnitScale "SEK" "ore"

type UnitScale "SEK" "ore" = (,) 100 1

type UnitScale "SGD" "cent"

type UnitScale "SGD" "cent" = (,) 100 1

type UnitScale "SGD" "dollar"

type UnitScale "SGD" "dollar" = (,) 1 1

type UnitScale "SHP" "penny"

type UnitScale "SHP" "penny" = (,) 100 1

type UnitScale "SHP" "pound"

type UnitScale "SHP" "pound" = (,) 1 1

type UnitScale "SLL" "cent"

type UnitScale "SLL" "cent" = (,) 100 1

type UnitScale "SLL" "leone"

type UnitScale "SLL" "leone" = (,) 1 1

type UnitScale "SOS" "cent"

type UnitScale "SOS" "cent" = (,) 100 1

type UnitScale "SOS" "shilling"

type UnitScale "SOS" "shilling" = (,) 1 1

type UnitScale "SRD" "cent"

type UnitScale "SRD" "cent" = (,) 100 1

type UnitScale "SRD" "dollar"

type UnitScale "SRD" "dollar" = (,) 1 1

type UnitScale "SSP" "piastre"

type UnitScale "SSP" "piastre" = (,) 100 1

type UnitScale "SSP" "pound"

type UnitScale "SSP" "pound" = (,) 1 1

type UnitScale "STD" "centimo"

type UnitScale "STD" "centimo" = (,) 100 1

type UnitScale "STD" "dobra"

type UnitScale "STD" "dobra" = (,) 1 1

type UnitScale "SVC" "centavo"

type UnitScale "SVC" "centavo" = (,) 100 1

type UnitScale "SVC" "colon"

type UnitScale "SVC" "colon" = (,) 1 1

type UnitScale "SYP" "piastre"

type UnitScale "SYP" "piastre" = (,) 100 1

type UnitScale "SYP" "pound"

type UnitScale "SYP" "pound" = (,) 1 1

type UnitScale "SZL" "cent"

type UnitScale "SZL" "cent" = (,) 100 1

type UnitScale "SZL" "lilangeni"

type UnitScale "SZL" "lilangeni" = (,) 1 1

type UnitScale "THB" "baht"

type UnitScale "THB" "baht" = (,) 1 1

type UnitScale "THB" "satang"

type UnitScale "THB" "satang" = (,) 100 1

type UnitScale "TJS" "diram"

type UnitScale "TJS" "diram" = (,) 100 1

type UnitScale "TJS" "somoni"

type UnitScale "TJS" "somoni" = (,) 1 1

type UnitScale "TMT" "manat"

type UnitScale "TMT" "manat" = (,) 1 1

type UnitScale "TMT" "tennesi"

type UnitScale "TMT" "tennesi" = (,) 100 1

type UnitScale "TND" "dinar"

type UnitScale "TND" "dinar" = (,) 1 1

type UnitScale "TND" "millime"

type UnitScale "TND" "millime" = (,) 1000 1

type UnitScale "TOP" "pa'anga"

type UnitScale "TOP" "pa'anga" = (,) 1 1

type UnitScale "TOP" "seniti"

type UnitScale "TOP" "seniti" = (,) 100 1

type UnitScale "TRY" "kurus"

type UnitScale "TRY" "kurus" = (,) 100 1

type UnitScale "TRY" "lira"

type UnitScale "TRY" "lira" = (,) 1 1

type UnitScale "TTD" "cent"

type UnitScale "TTD" "cent" = (,) 100 1

type UnitScale "TTD" "dollar"

type UnitScale "TTD" "dollar" = (,) 1 1

type UnitScale "TWD" "cent"

type UnitScale "TWD" "cent" = (,) 100 1

type UnitScale "TWD" "dollar"

type UnitScale "TWD" "dollar" = (,) 1 1

type UnitScale "TZS" "cent"

type UnitScale "TZS" "cent" = (,) 100 1

type UnitScale "TZS" "shilling"

type UnitScale "TZS" "shilling" = (,) 1 1

type UnitScale "UAH" "hryvnia"

type UnitScale "UAH" "hryvnia" = (,) 1 1

type UnitScale "UAH" "kopiyka"

type UnitScale "UAH" "kopiyka" = (,) 100 1

type UnitScale "UGX" "cent"

type UnitScale "UGX" "cent" = (,) 100 1

type UnitScale "UGX" "shilling"

type UnitScale "UGX" "shilling" = (,) 1 1

type UnitScale "USD" "cent"

type UnitScale "USD" "cent" = (,) 100 1

type UnitScale "USD" "dollar"

type UnitScale "USD" "dollar" = (,) 1 1

type UnitScale "USN" "cent"

type UnitScale "USN" "cent" = (,) 100 1

type UnitScale "USN" "dollar"

type UnitScale "USN" "dollar" = (,) 1 1

type UnitScale "UYU" "centesimo"

type UnitScale "UYU" "centesimo" = (,) 100 1

type UnitScale "UYU" "peso"

type UnitScale "UYU" "peso" = (,) 1 1

type UnitScale "UZS" "som"

type UnitScale "UZS" "som" = (,) 1 1

type UnitScale "UZS" "tiyin"

type UnitScale "UZS" "tiyin" = (,) 100 1

type UnitScale "VEF" "bolivar"

type UnitScale "VEF" "bolivar" = (,) 1 1

type UnitScale "VEF" "centimo"

type UnitScale "VEF" "centimo" = (,) 100 1

type UnitScale "VES" "bolivar"

type UnitScale "VES" "bolivar" = (,) 1 1

type UnitScale "VES" "centimo"

type UnitScale "VES" "centimo" = (,) 100 1

type UnitScale "VND" "dong"

type UnitScale "VND" "dong" = (,) 1 1

type UnitScale "VND" "hao"

type UnitScale "VND" "hao" = (,) 10 1

type UnitScale "VUV" "vatu"

type UnitScale "VUV" "vatu" = (,) 1 1

type UnitScale "WST" "sene"

type UnitScale "WST" "sene" = (,) 100 1

type UnitScale "WST" "tala"

type UnitScale "WST" "tala" = (,) 1 1

type UnitScale "XAF" "centime"

type UnitScale "XAF" "centime" = (,) 100 1

type UnitScale "XAF" "franc"

type UnitScale "XAF" "franc" = (,) 1 1

type UnitScale "XAG" "grain"

type UnitScale "XAG" "grain" = (,) 480 1

type UnitScale "XAG" "gram"

type UnitScale "XAG" "gram" = (,) 31103477 1000000

type UnitScale "XAG" "kilogram"

type UnitScale "XAG" "kilogram" = (,) 31103477 1000000000

type UnitScale "XAG" "micrograin"

type UnitScale "XAG" "micrograin" = (,) 480000000 1

type UnitScale "XAG" "microgram"

type UnitScale "XAG" "microgram" = (,) 31103477 1

type UnitScale "XAG" "milligrain"

type UnitScale "XAG" "milligrain" = (,) 480000 1

type UnitScale "XAG" "milligram"

type UnitScale "XAG" "milligram" = (,) 31103477 1000

type UnitScale "XAG" "troy-ounce"

type UnitScale "XAG" "troy-ounce" = (,) 1 1

type UnitScale "XAU" "grain"

type UnitScale "XAU" "grain" = (,) 480 1

type UnitScale "XAU" "gram"

type UnitScale "XAU" "gram" = (,) 31103477 1000000

type UnitScale "XAU" "kilogram"

type UnitScale "XAU" "kilogram" = (,) 31103477 1000000000

type UnitScale "XAU" "micrograin"

type UnitScale "XAU" "micrograin" = (,) 480000000 1

type UnitScale "XAU" "microgram"

type UnitScale "XAU" "microgram" = (,) 31103477 1

type UnitScale "XAU" "milligrain"

type UnitScale "XAU" "milligrain" = (,) 480000 1

type UnitScale "XAU" "milligram"

type UnitScale "XAU" "milligram" = (,) 31103477 1000

type UnitScale "XAU" "troy-ounce"

type UnitScale "XAU" "troy-ounce" = (,) 1 1

type UnitScale "XBT" "bitcoin"

type UnitScale "XBT" "bitcoin" = UnitScale "BTC" "bitcoin"

type UnitScale "XBT" "millibitcoin"

type UnitScale "XBT" "millibitcoin" = UnitScale "BTC" "millibitcoin"

type UnitScale "XBT" "satoshi"

type UnitScale "XBT" "satoshi" = UnitScale "BTC" "satoshi"

type UnitScale "XCD" "cent"

type UnitScale "XCD" "cent" = (,) 100 1

type UnitScale "XCD" "dollar"

type UnitScale "XCD" "dollar" = (,) 1 1

type UnitScale "XMR" "centinero"

type UnitScale "XMR" "centinero" = (,) 100 1

type UnitScale "XMR" "decinero"

type UnitScale "XMR" "decinero" = (,) 10 1

type UnitScale "XMR" "micronero"

type UnitScale "XMR" "micronero" = (,) 1000000 1

type UnitScale "XMR" "millinero"

type UnitScale "XMR" "millinero" = (,) 1000 1

type UnitScale "XMR" "monero"

type UnitScale "XMR" "monero" = (,) 1 1

type UnitScale "XMR" "nanonero"

type UnitScale "XMR" "nanonero" = (,) 1000000000 1

type UnitScale "XMR" "piconero"

type UnitScale "XMR" "piconero" = (,) 1000000000000 1

type UnitScale "XOF" "centime"

type UnitScale "XOF" "centime" = (,) 100 1

type UnitScale "XOF" "franc"

type UnitScale "XOF" "franc" = (,) 1 1

type UnitScale "XPD" "grain"

type UnitScale "XPD" "grain" = (,) 480 1

type UnitScale "XPD" "gram"

type UnitScale "XPD" "gram" = (,) 31103477 1000000

type UnitScale "XPD" "kilogram"

type UnitScale "XPD" "kilogram" = (,) 31103477 1000000000

type UnitScale "XPD" "micrograin"

type UnitScale "XPD" "micrograin" = (,) 480000000 1

type UnitScale "XPD" "microgram"

type UnitScale "XPD" "microgram" = (,) 31103477 1

type UnitScale "XPD" "milligrain"

type UnitScale "XPD" "milligrain" = (,) 480000 1

type UnitScale "XPD" "milligram"

type UnitScale "XPD" "milligram" = (,) 31103477 1000

type UnitScale "XPD" "troy-ounce"

type UnitScale "XPD" "troy-ounce" = (,) 1 1

type UnitScale "XPF" "centime"

type UnitScale "XPF" "centime" = (,) 100 1

type UnitScale "XPF" "franc"

type UnitScale "XPF" "franc" = (,) 1 1

type UnitScale "XPT" "grain"

type UnitScale "XPT" "grain" = (,) 480 1

type UnitScale "XPT" "gram"

type UnitScale "XPT" "gram" = (,) 31103477 1000000

type UnitScale "XPT" "kilogram"

type UnitScale "XPT" "kilogram" = (,) 31103477 1000000000

type UnitScale "XPT" "micrograin"

type UnitScale "XPT" "micrograin" = (,) 480000000 1

type UnitScale "XPT" "microgram"

type UnitScale "XPT" "microgram" = (,) 31103477 1

type UnitScale "XPT" "milligrain"

type UnitScale "XPT" "milligrain" = (,) 480000 1

type UnitScale "XPT" "milligram"

type UnitScale "XPT" "milligram" = (,) 31103477 1000

type UnitScale "XPT" "troy-ounce"

type UnitScale "XPT" "troy-ounce" = (,) 1 1

type UnitScale "XRP" "drop"

type UnitScale "XRP" "drop" = (,) 1000000 1

type UnitScale "XRP" "ripple"

type UnitScale "XRP" "ripple" = (,) 1 1

type UnitScale "YER" "fils"

type UnitScale "YER" "fils" = (,) 100 1

type UnitScale "YER" "rial"

type UnitScale "YER" "rial" = (,) 1 1

type UnitScale "ZAR" "cent"

type UnitScale "ZAR" "cent" = (,) 100 1

type UnitScale "ZAR" "rand"

type UnitScale "ZAR" "rand" = (,) 1 1

type UnitScale "ZMW" "kwacha"

type UnitScale "ZMW" "kwacha" = (,) 1 1

type UnitScale "ZMW" "ngwee"

type UnitScale "ZMW" "ngwee" = (,) 100 1

type UnitScale "ZWL" "cent"

type UnitScale "ZWL" "cent" = (,) 100 1

type UnitScale "ZWL" "dollar"

type UnitScale "ZWL" "dollar" = (,) 1 1

type family CurrencyScale (currency :: Symbol) :: (Nat, Nat)

If there exists a canonical smallest Scale that can fully represent the currency in all its denominations, then CurrencyScale currency will return such Scale. For example, CurrencyScale "USD" evaluates to UnitScale "USD" "cent".

type instance CurrencyScale "USD" = UnitScale "USD" "cent"

If the currency doesn't have a canonical smallest Scale, then CurrencyScale currency shall be left undefined or fail to compile with a TypeError. For example CurrencyScale "XAU" fails with ErrScaleNonCanonical "XAU".

Instances

type CurrencyScale "ADA"

type CurrencyScale "ADA" = UnitScale "ADA" "lovelace"

type CurrencyScale "AED"

type CurrencyScale "AED" = UnitScale "AED" "fils"

type CurrencyScale "AFN"

type CurrencyScale "AFN" = UnitScale "AFN" "pul"

type CurrencyScale "ALL"

type CurrencyScale "ALL" = UnitScale "ALL" "lek"

type CurrencyScale "AMD"

type CurrencyScale "AMD" = UnitScale "AMD" "luma"

type CurrencyScale "ANG"

type CurrencyScale "ANG" = UnitScale "AMD" "cent"

type CurrencyScale "AOA"

type CurrencyScale "AOA" = UnitScale "AOA" "centimo"

type CurrencyScale "ARS"

type CurrencyScale "ARS" = UnitScale "ARS" "centavo"

type CurrencyScale "AUD"

type CurrencyScale "AUD" = UnitScale "AUD" "cent"

type CurrencyScale "AWG"

type CurrencyScale "AWG" = UnitScale "AWG" "cent"

type CurrencyScale "AZN"

type CurrencyScale "AZN" = UnitScale "AZN" "qapik"

type CurrencyScale "BAM"

type CurrencyScale "BAM" = UnitScale "BAM" "fenig"

type CurrencyScale "BBD"

type CurrencyScale "BBD" = UnitScale "BBD" "cent"

type CurrencyScale "BDT"

type CurrencyScale "BDT" = UnitScale "BDT" "paisa"

type CurrencyScale "BGN"

type CurrencyScale "BGN" = UnitScale "BGN" "stotinka"

type CurrencyScale "BHD"

type CurrencyScale "BHD" = UnitScale "BHD" "fils"

type CurrencyScale "BIF"

type CurrencyScale "BIF" = UnitScale "BIF" "centime"

type CurrencyScale "BMD"

type CurrencyScale "BMD" = UnitScale "BMD" "cent"

type CurrencyScale "BND"

type CurrencyScale "BND" = UnitScale "BND" "sen"

type CurrencyScale "BOB"

type CurrencyScale "BOB" = UnitScale "BOB" "centavo"

type CurrencyScale "BOV"

type CurrencyScale "BOV" = (,) 100 1

type CurrencyScale "BRL"

type CurrencyScale "BRL" = UnitScale "BRL" "centavo"

type CurrencyScale "BSD"

type CurrencyScale "BSD" = UnitScale "BSD" "cent"

type CurrencyScale "BTC"

type CurrencyScale "BTC" = UnitScale "BTC" "satoshi"

type CurrencyScale "BTN"

type CurrencyScale "BTN" = UnitScale "BTN" "chetrum"

type CurrencyScale "BWP"

type CurrencyScale "BWP" = UnitScale "BWP" "thebe"

type CurrencyScale "BYN"

type CurrencyScale "BYN" = UnitScale "BYN" "kapiejka"

type CurrencyScale "BYR"

type CurrencyScale "BYR" = UnitScale "BYR" "kapiejka"

type CurrencyScale "BZD"

type CurrencyScale "BZD" = UnitScale "BZD" "cent"

type CurrencyScale "CAD"

type CurrencyScale "CAD" = UnitScale "CAD" "cent"

type CurrencyScale "CDF"

type CurrencyScale "CDF" = UnitScale "CDF" "centime"

type CurrencyScale "CHE"

type CurrencyScale "CHE" = (,) 100 1

type CurrencyScale "CHF"

type CurrencyScale "CHF" = UnitScale "CHF" "rappen"

type CurrencyScale "CHW"

type CurrencyScale "CHW" = (,) 100 1

type CurrencyScale "CLF"

type CurrencyScale "CLF" = (,) 10000 1

type CurrencyScale "CLP"

type CurrencyScale "CLP" = UnitScale "CLP" "centavo"

type CurrencyScale "CNY"

type CurrencyScale "CNY" = UnitScale "CNY" "fen"

type CurrencyScale "COP"

type CurrencyScale "COP" = UnitScale "COP" "centavo"

type CurrencyScale "COU"

type CurrencyScale "COU" = (,) 100 1

type CurrencyScale "CRC"

type CurrencyScale "CRC" = UnitScale "CRC" "centimo"

type CurrencyScale "CUC"

type CurrencyScale "CUC" = UnitScale "CUC" "centavo"

type CurrencyScale "CUP"

type CurrencyScale "CUP" = UnitScale "CUP" "centavo"

type CurrencyScale "CVE"

type CurrencyScale "CVE" = UnitScale "CVE" "centavo"

type CurrencyScale "CZK"

type CurrencyScale "CZK" = UnitScale "CZK" "haler"

type CurrencyScale "DJF"

type CurrencyScale "DJF" = UnitScale "DJF" "centime"

type CurrencyScale "DKK"

type CurrencyScale "DKK" = UnitScale "DKK" "ore"

type CurrencyScale "DOP"

type CurrencyScale "DOP" = UnitScale "DOP" "centavo"

type CurrencyScale "DZD"

type CurrencyScale "DZD" = UnitScale "DZD" "santeem"

type CurrencyScale "EGP"

type CurrencyScale "EGP" = UnitScale "EGP" "piastre"

type CurrencyScale "ERN"

type CurrencyScale "ERN" = UnitScale "ERN" "cent"

type CurrencyScale "ETB"

type CurrencyScale "ETB" = UnitScale "ETB" "santim"

type CurrencyScale "ETH"

type CurrencyScale "ETH" = UnitScale "ETH" "wei"

type CurrencyScale "EUR"

type CurrencyScale "EUR" = UnitScale "EUR" "cent"

type CurrencyScale "FJD"

type CurrencyScale "FJD" = UnitScale "FJD" "cent"

type CurrencyScale "FKP"

type CurrencyScale "FKP" = UnitScale "FKP" "penny"

type CurrencyScale "GBP"

type CurrencyScale "GBP" = UnitScale "GBP" "penny"

type CurrencyScale "GEL"

type CurrencyScale "GEL" = UnitScale "GEL" "tetri"

type CurrencyScale "GHS"

type CurrencyScale "GHS" = UnitScale "GHS" "pesewa"

type CurrencyScale "GIP"

type CurrencyScale "GIP" = UnitScale "GIP" "penny"

type CurrencyScale "GMD"

type CurrencyScale "GMD" = UnitScale "GMD" "butut"

type CurrencyScale "GNF"

type CurrencyScale "GNF" = UnitScale "GNF" "centime"

type CurrencyScale "GTQ"

type CurrencyScale "GTQ" = UnitScale "GTQ" "centavo"

type CurrencyScale "GYD"

type CurrencyScale "GYD" = UnitScale "GYD" "cent"

type CurrencyScale "HKD"

type CurrencyScale "HKD" = UnitScale "HKD" "cent"

type CurrencyScale "HNL"

type CurrencyScale "HNL" = UnitScale "HNL" "centavo"

type CurrencyScale "HRK"

type CurrencyScale "HRK" = UnitScale "HRK" "lipa"

type CurrencyScale "HTG"

type CurrencyScale "HTG" = UnitScale "HTG" "centime"

type CurrencyScale "HUF"

type CurrencyScale "HUF" = UnitScale "HUF" "filler"

type CurrencyScale "IDR"

type CurrencyScale "IDR" = UnitScale "IDR" "sen"

type CurrencyScale "ILS"

type CurrencyScale "ILS" = UnitScale "ILS" "agora"

type CurrencyScale "INR"

type CurrencyScale "INR" = UnitScale "INR" "paisa"

type CurrencyScale "IQD"

type CurrencyScale "IQD" = UnitScale "IQD" "fils"

type CurrencyScale "IRR"

type CurrencyScale "IRR" = UnitScale "IRR" "dinar"

type CurrencyScale "ISK"

type CurrencyScale "ISK" = UnitScale "ISK" "eyrir"

type CurrencyScale "JMD"

type CurrencyScale "JMD" = UnitScale "JMD" "cent"

type CurrencyScale "JOD"

type CurrencyScale "JOD" = UnitScale "JOD" "piastre"

type CurrencyScale "JPY"

type CurrencyScale "JPY" = UnitScale "JPY" "sen"

type CurrencyScale "KES"

type CurrencyScale "KES" = UnitScale "KES" "cent"

type CurrencyScale "KGS"

type CurrencyScale "KGS" = UnitScale "KGS" "tyiyn"

type CurrencyScale "KHR"

type CurrencyScale "KHR" = UnitScale "KHR" "sen"

type CurrencyScale "KMF"

type CurrencyScale "KMF" = UnitScale "KMF" "centime"

type CurrencyScale "KPW"

type CurrencyScale "KPW" = UnitScale "KPW" "chon"

type CurrencyScale "KRW"

type CurrencyScale "KRW" = UnitScale "KRW" "jeon"

type CurrencyScale "KWD"

type CurrencyScale "KWD" = UnitScale "KWD" "fils"

type CurrencyScale "KYD"

type CurrencyScale "KYD" = UnitScale "KYD" "cent"

type CurrencyScale "KZT"

type CurrencyScale "KZT" = UnitScale "KZT" "tiyin"

type CurrencyScale "LAK"

type CurrencyScale "LAK" = UnitScale "LAK" "att"

type CurrencyScale "LBP"

type CurrencyScale "LBP" = UnitScale "LBP" "piastre"

type CurrencyScale "LKR"

type CurrencyScale "LKR" = UnitScale "LKR" "cent"

type CurrencyScale "LRD"

type CurrencyScale "LRD" = UnitScale "LRD" "cent"

type CurrencyScale "LSL"

type CurrencyScale "LSL" = UnitScale "LSL" "sente"

type CurrencyScale "LTC"

type CurrencyScale "LTC" = UnitScale "LTC" "photon"

type CurrencyScale "LYD"

type CurrencyScale "LYD" = UnitScale "LYD" "dirham"

type CurrencyScale "MAD"

type CurrencyScale "MAD" = UnitScale "MAD" "centime"

type CurrencyScale "MDL"

type CurrencyScale "MDL" = UnitScale "MDL" "ban"

type CurrencyScale "MGA"

type CurrencyScale "MGA" = UnitScale "MGA" "iraimbilanja"

type CurrencyScale "MKD"

type CurrencyScale "MKD" = UnitScale "MKD" "deni"

type CurrencyScale "MMK"

type CurrencyScale "MMK" = UnitScale "MMK" "pya"

type CurrencyScale "MNT"

type CurrencyScale "MNT" = UnitScale "MNT" "mongo"

type CurrencyScale "MOP"

type CurrencyScale "MOP" = UnitScale "MOP" "avo"

type CurrencyScale "MRO"

type CurrencyScale "MRO" = UnitScale "MRO" "khoums"

type CurrencyScale "MUR"

type CurrencyScale "MUR" = UnitScale "MUR" "cent"

type CurrencyScale "MVR"

type CurrencyScale "MVR" = UnitScale "MVR" "laari"

type CurrencyScale "MWK"

type CurrencyScale "MWK" = UnitScale "MWK" "tambala"

type CurrencyScale "MXN"

type CurrencyScale "MXN" = UnitScale "MXN" "centavo"

type CurrencyScale "MXV"

type CurrencyScale "MXV" = (,) 100 1

type CurrencyScale "MYR"

type CurrencyScale "MYR" = UnitScale "MYR" "sen"

type CurrencyScale "MZN"

type CurrencyScale "MZN" = UnitScale "MZN" "centavo"

type CurrencyScale "NAD"

type CurrencyScale "NAD" = UnitScale "NAD" "cent"

type CurrencyScale "NGN"

type CurrencyScale "NGN" = UnitScale "NGN" "kobo"

type CurrencyScale "NIO"

type CurrencyScale "NIO" = UnitScale "NIO" "centavo"

type CurrencyScale "NOK"

type CurrencyScale "NOK" = UnitScale "NOK" "ore"

type CurrencyScale "NPR"

type CurrencyScale "NPR" = UnitScale "NPR" "paisa"

type CurrencyScale "NZD"

type CurrencyScale "NZD" = UnitScale "NZD" "cent"

type CurrencyScale "OMR"

type CurrencyScale "OMR" = UnitScale "OMR" "baisa"

type CurrencyScale "PAB"

type CurrencyScale "PAB" = UnitScale "PAB" "centesimo"

type CurrencyScale "PEN"

type CurrencyScale "PEN" = UnitScale "PEN" "centimo"

type CurrencyScale "PGK"

type CurrencyScale "PGK" = UnitScale "PGK" "toea"

type CurrencyScale "PHP"

type CurrencyScale "PHP" = UnitScale "PHP" "centavo"

type CurrencyScale "PKR"

type CurrencyScale "PKR" = UnitScale "PKR" "paisa"

type CurrencyScale "PLN"

type CurrencyScale "PLN" = UnitScale "PLN" "grosz"

type CurrencyScale "PYG"

type CurrencyScale "PYG" = UnitScale "PYG" "centimo"

type CurrencyScale "QAR"

type CurrencyScale "QAR" = UnitScale "QAR" "dirham"

type CurrencyScale "RON"

type CurrencyScale "RON" = UnitScale "RON" "ban"

type CurrencyScale "RSD"

type CurrencyScale "RSD" = UnitScale "RSD" "para"

type CurrencyScale "RUB"

type CurrencyScale "RUB" = UnitScale "RUB" "kopek"

type CurrencyScale "RWF"

type CurrencyScale "RWF" = UnitScale "RWF" "centime"

type CurrencyScale "SAR"

type CurrencyScale "SAR" = UnitScale "SAR" "halala"

type CurrencyScale "SBD"

type CurrencyScale "SBD" = UnitScale "SBD" "cent"

type CurrencyScale "SCR"

type CurrencyScale "SCR" = UnitScale "SCR" "cent"

type CurrencyScale "SDG"

type CurrencyScale "SDG" = UnitScale "SDG" "piastre"

type CurrencyScale "SEK"

type CurrencyScale "SEK" = UnitScale "SEK" "ore"

type CurrencyScale "SGD"

type CurrencyScale "SGD" = UnitScale "SGD" "cent"

type CurrencyScale "SHP"

type CurrencyScale "SHP" = UnitScale "SHP" "penny"

type CurrencyScale "SLL"

type CurrencyScale "SLL" = UnitScale "SLL" "cent"

type CurrencyScale "SOS"

type CurrencyScale "SOS" = UnitScale "SOS" "cent"

type CurrencyScale "SRD"

type CurrencyScale "SRD" = UnitScale "SRD" "cent"

type CurrencyScale "SSP"

type CurrencyScale "SSP" = UnitScale "SSP" "piastre"

type CurrencyScale "STD"

type CurrencyScale "STD" = UnitScale "STD" "centimo"

type CurrencyScale "SVC"

type CurrencyScale "SVC" = UnitScale "SVC" "centavo"

type CurrencyScale "SYP"

type CurrencyScale "SYP" = UnitScale "SYP" "piastre"

type CurrencyScale "SZL"

type CurrencyScale "SZL" = UnitScale "SZL" "cent"

type CurrencyScale "THB"

type CurrencyScale "THB" = UnitScale "THB" "satang"

type CurrencyScale "TJS"

type CurrencyScale "TJS" = UnitScale "TJS" "diram"

type CurrencyScale "TMT"

type CurrencyScale "TMT" = UnitScale "TMT" "tennesi"

type CurrencyScale "TND"

type CurrencyScale "TND" = UnitScale "TND" "millime"

type CurrencyScale "TOP"

type CurrencyScale "TOP" = UnitScale "TOP" "seniti"

type CurrencyScale "TRY"

type CurrencyScale "TRY" = UnitScale "TRY" "kurus"

type CurrencyScale "TTD"

type CurrencyScale "TTD" = UnitScale "TTD" "cent"

type CurrencyScale "TWD"

type CurrencyScale "TWD" = UnitScale "TWD" "cent"

type CurrencyScale "TZS"

type CurrencyScale "TZS" = UnitScale "TZS" "cent"

type CurrencyScale "UAH"

type CurrencyScale "UAH" = UnitScale "UAH" "kopiyka"

type CurrencyScale "UGX"

type CurrencyScale "UGX" = UnitScale "UGX" "cent"

type CurrencyScale "USD"

type CurrencyScale "USD" = UnitScale "USD" "cent"

type CurrencyScale "USN"

type CurrencyScale "USN" = UnitScale "USN" "cent"

type CurrencyScale "UYI"

type CurrencyScale "UYI" = (,) 1 1

type CurrencyScale "UYU"

type CurrencyScale "UYU" = UnitScale "UYU" "centesimo"

type CurrencyScale "UYW"

type CurrencyScale "UYW" = (,) 10000 1

type CurrencyScale "UZS"

type CurrencyScale "UZS" = UnitScale "UZS" "tiyin"

type CurrencyScale "VEF"

type CurrencyScale "VEF" = UnitScale "VEF" "centimo"

type CurrencyScale "VES"

type CurrencyScale "VES" = UnitScale "VES" "centimo"

type CurrencyScale "VND"

type CurrencyScale "VND" = UnitScale "VND" "hao"

type CurrencyScale "VUV"

type CurrencyScale "VUV" = UnitScale "VUV" "vatu"

type CurrencyScale "WST"

type CurrencyScale "WST" = UnitScale "WST" "sene"

type CurrencyScale "XAF"

type CurrencyScale "XAF" = UnitScale "XAF" "centime"

type CurrencyScale "XAG"

type CurrencyScale "XAG" = (ErrScaleNonCanonical "XAU" :: (Nat, Nat))

type CurrencyScale "XAU"

type CurrencyScale "XAU" = (ErrScaleNonCanonical "XAU" :: (Nat, Nat))

type CurrencyScale "XBT"

type CurrencyScale "XBT" = CurrencyScale "BTC"

type CurrencyScale "XCD"

type CurrencyScale "XCD" = UnitScale "XCD" "cent"

type CurrencyScale "XDR"

type CurrencyScale "XDR" = (,) 1 1

type CurrencyScale "XMR"

type CurrencyScale "XMR" = UnitScale "XMR" "piconero"

type CurrencyScale "XOF"

type CurrencyScale "XOF" = UnitScale "XOF" "centime"

type CurrencyScale "XPD"

type CurrencyScale "XPD" = (ErrScaleNonCanonical "XPD" :: (Nat, Nat))

type CurrencyScale "XPF"

type CurrencyScale "XPF" = UnitScale "XPF" "centime"

type CurrencyScale "XPT"

type CurrencyScale "XPT" = (ErrScaleNonCanonical "XPT" :: (Nat, Nat))

type CurrencyScale "XRP"

type CurrencyScale "XRP" = UnitScale "XRP" "drop"

type CurrencyScale "XSU"

type CurrencyScale "XSU" = (,) 1 1

type CurrencyScale "XUA"

type CurrencyScale "XUA" = (,) 1 1

type CurrencyScale "YER"

type CurrencyScale "YER" = UnitScale "YER" "fils"

type CurrencyScale "ZAR"

type CurrencyScale "ZAR" = UnitScale "ZAR" "cent"

type CurrencyScale "ZMW"

type CurrencyScale "ZMW" = UnitScale "ZMW" "ngwee"

type CurrencyScale "ZWL"

type CurrencyScale "ZWL" = UnitScale "ZWL" "cent"

type GoodScale (scale :: (Nat, Nat)) = (CmpNat 0 (Fst scale) ~ LT, CmpNat 0 (Snd scale) ~ LT, KnownNat (Fst scale), KnownNat (Snd scale))

Constraints to a scale (like the one returned by UnitScale currency unit) expected to always be satisfied. In particular, the scale is always guaranteed to be a positive rational number (infinity and notANumber are forbidden by GoodScale).

type family ErrScaleNonCanonical (currency :: Symbol) :: k where ...

A friendly TypeError to use for a currency that doesn't have a canonical small unit.

Equations

ErrScaleNonCanonical c = TypeError ((Text c :<>: Text " is not a currency with a canonical smallest unit,") :$$: Text "be explicit about the currency unit you want to use.")

Currency exchange

data ExchangeRate (src :: Symbol) (dst :: Symbol)

Exchange rate for converting monetary values of currency src into monetary values of currency dst by multiplying for it.

For example, if in order to convert USD to GBP we have to multiply by 1.2345, then we can represent this situaion using:

exchangeRate (12345 % 10000) :: Maybe (ExchangeRate "USD" "GBP")

Instances

Category ExchangeRate

Composition of ExchangeRates multiplies exchange rates together:

exchangeRateToRational x * exchangeRateToRational y  ==  exchangeRateToRational (x . y)

Identity:

x  ==  x . id  ==  id . x

Associativity:

x . y . z  ==  x . (y . z)  ==  (x . y) . z

Conmutativity (provided the types allow for composition):

x . y  ==  y . x

Reciprocal:

1  ==  exchangeRateToRational (x . exchangeRateRecip x)

Methods

id :: ExchangeRate a a

(.) :: ExchangeRate b c -> ExchangeRate a b -> ExchangeRate a c

Eq (ExchangeRate src dst)

Methods

(==) :: ExchangeRate src dst -> ExchangeRate src dst -> Bool

(/=) :: ExchangeRate src dst -> ExchangeRate src dst -> Bool

Ord (ExchangeRate src dst)

Methods

compare :: ExchangeRate src dst -> ExchangeRate src dst -> Ordering

(<) :: ExchangeRate src dst -> ExchangeRate src dst -> Bool

(<=) :: ExchangeRate src dst -> ExchangeRate src dst -> Bool

(>) :: ExchangeRate src dst -> ExchangeRate src dst -> Bool

(>=) :: ExchangeRate src dst -> ExchangeRate src dst -> Bool

max :: ExchangeRate src dst -> ExchangeRate src dst -> ExchangeRate src dst

min :: ExchangeRate src dst -> ExchangeRate src dst -> ExchangeRate src dst

(KnownSymbol src, KnownSymbol dst) => Read (ExchangeRate src dst)

Methods

readsPrec :: Int -> ReadS (ExchangeRate src dst)

readList :: ReadS [ExchangeRate src dst]

readPrec :: ReadPrec (ExchangeRate src dst)

readListPrec :: ReadPrec [ExchangeRate src dst]

(KnownSymbol src, KnownSymbol dst) => Show (ExchangeRate src dst)

> show (exchangeRate (5 % 7) :: Maybe (ExchangeRate "USD" "JPY"))@
Just "ExchangeRate \"USD\" \"JPY\" 5%7"

Methods

showsPrec :: Int -> ExchangeRate src dst -> ShowS

show :: ExchangeRate src dst -> String

showList :: [ExchangeRate src dst] -> ShowS

Generic (ExchangeRate src dst)

Associated Types

type Rep (ExchangeRate src dst) :: * -> *

Methods

from :: ExchangeRate src dst -> Rep (ExchangeRate src dst) x

to :: Rep (ExchangeRate src dst) x -> ExchangeRate src dst

Arbitrary (ExchangeRate src dst)

Methods

arbitrary :: Gen (ExchangeRate src dst)

shrink :: ExchangeRate src dst -> [ExchangeRate src dst]

(KnownSymbol src, KnownSymbol dst) => Binary (ExchangeRate src dst)

Compatible with SomeExchangeRate.

Methods

put :: ExchangeRate src dst -> Put

get :: Get (ExchangeRate src dst)

putList :: [ExchangeRate src dst] -> Put

NFData (ExchangeRate src dst)

Methods

rnf :: ExchangeRate src dst -> ()

Hashable (ExchangeRate src dst)

Methods

hashWithSalt :: Int -> ExchangeRate src dst -> Int

hash :: ExchangeRate src dst -> Int

type Rep (ExchangeRate src dst)

type Rep (ExchangeRate src dst) = D1 (MetaData "ExchangeRate" "Money.Internal" "safe-money-0.8.1-inplace" True) (C1 (MetaCons "ExchangeRate" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rational)))

exchangeRate :: Rational -> Maybe (ExchangeRate src dst)

Safely construct an ExchangeRate from a *positive* Rational number.

If the given Rational is non-positive, returns Nothing.

exchange :: ExchangeRate src dst -> Dense src -> Dense dst

Apply the ExchangeRate to the given Dense src monetary value.

Identity law:

exchange (exchangeRateRecip x) . exchange x  ==  id

Use the Identity law for reasoning about going back and forth between src and dst in order to manage any leftovers that might not be representable as a Discrete monetary value of src.

exchangeRateRecip :: ExchangeRate a b -> ExchangeRate b a

Reciprocal ExchangeRate.

This function retuns the reciprocal or multiplicative inverse of the given ExchangeRate, leading to the following identity law:

exchangeRateRecip . exchangeRateRecip   ==  id

Note: If ExchangeRate had a Fractional instance, then exchangeRateRecip would be the implementation of recip.

exchangeRateFromDecimal

Arguments

:: DecimalConf

Config to use for parsing the decimal number.

Notice that a leading '-' or '+' will always be correctly interpreted, notwithstanding what the “leading '+'” policy is on the given DecimalConf.

-> Text

The raw string containing the decimal representation (e.g., "1,234.56789").

-> Maybe (ExchangeRate src dst)

Parses a decimal representation of an ExchangeRate.

exchangeRateToDecimal

Arguments

:: DecimalConf

Config to use for rendering the decimal number.

-> Approximation

Approximation to use if necessary in order to fit the ExchangeRate amount in as many decimal numbers as requested.

-> ExchangeRate src dst

The ExchangeRate to render.

-> Text

Render a ExchangeRate as a decimal number in a potentially lossy manner.

> exchangeRateToDecimal defaultDecimalConf Round
      <$> (exchangeRate (123456 % 100) :: Maybe (ExchangeRate "USD" "EUR"))
Just "1,234.56"

exchangeRateToRational :: ExchangeRate src dst -> Rational

Obtain a Rational representation of the ExchangeRate.

This Rational is guaranteed to be a positive number.

Serializable representations

data SomeDense

A monomorphic representation of Dense that is easier to serialize and deserialize than Dense in case you don't know the type indexes involved.

If you are trying to construct a value of this type from some raw input, then you will need to use the mkSomeDense function.

In order to be able to effectively serialize a SomeDense value, you need to serialize the following three values (which are the eventual arguments to mkSomeDense):

• someDenseCurrency
• someDenseAmount

Instances

Eq SomeDense

Methods

(==) :: SomeDense -> SomeDense -> Bool

(/=) :: SomeDense -> SomeDense -> Bool

Ord SomeDense

WARNING This instance does not compare monetary amounts across different currencies, it just helps you sort SomeDense values in case you need to put them in a Set or similar.

Methods

compare :: SomeDense -> SomeDense -> Ordering

(<) :: SomeDense -> SomeDense -> Bool

(<=) :: SomeDense -> SomeDense -> Bool

(>) :: SomeDense -> SomeDense -> Bool

(>=) :: SomeDense -> SomeDense -> Bool

max :: SomeDense -> SomeDense -> SomeDense

min :: SomeDense -> SomeDense -> SomeDense

Show SomeDense

Methods

showsPrec :: Int -> SomeDense -> ShowS

show :: SomeDense -> String

showList :: [SomeDense] -> ShowS

Generic SomeDense

Associated Types

type Rep SomeDense :: * -> *

Methods

from :: SomeDense -> Rep SomeDense x

to :: Rep SomeDense x -> SomeDense

Arbitrary SomeDense

Methods

arbitrary :: Gen SomeDense

shrink :: SomeDense -> [SomeDense]

Binary SomeDense

Compatible with Dense.

Methods

put :: SomeDense -> Put

get :: Get SomeDense

putList :: [SomeDense] -> Put

NFData SomeDense

Methods

rnf :: SomeDense -> ()

Hashable SomeDense

Methods

hashWithSalt :: Int -> SomeDense -> Int

hash :: SomeDense -> Int

type Rep SomeDense

type Rep SomeDense = D1 (MetaData "SomeDense" "Money.Internal" "safe-money-0.8.1-inplace" False) (C1 (MetaCons "SomeDense" PrefixI True) (S1 (MetaSel (Just "_someDenseCurrency") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 String) :*: S1 (MetaSel (Just "_someDenseAmount") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Rational)))

toSomeDense :: KnownSymbol currency => Dense currency -> SomeDense

Convert a Dense to a SomeDense for ease of serialization.

mkSomeDense

Arguments

:: Text

Currency. (someDenseCurrency)

-> Rational

Amount. (someDenseAmount)

-> Maybe SomeDense

Build a SomeDense from raw values.

This function is intended for deserialization purposes. You need to convert this SomeDense value to a Dense value in order to do any arithmetic operation on the monetary value.

fromSomeDense

Arguments

:: KnownSymbol currency

=> SomeDense

-> Maybe (Dense currency)

Attempt to convert a SomeDense to a Dense, provided you know the target currency.

withSomeDense

Arguments

:: SomeDense

-> (forall currency. KnownSymbol currency => Dense currency -> r)

-> r

Convert a SomeDense to a Dense without knowing the target currency.

Notice that currency here can't leave its intended scope unless you can prove equality with some other type at the outer scope, but in that case you would be better off using fromSomeDense directly.

someDenseToDecimal

Arguments

:: DecimalConf

Config to use for rendering the decimal number.

-> Approximation

Approximation to use if necessary in order to fit the SomeDense amount in as many decimal numbers as requested.

-> SomeDense

The monetary amount to render.

-> Text

Like denseToDecimal, but takes a SomeDense as input.

someDenseCurrency :: SomeDense -> Text

Currency name.

someDenseAmount :: SomeDense -> Rational

Currency unit amount.

data SomeDiscrete

A monomorphic representation of Discrete that is easier to serialize and deserialize than Discrete in case you don't know the type indexes involved.

If you are trying to construct a value of this type from some raw input, then you will need to use the mkSomeDiscrete function.

In order to be able to effectively serialize a SomeDiscrete value, you need to serialize the following four values (which are the eventual arguments to mkSomeDiscrete):

• someDiscreteCurrency
• someDiscreteScale
• someDiscreteAmount

Instances

Eq SomeDiscrete

Methods

(==) :: SomeDiscrete -> SomeDiscrete -> Bool

(/=) :: SomeDiscrete -> SomeDiscrete -> Bool

Ord SomeDiscrete

WARNING This instance does not compare monetary amounts across different currencies, it just helps you sort SomeDiscrete values in case you need to put them in a Set or similar.

Methods

compare :: SomeDiscrete -> SomeDiscrete -> Ordering

(<) :: SomeDiscrete -> SomeDiscrete -> Bool

(<=) :: SomeDiscrete -> SomeDiscrete -> Bool

(>) :: SomeDiscrete -> SomeDiscrete -> Bool

(>=) :: SomeDiscrete -> SomeDiscrete -> Bool

max :: SomeDiscrete -> SomeDiscrete -> SomeDiscrete

min :: SomeDiscrete -> SomeDiscrete -> SomeDiscrete

Show SomeDiscrete

Methods

showsPrec :: Int -> SomeDiscrete -> ShowS

show :: SomeDiscrete -> String

showList :: [SomeDiscrete] -> ShowS

Generic SomeDiscrete

Associated Types

type Rep SomeDiscrete :: * -> *

Methods

from :: SomeDiscrete -> Rep SomeDiscrete x

to :: Rep SomeDiscrete x -> SomeDiscrete

Arbitrary SomeDiscrete

Methods

arbitrary :: Gen SomeDiscrete

shrink :: SomeDiscrete -> [SomeDiscrete]

Binary SomeDiscrete

Compatible with Discrete.

Methods

put :: SomeDiscrete -> Put

get :: Get SomeDiscrete

putList :: [SomeDiscrete] -> Put

NFData SomeDiscrete

Methods

rnf :: SomeDiscrete -> ()

Hashable SomeDiscrete

Methods

hashWithSalt :: Int -> SomeDiscrete -> Int

hash :: SomeDiscrete -> Int

type Rep SomeDiscrete

type Rep SomeDiscrete = D1 (MetaData "SomeDiscrete" "Money.Internal" "safe-money-0.8.1-inplace" False) (C1 (MetaCons "SomeDiscrete" PrefixI True) (S1 (MetaSel (Just "_someDiscreteCurrency") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 String) :*: (S1 (MetaSel (Just "_someDiscreteScale") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Scale) :*: S1 (MetaSel (Just "_someDiscreteAmount") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer))))

toSomeDiscrete

Arguments

:: (KnownSymbol currency, GoodScale scale)

=> Discrete' currency scale

-> SomeDiscrete

Convert a Discrete to a SomeDiscrete for ease of serialization.

mkSomeDiscrete

Arguments

:: Text

Currency name. (someDiscreteCurrency)

-> Scale

Scale. Positive, non-zero. (someDiscreteScale)

-> Integer

Amount of unit. (someDiscreteAmount)

-> SomeDiscrete

Internal. Build a SomeDiscrete from raw values.

This function is intended for deserialization purposes. You need to convert this SomeDiscrete value to a Discrete vallue in order to do any arithmetic operation on the monetary value.

fromSomeDiscrete

Arguments

:: (KnownSymbol currency, GoodScale scale)

=> SomeDiscrete

-> Maybe (Discrete' currency scale)

Attempt to convert a SomeDiscrete to a Discrete, provided you know the target currency and unit.

withSomeDiscrete

Arguments

:: SomeDiscrete

-> (forall currency scale. (KnownSymbol currency, GoodScale scale) => Discrete' currency scale -> r)

-> r

Convert a SomeDiscrete to a Discrete without knowing the target currency and unit.

Notice that currency and unit here can't leave its intended scope unless you can prove equality with some other type at the outer scope, but in that case you would be better off using fromSomeDiscrete directly.

Notice that you may need to add an explicit type to the result of this function in order to keep the compiler happy.

someDiscreteToDecimal

Arguments

:: DecimalConf

Config to use for rendering the decimal number.

-> Approximation

Approximation to use if necessary in order to fit the SomeDiscrete amount in as many decimal numbers as requested.

-> SomeDiscrete

The monetary amount to render.

-> Text

Like discreteToDecimal, but takes a SomeDiscrete as input.

someDiscreteCurrency :: SomeDiscrete -> Text

Currency name.

someDiscreteScale :: SomeDiscrete -> Scale

Positive, non-zero.

someDiscreteAmount :: SomeDiscrete -> Integer

Amount of currency unit.

data SomeExchangeRate

A monomorphic representation of ExchangeRate that is easier to serialize and deserialize than ExchangeRate in case you don't know the type indexes involved.

If you are trying to construct a value of this type from some raw input, then you will need to use the mkSomeExchangeRate function.

In order to be able to effectively serialize an SomeExchangeRate value, you need to serialize the following four values (which are the eventual arguments to mkSomeExchangeRate):

• someExchangeRateSrcCurrency
• someExchangeRateDstCurrency
• someExchangeRateRate

Instances

Eq SomeExchangeRate

Methods

(==) :: SomeExchangeRate -> SomeExchangeRate -> Bool

(/=) :: SomeExchangeRate -> SomeExchangeRate -> Bool

Ord SomeExchangeRate

WARNING This instance does not compare rates across different currency pairs (whatever that means), it just helps you sort SomeExchangeRate values in case you need to put them in a Set or similar.

Methods

compare :: SomeExchangeRate -> SomeExchangeRate -> Ordering

(<) :: SomeExchangeRate -> SomeExchangeRate -> Bool

(<=) :: SomeExchangeRate -> SomeExchangeRate -> Bool

(>) :: SomeExchangeRate -> SomeExchangeRate -> Bool

(>=) :: SomeExchangeRate -> SomeExchangeRate -> Bool

max :: SomeExchangeRate -> SomeExchangeRate -> SomeExchangeRate

min :: SomeExchangeRate -> SomeExchangeRate -> SomeExchangeRate

Show SomeExchangeRate

Methods

showsPrec :: Int -> SomeExchangeRate -> ShowS

show :: SomeExchangeRate -> String

showList :: [SomeExchangeRate] -> ShowS

Generic SomeExchangeRate

Associated Types

type Rep SomeExchangeRate :: * -> *

Methods

from :: SomeExchangeRate -> Rep SomeExchangeRate x

to :: Rep SomeExchangeRate x -> SomeExchangeRate

Arbitrary SomeExchangeRate

Methods

arbitrary :: Gen SomeExchangeRate

shrink :: SomeExchangeRate -> [SomeExchangeRate]

Binary SomeExchangeRate

Compatible with ExchangeRate.

Methods

put :: SomeExchangeRate -> Put

get :: Get SomeExchangeRate

putList :: [SomeExchangeRate] -> Put

NFData SomeExchangeRate

Methods

rnf :: SomeExchangeRate -> ()

Hashable SomeExchangeRate

Methods

hashWithSalt :: Int -> SomeExchangeRate -> Int

hash :: SomeExchangeRate -> Int

type Rep SomeExchangeRate

type Rep SomeExchangeRate = D1 (MetaData "SomeExchangeRate" "Money.Internal" "safe-money-0.8.1-inplace" False) (C1 (MetaCons "SomeExchangeRate" PrefixI True) (S1 (MetaSel (Just "_someExchangeRateSrcCurrency") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 String) :*: (S1 (MetaSel (Just "_someExchangeRateDstCurrency") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 String) :*: S1 (MetaSel (Just "_someExchangeRateRate") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Rational))))

toSomeExchangeRate

Arguments

:: (KnownSymbol src, KnownSymbol dst)

=> ExchangeRate src dst

-> SomeExchangeRate

Convert a ExchangeRate to a SomeDiscrete for ease of serialization.

mkSomeExchangeRate

Arguments

:: Text

Source currency name. (someExchangeRateSrcCurrency)

-> Text

Destination currency name. (someExchangeRateDstCurrency)

-> Rational

Exchange rate . Positive, non-zero. (someExchangeRateRate)

-> Maybe SomeExchangeRate

Internal. Build a SomeExchangeRate from raw values.

This function is intended for deserialization purposes. You need to convert this SomeExchangeRate value to a ExchangeRate value in order to do any arithmetic operation with the exchange rate.

fromSomeExchangeRate

Arguments

:: (KnownSymbol src, KnownSymbol dst)

=> SomeExchangeRate

-> Maybe (ExchangeRate src dst)

Attempt to convert a SomeExchangeRate to a ExchangeRate, provided you know the target src and dst types.

withSomeExchangeRate

Arguments

:: SomeExchangeRate

-> (forall src dst. (KnownSymbol src, KnownSymbol dst) => ExchangeRate src dst -> r)

-> r

Convert a SomeExchangeRate to a ExchangeRate without knowing the target currency and unit.

Notice that src and dst here can't leave its intended scope unless you can prove equality with some other type at the outer scope, but in that case you would be better off using fromSomeExchangeRate directly.

someExchangeRateToDecimal

Arguments

:: DecimalConf

Config to use for rendering the decimal number.

-> Approximation

Approximation to use if necessary in order to fit the SomeExchangeRate amount in as many decimal numbers as requested.

-> SomeExchangeRate

The SomeExchangeRate to render.

-> Text

Like exchangeRateToDecimal, but takes a SomeExchangeRate as input.

someExchangeRateSrcCurrency :: SomeExchangeRate -> Text

Source currency name.

someExchangeRateDstCurrency :: SomeExchangeRate -> Text

Destination currency name.

someExchangeRateRate :: SomeExchangeRate -> Rational

Exchange rate. Positive, non-zero.

Miscellaneous

data Approximation

Method for approximating a fractional number to an integer number.

Constructors

Round

Approximate x to the nearest integer, or to the nearest even integer if x is equidistant between two integers.

Floor

Approximate x to the nearest integer less than or equal to x.

Ceiling

Approximate x to the nearest integer greater than or equal to x.

Truncate

Approximate x to the nearest integer betwen 0 and x, inclusive.

HalfEven

Approximate x to the nearest even integer, when equidistant from the nearest two integers. This is also known as “Bankers Rounding”.

Instances

Eq Approximation

Methods

(==) :: Approximation -> Approximation -> Bool

(/=) :: Approximation -> Approximation -> Bool

Ord Approximation

Methods

compare :: Approximation -> Approximation -> Ordering

(<) :: Approximation -> Approximation -> Bool

(<=) :: Approximation -> Approximation -> Bool

(>) :: Approximation -> Approximation -> Bool

(>=) :: Approximation -> Approximation -> Bool

max :: Approximation -> Approximation -> Approximation

min :: Approximation -> Approximation -> Approximation

Read Approximation

Methods

readsPrec :: Int -> ReadS Approximation

readList :: ReadS [Approximation]

readPrec :: ReadPrec Approximation

readListPrec :: ReadPrec [Approximation]

Show Approximation

Methods

showsPrec :: Int -> Approximation -> ShowS

show :: Approximation -> String

showList :: [Approximation] -> ShowS

Generic Approximation

Associated Types

type Rep Approximation :: * -> *

Methods

from :: Approximation -> Rep Approximation x

to :: Rep Approximation x -> Approximation

Arbitrary Approximation

Methods

arbitrary :: Gen Approximation

shrink :: Approximation -> [Approximation]

NFData Approximation

Methods

rnf :: Approximation -> ()

Hashable Approximation

Methods

hashWithSalt :: Int -> Approximation -> Int

hash :: Approximation -> Int

type Rep Approximation

type Rep Approximation = D1 (MetaData "Approximation" "Money.Internal" "safe-money-0.8.1-inplace" False) ((C1 (MetaCons "Round" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Floor" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "Ceiling" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "Truncate" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "HalfEven" PrefixI False) (U1 :: * -> *))))

Decimal config

data DecimalConf

Config to use when rendering or parsing decimal numbers.

See defaultDecimalConf.

Constructors

DecimalConf

Fields

• decimalConf_separators :: !Separators

  Decimal and thousands separators to use when rendering the decimal number. Construct one with mkSeparators, or pick a ready made one like separatorsDot or separatorsDotNarrownbsp.

• decimalConf_leadingPlus :: !Bool

  Whether to render a leading '+' sign in case the amount is positive.

• decimalConf_digits :: !Word8

  Number of decimal numbers to render, if any.

• decimalConf_scale :: !Scale

  Scale used to when rendering the decimal number. This is useful if, for example, you want to render a “number of cents” rather than a “number of dollars” as the whole part of the decimal number when rendering a USD amount. It's particularly useful when rendering currencies such as XAU, where one might prefer to render amounts as a number of grams, rather than as a number of troy-ounces.

  Set this to 1 if you don't care.

  For example, when rendering render dense' (123 % 100) :: Dense "USD" as a decimal number with two decimal places, a scale of 1 (analogous to UnitScale "USD" "dollar") would render 1 as the integer part and 23 as the fractional part, whereas a scale of 100 (analogous UnitScale "USD" "cent") would render 123 as the integer part and 00 as the fractional part.

  You can easily obtain the scale for a particular currency and unit combination using the scale function.

  Important: Generally, you will want this number to be 1 or larger. This is because scales in the range (0, 1) can be particularly lossy unless the number of decimal digits is sufficiently large.

Instances

Eq DecimalConf

Methods

(==) :: DecimalConf -> DecimalConf -> Bool

(/=) :: DecimalConf -> DecimalConf -> Bool

Show DecimalConf

Methods

showsPrec :: Int -> DecimalConf -> ShowS

show :: DecimalConf -> String

showList :: [DecimalConf] -> ShowS

Arbitrary DecimalConf

Methods

arbitrary :: Gen DecimalConf

shrink :: DecimalConf -> [DecimalConf]

defaultDecimalConf :: DecimalConf

Default DecimalConf.

• No leading '+' sign
• No thousands separator
• Decimal separator is '.'
• 2 decimal digits
• A scale of 1

That is, something like 1.23 or -1234567.89.

Separators

data Separators

Decimal and thousands separators used when rendering or parsing a decimal number.

Use mkSeparators to construct.

Instances

Eq Separators

Methods

(==) :: Separators -> Separators -> Bool

(/=) :: Separators -> Separators -> Bool

Show Separators

Methods

showsPrec :: Int -> Separators -> ShowS

show :: Separators -> String

showList :: [Separators] -> ShowS

Arbitrary Separators

Methods

arbitrary :: Gen Separators

shrink :: Separators -> [Separators]

mkSeparators

Arguments

:: Char

Decimal separator (i.e., the '.' in 1,234.56789)

-> Maybe Char

Thousands separator for the integer part, if any (i.e., the ',' in 1,234.56789).

-> Maybe Separators

Construct Separators to use with in DecimalConf.

The separators can't be an ASCII digit nor control character, and they must be different from each other.

separatorsComma :: Separators

1234567,89

separatorsCommaDot :: Separators

1.234.567,89

separatorsCommaNarrownbsp :: Separators

1 234 567,89

The whitespace is Unicode's NARROW NO-BREAK SPACE (U+202f, 8239, '\8239').

separatorsCommaNbsp :: Separators

1 234 567,89

The whitespace is Unicode's NO-BREAK SPACE (U+00a0, 160, '\160').

separatorsCommaThinsp :: Separators

1 234 567,89

The whitespace is Unicode's THIN SPACE (U+2009, 8201, '\8201').

separatorsCommaSpace :: Separators

1 234 567,89

The whitespace is ASCII's SPC (U+0020, 32, '\32').

separatorsDot :: Separators

1234567.89

separatorsDotComma :: Separators

1,234,567.89

separatorsDotNarrownbsp :: Separators

1 234 567.89

The whitespace is Unicode's NARROW NO-BREAK SPACE (U+202f, 8239, '\8239').

separatorsDotThinsp :: Separators

1 234 567.89

The whitespace is Unicode's THIN SPACE (U+2009, 8201, '\8201').

separatorsDotNbsp :: Separators

1 234 567.89

The whitespace is Unicode's NO-BREAK SPACE (U+00a0, 160, '\160').

separatorsDotSpace :: Separators

1 234 567.89

The whitespace is ASCII's SPACE (U+0020, 32, '\32').