@cella-lang/cpp 0.1.202610110138 → 0.1.202610110156

package/CHANGES.md

@@ -5,6 +5,11 @@
 
 ## 未發佈
 
+### std::list
+
+- `GList A`（建構子 `glist entries next`；`glEntries`、`glNextId`）、`glNew`、`glValues`、`glSize`、`glPushBack`、`glPushFront`、`glNonEmptyB`、`glFront`、`glBack`、`glPopFront`、`glPopBack`；迭代器沿用 `MsIt`：`glBegin`、`glEnd`、`glValidB`、`glDerefM`、`glDerefB`、`glDeref`、`glSet`、`glNext`、`glPrevB`、`glPrev`、`glItEq`、`GListIt`（`gliList`、`gliIt`）、`glInsert`、`glEraseIt`。
+- `glFromList`、`glReverse`、`glSortOkB`、`glSortBy`、`glRemove`、`glRemoveIf`、`glUnique`、`glMergeOkB`、`glMerge`、`glSplice`（`glRenum`、`glRenumNext`、`insAllBeforeId`）。
+
 ### multiset 的迭代器
 
 - `GMSet` 的元素帶插入時配給的編號（建構子 `gmset lt entries next`；`msEntries`、`msNextId`；`msValues` 照舊回傳值）。

package/index.json

@@ -230,6 +230,14 @@
       "merkle": "ae9223a42b880ab3be83dc0f42f83b241c22c790ec60e149f2e39831750b34a8",
       "own": "efdeb0e6aada4a485d3fdd86a090955747cde893e957c0f1122db8b72e362249"
     },
+    "cpp.cpp.GList": {
+      "merkle": "5916222055b29468ddd1441173eab983c0b3ec3b41a733e5dbd876cf6043e9c6",
+      "own": "d09eba0e7d9a60ac91afa4ce661c7856c7090a98714cd24c438f2b2da248ff65"
+    },
+    "cpp.cpp.GListIt": {
+      "merkle": "38c13851f7f3578bfd8499f6576764e8cd33e001f7d17ffa789d86d5dd640e32",
+      "own": "74b63313e2e7c7bb801d8d3246f112e5e84a57859dfe5f526ce3a7795bedecd5"
+    },
     "cpp.cpp.GMMap": {
       "merkle": "a0b723bd7374b1cf8506ff121c6c91425cbead69cdb6f653b8a523b65d2da328",
       "own": "0e832c454d2c7bedcad4d04e8627ce331b4db0e367ee709e0c78e8233e98007c"
@@ -2782,6 +2790,174 @@
       "merkle": "2dfaeec3a4ebc2c0e1ad2ab5ca277e443cd87f6ff6a9a856b990155da39af496",
       "own": "1cb6c4a18533fae3e6de2794ffbc1eec6978b6790ed2a1762fff83501c07fb77"
     },
+    "cpp.cpp.glBack": {
+      "merkle": "f6268f24e7bd5013f9b5646e1a3df8848d6a5529dc7424eb201f93c8677e96ab",
+      "own": "5320a9bc83e8169891279f3fe45ebf88ae14e14b3c49145ae51173c01f2a0dce"
+    },
+    "cpp.cpp.glBackOk": {
+      "merkle": "1b9c5399ac332df90c1742e5abfe3429d9491560ade18277f8176e0605492e25",
+      "own": "a13bc11b1d693defb75c660bf119d35109b5f99ebb6be79d318751835ce2d2df"
+    },
+    "cpp.cpp.glBegin": {
+      "merkle": "d02fbd86b9b4fdc9263a8b5a56d94cb9af30a5901f7cf06d0ddf763e2fbbac11",
+      "own": "52937d59b12636df444d66e6fc2660723e670429da05f8bc2b1318545afdfdaf"
+    },
+    "cpp.cpp.glDeref": {
+      "merkle": "02fbbce31f1b2ed14ab81d3123fc4f7340ede63a36110957732cb07a6d45774a",
+      "own": "36c3fec53f6e1574ce503391df55a00064297efd507e78c6590ffa3d3a13d8fe"
+    },
+    "cpp.cpp.glDerefB": {
+      "merkle": "f01e25b9834c7899a5cbe616dc22a76de847c9919acafdc07c203e2c4273d936",
+      "own": "d1b8a6a159f68c9ad1a7193c0b427477212706af58f8a12a7c4881b1fc18c1b9"
+    },
+    "cpp.cpp.glDerefM": {
+      "merkle": "b9b17d8e2b9776e9abf3fb02c49948d8869b0008e1ca6b0ba06a34d22ae7eec1",
+      "own": "fa3b3d328fc363d53741f732e0805c13f9a097a1335d42c9e3f362bee39b6b3d"
+    },
+    "cpp.cpp.glEnd": {
+      "merkle": "e5cd8bb3291423c5ac7dc0f60833cd629b485e615bca652a4267b329fd3c167b",
+      "own": "ea2c57045db0a57ce1773e1abfa6c91c3265fea132fdb4bcbc178d2a4879bf41"
+    },
+    "cpp.cpp.glEntries": {
+      "merkle": "56602b3d73a1868a6789783b62541414e85fe2faca3965a1df64a87e0554866c",
+      "own": "dba6e1d9b9317ba6807e8c9389cb94374678c23dc6cc24ca4411181366d5f014"
+    },
+    "cpp.cpp.glEraseIt": {
+      "merkle": "9c4d68dd73c9aa46913917394d0b5f3eb2b94d78f3843632228d06e4d2a27ef3",
+      "own": "cf7edcebfdab6ed25271673ac068a5f257fb924df3235e434b8c2986df067982"
+    },
+    "cpp.cpp.glFromList": {
+      "merkle": "19192613df64d85cc639228d436facf9c78b8b76c1f11bc6e815d0ae02d1780b",
+      "own": "045156cccbec1073e82a1f1b53a7805c6bd63b808084c106bab91f75a6083fba"
+    },
+    "cpp.cpp.glFront": {
+      "merkle": "f3ea621f085200c51463679f7902896b0e2472cc5b4a20eca9d85779c38c387c",
+      "own": "d7697346067e95b0f161a0f0272f2d352975b7ea7d11add044ffb43bef1ff880"
+    },
+    "cpp.cpp.glFrontOk": {
+      "merkle": "17c483c02070ffb46a896fd221e59d2c0d84eab53541638bc5a5e481683eec8a",
+      "own": "40bae5c49f163f1c6286fb658a637adae128442cc1cfd4351ab0dadfc6a31af8"
+    },
+    "cpp.cpp.glInsert": {
+      "merkle": "62a207a0fb47d97a44d8fb8bcf5c8c0eb3014338b2642a6d16b8d8259f988f50",
+      "own": "5f617f09674533de32fe758cce1219434c98611bd6d0d30bbae0e4a49dc094a9"
+    },
+    "cpp.cpp.glItEq": {
+      "merkle": "d9729c6d274a395cf95e811d74cee23933e119eca979e47d30a4727656633650",
+      "own": "c898a1ac5a613f71765404ab74fb8bcc2f47f862d989b07efa2382726699079c"
+    },
+    "cpp.cpp.glMerge": {
+      "merkle": "01e3037a925bb065c1920d60f8f9fdcaba26cf437703611cc2fcb842ebc8e9bc",
+      "own": "eb96e3bc3b2d754b184b44137532e4eca0e56e825818bb68fdf5d92564635fda"
+    },
+    "cpp.cpp.glMergeOkB": {
+      "merkle": "60e43a974195336c5355b2ed4e1ef82d20de91d0bf4b673345d2da9f5b9aee87",
+      "own": "edff78e8fb186a436f042d3d018c8bb768d0ac8d01d74aa25af4e76230c9bc37"
+    },
+    "cpp.cpp.glNew": {
+      "merkle": "4d3434e386e5827eb56416f5004870be33080a6fd79ee4ab088ed2dd1cafcb9f",
+      "own": "2ad5f675d58a102b4366f9d57a7b47b3dbca52ec4b5f481bb769031ac03bd99e"
+    },
+    "cpp.cpp.glNext": {
+      "merkle": "5ea074b54ecd5e72914e47fedaa6043c54e0a911f265c1430555899c8cf58260",
+      "own": "29c09bc39d222579e47ce1fb0d7d0f71348234d62527d1d1b69af49254001c7c"
+    },
+    "cpp.cpp.glNextId": {
+      "merkle": "df109bbf06765c5e77a6378d97015e8f4c0d70e974bf6d368badc21ed03aad68",
+      "own": "be1d88a3add7b807e8a3e4d1bcad7c528ad224abbc3f2a51c5b7ac473efbd7ab"
+    },
+    "cpp.cpp.glNonEmptyB": {
+      "merkle": "bc77443d42f543fafdc5e1b0f69eb83986afdf3094eb0ac801c36ab7b7f702e8",
+      "own": "867ed63801848f8c462b9bfe0066391d686515cafd8b9f97b5eca04127da9bb9"
+    },
+    "cpp.cpp.glPopBack": {
+      "merkle": "3fd4bb7c47a584b5642108722109fb05cbd56c3f63400433a043f87a323effe8",
+      "own": "a027e635ee2302a5e99fd80ea10c1816cb4df0c717ca9d5ea0ac6bec8f118476"
+    },
+    "cpp.cpp.glPopFront": {
+      "merkle": "59d710c57b4caf62d66bb1a71e94bd8b073c5fbb8fdb779457fe7ea99b4d7c9f",
+      "own": "a9062dc5b49d6a3c08a6edd5bb643f484bbf550677144419ec4d387062cfe320"
+    },
+    "cpp.cpp.glPrev": {
+      "merkle": "f725b55ac6c3e82e22a19444709e395947b457a20e1a5c7ac5ea74f1f1b2e1bf",
+      "own": "07dda697783174a0aaecc58bbfd03b46a244c0311ae8d0b969329e073027f88c"
+    },
+    "cpp.cpp.glPrevB": {
+      "merkle": "66244e80bdf0fad491897dc2e67644a715a131be1fe3c1378dc0ffa505304d35",
+      "own": "335637ce1225fe848d85c812e4a45c4872971d7c563b896b194d3ec1f35a85ce"
+    },
+    "cpp.cpp.glPushBack": {
+      "merkle": "69f341c0a106863a4b212eb7263f70f9cb2d213bc26241ea9442e36b71813f9e",
+      "own": "24f6f531ded5d5888a949156c62c939a2e6716e5747ff745a6c7cf150bc86188"
+    },
+    "cpp.cpp.glPushFront": {
+      "merkle": "c1437d727bb12aa8e5c3cab8b65c97a5eb0645eda753bada57dc761ab7150a4c",
+      "own": "d87da8d64c3acf90be2659e9d508d60149c7583bfd094b08456619189bd47df0"
+    },
+    "cpp.cpp.glRemove": {
+      "merkle": "f6642ae3c50a5b3cd0f0d29f467db764ee8d7e8271e7c6c9f88ecc819f951943",
+      "own": "5abce4ac1f338407253324d9918ff5ebfd9d35be87989cf2dacd2bfec51cb4ad"
+    },
+    "cpp.cpp.glRemoveIf": {
+      "merkle": "730e70ce8aee469d15871c8e0d856c295ae0bb75776d16566a7d4df61063c905",
+      "own": "2d6cae8562a1caada4738fac71cbb5bd282fe71cd75231b92a60a0553b360a9d"
+    },
+    "cpp.cpp.glRenum": {
+      "merkle": "0746f5d18ba7630b9914311e68c9ce8c8f0fb655aa2f1157cf968217f5cb6168",
+      "own": "287e5364127d2a923aa580b7080633e980f7e2853f6a28719f8c0d634d6597e7"
+    },
+    "cpp.cpp.glRenumNext": {
+      "merkle": "022592490cf2519a336e88046a8a2cce3c2cc8cfd88fc91b05aa776d44fa30fe",
+      "own": "5268ed14aa27aa61bb9c6b9bfb0072d4789110e1bb5ffe37c52a99280fe27398"
+    },
+    "cpp.cpp.glReverse": {
+      "merkle": "51eb2e52e5fed7d2f84c699910597ab42275d6a47cad81734c93afcaa5ed7ffc",
+      "own": "2f9e5d78c5ff50cfb8410dff0eacc3b1269e0a8a00c8b8ec5e90be00a2470e5c"
+    },
+    "cpp.cpp.glSet": {
+      "merkle": "a30ef5af4e4c4703faba1da4631b5b1dab5257c7ca9203a47fef52ce72cec062",
+      "own": "0dae10c1531729c17603f5375c0d22033fbc41ad7ca80f4cbc6385467ac7b356"
+    },
+    "cpp.cpp.glSetAt": {
+      "merkle": "e62b430e77c490d4731adcded44e508e2d2f2af244ce3781cb9f9abc19042d99",
+      "own": "e7b997e3672142500caa38d7dad9c4f9d41912d1272d274564cc66b2589f0620"
+    },
+    "cpp.cpp.glSize": {
+      "merkle": "d75c025805d7be51ebc8a84567801402e6f4726b9d918426ae11586afb2dfde9",
+      "own": "e3f536c454ae1130e92584402bd76ab71e639f329923c4ac47af8b2f0b1ef505"
+    },
+    "cpp.cpp.glSortBy": {
+      "merkle": "c2ffdd42d77dc6b09af211637e6437389c244b227c6803295e40619c6ccf6f0b",
+      "own": "13a7b8b8937f028a4b29d60a4ff2abd4beb6486625aabfd37984aadba45f3ce0"
+    },
+    "cpp.cpp.glSortOkB": {
+      "merkle": "313f36575a9cdd82fa004eb5875ee08b77ca776e03a2fbe10d54e4b3fc2ea03b",
+      "own": "064e874a5c6a9ea333dd021fef37351dc38b4da95b00d1629e428fe368b45c6f"
+    },
+    "cpp.cpp.glSplice": {
+      "merkle": "a7f772d6aa78fc6d7600e1d7537b9dcbbaf2b9a6cb23d2f88125b35b766fa00b",
+      "own": "d01ef37fcb02fbaf73cd0a31fa867d710774108daab80bf24c7f8e031d2e073a"
+    },
+    "cpp.cpp.glUnique": {
+      "merkle": "5367f4214fad9fbf9e0dd5b311aee67be503d59d547f502de3f36de2ad6e6781",
+      "own": "17864e7e704f73eb8a8d2c0fd486f8a82c06edf98b2e865e5df4bd98e90eb75e"
+    },
+    "cpp.cpp.glValidB": {
+      "merkle": "c393330f04a8d2834e4b733562e9b114dab636de38a93bb3fc8ab4d2f0cc613d",
+      "own": "e74890ed3ea2d777daaddc97bc54b02746540ecf7b477a152c79297350a37ab4"
+    },
+    "cpp.cpp.glValues": {
+      "merkle": "933e59be8d5366eb783f543c51ef41e3d79ab4459caecae06cbde8291a87dce2",
+      "own": "e27f43f9c866a0aa7a349ee1b6d43d6cb8955c4b6f6842702e3de6ad607978bb"
+    },
+    "cpp.cpp.gliIt": {
+      "merkle": "a8199d8365bf230060d639e1c432755077c0450b46791a47a43cda37ebdfd705",
+      "own": "35a6e8afdd6c950a9e7e0c13ca2826f71048a5c03912b713b8165b892df5c46e"
+    },
+    "cpp.cpp.gliList": {
+      "merkle": "5227740f7586f224a0e0e56c742c988864484e7c550c4f4c4e5387910cceb6df",
+      "own": "6e4ff1db8499831919f20c9ad2ba2b216d1313397a30c98d4c1fe1832fc1e0d7"
+    },
     "cpp.cpp.gmBegin": {
       "merkle": "02da1fa2dc4e9a183237d90fa56775bfad17f4e4e7c971a3c8253d632f00d513",
       "own": "27b841bf7fa34ce11fa5535a166ed8148cf54a4c79c37f891f53ab643b17acfc"
@@ -3162,10 +3338,18 @@
       "merkle": "f3158af1e933e216ba8f50be31c77086ee86917c1c8457a69b24536074bf0105",
       "own": "35818e2fd9bd2f66c13e3e69c1bafb4a260e0c1a3e1e6ac3cdc7aea24b15bc09"
     },
+    "cpp.cpp.insAllBeforeId": {
+      "merkle": "63f98fb0afe6a4a40d94219639ce83c2f781c23251b100f730eff79dd5f3b6a7",
+      "own": "9c3ad39b4ba8c71a5b97c7caae895e363d50c06f9d7e7af2daea0723f4e499cf"
+    },
     "cpp.cpp.insAt": {
       "merkle": "b06d40aaad23cdd032266ffa0b0e6758087d0612ff1120986bb2871bc575626e",
       "own": "7962903573d98bff1f2ad1b0189f23f0a5c278f31e6f8aa6d4a4de0c2748cd69"
     },
+    "cpp.cpp.insBeforeId": {
+      "merkle": "463b45f64a18c4d8e940f4d0c5c07a493f84db00a7ce2fabb2853b587db8bc63",
+      "own": "db303ad9ccb54af6af8c5b835815574f89db2a3af26c5b38fb67d274dc5ed83e"
+    },
     "cpp.cpp.insertA": {
       "merkle": "b3e4595e8b109b58284d1e39fd65fd9a8d33cae240323cde5f88b61d3357a16d",
       "own": "fe6161108c61c5e637caeea636c856f48b0c7f5653725a2ff87edbb91d19e4b1"
@@ -3414,6 +3598,10 @@
       "merkle": "0abb1e1f7da1ca3d8bd73356d735e04021abe35d6d63af234d4bbac5ac8bde0f",
       "own": "7546103c3f5ed7be8118a9b6b8eb42fe1aced780c5e9955288674fab90f1d663"
     },
+    "cpp.cpp.lastConsOk": {
+      "merkle": "b53374ff44490acd1242fa8074829b242bce2db3e4664db2d8b81a28ad011420",
+      "own": "b54e0e18d7d49c3c6402ec9d1adb2d3b913ae591c65b9e5c6754b594f096f4d2"
+    },
     "cpp.cpp.lastIdOf": {
       "merkle": "41dbfd64e5e163aae7f3a82a58aacc780568a2d779f8c1b07ad5adb541d0b1bc",
       "own": "fcd0b4e0de7a448bef43e00d6796f9e9c39eccee68f32edb78d9b18046452861"
@@ -3426,6 +3614,10 @@
       "merkle": "3cac5dbda416929fcaac480f985bd92a119f05e49d16b6f7197e11180c2f922a",
       "own": "ca81f36dbf323fedb5e9b6b7922387659931138e925b8301e9cdaaec30175eb9"
     },
+    "cpp.cpp.lastSomeOk": {
+      "merkle": "3f5dc0e1ed998498eafd867d3736fa021ca77a0f590e69208a31fb35491f49d5",
+      "own": "df2301353e6987a9a4d89807829203ca54f723f174dd916684f6dd7d4b3c598e"
+    },
     "cpp.cpp.lastWhereG": {
       "merkle": "4f69b8e61f251d717ccf5dcfd4beafa5f9311070f53ab1b99e40ef0ca709541d",
       "own": "ec1ba4944c292134dff6d7fed32ce2ff371a651ece429ffdac68b9339f60bcbf"
@@ -4222,6 +4414,10 @@
       "merkle": "eed9c5b82a70209a0122c70752c5b0e6b6103dcbfd6a684c5953cb044f69038c",
       "own": "645f1fec67141f98f9a3548e82809e6be00170f432372f931a6e27319980c9b1"
     },
+    "cpp.cpp.nonEmptyMap": {
+      "merkle": "c1951a3f6c600796ed50de5bbcbeaafcfcd675e23bef9efb5b64e52b6e03ce7f",
+      "own": "53ccc4018fc00f4c540adbf94d58c957d398b1820c8b2365f77bd3a4e66e026e"
+    },
     "cpp.cpp.notV": {
       "merkle": "52be169dbc49e8af18dbedcc7870b9f6a41f5954cb2f57e5d7dbd696f3b8e662",
       "own": "c0d6d7e659a00fecdf49c6e689dc3c45925894863eb5035e7d968fa7f58b2664"
@@ -6026,7 +6222,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2953127,
+      "bytes": 3010697,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110138",
+  "version": "0.1.202610110156",
   "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": "2243c9cb12f07817"
+    "packHash": "09d736dd8a3c001e"
   }
 }