std::comptime: add the Key method to the comptimeTypeInfo

std/comptime/type.jule

@@ -39,27 +39,37 @@ enum Kind {
 // will not executed at runtime.
 // fn TypeOf(TYPE || EXPRESSION): comptimeTypeInfo
 
+/* >>> Hint comptimeTypeInfo implementation.
+
 // Private compile-time type information wrapper.
-// struct comptimeTypeInfo
-//
-// Returns Kind of type.
-// Returns as constant expression.
-// fn Kind(self): Kind
-//
-// Returns string value of type.
-// Returns as constant expression.
-// fn Str(self): str
-//
-// Returns bitsize of type.
-// Supports only primitive integer and floating-point types.
-// Returns as constant expression.
-// fn Bits(self): int
-//
-// Returns comptimeTypeInfo for element type.
-// Supports only pointers (except unsafe pointer), smart pointers, arrays, and slices.
-// fn Elem(self): comptimeTypeInfo
-//
-// Returns size of array.
-// Returns as constant expression.
-// Returns zero if array type is auto-sized declaration.
-// fn Size(self): int
+struct comptimeTypeInfo {}
+
+impl comptimeTypeInfo {
+    // Returns Kind of type.
+    // Returns as constant expression.
+    fn Kind(self): Kind
+
+    // Returns string value of type.
+    // Returns as constant expression.
+    fn Str(self): str
+
+    // Returns bitsize of type.
+    // Supports only primitive integer and floating-point types.
+    // Returns as constant expression.
+    fn Bits(self): int
+
+    // Returns comptimeTypeInfo for element type.
+    // Supports only pointers (except unsafe pointer), smart pointers, arrays, and slices.
+    fn Elem(self): comptimeTypeInfo
+
+    // Returns size of array.
+    // Returns as constant expression.
+    // Returns zero if array type is auto-sized declaration.
+    fn Size(self): int
+
+    // Returns type information for key type.
+    // Supports only map types.
+    fn Key(self): comptimeTypeInfo
+}
+
+*/

std/jule/sema/comptime.jule

@@ -174,6 +174,15 @@ impl comptimeType {
         }
     }
 
+    fn _Key(mut &self, mut &e: &Eval, mut &fc: &ast::FnCallExpr): &Data {
+        let mut m = self.Base.Map()
+        if m == nil {
+            e.pushErr(fc.Token, LogMsg.InvalidTypeForFn, self.Base.Str(), "Key")
+            ret nil
+        }
+        ret buildComptimeTypeInfoData(e.s, m.Key)
+    }
+
     fn subIdent(mut &self, ident: str): &Data {
         match ident {
         | "Str":
@@ -204,6 +213,13 @@ impl comptimeType {
                 },
             }
             ret buildAsComptimeMethodData(method)
+        | "Key":
+            let mut method = &FnIns{
+                caller: fn(mut &e: &Eval, mut &fc: &ast::FnCallExpr, mut &_: &Data): &Data {
+                    ret self._Key(e, fc)
+                },
+            }
+            ret buildAsComptimeMethodData(method)
         | "Kind":
             let mut method = &FnIns{
                 caller: fn(mut &e: &Eval, mut &fc: &ast::FnCallExpr, mut &_: &Data): &Data {