Money
data Dense currency
dense
type Discrete currency unit
data Discrete' currency scale
fromDiscrete
round
ceiling
floor
truncate
type family Scale (currency :: Symbol) (unit :: Symbol) :: (Nat, Nat)
type GoodScale scale
scale
data ExchangeRate src dst
exchangeRate
fromExchangeRate
flipExchangeRate
exchange
data DenseRep
toDenseRep
mkDenseRep
fromDenseRep
withDenseRep
denseRepCurrency
denseRepAmount
denseRepAmountNumerator
denseRepAmountDenominator
data DiscreteRep
toDiscreteRep
mkDiscreteRep
fromDiscreteRep
withDiscreteRep
discreteRepCurrency
discreteRepScale
discreteRepScaleNumerator
discreteRepScaleDenominator
discreteRepAmount
data ExchangeRateRep
toExchangeRateRep
mkExchangeRateRep
fromExchangeRateRep
withExchangeRateRep
exchangeRateRepSrcCurrency
exchangeRateRepDstCurrency
exchangeRateRepRate
exchangeRateRepRateNumerator
exchangeRateRepRateDenominator