From b242321284e0981b41d5d58b577a93c4d4991838 Mon Sep 17 00:00:00 2001 From: Alexander Bandukwala <7h3kk1d@gmail.com> Date: Sun, 13 Oct 2024 20:47:59 -0400 Subject: [PATCH] Add sdocumentation page for labeled tuples --- src/haz3lweb/Init.ml | 601 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 601 insertions(+) diff --git a/src/haz3lweb/Init.ml b/src/haz3lweb/Init.ml index c3d2de0aba..e5e3defafe 100644 --- a/src/haz3lweb/Init.ml +++ b/src/haz3lweb/Init.ml @@ -17555,6 +17555,607 @@ let startup : PersistentData.t = # All output from examples: #\n\ (ex1, ex2, ex3, ex4, ex5)"; } ); + ( "Labeled Tuples", + { + zipper = + "((selection((focus Left)(content())(mode \ + Normal)))(backpack())(relatives((siblings(((Secondary((id \ + 1d22b099-baac-4811-86f4-3d4b778b8d04)(content(Comment\"# \ + Labeled Tuples #\"))))(Secondary((id \ + 029cce32-17ab-490b-b2f1-e25219197dff)(content(Whitespace\"\\n\"))))(Secondary((id \ + c3e170b1-8aeb-46f6-a78d-49cb6d86915a)(content(Whitespace\"\\n\"))))(Secondary((id \ + b1a9fa5d-4671-44c8-a303-96d7400f23d3)(content(Comment\"# \ + Tuples can have labels#\"))))(Secondary((id \ + 668efc29-986d-4f42-905e-84c7606b176b)(content(Whitespace\"\\n\"))))(Tile((id \ + 23795a9d-fa91-437f-a445-3652ac99fea5)(label(let = \ + in))(mold((out Exp)(in_(Pat Exp))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + 0ab08c67-2641-47c5-bad2-bb0fa0b577fa)(content(Whitespace\" \ + \"))))(Tile((id \ + 374004dd-f688-48f3-9aa0-5752419d8775)(label(labeled_tuple))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Secondary((id \ + 776dce9f-e223-4a19-995e-fdb5e9d5fbab)(content(Whitespace\" \ + \")))))((Secondary((id \ + aeeee415-16ca-459f-9fba-3820adc957b6)(content(Whitespace\" \ + \"))))(Tile((id \ + c73cedb9-eef3-4a02-8ea0-dc89c6b0ffce)(label(\"(\"\")\"))(mold((out \ + Exp)(in_(Exp))(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0 1))(children(((Tile((id \ + 08be2aff-62bb-4bb1-919f-b4d81f5b87eb)(label(a))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + ba0c2fe0-2a43-4004-b3b1-ced4b85b3449)(label(=))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 16))(sort \ + Exp))((shape(Concave 16))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 4b14f8cf-7e92-4b28-8495-309f8e6bd981)(label(1))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 64acb788-0804-4a9e-b065-2235b21c3b02)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + cc891159-5869-4dfc-8f7c-0fd0116b343b)(content(Whitespace\" \ + \"))))(Tile((id \ + 577eb92e-9228-482f-a39b-bc7d25ea3a74)(label(b))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 23e7b4b7-a92a-43eb-93a2-24a4a671161a)(label(=))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 16))(sort \ + Exp))((shape(Concave 16))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 0e01f92e-4201-4b0c-ab18-c02dd502075e)(label(2.0))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + b6c69ff0-709b-490b-b309-1c9cb38ac5c1)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + 96b4438c-a9f8-4b92-971d-d0d4a1b19961)(content(Whitespace\" \ + \"))))(Tile((id \ + cb883be5-c6a8-47d1-8a7e-5f43b07d41cd)(label(c))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 82552269-8149-450d-b422-64c7493c13e1)(label(=))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 16))(sort \ + Exp))((shape(Concave 16))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 163f4628-edf1-4911-9364-689f5f238c82)(label(true))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort \ + Exp))))))(shards(0))(children()))))))))(Secondary((id \ + d60bb231-bfe5-4b6d-8a53-46b2821680dd)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + 5038abcb-455b-47da-8ce6-4d3be238998a)(content(Whitespace\"\\n\"))))(Secondary((id \ + ca401b23-4366-4cdf-957a-a6a39b861998)(content(Comment\"# \ + These labels can be projected #\"))))(Secondary((id \ + 4e035ed4-f928-4593-a7f8-491435d7137e)(content(Whitespace\"\\n\"))))(Tile((id \ + 6e28c23a-375a-4f47-80d1-11a0dbdbfd3e)(label(let = \ + in))(mold((out Exp)(in_(Pat Exp))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + cb2d5793-8d88-4d3a-9a4f-5ca82aefc774)(content(Whitespace\" \ + \"))))(Tile((id \ + 7bbbf7b6-ebdc-4e58-bdca-2654b0ccb9d6)(label(prj_a))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Secondary((id \ + c5b250bb-1fb9-4276-b793-0221b252c8b1)(content(Whitespace\" \ + \"))))(Tile((id \ + 2fad8b7f-6410-47e2-8786-4798001dcdb7)(label(:))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 13))(sort \ + Pat))((shape(Concave 13))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + b92af63d-5b68-440d-ac0a-3cc6ae28330f)(content(Whitespace\" \ + \"))))(Tile((id \ + 09a6433d-266d-4aef-b528-7920b2650305)(label(Int))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Secondary((id \ + f24cff31-85a2-4d6f-ad5c-4a2284b7f17e)(content(Whitespace\" \ + \")))))((Secondary((id \ + 17dbbfc0-656a-46fd-9365-c1c2ea6dd286)(content(Whitespace\" \ + \"))))(Tile((id \ + 2effe10f-7e24-4907-a7b3-cf4b34b663e9)(label(labeled_tuple))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 6d7af305-b6c2-4a5c-bfde-edda62f126bf)(label(.))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 2))(sort \ + Exp))((shape(Concave 2))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + bdef8806-3ecc-4c67-be5c-cf7d3ed2fce9)(label(a))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Secondary((id \ + 4dc7a1ca-8770-467b-a81c-a245429d62ff)(content(Whitespace\" \ + \"))))(Secondary((id \ + 97350724-14de-4cfe-b5dc-820beca6a652)(content(Comment\"# 1 \ + #\"))))(Secondary((id \ + 6e55064c-2947-4769-b4bb-29d560f662f6)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + ca0d2c33-96ef-44c6-ac6e-f8a4d7901280)(content(Whitespace\" \ + \"))))(Secondary((id \ + 98524bad-9684-472a-a0c8-b1204357df66)(content(Whitespace\"\\n\"))))(Secondary((id \ + 38404748-91f8-4ff9-bf3e-6079ab3a3add)(content(Whitespace\"\\n\")))))((Secondary((id \ + fbc19dd7-8fdb-4932-87af-5b52f6a093bb)(content(Comment\"# \ + These can be encoded the types #\"))))(Secondary((id \ + 312fb397-2960-419d-8012-b3844228b045)(content(Whitespace\"\\n\"))))(Tile((id \ + 791f51eb-c011-424e-b6f7-c38517c3c5d3)(label(let = \ + in))(mold((out Exp)(in_(Pat Exp))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + 1061312e-02d1-4ac2-b2b5-0432ef53c6c3)(content(Whitespace\" \ + \"))))(Tile((id \ + 1d69bc5e-76dc-4de1-96ba-f3c6e0704a2b)(label(typed_lt))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Secondary((id \ + be603a96-4fc1-4b57-8dcc-0768264c9798)(content(Whitespace\" \ + \"))))(Tile((id \ + 7eedad44-3ec3-4256-b621-ac301d91dad2)(label(:))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 13))(sort \ + Pat))((shape(Concave 13))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + 9671104c-9ffa-4912-9f21-f46b308d0335)(content(Whitespace\" \ + \"))))(Tile((id \ + ea52c55a-ba30-473d-8214-a685ffde4eb3)(label(\"(\"\")\"))(mold((out \ + Typ)(in_(Typ))(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0 1))(children(((Tile((id \ + 2d81cb0d-d4c0-4032-8fe3-b734f68d5343)(label(a))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + 1a7028bc-734d-40ce-b63b-baa31eb5966a)(label(=))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 16))(sort \ + Typ))((shape(Concave 16))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + 39fc34a0-cdd6-476f-a0c6-e15de827ad81)(label(Int))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + 11f70cfb-7527-4965-8e86-36cd99dd1470)(label(,))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 18))(sort \ + Typ))((shape(Concave 18))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + 0c00141e-9c75-45aa-bc2b-4927df8fd199)(content(Whitespace\" \ + \"))))(Tile((id \ + b3753058-016c-47ca-b53c-d4e663a9d39f)(label(b))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + c9f6de02-1793-4006-b79b-074ec663efad)(label(=))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 16))(sort \ + Typ))((shape(Concave 16))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + 295bbc9b-86d8-454c-adfb-51b9bbb37abe)(label(Float))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + c7d366ac-c0db-47b5-ba48-9d7a78be4a28)(label(,))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 18))(sort \ + Typ))((shape(Concave 18))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + bd447665-f6cf-4bb9-9bfb-a9782e7125b3)(content(Whitespace\" \ + \"))))(Tile((id \ + c6c89a67-1cbb-41c0-98bf-3e5d875fb9cd)(label(c))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + f626e35e-b6af-4e72-b758-df9c9ce90493)(label(=))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 16))(sort \ + Typ))((shape(Concave 16))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + 2041fea5-1d59-4998-9f2e-3d7d20e8f519)(label(Bool))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort \ + Typ))))))(shards(0))(children()))))))))(Secondary((id \ + 7c74d480-0097-4740-a918-7b5345a875eb)(content(Whitespace\" \ + \")))))((Secondary((id \ + 058c6341-431b-4045-98f3-1227ac57bca1)(content(Whitespace\" \ + \"))))(Tile((id \ + cbcebeee-2946-41d7-af56-10acfc3ee98b)(label(labeled_tuple))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Secondary((id \ + 95cf3af0-a1f4-4639-802b-8e6a68b821aa)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + 7df90b9b-fc87-4093-8a73-f1dd5f9b4e7b)(content(Whitespace\"\\n\"))))(Secondary((id \ + 87181a2a-7168-4fcb-922c-03c6f08cb29a)(content(Whitespace\"\\n\"))))(Secondary((id \ + 2d1cd3ec-0347-4ad3-8d1d-f90b8ee226bc)(content(Comment\"# \ + Labels are optional and can be interspersed throughout a \ + label #\"))))(Secondary((id \ + 6304d9bb-70f1-4711-af0a-3ceca5abf350)(content(Whitespace\"\\n\"))))(Tile((id \ + c03a5bf0-5b40-4db5-833d-aa7ccc5f1de9)(label(let = \ + in))(mold((out Exp)(in_(Pat Exp))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + 8ce73b84-f462-45d0-b8f9-c5b1ec532ece)(content(Whitespace\" \ + \"))))(Tile((id \ + a16b7bdb-34bc-481b-99a2-d9b3fe4c43e9)(label(mixed_labels))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Secondary((id \ + 88c2b5e3-4624-4004-956c-e2c4e56ada6c)(content(Whitespace\" \ + \"))))(Tile((id \ + e1b247ba-d61f-4616-88df-064c2b7fd3a6)(label(:))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 13))(sort \ + Pat))((shape(Concave 13))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + e47e4eee-8023-46a0-9f3e-cbd22343c821)(content(Whitespace\" \ + \"))))(Tile((id \ + b1d12b65-0bde-4897-be50-9382a322d257)(label(\"(\"\")\"))(mold((out \ + Typ)(in_(Typ))(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0 1))(children(((Tile((id \ + 085dbae6-4130-4b47-92ca-5292fe150994)(label(Int))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + e55ee8c2-9a8a-4139-9ea1-682d2d310402)(label(,))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 18))(sort \ + Typ))((shape(Concave 18))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + 9d5cfb64-78af-4a52-9833-6431217e882c)(content(Whitespace\" \ + \"))))(Tile((id \ + 3b1add0f-323b-4023-a55c-a42fd1032b4d)(label(a))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + 977eb5ad-75f9-4480-baa0-50c6e374f0ba)(label(=))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 16))(sort \ + Typ))((shape(Concave 16))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + 19b644d1-a6a0-41ba-8624-61eeaad5e300)(label(String))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + e54ed288-ac41-4a9f-841d-5243dc7376c1)(label(,))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 18))(sort \ + Typ))((shape(Concave 18))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + 513ff80c-bf03-4deb-b410-29faeac69a2d)(content(Whitespace\" \ + \"))))(Tile((id \ + 2a77c478-08ea-4569-81ef-c3b7cc56d0e1)(label(Float))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + ab9239e3-4316-44cb-9899-9aa69c755279)(label(,))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 18))(sort \ + Typ))((shape(Concave 18))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + c548f75f-47a0-4ab4-86e8-69e634a4cca6)(content(Whitespace\" \ + \"))))(Tile((id \ + 3c55d843-a871-418c-9eff-da75446c297e)(label(flag))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + d1ed7227-a849-44ab-9890-8d264b5f1945)(label(=))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 16))(sort \ + Typ))((shape(Concave 16))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + 020058df-9514-49a0-9645-677851c38bb2)(label(Bool))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort \ + Typ))))))(shards(0))(children()))))))))(Secondary((id \ + 40c93475-ca3b-41e8-8b21-1051f0fa687f)(content(Whitespace\" \ + \")))))((Secondary((id \ + e6102414-8e6a-49d8-8a4b-c30d478ff2c4)(content(Whitespace\" \ + \"))))(Tile((id \ + b28ba9ca-6b59-4d5c-9fcf-6ae44e1e204f)(label(\"(\"\")\"))(mold((out \ + Exp)(in_(Exp))(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0 1))(children(((Tile((id \ + 88d1e44a-ec5a-4157-ae30-75bf01cad38c)(label(1))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 21c197df-d99d-4d9d-a358-a67c10d5cccc)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + cb832565-6203-49ff-b53e-64fd5b3c6e49)(content(Whitespace\" \ + \"))))(Tile((id \ + cce72259-be1e-4bc7-8500-1ba2bf15c674)(label(a))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 4a61fc13-383b-47a7-972b-d6faa7503456)(label(=))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 16))(sort \ + Exp))((shape(Concave 16))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 3a55f509-fd99-44fa-8ee1-3d41554353bf)(label(\"\\\"String \ + Value\\\"\"))(mold((out Exp)(in_())(nibs(((shape Convex)(sort \ + Exp))((shape Convex)(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 51c1a82b-60b3-4c5a-8626-08a974105ae1)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + 5eb818c5-d046-4862-b6e4-03e135fc56cf)(content(Whitespace\" \ + \"))))(Tile((id \ + 65876d7a-f0ab-4fba-a53a-00bd9b55dcfc)(label(2.5))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + ab3377df-c4ba-45ff-a280-888d3a4c0ae7)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + 333f4c49-4a0d-4ea9-841b-e8b6f43a8765)(content(Whitespace\" \ + \"))))(Tile((id \ + 0e51bceb-1bf0-40b1-b825-225d9c42c415)(label(flag))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + d67f063a-acd8-4bb0-86e6-87b8a6314bba)(label(=))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 16))(sort \ + Exp))((shape(Concave 16))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 3b3683bc-a873-49ff-9aab-9f5d2ff8a384)(label(true))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort \ + Exp))))))(shards(0))(children()))))))))(Secondary((id \ + b0a7bb24-0bdd-4ff7-8792-c404acc07832)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + 006326dd-00d8-4ffd-99e0-f9e14310393f)(content(Whitespace\"\\n\"))))(Secondary((id \ + 9cee0316-ff16-45fc-8222-5a8004de1f1b)(content(Whitespace\"\\n\"))))(Tile((id \ + ca249965-e64a-4466-9054-2f8b8087e172)(label(type = \ + in))(mold((out Exp)(in_(TPat Typ))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + ce8336b7-fd8f-4766-9bc2-85e041f76ea2)(content(Whitespace\" \ + \"))))(Tile((id \ + dffcb8bd-d722-48ab-93b8-d096a011b106)(label(Person))(mold((out \ + TPat)(in_())(nibs(((shape Convex)(sort TPat))((shape \ + Convex)(sort \ + TPat))))))(shards(0))(children())))(Secondary((id \ + 6c2dfa03-96af-4244-9ad1-5aca79846f59)(content(Whitespace\" \ + \")))))((Secondary((id \ + 28b30431-f967-4a84-b719-3ee6dd323971)(content(Whitespace\" \ + \"))))(Tile((id \ + d46306e3-6845-4d24-9e26-b4b0292ec03b)(label(\"(\"\")\"))(mold((out \ + Typ)(in_(Typ))(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0 1))(children(((Tile((id \ + 71962028-dd1f-4b58-8881-6e72e881deb7)(label(String))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + c087cb02-0d08-4b91-8e34-99a0f2369e1a)(label(,))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 18))(sort \ + Typ))((shape(Concave 18))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + a3cc0163-1461-4774-b351-3be27ddb56ec)(content(Whitespace\" \ + \"))))(Tile((id \ + b1c7750d-d878-4561-bfd5-c8583121858b)(label(age))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + 03ce37fb-27dc-4b48-a329-d0538384b590)(label(=))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 16))(sort \ + Typ))((shape(Concave 16))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + 083755c0-e2a7-465e-9fb8-b1fb5d73725c)(label(Int))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + 745a5f93-acf5-4e56-9ef8-6d9c9e9df676)(label(,))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 18))(sort \ + Typ))((shape(Concave 18))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + 67a5db8b-7000-45f6-ae8f-86027d382414)(label(favorite_color))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Tile((id \ + 10cf3666-399c-4136-be8f-60a561558bbe)(label(=))(mold((out \ + Typ)(in_())(nibs(((shape(Concave 16))(sort \ + Typ))((shape(Concave 16))(sort \ + Typ))))))(shards(0))(children())))(Tile((id \ + f095c3a4-97e2-4433-aa7d-33ffa6775118)(label(String))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort \ + Typ))))))(shards(0))(children()))))))))(Secondary((id \ + 0254047f-2d49-49da-a292-8ae1c8bd9315)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + 30456699-1693-415d-a38e-b103a1d4f4ca)(content(Whitespace\"\\n\"))))(Secondary((id \ + 4a35bd2e-ceac-4010-9b5e-b96baa3abef7)(content(Comment\"# \ + These labels can be automatically applied based on the type \ + expectation #\"))))(Secondary((id \ + e9813292-9c79-4183-9279-a341eacd3539)(content(Whitespace\"\\n\"))))(Tile((id \ + 0dfaf809-1beb-41e2-827a-bb9892dc0dbe)(label(let = \ + in))(mold((out Exp)(in_(Pat Exp))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + 4911aaae-dcab-49b2-b114-dc86b6af73b8)(content(Whitespace\" \ + \"))))(Tile((id \ + 8b2a6afc-1c96-4e7e-b272-d516fb60c351)(label(alice))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Secondary((id \ + 83a57212-492f-4c9e-b2d4-c5633c00492f)(content(Whitespace\" \ + \"))))(Tile((id \ + 0b4b1269-4a3b-4d77-8573-a57eaa2c2ff2)(label(:))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 13))(sort \ + Pat))((shape(Concave 13))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + 97236a27-c11a-4f08-a6dc-f2095a2ad44d)(content(Whitespace\" \ + \"))))(Tile((id \ + 221deda5-eb21-40a7-83b8-a4d3f0c72747)(label(Person))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Secondary((id \ + 8c693b47-51a0-4394-a36d-0c55ed746ba2)(content(Whitespace\" \ + \")))))((Secondary((id \ + d84f659d-563b-4065-8352-0b48a0dbbc15)(content(Whitespace\" \ + \"))))(Tile((id \ + 3fce66bd-c247-471c-92b2-baabe04684aa)(label(\"(\"\")\"))(mold((out \ + Exp)(in_(Exp))(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0 1))(children(((Tile((id \ + c3e4496d-c777-49da-b359-e87e57f500d8)(label(\"\\\"Alice\\\"\"))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 48ba350a-53b5-4afa-905a-8b113add1293)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + 3f69e5d2-93c3-4464-9929-7684a8b4cce8)(content(Whitespace\" \ + \"))))(Tile((id \ + ead66a1a-2749-4c00-8c72-a1be1dbd9138)(label(22))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 8d300e9e-01fb-4ca7-98f9-d0e6761eee55)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + 4f18f100-b7fa-4a75-9c20-bc59f55991b1)(content(Whitespace\" \ + \"))))(Tile((id \ + 8658b876-0dbe-41d2-8012-42a1d9eeedbd)(label(\"\\\"Blue\\\"\"))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort \ + Exp))))))(shards(0))(children()))))))))(Secondary((id \ + c3ebb086-566a-44a9-a3f1-02778e67cd50)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + 87947367-9bf5-458f-a957-fd401c6fe62d)(content(Whitespace\"\\n\"))))(Secondary((id \ + 6ee9768e-9165-4e4b-9edc-0f5b431f3b4e)(content(Comment\"# \ + Explicitly Labeled elements are automatically \ + reordered#\"))))(Secondary((id \ + 160bfc3e-2922-46da-8880-6a55ec4e8f08)(content(Whitespace\"\\n\"))))(Tile((id \ + 9fb5dc17-bf6f-42a1-bad6-a7141ab485ff)(label(let = \ + in))(mold((out Exp)(in_(Pat Exp))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + 44556e11-4a18-4808-8e3b-96a449991571)(content(Whitespace\" \ + \"))))(Tile((id \ + 1915e41b-fe9e-4d75-8147-05a8de710213)(label(bob))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Secondary((id \ + 936f49f0-7701-46d3-9106-c5a513d9bcd8)(content(Whitespace\" \ + \"))))(Tile((id \ + ea62f713-8e6c-43ee-ad43-7960aa751f42)(label(:))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 13))(sort \ + Pat))((shape(Concave 13))(sort \ + Typ))))))(shards(0))(children())))(Secondary((id \ + cd474fd5-2959-4f9c-a1b4-5fdf2dd5a8bd)(content(Whitespace\" \ + \"))))(Tile((id \ + fd2b6d83-7e76-4bc5-9ee9-acf808142cb2)(label(Person))(mold((out \ + Typ)(in_())(nibs(((shape Convex)(sort Typ))((shape \ + Convex)(sort Typ))))))(shards(0))(children())))(Secondary((id \ + 5fc66ce9-3fab-4aef-85a9-4bef5b776355)(content(Whitespace\" \ + \")))))((Secondary((id \ + 6f0cfe1c-1274-4ca6-9230-a41ac4afd6ea)(content(Whitespace\" \ + \"))))(Tile((id \ + d5fcc42c-8f5e-429b-bca3-e0316b162a7a)(label(\"(\"\")\"))(mold((out \ + Exp)(in_(Exp))(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0 1))(children(((Tile((id \ + b4672fe9-7b7f-486c-9fd7-31caa7a850dd)(label(age))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + f0bac892-177e-4d96-88de-e4d17dc891c0)(label(=))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 16))(sort \ + Exp))((shape(Concave 16))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 1c4d0130-d17f-432b-8692-f87ab2c096a8)(label(25))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 05e7f039-2de3-4e31-91eb-a99c4566d90b)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + 21495a10-72b3-4ced-9292-fc8c8415cd4b)(content(Whitespace\" \ + \"))))(Tile((id \ + 79158e46-09bb-4bdd-9e94-d43513f0a6cc)(label(favorite_color))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 90a05943-35bb-4045-84d5-1a9d9f4f9933)(label(=))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 16))(sort \ + Exp))((shape(Concave 16))(sort \ + Exp))))))(shards(0))(children())))(Tile((id \ + 46b0779f-2d9e-4171-abab-3a5e49ee6f57)(label(\"\\\"Red\\\"\"))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Tile((id \ + 2fa915a0-88fb-45f9-ba3b-d05260c06e4e)(label(,))(mold((out \ + Exp)(in_())(nibs(((shape(Concave 18))(sort \ + Exp))((shape(Concave 18))(sort \ + Exp))))))(shards(0))(children())))(Secondary((id \ + a08417ac-4577-411a-854a-eda4acf4964b)(content(Whitespace\" \ + \"))))(Tile((id \ + 3a8e7e83-74ec-444a-a7df-06d68f289bc3)(label(\"\\\"Bob\\\"\"))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort \ + Exp))))))(shards(0))(children()))))))))(Secondary((id \ + db14a17f-90ca-498b-af9e-8690c183c312)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + 55d9fe07-3edd-4db1-98c4-881a873ecaa2)(content(Whitespace\" \ + \"))))(Secondary((id \ + 3aeb958c-78e8-41ca-8bd8-e4fe58ab1279)(content(Comment\"# \ + equals (\\\"Bob\\\", age=25, \ + favorite_color=\\\"Red\\\")#\"))))(Secondary((id \ + 3dc6447b-da88-4cc0-8d41-fa06812d2f2b)(content(Whitespace\"\\n\"))))(Secondary((id \ + 105ece24-a726-45da-87f3-6888e1cdedbe)(content(Whitespace\"\\n\"))))(Secondary((id \ + 0a3fa6fe-890f-434b-b9f9-fb84b56a81fb)(content(Comment\"# \ + Destructuring #\"))))(Secondary((id \ + dfcae445-0ba1-4676-91e0-3273c23f9766)(content(Whitespace\"\\n\"))))(Tile((id \ + e91a3973-b16d-49a4-a59d-380a2979c970)(label(let = \ + in))(mold((out Exp)(in_(Pat Exp))(nibs(((shape Convex)(sort \ + Exp))((shape(Concave 18))(sort Exp))))))(shards(0 1 \ + 2))(children(((Secondary((id \ + 892a74b8-31ca-477d-abd8-386d58d88f28)(content(Whitespace\" \ + \"))))(Tile((id \ + 88159ab5-30b8-46d7-9f90-475b8d94c1f4)(label(\"(\"\")\"))(mold((out \ + Pat)(in_(Pat))(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0 1))(children(((Tile((id \ + 60d7049c-eb88-4791-9809-6b99b6678e38)(label(bobs_name))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Tile((id \ + f6bff178-21db-4571-99d6-620d4d3d3bcb)(label(,))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 18))(sort \ + Pat))((shape(Concave 18))(sort \ + Pat))))))(shards(0))(children())))(Secondary((id \ + 1fd05df6-54a0-4a88-b9ea-a3c9d4081260)(content(Whitespace\" \ + \"))))(Tile((id \ + 937f5455-014e-49ee-9582-b8b2d41115b0)(label(age))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Tile((id \ + 060f122d-3e7b-4bc1-bf84-9642626f1555)(label(=))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 16))(sort \ + Pat))((shape(Concave 16))(sort \ + Pat))))))(shards(0))(children())))(Tile((id \ + 3206215b-978a-4d6b-8ae9-1b9210b0d49b)(label(bobs_age))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Tile((id \ + 965a3191-2574-4447-b05b-0d40f9d83946)(label(,))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 18))(sort \ + Pat))((shape(Concave 18))(sort \ + Pat))))))(shards(0))(children())))(Secondary((id \ + 38246b0f-0bee-46e7-b01b-0d8afc2fbd0d)(content(Whitespace\" \ + \"))))(Tile((id \ + 407f97ee-e857-4ce8-83fe-634df9404c38)(label(favorite_color))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort Pat))))))(shards(0))(children())))(Tile((id \ + 34a291de-b553-482e-92fb-b0ec3a2c6e0a)(label(=))(mold((out \ + Pat)(in_())(nibs(((shape(Concave 16))(sort \ + Pat))((shape(Concave 16))(sort \ + Pat))))))(shards(0))(children())))(Tile((id \ + 30328d7c-b472-4dae-b050-6d959fe7be32)(label(bobs_favorite_color))(mold((out \ + Pat)(in_())(nibs(((shape Convex)(sort Pat))((shape \ + Convex)(sort \ + Pat))))))(shards(0))(children()))))))))(Secondary((id \ + 2d1138cf-7b53-4891-bbe7-9443bc061639)(content(Whitespace\" \ + \")))))((Secondary((id \ + 90bf31c2-7807-4d05-af22-bfb0803990a2)(content(Whitespace\" \ + \"))))(Tile((id \ + 3d677f5a-b880-49e5-9171-ed5a21307452)(label(bob))(mold((out \ + Exp)(in_())(nibs(((shape Convex)(sort Exp))((shape \ + Convex)(sort Exp))))))(shards(0))(children())))(Secondary((id \ + 99c467af-0605-4a51-814b-6fe35edb5b59)(content(Whitespace\" \ + \")))))))))(Secondary((id \ + 1672c094-ce77-4a2c-a610-f352d9c00f7f)(content(Whitespace\"\\n\"))))(Secondary((id \ + 183b912f-dde9-4f06-8047-2b73d3e7ac89)(content(Whitespace\"\\n\"))))(Grout((id \ + 108cfcfd-2e17-407c-8380-ec1e63151450)(shape \ + Convex)))(Secondary((id \ + 867bbf01-916d-4d3e-9b99-1d4337659f57)(content(Whitespace\" \ + \"))))(Secondary((id \ + 0342f646-322c-4f68-98cf-de94b4df6e3d)(content(Whitespace\"\\n\"))))(Secondary((id \ + fa4a94d2-5955-4f8a-a958-6d8c8ebeaefb)(content(Whitespace\"\\n\"))))(Secondary((id \ + d6e2d5c6-1ac7-42ca-9894-0f26ea900668)(content(Whitespace\"\\n\")))))))(ancestors())))(caret(Inner \ + 33 13)))"; + backup_text = + "# Labeled Tuples #\n\n\ + # Tuples can have labels#\n\ + let labeled_tuple = (a=1, b=2.0, c=true) in\n\ + # These labels can be projected #\n\ + let prj_a : Int = labeled_tuple.a # 1 # in \n\n\ + # These can be encoded the types #\n\ + let typed_lt : (a=Int, b=Float, c=Bool) = labeled_tuple in\n\n\ + # Labels are optional and can be interspersed throughout a \ + label #\n\ + let mixed_labels : (Int, a=String, Float, flag=Bool) = (1, \ + a=\"String Value\", 2.5, flag=true) in\n\n\ + type Person = (String, age=Int,favorite_color=String) in\n\ + # These labels can be automatically applied based on the type \ + expectation #\n\ + let alice : Person = (\"Alice\", 22, \"Blue\") in\n\ + # Explicitly Labeled elements are automatically reordered#\n\ + let bob : Person = (age=25, favorite_color=\"Red\", \"Bob\") \ + in # equals (\"Bob\", age=25, favorite_color=\"Red\")#\n\n\ + # Destructuring #\n\ + let (bobs_name, age=bobs_age, \ + favorite_color=bobs_favorite_color) = bob in\n\n\ + \ \n\n\n"; + } ); ( "Expressive Programming", { zipper =