Money

Dense monetary values

data Dense currency

dense

Discrete monetary values

type Discrete currency unit

data Discrete' currency scale

fromDiscrete

round

ceiling

floor

truncate

Currency scales

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

type GoodScale scale

scale

Currency exchange

data ExchangeRate src dst

exchangeRate

fromExchangeRate

flipExchangeRate

exchange

Serializable representations

data SomeDense

toSomeDense

mkSomeDense

fromSomeDense

withSomeDense

someDenseCurrency

someDenseAmount

data SomeDiscrete

toSomeDiscrete

mkSomeDiscrete

fromSomeDiscrete

withSomeDiscrete

someDiscreteCurrency

someDiscreteScale

someDiscreteAmount

data SomeExchangeRate

toSomeExchangeRate

mkSomeExchangeRate

fromSomeExchangeRate

withSomeExchangeRate

someExchangeRateSrcCurrency

someExchangeRateDstCurrency

someExchangeRateRate