Data.Money.Internal

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

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

scale

Currency exchange

data ExchangeRate src dst

exchangeRate

fromExchangeRate

flipExchangeRate

exchange

Serializable representations

data DenseRep

denseRep

denseRepCurrency

denseRepAmount

denseRepAmountNumerator

denseRepAmountDenominator

mkDenseRep

fromDenseRep

withDenseRep

data DiscreteRep

discreteRep

discreteRepCurrency

discreteRepScale

discreteRepScaleNumerator

discreteRepScaleDenominator

discreteRepAmount

mkDiscreteRep

fromDiscreteRep

withDiscreteRep

data ExchangeRateRep

exchangeRateRep

exchangeRateRepSrcCurrency

exchangeRateRepDstCurrency

exchangeRateRepRate

exchangeRateRepRateNumerator

exchangeRateRepRateDenominator

mkExchangeRateRep

fromExchangeRateRep

withExchangeRateRep