builtin: add Map.Bytes

Author: Defelo

src/par/builtin/Builtin.par

@@ -367,6 +367,7 @@ type Map<k, v> = iterative choice {
 }
 
 dec Map.String : [type v] [List<(String) box v>] Map<String, v>
+dec Map.Bytes  : [type v] [List<(Bytes) box v>]  Map<Bytes, v>
 dec Map.Int    : [type v] [List<(Int) box v>]    Map<Int, v>
 dec Map.Nat    : [type v] [List<(Nat) box v>]    Map<Nat, v>
 

src/par/builtin/map.rs

@@ -34,6 +34,22 @@ pub fn external_module() -> Module<Arc<process::Expression<()>>> {
                 ),
                 |handle| Box::pin(map_new(handle, Handle::string, Handle::provide_string)),
             ),
+            // Map.Bytes : [type v] [List<(Bytes) box v>] Map<Bytes, v>
+            Definition::external(
+                "Bytes",
+                Type::forall(
+                    "v",
+                    Type::function(
+                        Type::name(
+                            Some("List"),
+                            "List",
+                            vec![Type::pair(Type::bytes(), Type::box_(Type::var("v")))],
+                        ),
+                        Type::name(None, "Map", vec![Type::bytes(), Type::var("v")]),
+                    ),
+                ),
+                |handle| Box::pin(map_new(handle, Handle::bytes, Handle::provide_bytes)),
+            ),
             // Map.Int : [type v] [List<(Int) box v>] Map<Int, v>
             Definition::external(
                 "Int",