@reventlessdev/reventless-spec 3.0.0-alpha.123 → 3.0.0-alpha.125

package/src/semantic/Currency.res.mjs

@@ -3,709 +3,61 @@
 import * as Sury from "sury";
 
 let schema = Sury.union([
-  Sury.literal("AED"),
-  Sury.literal("AFN"),
-  Sury.literal("ALL"),
-  Sury.literal("AMD"),
-  Sury.literal("AOA"),
-  Sury.literal("ARS"),
   Sury.literal("AUD"),
-  Sury.literal("AWG"),
-  Sury.literal("AZN"),
-  Sury.literal("BAM"),
-  Sury.literal("BBD"),
-  Sury.literal("BDT"),
-  Sury.literal("BHD"),
-  Sury.literal("BIF"),
-  Sury.literal("BMD"),
-  Sury.literal("BND"),
-  Sury.literal("BOB"),
-  Sury.literal("BOV"),
-  Sury.literal("BRL"),
-  Sury.literal("BSD"),
-  Sury.literal("BTN"),
-  Sury.literal("BWP"),
-  Sury.literal("BYN"),
-  Sury.literal("BZD"),
   Sury.literal("CAD"),
-  Sury.literal("CDF"),
-  Sury.literal("CHE"),
   Sury.literal("CHF"),
-  Sury.literal("CHW"),
-  Sury.literal("CLF"),
-  Sury.literal("CLP"),
   Sury.literal("CNY"),
-  Sury.literal("COP"),
-  Sury.literal("COU"),
-  Sury.literal("CRC"),
-  Sury.literal("CUP"),
-  Sury.literal("CVE"),
-  Sury.literal("CZK"),
-  Sury.literal("DJF"),
-  Sury.literal("DKK"),
-  Sury.literal("DOP"),
-  Sury.literal("DZD"),
-  Sury.literal("EGP"),
-  Sury.literal("ERN"),
-  Sury.literal("ETB"),
   Sury.literal("EUR"),
-  Sury.literal("FJD"),
-  Sury.literal("FKP"),
   Sury.literal("GBP"),
-  Sury.literal("GEL"),
-  Sury.literal("GHS"),
-  Sury.literal("GIP"),
-  Sury.literal("GMD"),
-  Sury.literal("GNF"),
-  Sury.literal("GTQ"),
-  Sury.literal("GYD"),
-  Sury.literal("HKD"),
-  Sury.literal("HNL"),
-  Sury.literal("HTG"),
-  Sury.literal("HUF"),
-  Sury.literal("IDR"),
-  Sury.literal("ILS"),
-  Sury.literal("INR"),
-  Sury.literal("IQD"),
-  Sury.literal("IRR"),
-  Sury.literal("ISK"),
-  Sury.literal("JMD"),
-  Sury.literal("JOD"),
   Sury.literal("JPY"),
-  Sury.literal("KES"),
-  Sury.literal("KGS"),
-  Sury.literal("KHR"),
-  Sury.literal("KMF"),
-  Sury.literal("KPW"),
-  Sury.literal("KRW"),
-  Sury.literal("KWD"),
-  Sury.literal("KYD"),
-  Sury.literal("KZT"),
-  Sury.literal("LAK"),
-  Sury.literal("LBP"),
-  Sury.literal("LKR"),
-  Sury.literal("LRD"),
-  Sury.literal("LSL"),
-  Sury.literal("LYD"),
-  Sury.literal("MAD"),
-  Sury.literal("MDL"),
-  Sury.literal("MGA"),
-  Sury.literal("MKD"),
-  Sury.literal("MMK"),
-  Sury.literal("MNT"),
-  Sury.literal("MOP"),
-  Sury.literal("MRU"),
-  Sury.literal("MUR"),
-  Sury.literal("MVR"),
-  Sury.literal("MWK"),
-  Sury.literal("MXN"),
-  Sury.literal("MXV"),
-  Sury.literal("MYR"),
-  Sury.literal("MZN"),
-  Sury.literal("NAD"),
-  Sury.literal("NGN"),
-  Sury.literal("NIO"),
   Sury.literal("NOK"),
-  Sury.literal("NPR"),
-  Sury.literal("NZD"),
-  Sury.literal("OMR"),
-  Sury.literal("PAB"),
-  Sury.literal("PEN"),
-  Sury.literal("PGK"),
-  Sury.literal("PHP"),
-  Sury.literal("PKR"),
-  Sury.literal("PLN"),
-  Sury.literal("PYG"),
-  Sury.literal("QAR"),
-  Sury.literal("RON"),
-  Sury.literal("RSD"),
-  Sury.literal("RUB"),
-  Sury.literal("RWF"),
-  Sury.literal("SAR"),
-  Sury.literal("SBD"),
-  Sury.literal("SCR"),
-  Sury.literal("SDG"),
   Sury.literal("SEK"),
-  Sury.literal("SGD"),
-  Sury.literal("SHP"),
-  Sury.literal("SLE"),
-  Sury.literal("SOS"),
-  Sury.literal("SRD"),
-  Sury.literal("SSP"),
-  Sury.literal("STN"),
-  Sury.literal("SVC"),
-  Sury.literal("SYP"),
-  Sury.literal("SZL"),
-  Sury.literal("THB"),
-  Sury.literal("TJS"),
-  Sury.literal("TMT"),
-  Sury.literal("TND"),
-  Sury.literal("TOP"),
-  Sury.literal("TRY"),
-  Sury.literal("TTD"),
-  Sury.literal("TWD"),
-  Sury.literal("TZS"),
-  Sury.literal("UAH"),
-  Sury.literal("UGX"),
-  Sury.literal("USD"),
-  Sury.literal("USN"),
-  Sury.literal("UYI"),
-  Sury.literal("UYU"),
-  Sury.literal("UYW"),
-  Sury.literal("UZS"),
-  Sury.literal("VED"),
-  Sury.literal("VES"),
-  Sury.literal("VND"),
-  Sury.literal("VUV"),
-  Sury.literal("WST"),
-  Sury.literal("XAD"),
-  Sury.literal("XAF"),
-  Sury.literal("XCD"),
-  Sury.literal("XCG"),
-  Sury.literal("XOF"),
-  Sury.literal("XPF"),
-  Sury.literal("YER"),
-  Sury.literal("ZAR"),
-  Sury.literal("ZMW"),
-  Sury.literal("ZWG")
+  Sury.literal("USD")
 ]);
 
 let all = [
-  "AED",
-  "AFN",
-  "ALL",
-  "AMD",
-  "AOA",
-  "ARS",
   "AUD",
-  "AWG",
-  "AZN",
-  "BAM",
-  "BBD",
-  "BDT",
-  "BHD",
-  "BIF",
-  "BMD",
-  "BND",
-  "BOB",
-  "BOV",
-  "BRL",
-  "BSD",
-  "BTN",
-  "BWP",
-  "BYN",
-  "BZD",
   "CAD",
-  "CDF",
-  "CHE",
   "CHF",
-  "CHW",
-  "CLF",
-  "CLP",
   "CNY",
-  "COP",
-  "COU",
-  "CRC",
-  "CUP",
-  "CVE",
-  "CZK",
-  "DJF",
-  "DKK",
-  "DOP",
-  "DZD",
-  "EGP",
-  "ERN",
-  "ETB",
   "EUR",
-  "FJD",
-  "FKP",
   "GBP",
-  "GEL",
-  "GHS",
-  "GIP",
-  "GMD",
-  "GNF",
-  "GTQ",
-  "GYD",
-  "HKD",
-  "HNL",
-  "HTG",
-  "HUF",
-  "IDR",
-  "ILS",
-  "INR",
-  "IQD",
-  "IRR",
-  "ISK",
-  "JMD",
-  "JOD",
   "JPY",
-  "KES",
-  "KGS",
-  "KHR",
-  "KMF",
-  "KPW",
-  "KRW",
-  "KWD",
-  "KYD",
-  "KZT",
-  "LAK",
-  "LBP",
-  "LKR",
-  "LRD",
-  "LSL",
-  "LYD",
-  "MAD",
-  "MDL",
-  "MGA",
-  "MKD",
-  "MMK",
-  "MNT",
-  "MOP",
-  "MRU",
-  "MUR",
-  "MVR",
-  "MWK",
-  "MXN",
-  "MXV",
-  "MYR",
-  "MZN",
-  "NAD",
-  "NGN",
-  "NIO",
   "NOK",
-  "NPR",
-  "NZD",
-  "OMR",
-  "PAB",
-  "PEN",
-  "PGK",
-  "PHP",
-  "PKR",
-  "PLN",
-  "PYG",
-  "QAR",
-  "RON",
-  "RSD",
-  "RUB",
-  "RWF",
-  "SAR",
-  "SBD",
-  "SCR",
-  "SDG",
   "SEK",
-  "SGD",
-  "SHP",
-  "SLE",
-  "SOS",
-  "SRD",
-  "SSP",
-  "STN",
-  "SVC",
-  "SYP",
-  "SZL",
-  "THB",
-  "TJS",
-  "TMT",
-  "TND",
-  "TOP",
-  "TRY",
-  "TTD",
-  "TWD",
-  "TZS",
-  "UAH",
-  "UGX",
-  "USD",
-  "USN",
-  "UYI",
-  "UYU",
-  "UYW",
-  "UZS",
-  "VED",
-  "VES",
-  "VND",
-  "VUV",
-  "WST",
-  "XAD",
-  "XAF",
-  "XCD",
-  "XCG",
-  "XOF",
-  "XPF",
-  "YER",
-  "ZAR",
-  "ZMW",
-  "ZWG"
+  "USD"
 ];
 
 function toString(currency) {
   switch (currency) {
-    case "AED" :
-      return "AED";
-    case "AFN" :
-      return "AFN";
-    case "ALL" :
-      return "ALL";
-    case "AMD" :
-      return "AMD";
-    case "AOA" :
-      return "AOA";
-    case "ARS" :
-      return "ARS";
     case "AUD" :
       return "AUD";
-    case "AWG" :
-      return "AWG";
-    case "AZN" :
-      return "AZN";
-    case "BAM" :
-      return "BAM";
-    case "BBD" :
-      return "BBD";
-    case "BDT" :
-      return "BDT";
-    case "BHD" :
-      return "BHD";
-    case "BIF" :
-      return "BIF";
-    case "BMD" :
-      return "BMD";
-    case "BND" :
-      return "BND";
-    case "BOB" :
-      return "BOB";
-    case "BOV" :
-      return "BOV";
-    case "BRL" :
-      return "BRL";
-    case "BSD" :
-      return "BSD";
-    case "BTN" :
-      return "BTN";
-    case "BWP" :
-      return "BWP";
-    case "BYN" :
-      return "BYN";
-    case "BZD" :
-      return "BZD";
     case "CAD" :
       return "CAD";
-    case "CDF" :
-      return "CDF";
-    case "CHE" :
-      return "CHE";
     case "CHF" :
       return "CHF";
-    case "CHW" :
-      return "CHW";
-    case "CLF" :
-      return "CLF";
-    case "CLP" :
-      return "CLP";
     case "CNY" :
       return "CNY";
-    case "COP" :
-      return "COP";
-    case "COU" :
-      return "COU";
-    case "CRC" :
-      return "CRC";
-    case "CUP" :
-      return "CUP";
-    case "CVE" :
-      return "CVE";
-    case "CZK" :
-      return "CZK";
-    case "DJF" :
-      return "DJF";
-    case "DKK" :
-      return "DKK";
-    case "DOP" :
-      return "DOP";
-    case "DZD" :
-      return "DZD";
-    case "EGP" :
-      return "EGP";
-    case "ERN" :
-      return "ERN";
-    case "ETB" :
-      return "ETB";
     case "EUR" :
       return "EUR";
-    case "FJD" :
-      return "FJD";
-    case "FKP" :
-      return "FKP";
     case "GBP" :
       return "GBP";
-    case "GEL" :
-      return "GEL";
-    case "GHS" :
-      return "GHS";
-    case "GIP" :
-      return "GIP";
-    case "GMD" :
-      return "GMD";
-    case "GNF" :
-      return "GNF";
-    case "GTQ" :
-      return "GTQ";
-    case "GYD" :
-      return "GYD";
-    case "HKD" :
-      return "HKD";
-    case "HNL" :
-      return "HNL";
-    case "HTG" :
-      return "HTG";
-    case "HUF" :
-      return "HUF";
-    case "IDR" :
-      return "IDR";
-    case "ILS" :
-      return "ILS";
-    case "INR" :
-      return "INR";
-    case "IQD" :
-      return "IQD";
-    case "IRR" :
-      return "IRR";
-    case "ISK" :
-      return "ISK";
-    case "JMD" :
-      return "JMD";
-    case "JOD" :
-      return "JOD";
     case "JPY" :
       return "JPY";
-    case "KES" :
-      return "KES";
-    case "KGS" :
-      return "KGS";
-    case "KHR" :
-      return "KHR";
-    case "KMF" :
-      return "KMF";
-    case "KPW" :
-      return "KPW";
-    case "KRW" :
-      return "KRW";
-    case "KWD" :
-      return "KWD";
-    case "KYD" :
-      return "KYD";
-    case "KZT" :
-      return "KZT";
-    case "LAK" :
-      return "LAK";
-    case "LBP" :
-      return "LBP";
-    case "LKR" :
-      return "LKR";
-    case "LRD" :
-      return "LRD";
-    case "LSL" :
-      return "LSL";
-    case "LYD" :
-      return "LYD";
-    case "MAD" :
-      return "MAD";
-    case "MDL" :
-      return "MDL";
-    case "MGA" :
-      return "MGA";
-    case "MKD" :
-      return "MKD";
-    case "MMK" :
-      return "MMK";
-    case "MNT" :
-      return "MNT";
-    case "MOP" :
-      return "MOP";
-    case "MRU" :
-      return "MRU";
-    case "MUR" :
-      return "MUR";
-    case "MVR" :
-      return "MVR";
-    case "MWK" :
-      return "MWK";
-    case "MXN" :
-      return "MXN";
-    case "MXV" :
-      return "MXV";
-    case "MYR" :
-      return "MYR";
-    case "MZN" :
-      return "MZN";
-    case "NAD" :
-      return "NAD";
-    case "NGN" :
-      return "NGN";
-    case "NIO" :
-      return "NIO";
     case "NOK" :
       return "NOK";
-    case "NPR" :
-      return "NPR";
-    case "NZD" :
-      return "NZD";
-    case "OMR" :
-      return "OMR";
-    case "PAB" :
-      return "PAB";
-    case "PEN" :
-      return "PEN";
-    case "PGK" :
-      return "PGK";
-    case "PHP" :
-      return "PHP";
-    case "PKR" :
-      return "PKR";
-    case "PLN" :
-      return "PLN";
-    case "PYG" :
-      return "PYG";
-    case "QAR" :
-      return "QAR";
-    case "RON" :
-      return "RON";
-    case "RSD" :
-      return "RSD";
-    case "RUB" :
-      return "RUB";
-    case "RWF" :
-      return "RWF";
-    case "SAR" :
-      return "SAR";
-    case "SBD" :
-      return "SBD";
-    case "SCR" :
-      return "SCR";
-    case "SDG" :
-      return "SDG";
     case "SEK" :
       return "SEK";
-    case "SGD" :
-      return "SGD";
-    case "SHP" :
-      return "SHP";
-    case "SLE" :
-      return "SLE";
-    case "SOS" :
-      return "SOS";
-    case "SRD" :
-      return "SRD";
-    case "SSP" :
-      return "SSP";
-    case "STN" :
-      return "STN";
-    case "SVC" :
-      return "SVC";
-    case "SYP" :
-      return "SYP";
-    case "SZL" :
-      return "SZL";
-    case "THB" :
-      return "THB";
-    case "TJS" :
-      return "TJS";
-    case "TMT" :
-      return "TMT";
-    case "TND" :
-      return "TND";
-    case "TOP" :
-      return "TOP";
-    case "TRY" :
-      return "TRY";
-    case "TTD" :
-      return "TTD";
-    case "TWD" :
-      return "TWD";
-    case "TZS" :
-      return "TZS";
-    case "UAH" :
-      return "UAH";
-    case "UGX" :
-      return "UGX";
     case "USD" :
       return "USD";
-    case "USN" :
-      return "USN";
-    case "UYI" :
-      return "UYI";
-    case "UYU" :
-      return "UYU";
-    case "UYW" :
-      return "UYW";
-    case "UZS" :
-      return "UZS";
-    case "VED" :
-      return "VED";
-    case "VES" :
-      return "VES";
-    case "VND" :
-      return "VND";
-    case "VUV" :
-      return "VUV";
-    case "WST" :
-      return "WST";
-    case "XAD" :
-      return "XAD";
-    case "XAF" :
-      return "XAF";
-    case "XCD" :
-      return "XCD";
-    case "XCG" :
-      return "XCG";
-    case "XOF" :
-      return "XOF";
-    case "XPF" :
-      return "XPF";
-    case "YER" :
-      return "YER";
-    case "ZAR" :
-      return "ZAR";
-    case "ZMW" :
-      return "ZMW";
-    case "ZWG" :
-      return "ZWG";
   }
 }
 
 function exponent(currency) {
-  switch (currency) {
-    case "BHD" :
-    case "IQD" :
-    case "JOD" :
-    case "KWD" :
-    case "LYD" :
-    case "OMR" :
-    case "TND" :
-      return 3;
-    case "CLF" :
-    case "UYW" :
-      return 4;
-    case "BIF" :
-    case "CLP" :
-    case "DJF" :
-    case "GNF" :
-    case "ISK" :
-    case "JPY" :
-    case "KMF" :
-    case "KRW" :
-    case "PYG" :
-    case "RWF" :
-    case "UGX" :
-    case "UYI" :
-    case "VND" :
-    case "VUV" :
-    case "XAF" :
-    case "XOF" :
-    case "XPF" :
-      return 0;
-    default:
-      return 2;
+  if (currency === "JPY") {
+    return 0;
+  } else {
+    return 2;
   }
 }
 
@@ -725,7 +77,7 @@ function fromString(raw) {
   } else {
     return {
       TAG: "Error",
-      _0: `expected an ISO 4217 currency code such as "EUR", got ` + JSON.stringify(raw) + `. Codes are upper-case and exactly three letters.`
+      _0: `expected one of the ISO 4217 codes this framework admits (` + all.map(toString).join(", ") + `), got ` + JSON.stringify(raw) + `. Codes are upper-case and exactly three letters.`
     };
   }
 }