Type encoding for FX rate quotations with fixed precision.

An FX rate quotation is a 3-tuple of:

1. a currency pair the rate is quoted for, and
2. a date that the quotation is effective as of,
3. a (positive) rate as the value of the quotation.

Smart constructor for FxQuote values within MonadError Text context.

The rate is expected to be a positive value. If it is not, the function will throw an error.

>>> :set -XTypeApplications
>>> mkFxQuoteError @(Either _) @2 "EUR" "USD" (read "2021-12-31") 1.16
Right (MkFxQuote {fxQuotePair = EUR/USD, fxQuoteDate = 2021-12-31, fxQuoteRate = Refined 1.16})
>>> mkFxQuoteError @(Either _) @2 "EUR" "USD" (read "2021-12-31") (-1.16)
Left "Can not create FX Rate. Error was:   The predicate (GreaterThan 0) failed with the message: Value is not greater than 0\n"

Smart constructor for FxQuote values within MonadFail context.

The rate is expected to be a positive value. If it is not, the function will fail.

>>> :set -XTypeApplications
>>> mkFxQuoteFail @Maybe @2 "EUR" "USD" (read "2021-12-31") 1.16
Just (MkFxQuote {fxQuotePair = EUR/USD, fxQuoteDate = 2021-12-31, fxQuoteRate = Refined 1.16})
>>> mkFxQuoteFail @Maybe @2 "EUR" "USD" (read "2021-12-31") (-1.16)
Nothing

Unsafe FxQuote constructor that errors if it fails.

>>> :set -XTypeApplications
>>> mkFxQuoteUnsafe @2 "EUR" "USD" (read "2021-12-31") 1.16
MkFxQuote {fxQuotePair = EUR/USD, fxQuoteDate = 2021-12-31, fxQuoteRate = Refined 1.16}
>>> mkFxQuoteUnsafe @2 "EUR" "USD" (read "2021-12-31") (-1.16)
...
...Can not create FX Rate. Error was:   The predicate (GreaterThan 0) failed with the message: Value is not greater than 0
...

Type encoding for a dictionary-based FX rate quotation database for various CurrencyPair values.

Type encoding for FX rate quotation database for a CurrencyPair.

Attempts to find and return the FX quotation for a given CurrencyPair as of a give Day in a given FxQuoteDatabase.

Attempts to find and return the FX quotation as of a give Day in a given FxQuotePairDatabase.

Returns empty FX rate quotation database.

>>> :set -XTypeApplications
>>> emptyFxQuoteDatabase @8
fromList []

Adds a list of FX rate quotations to the given database.

>>> :set -XTypeApplications
>>> let database = emptyFxQuoteDatabase @8
>>> addFxQuotes [] database
fromList []
>>> addFxQuotes [mkFxQuoteUnsafe @8 "EUR" "USD" (read "2021-01-31") 1.13] database
fromList [(EUR/USD,FxQuotePairDatabase {fxQuotePairDatabasePair = EUR/USD, fxQuotePairDatabaseTable = fromList [(2021-01-31,MkFxQuote {fxQuotePair = EUR/USD, fxQuoteDate = 2021-01-31, fxQuoteRate = Refined 1.13000000})], fxQuotePairDatabaseSince = 2021-01-31, fxQuotePairDatabaseUntil = 2021-01-31})]
>>> addFxQuotes [mkFxQuoteUnsafe @8 "EUR" "USD" (read "2021-01-31") 1.13, mkFxQuoteUnsafe @8 "USD" "EUR" (read "2021-01-31") 0.884956] database
fromList [(EUR/USD,FxQuotePairDatabase {fxQuotePairDatabasePair = EUR/USD, fxQuotePairDatabaseTable = fromList [(2021-01-31,MkFxQuote {fxQuotePair = EUR/USD, fxQuoteDate = 2021-01-31, fxQuoteRate = Refined 1.13000000})], fxQuotePairDatabaseSince = 2021-01-31, fxQuotePairDatabaseUntil = 2021-01-31}),(USD/EUR,FxQuotePairDatabase {fxQuotePairDatabasePair = USD/EUR, fxQuotePairDatabaseTable = fromList [(2021-01-31,MkFxQuote {fxQuotePair = USD/EUR, fxQuoteDate = 2021-01-31, fxQuoteRate = Refined 0.88495600})], fxQuotePairDatabaseSince = 2021-01-31, fxQuotePairDatabaseUntil = 2021-01-31})]

Adds an FX rate quotation to the given database.

Initializes FX quote pair database with the given FX quote.

Updates an existing FX quote pair database with the given FX quote.