@mirascript/typed 0.1.64 → 0.1.70

package/src/type.peggy

@@ -37,6 +37,11 @@ function union(types) {
   return { kind: "union", types };
 }
 
+function intersection(types) {
+  if (types.length === 1) return types[0];
+  return { kind: "intersection", types };
+}
+
 function record(fields) {
   for(let i = 0; i < fields.length; i++) {
     fields[i].name ??= String(i);
@@ -55,6 +60,10 @@ function string(parts) {
   }
   return { kind: 'template', parts };
 }
+
+function tupleElement(type, spread) {
+  return { type, spread: spread ?? false };
+}
 }
 
 Start
@@ -62,17 +71,22 @@ Start
   / _ @Type _
 
 ///////////////////////////////////////////////////////////////////////////////
-// Type (union)
+// Type (union / intersection)
 ///////////////////////////////////////////////////////////////////////////////
 
 Type
   = UnionType
 
 UnionType
-  = _ ( "|" _ )? u:PostfixType|1.., _ "|" _ | {
+  = _ ( "|" _ )? u:IntersectionType|1.., _ "|" _ | {
       return union(u);
     }
 
+IntersectionType
+  = _ ( "&" _ )? i:PostfixType|1.., _ "&" _ | {
+      return intersection(i);
+    }
+
 ///////////////////////////////////////////////////////////////////////////////
 // Array
 ///////////////////////////////////////////////////////////////////////////////
@@ -91,6 +105,8 @@ PostfixType
 
 PrimaryType
   = FunctionType
+  / ReflectionType
+  / TupleType
   / name:Identifier generic:(_ "<" _ @TypeArgList _ ">")? {
       if (generic) {
         if (name === 'array') {
@@ -110,6 +126,10 @@ PrimaryType
       if (BUILT_IN_TYPES.has(name)) {
         return name;
       }
+      // `type` is a non-reserved keyword — allow it as a plain named type
+      if (name === 'type') {
+        return name;
+      }
       return named(name);
     }
   / lit:String {
@@ -120,6 +140,33 @@ PrimaryType
   / RecordType
 
 
+///////////////////////////////////////////////////////////////////////////////
+// Reflection
+///////////////////////////////////////////////////////////////////////////////
+
+ReflectionType
+  = "type" _ "(" _ name:Identifier _ ")" {
+      return { kind: "reflection", name };
+    }
+
+///////////////////////////////////////////////////////////////////////////////
+// Tuple
+///////////////////////////////////////////////////////////////////////////////
+
+TupleType
+  = "[" _ elements:TupleElementList? _ "]" {
+      return { kind: "tuple", elements: elements ?? [] };
+    }
+
+TupleElementList
+  = @TupleElement|1.., _ "," _ | ( _ "," _ )?
+
+TupleElement
+  = spread:".."? _ type:Type {
+      return tupleElement(type, spread != null);
+    }
+
+
 ///////////////////////////////////////////////////////////////////////////////
 // Generics
 ///////////////////////////////////////////////////////////////////////////////