[{"name":"Money","comment":" All the worlds currencies as records and union types, with helper functions too.\n\n\n# Types\n\n@docs Currency, Code\n\n# Values\n\n@docs allCurrencies, allCodes\n\n# Helpers\n\n@docs currencyFromString, currencyFromCode, codeFromString\n\n# Currencies\n\n@docs usd, cad, eur, btc, aed, afn, all, amd, ars, aud, azn, bam, bdt, bgn, bhd, bif, bnd, bob, brl, bwp, byr, bzd, cdf, chf, clp, cny, cop, crc, cve, czk, djf, dkk, dop, dzd, eek, egp, ern, etb, gbp, gel, ghs, gnf, gtq, hkd, hnl, hrk, huf, idr, ils, inr, iqd, irr, isk, jmd, jod, jpy, kes, khr, kmf, krw, kwd, kzt, lak, lbp, lkr, ltl, lvl, lyd, mad, mdl, mga, mkd, mmk, mop, mur, mxn, myr, mzn, nad, ngn, nio, nok, npr, nzd, omr, pab, pen, php, pkr, pln, pyg, qar, ron, rsd, rub, rwf, sar, sdg, sek, sgd, sos, syp, thb, tnd, top, try, ttd, twd, tzs, uah, ugx, uyu, uzs, vef, vnd, xaf, xof, yer, zar, zmk\n\n","unions":[{"name":"Code","comment":" This type represents all the possible currency codes ","args":[],"cases":[["USD",[]],["CAD",[]],["EUR",[]],["BTC",[]],["AED",[]],["AFN",[]],["ALL",[]],["AMD",[]],["ARS",[]],["AUD",[]],["AZN",[]],["BAM",[]],["BDT",[]],["BGN",[]],["BHD",[]],["BIF",[]],["BND",[]],["BOB",[]],["BRL",[]],["BWP",[]],["BYR",[]],["BZD",[]],["CDF",[]],["CHF",[]],["CLP",[]],["CNY",[]],["COP",[]],["CRC",[]],["CVE",[]],["CZK",[]],["DJF",[]],["DKK",[]],["DOP",[]],["DZD",[]],["EEK",[]],["EGP",[]],["ERN",[]],["ETB",[]],["GBP",[]],["GEL",[]],["GHS",[]],["GNF",[]],["GTQ",[]],["HKD",[]],["HNL",[]],["HRK",[]],["HUF",[]],["IDR",[]],["ILS",[]],["INR",[]],["IQD",[]],["IRR",[]],["ISK",[]],["JMD",[]],["JOD",[]],["JPY",[]],["KES",[]],["KHR",[]],["KMF",[]],["KRW",[]],["KWD",[]],["KZT",[]],["LAK",[]],["LBP",[]],["LKR",[]],["LTL",[]],["LVL",[]],["LYD",[]],["MAD",[]],["MDL",[]],["MGA",[]],["MKD",[]],["MMK",[]],["MOP",[]],["MUR",[]],["MXN",[]],["MYR",[]],["MZN",[]],["NAD",[]],["NGN",[]],["NIO",[]],["NOK",[]],["NPR",[]],["NZD",[]],["OMR",[]],["PAB",[]],["PEN",[]],["PHP",[]],["PKR",[]],["PLN",[]],["PYG",[]],["QAR",[]],["RON",[]],["RSD",[]],["RUB",[]],["RWF",[]],["SAR",[]],["SDG",[]],["SEK",[]],["SGD",[]],["SOS",[]],["SYP",[]],["THB",[]],["TND",[]],["TOP",[]],["TRY",[]],["TTD",[]],["TWD",[]],["TZS",[]],["UAH",[]],["UGX",[]],["UYU",[]],["UZS",[]],["VEF",[]],["VND",[]],["XAF",[]],["XOF",[]],["YER",[]],["ZAR",[]],["ZMK",[]]]}],"aliases":[{"name":"Currency","comment":"","args":[],"type":"{ symbol : String.String, name : String.String, namePlural : String.String, symbolNative : String.String, decimalDigits : Basics.Int, code : String.String }"}],"values":[{"name":"aed","comment":" United Arab Emirates Dirham ","type":"Money.Currency"},{"name":"afn","comment":" Afghan Afghani ","type":"Money.Currency"},{"name":"all","comment":" Albanian Lek ","type":"Money.Currency"},{"name":"allCodes","comment":" A list of all the currency codes ","type":"List.List Money.Code"},{"name":"allCurrencies","comment":" A list of all the currencies ","type":"List.List Money.Currency"},{"name":"amd","comment":" Armenian Dram ","type":"Money.Currency"},{"name":"ars","comment":" Argentine Peso ","type":"Money.Currency"},{"name":"aud","comment":" Australian Dollar ","type":"Money.Currency"},{"name":"azn","comment":" Azerbaijani Manat ","type":"Money.Currency"},{"name":"bam","comment":" Bosnia-Herzegovina Convertible Mark ","type":"Money.Currency"},{"name":"bdt","comment":" Bangladeshi Taka ","type":"Money.Currency"},{"name":"bgn","comment":" Bulgarian Lev ","type":"Money.Currency"},{"name":"bhd","comment":" Bahraini Dinar ","type":"Money.Currency"},{"name":"bif","comment":" Burundian Franc ","type":"Money.Currency"},{"name":"bnd","comment":" Brunei Dollar ","type":"Money.Currency"},{"name":"bob","comment":" Bolivian Boliviano ","type":"Money.Currency"},{"name":"brl","comment":" Brazilian Real ","type":"Money.Currency"},{"name":"btc","comment":" Bitcoin ","type":"Money.Currency"},{"name":"bwp","comment":" Botswanan Pula ","type":"Money.Currency"},{"name":"byr","comment":" Belarusian Ruble ","type":"Money.Currency"},{"name":"bzd","comment":" Belize Dollar ","type":"Money.Currency"},{"name":"cad","comment":" Canadian Dollar ","type":"Money.Currency"},{"name":"cdf","comment":" Congolese Franc ","type":"Money.Currency"},{"name":"chf","comment":" Swiss Franc ","type":"Money.Currency"},{"name":"clp","comment":" Chilean Peso ","type":"Money.Currency"},{"name":"cny","comment":" Chinese Yuan ","type":"Money.Currency"},{"name":"codeFromString","comment":" Get the currency code from a string ","type":"String.String -> Maybe.Maybe Money.Code"},{"name":"cop","comment":" Colombian Peso ","type":"Money.Currency"},{"name":"crc","comment":" Costa Rican Colón ","type":"Money.Currency"},{"name":"currencyFromCode","comment":" Get the currency from a code, with no Maybes involved ","type":"Money.Code -> Money.Currency"},{"name":"currencyFromString","comment":" Get the currency from a string ","type":"String.String -> Maybe.Maybe Money.Currency"},{"name":"cve","comment":" Cape Verdean Escudo ","type":"Money.Currency"},{"name":"czk","comment":" Czech Republic Koruna ","type":"Money.Currency"},{"name":"djf","comment":" Djiboutian Franc ","type":"Money.Currency"},{"name":"dkk","comment":" Danish Krone ","type":"Money.Currency"},{"name":"dop","comment":" Dominican Peso ","type":"Money.Currency"},{"name":"dzd","comment":" Algerian Dinar ","type":"Money.Currency"},{"name":"eek","comment":" Estonian Kroon ","type":"Money.Currency"},{"name":"egp","comment":" Egyptian Pound ","type":"Money.Currency"},{"name":"ern","comment":" Eritrean Nakfa ","type":"Money.Currency"},{"name":"etb","comment":" Ethiopian Birr ","type":"Money.Currency"},{"name":"eur","comment":" Euro ","type":"Money.Currency"},{"name":"gbp","comment":" British Pound Sterling ","type":"Money.Currency"},{"name":"gel","comment":" Georgian Lari ","type":"Money.Currency"},{"name":"ghs","comment":" Ghanaian Cedi ","type":"Money.Currency"},{"name":"gnf","comment":" Guinean Franc ","type":"Money.Currency"},{"name":"gtq","comment":" Guatemalan Quetzal ","type":"Money.Currency"},{"name":"hkd","comment":" Hong Kong Dollar ","type":"Money.Currency"},{"name":"hnl","comment":" Honduran Lempira ","type":"Money.Currency"},{"name":"hrk","comment":" Croatian Kuna ","type":"Money.Currency"},{"name":"huf","comment":" Hungarian Forint ","type":"Money.Currency"},{"name":"idr","comment":" Indonesian Rupiah ","type":"Money.Currency"},{"name":"ils","comment":" Israeli New Sheqel ","type":"Money.Currency"},{"name":"inr","comment":" Indian Rupee ","type":"Money.Currency"},{"name":"iqd","comment":" Iraqi Dinar ","type":"Money.Currency"},{"name":"irr","comment":" Iranian Rial ","type":"Money.Currency"},{"name":"isk","comment":" Icelandic Króna ","type":"Money.Currency"},{"name":"jmd","comment":" Jamaican Dollar ","type":"Money.Currency"},{"name":"jod","comment":" Jordanian Dinar ","type":"Money.Currency"},{"name":"jpy","comment":" Japanese Yen ","type":"Money.Currency"},{"name":"kes","comment":" Kenyan Shilling ","type":"Money.Currency"},{"name":"khr","comment":" Cambodian Riel ","type":"Money.Currency"},{"name":"kmf","comment":" Comorian Franc ","type":"Money.Currency"},{"name":"krw","comment":" South Korean Won ","type":"Money.Currency"},{"name":"kwd","comment":" Kuwaiti Dinar ","type":"Money.Currency"},{"name":"kzt","comment":" Kazakhstani Tenge ","type":"Money.Currency"},{"name":"lak","comment":" Lao kip ","type":"Money.Currency"},{"name":"lbp","comment":" Lebanese Pound ","type":"Money.Currency"},{"name":"lkr","comment":" Sri Lankan Rupee ","type":"Money.Currency"},{"name":"ltl","comment":" Lithuanian Litas ","type":"Money.Currency"},{"name":"lvl","comment":" Latvian Lats ","type":"Money.Currency"},{"name":"lyd","comment":" Libyan Dinar ","type":"Money.Currency"},{"name":"mad","comment":" Moroccan Dirham ","type":"Money.Currency"},{"name":"mdl","comment":" Moldovan Leu ","type":"Money.Currency"},{"name":"mga","comment":" Malagasy Ariary ","type":"Money.Currency"},{"name":"mkd","comment":" Macedonian Denar ","type":"Money.Currency"},{"name":"mmk","comment":" Myanma Kyat ","type":"Money.Currency"},{"name":"mop","comment":" Macanese Pataca ","type":"Money.Currency"},{"name":"mur","comment":" Mauritian Rupee ","type":"Money.Currency"},{"name":"mxn","comment":" Mexican Peso ","type":"Money.Currency"},{"name":"myr","comment":" Malaysian Ringgit ","type":"Money.Currency"},{"name":"mzn","comment":" Mozambican Metical ","type":"Money.Currency"},{"name":"nad","comment":" Namibian Dollar ","type":"Money.Currency"},{"name":"ngn","comment":" Nigerian Naira ","type":"Money.Currency"},{"name":"nio","comment":" Nicaraguan Córdoba ","type":"Money.Currency"},{"name":"nok","comment":" Norwegian Krone ","type":"Money.Currency"},{"name":"npr","comment":" Nepalese Rupee ","type":"Money.Currency"},{"name":"nzd","comment":" New Zealand Dollar ","type":"Money.Currency"},{"name":"omr","comment":" Omani Rial ","type":"Money.Currency"},{"name":"pab","comment":" Panamanian Balboa ","type":"Money.Currency"},{"name":"pen","comment":" Peruvian Nuevo Sol ","type":"Money.Currency"},{"name":"php","comment":" Philippine Peso ","type":"Money.Currency"},{"name":"pkr","comment":" Pakistani Rupee ","type":"Money.Currency"},{"name":"pln","comment":" Polish Zloty ","type":"Money.Currency"},{"name":"pyg","comment":" Paraguayan Guarani ","type":"Money.Currency"},{"name":"qar","comment":" Qatari Rial ","type":"Money.Currency"},{"name":"ron","comment":" Romanian Leu ","type":"Money.Currency"},{"name":"rsd","comment":" Serbian Dinar ","type":"Money.Currency"},{"name":"rub","comment":" Russian Ruble ","type":"Money.Currency"},{"name":"rwf","comment":" Rwandan Franc ","type":"Money.Currency"},{"name":"sar","comment":" Saudi Riyal ","type":"Money.Currency"},{"name":"sdg","comment":" Sudanese Pound ","type":"Money.Currency"},{"name":"sek","comment":" Swedish Krona ","type":"Money.Currency"},{"name":"sgd","comment":" Singapore Dollar ","type":"Money.Currency"},{"name":"sos","comment":" Somali Shilling ","type":"Money.Currency"},{"name":"syp","comment":" Syrian Pound ","type":"Money.Currency"},{"name":"thb","comment":" Thai Baht ","type":"Money.Currency"},{"name":"tnd","comment":" Tunisian Dinar ","type":"Money.Currency"},{"name":"top","comment":" Tongan Paʻanga ","type":"Money.Currency"},{"name":"try","comment":" Turkish Lira ","type":"Money.Currency"},{"name":"ttd","comment":" Trinidad and Tobago Dollar ","type":"Money.Currency"},{"name":"twd","comment":" New Taiwan Dollar ","type":"Money.Currency"},{"name":"tzs","comment":" Tanzanian Shilling ","type":"Money.Currency"},{"name":"uah","comment":" Ukrainian Hryvnia ","type":"Money.Currency"},{"name":"ugx","comment":" Ugandan Shilling ","type":"Money.Currency"},{"name":"usd","comment":" US Dollar ","type":"Money.Currency"},{"name":"uyu","comment":" Uruguayan Peso ","type":"Money.Currency"},{"name":"uzs","comment":" Uzbekistan Som ","type":"Money.Currency"},{"name":"vef","comment":" Venezuelan Bolívar ","type":"Money.Currency"},{"name":"vnd","comment":" Vietnamese Dong ","type":"Money.Currency"},{"name":"xaf","comment":" CFA Franc BEAC ","type":"Money.Currency"},{"name":"xof","comment":" CFA Franc BCEAO ","type":"Money.Currency"},{"name":"yer","comment":" Yemeni Rial ","type":"Money.Currency"},{"name":"zar","comment":" South African Rand ","type":"Money.Currency"},{"name":"zmk","comment":" Zambian Kwacha ","type":"Money.Currency"}],"binops":[]}]