@cella-lang/cpp 0.1.202610102117 → 0.1.202610102126

package/CHANGES.md

@@ -5,6 +5,10 @@
 
 ## 未發佈
 
+### set 與 map
+
+- 鍵的型別任意、比較函式可自訂：`GSet`、`GMap`（`gsetNew`、`gsetInsert`、`gsetErase`、`gsetHas`、`gsetCount`、`gsetSize`、`gsetEmpty`、`gsetValues`、`gsetOkB`；`gmapNew`、`gmapSet`、`gmapTouch`、`gmapGet`、`gmapGetM`、`gmapErase`、`gmapHas`、`gmapCount`、`gmapSize`、`gmapEmpty`、`gmapKeys`、`gmapValues`、`gmapToList`、`gmapOkB`；`pk`、`pv`、`swoNewB`、`triOkB`、`insertBy`）。
+
 ### `<cmath>`
 
 - `fmin`、`fmax`（`fminmaxOkB`）、`fdim`、`fremainder`、`fldexp`、`ffrexpM`、`ffrexpE`（`fFiniteB`）、`fisnan`、`fisinf`、`fsignbit`。

package/index.json

@@ -206,10 +206,18 @@
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
     },
+    "cpp.cpp.GMap": {
+      "merkle": "5bf723468ebb1b9bac4f155dd9bfe532d52e47d6d821ee87f8568a5a826bb83b",
+      "own": "dd7b59ed5fd0993254ecbd3c9199acb3bbbd38ca1c6134b7e95d3d924f1a6330"
+    },
     "cpp.cpp.GMem": {
       "merkle": "d9911ff1a75bdb5ebb4e87aab5a3db9f57af0c13bdfc502b150f1f67dc676c86",
       "own": "24a2a9edb879274a0a88a31007ff33f8591ee4dfd8d699a6bf032387397510c8"
     },
+    "cpp.cpp.GSet": {
+      "merkle": "88c678f911ea059f53bfdb3ca6b9daf229cfd6b0f3d067a4d72ef26c9c40e8a4",
+      "own": "5ea099fee36a0005e62f8214b6cece4fa6b3112bca48f55356d0c9b46f222fc2"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -2354,6 +2362,74 @@
       "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
       "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
     },
+    "cpp.cpp.gmapCount": {
+      "merkle": "a963b8298c65f424f5f15d9593e62c8673284598e5a8813f7c47891ac4a251ff",
+      "own": "fbfdc09e3c127e304f5d84e43b3f93f0057c9f3e1475e35c341c0bacd098cdf2"
+    },
+    "cpp.cpp.gmapEmpty": {
+      "merkle": "df7d172c690ec0ce7dbd472b07ec89f551b671f727a94232f6aea776ea85ab3e",
+      "own": "c083f8f021e2d8ac4bf889a2512f89dee53234f76d1863a1aac088670070a20f"
+    },
+    "cpp.cpp.gmapErase": {
+      "merkle": "54bb4d68e9ca3f1190ded0d4134b49fd5a3530f592f8253dea9a9909002e6d27",
+      "own": "be9c207ea92f7e5f31b51133ebc8eee50d54a49359ff88c44c0c086717470ff0"
+    },
+    "cpp.cpp.gmapFind": {
+      "merkle": "bd98c84e0edbe3c745bdf85c491589fd5d62ff1cf72596936fe0ef984b486c7e",
+      "own": "665ec88fcbe3a58440ff09479af2c7e66e62c0fd6b792a4f0d585d255d841ca1"
+    },
+    "cpp.cpp.gmapGet": {
+      "merkle": "0f375f76f6b30e88a6a2a49759c05b19ec55774b8023b17e0d0903f965ca144f",
+      "own": "bdd04256554692ad9c41d79ac18db5137894a42e18c7052e7d7a2d71027e3192"
+    },
+    "cpp.cpp.gmapGetM": {
+      "merkle": "2555421d37df2c6569ac1a7faf76195c7e946079165e3abe05ca9eb930a80a6e",
+      "own": "8a861d9d310bdc8708222630cc5d4bb0e0d531f03f08f6c04d504d8db8dbac4d"
+    },
+    "cpp.cpp.gmapHas": {
+      "merkle": "d51c1d4194329933062e074364590e4484e4c48d5a490997da5a74caba51236f",
+      "own": "a4f1a9856fb23077bb9826873cfe206efe3a0d9417b6e54374998647c9a3dcea"
+    },
+    "cpp.cpp.gmapKeys": {
+      "merkle": "47713a6dddbde372c908927d5b1cbb41ca236d6b023f865d344344444e98d369",
+      "own": "9c366349a6f4ea1f78e5007a3fd936f766d700ed132bb91c7123e3884494d699"
+    },
+    "cpp.cpp.gmapLt": {
+      "merkle": "99080bb796ef56b4460997ea635df2b087ea4e9f7ca898a2064c6283e8bd2369",
+      "own": "09c13bb479042137ded60e3b1fcc5422a57420a848ae3513e696243496c086e4"
+    },
+    "cpp.cpp.gmapNew": {
+      "merkle": "e81f4333823d3f80ee96c109a6cf20e4d831e626589a86959bd8b6f2db6fb5b1",
+      "own": "e83c40542a4a04a058c99a9e0ca9be45f053aa1b7120039af09fd3cee38e72f1"
+    },
+    "cpp.cpp.gmapOkB": {
+      "merkle": "1c03d22308f09c27343f6b7d0ca82b812bbc48130e42b98aa0c6ca753229aed0",
+      "own": "da41edb6a231b3ba9678804dcf8cde8c5b34fa26ca214c35c09b71b9ca5acd67"
+    },
+    "cpp.cpp.gmapPut": {
+      "merkle": "397a86dcfa4eea0e4f1cac332d5635aa048d1efa0147f208509dc72847525c20",
+      "own": "cd574a645bb256947eca1dfc9051dd268807e0e0d9b3d693f38e4e82024f60ee"
+    },
+    "cpp.cpp.gmapSet": {
+      "merkle": "5cb3360b70d678838dd1f204704f8be6ff33e4e740f515c754f63a6f770b8f9f",
+      "own": "3d0d780fe59fada85deda3d5b7fbafe7a2622e4a9bdc814c146644f6dfec3ca4"
+    },
+    "cpp.cpp.gmapSize": {
+      "merkle": "b44c0493d5a62407672590cd693821fd458e272868cddfcb15ac5a4be732a4d5",
+      "own": "a551f2cc801ec30774049941f294a669df42338611af5991c25b215bea47f563"
+    },
+    "cpp.cpp.gmapToList": {
+      "merkle": "8e9c10d40d74d6663234c81c748e4b6b4efe126b3c51ad9e19c31665e2351799",
+      "own": "d1c1f87acd47c835efef30bca3bd6954781cc98be7cf7579d22bdb89354e6003"
+    },
+    "cpp.cpp.gmapTouch": {
+      "merkle": "df9ef4f180368029c382ef223de8f80091412bba9b91abd53b3eacf32b4130bb",
+      "own": "84a712aceb8a43c78d4a3c443ada2575b0acdb5dbc9e965758dcc300a92e631b"
+    },
+    "cpp.cpp.gmapValues": {
+      "merkle": "5122b796046dea94d0f55680f88c85bc4817db5eaf7d588f549f888b6059092d",
+      "own": "667434e692ff71058682933a44255502e9b102039b38d57d92b6f5e7385e7655"
+    },
     "cpp.cpp.gmemNew": {
       "merkle": "e6848b17d9759ec1b05213c32f550e2b43e0fbf8b3a55a2cac2ea0db5b199be9",
       "own": "37178fec1d2016505d219fc61018aa9fe7ee88be08b09e9bc6c357d43b792bc8"
@@ -2362,6 +2438,46 @@
       "merkle": "181c864d873eb556bed3d76e2bcbd1a6b623758392e74a89770463b3cfca1f59",
       "own": "24dbd9e4b263f8f50e6c5a83d5d411f64807152ada4eadaa6fffb414b62cd892"
     },
+    "cpp.cpp.gsetCount": {
+      "merkle": "50525284ce8f6f70d4a838152e500268dd25cc1bc403ac4d4ea2a75d3fb5d169",
+      "own": "10a6b31764cf1e66fe0965bb112ac9e761929df454a20799559a549207df75a0"
+    },
+    "cpp.cpp.gsetEmpty": {
+      "merkle": "83d8da20399c03052eedd4b69d1449ce4572988e4337319f349836bf64c83326",
+      "own": "e335c195d1796f0f4b467b29049e957b16f59cc2dcf6d831560d80fa63dbb9e5"
+    },
+    "cpp.cpp.gsetErase": {
+      "merkle": "497b9d25b83c64e378a67b506343b04f9b7d872e7ad2f39b014912c985f2f406",
+      "own": "39f54b1311768c3bdf75f6a7bb2b83b5d1b425ba624004dcffc3d9373b8eaf3a"
+    },
+    "cpp.cpp.gsetHas": {
+      "merkle": "8d1eb266ec6a498917fd8ff10614cf68bf09db9da1ba43302a1b522fc6e63d0f",
+      "own": "35980161ada889578dc9c8e79168af9f40152183dc6f10acd7860911f3ff069a"
+    },
+    "cpp.cpp.gsetInsert": {
+      "merkle": "11852ee053281baa13cf943b9cf09750c0e0b3e9c734b72d7db13e6ad4f780e2",
+      "own": "c468f390ab4c8e66384fc1aef9bbb7bd7ec7d2fc96504eab970bf663c03935db"
+    },
+    "cpp.cpp.gsetLt": {
+      "merkle": "bbdb1643c7cf52a1bab2edb21511f7d43b11f3221af340806f102400d6194c4d",
+      "own": "ed8df917895939aa3134aab3066057e06fb9298a964bdf8316233b62b3826253"
+    },
+    "cpp.cpp.gsetNew": {
+      "merkle": "7eae25fcba74e2f653ae1fd7d5d93733637e70ba12d18a7f42cff6354d408c6d",
+      "own": "acb385ead4c5fb506446397e83a621dc6fc6f6d7f53a150d7538c1d00fb5400b"
+    },
+    "cpp.cpp.gsetOkB": {
+      "merkle": "c6f2547b404cb963e338ed7a19646abb5a3dd42f6ddf15f6c43b0297c1250a3d",
+      "own": "8c7fd7d129bf67a0121c50488724dd9e9070bdb16a09b1c3b5807119f4631c01"
+    },
+    "cpp.cpp.gsetSize": {
+      "merkle": "f6cce9c6043408324bf24d588fe4a7b1ce7e6569d3745c8122c77bb10881aae9",
+      "own": "d9c95b3acdbffc458b05a3298695084258fe2e36add55f31f71e8da0287704b4"
+    },
+    "cpp.cpp.gsetValues": {
+      "merkle": "5670b5350c7c0739f2b8d3d9f01029b393fe4f7a9035cb221523714fe7919377",
+      "own": "55dcc9c3fd4c3cb91b34ab78bf120810e49098d49888edf14e6424545e5d9b28"
+    },
     "cpp.cpp.gtV": {
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -2454,6 +2570,10 @@
       "merkle": "b3e4595e8b109b58284d1e39fd65fd9a8d33cae240323cde5f88b61d3357a16d",
       "own": "fe6161108c61c5e637caeea636c856f48b0c7f5653725a2ff87edbb91d19e4b1"
     },
+    "cpp.cpp.insertBy": {
+      "merkle": "6359ab8da86f41da2796393c14e4b857138dac1124b7d1b8ccb03f24bbcfd5bd",
+      "own": "42d6dc09fb45de4a7bae9095d1741ec3d7020fcf2860168d1e0bc9052968886d"
+    },
     "cpp.cpp.insertIt": {
       "merkle": "b29f148c0e17e525cf59ff3bb72279a8d2d6c6845590d10e6cdf627736ea6210",
       "own": "ac43ecc21402aa4820c1b6dd4ac570183c219e6f58766fad9d5e4a888b8449bf"
@@ -3342,6 +3462,10 @@
       "merkle": "f9fb8dc6471f8329c99b5165ff82d2655740988b8526de215baadc83c8522fa6",
       "own": "b745dbd03a4e2ee25d3eab29d4553923ab864bb8ac95aa520f5bc41fa829b05d"
     },
+    "cpp.cpp.pk": {
+      "merkle": "65d3449ef3b3145fbab20db6c41d76f7f2d35ccaba1275d2e08198b6eb5ea12c",
+      "own": "99080acec8b559f53a49c8b64243bd48e3838510259a57c2f805d379422d53d9"
+    },
     "cpp.cpp.popBack": {
       "merkle": "c06d3b15c21810ca745d404564c9114f34830fdb692489dbef9bc79158a06c52",
       "own": "fba2178d2ef9019a11163593d1f78a8fc678bc3ba4bb419dbfa939f9a8ed7fe1"
@@ -3490,6 +3614,10 @@
       "merkle": "f97b1e488d6c273e775cd390f8adf930bbf8e654653a55f7293877b8878af899",
       "own": "799257641fad37ee77932c80d5496411211dbef7d103edcf5a9cf974bad149b1"
     },
+    "cpp.cpp.pv": {
+      "merkle": "714125b8fbc9dc770e7a62dfa4adb2d102d652f50ff5f810ba26c86ea7521930",
+      "own": "b99bf3100896a6f52eb7095809fa112d41cec4be536eee23d6913808af0e6208"
+    },
     "cpp.cpp.qDen": {
       "merkle": "f37e544291c6ce0d35fc853ef4e72d01841c1fc72348b14ea1e8cd56c39a7b1e",
       "own": "22dde5b8c028248144fabd97adb940bb7bef80749f5f13152241c5da718bbcaa"
@@ -4382,6 +4510,10 @@
       "merkle": "017b90bd2f65e51963227ef1e28e6f7c341321afe97f3026414dd3b790fc2c5a",
       "own": "46ebb45df876e8c11388d444e840f5a3496c8bfd305e3d6b54aa9e38daacd1eb"
     },
+    "cpp.cpp.swoNewB": {
+      "merkle": "e5a558522116b7cba25465a72fd5db1b8feb7dd3aa8727f1f18e9bba20940067",
+      "own": "5951f8571ac5c2986c6ce3dcbab01a41f3ead1f70ff9239d68ea542930960bd9"
+    },
     "cpp.cpp.tBool": {
       "merkle": "0d39a926e94c3aadb56a184f2c3b80a5d2f668acc23df79402d0c070121e41ad",
       "own": "fa9896e6538210ce3a5b464ca11d3b6c4201b7f2f985a77807ff6014d15ee303"
@@ -4530,6 +4662,10 @@
       "merkle": "80cec9044dea1f6b69e5dc564c277c2d46e62a6805a2573aea3eafff3a88f5c0",
       "own": "2c32d03fd55629b81195e6887edc073cb5c4c60e4d4374b0afc61d1381d0c499"
     },
+    "cpp.cpp.triOkB": {
+      "merkle": "c0caed1792fce624d12f921f03d7ef61282b21973659feaf077ada1ea2ca5c97",
+      "own": "fe480e76d4e0a88429169db7bb2087464c9a0628eba8e39fe0e01ccd5659bd71"
+    },
     "cpp.cpp.trigAt": {
       "merkle": "ad2698d3847cc245f5844117ce75a0c5d578f42b58be4ad5bfe5456bd129b1fc",
       "own": "6dde71ce016b62becfcd7f50dca9fd33e3e0c5746d95cd1a492c583a8e89b79c"
@@ -4734,7 +4870,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2575261,
+      "bytes": 2601798,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610102117",
+  "version": "0.1.202610102126",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -28,6 +28,6 @@
     "modules": [
       "cpp"
     ],
-    "packHash": "ede8b5c2cccbe4f2"
+    "packHash": "bbe6d5ea1ed094c6"
   }
 }