refactor: sdk dx (#470)

- [x] rename apply to reduce
- [x] move t.ref to g.ref and remove t.proxy
- [x] rename t.array to t.list
- [x] standard policies should defined in core
- [x] remove python* section in metatype.yml

examples/templates/python/metatype.yaml

@@ -13,7 +13,3 @@ typegates:
       TG_EXAMPLE_ENV_VAR: "example"
       TG_EXAMPLE_POSTGRES: "postgresql://postgres:password@localhost:5432/db"
       TG_EXAMPLE_MONGO: "mongodb://root:password@mongo:27017/db"
-
-typegraphs:
-  python:
-    include: "api/**/*.py"

libs/common/src/typegraph/types.rs

@@ -147,7 +147,7 @@ pub struct ObjectTypeData {
 #[skip_serializing_none]
 #[derive(Serialize, Deserialize, Clone, Debug)]
 #[serde(rename_all = "camelCase")]
-pub struct ArrayTypeData {
+pub struct ListTypeData {
     pub items: u32,
     pub max_items: Option<u32>,
     pub min_items: Option<u32>,
@@ -231,11 +231,11 @@ pub enum TypeNode {
         #[serde(flatten)]
         data: ObjectTypeData,
     },
-    Array {
+    List {
         #[serde(flatten)]
         base: TypeNodeBase,
         #[serde(flatten)]
-        data: ArrayTypeData,
+        data: ListTypeData,
     },
     Function {
         #[serde(flatten)]
@@ -273,7 +273,7 @@ impl TypeNode {
             | String { base, .. }
             | File { base, .. }
             | Object { base, .. }
-            | Array { base, .. }
+            | List { base, .. }
             | Function { base, .. }
             | Union { base, .. }
             | Either { base, .. }
@@ -291,7 +291,7 @@ impl TypeNode {
             | String { base, .. }
             | File { base, .. }
             | Object { base, .. }
-            | Array { base, .. }
+            | List { base, .. }
             | Function { base, .. }
             | Union { base, .. }
             | Either { base, .. }
@@ -309,7 +309,7 @@ impl TypeNode {
             String { .. } => "string",
             File { .. } => "file",
             Object { .. } => "object",
-            Array { .. } => "array",
+            List { .. } => "list",
             Function { .. } => "function",
             Union { .. } => "union",
             Either { .. } => "either",

libs/common/src/typegraph/validator.rs

@@ -9,7 +9,7 @@ use serde_json::Value;
 
 use super::{
     visitor::{Path, PathSegment, TypeVisitor, VisitResult},
-    ArrayTypeData, EitherTypeData, FloatTypeData, Injection, IntegerTypeData, ObjectTypeData,
+    EitherTypeData, FloatTypeData, Injection, IntegerTypeData, ListTypeData, ObjectTypeData,
     StringTypeData, UnionTypeData,
 };
 
@@ -97,7 +97,7 @@ impl TypeVisitor for Validator {
                             | TypeNode::String { .. } => {
                                 // scalar
                             }
-                            TypeNode::Array { data, .. } => {
+                            TypeNode::List { data, .. } => {
                                 let item_type = tg.types.get(data.items as usize).unwrap();
                                 if !item_type.is_scalar() {
                                     self.push_error(
@@ -221,7 +221,7 @@ impl Typegraph {
                     self.validate_value(data.item, value)
                 }
             }
-            TypeNode::Array { data, .. } => self.validate_array(data, value),
+            TypeNode::List { data, .. } => self.validate_array(data, value),
             TypeNode::Object { data, .. } => self.validate_object(data, value),
             TypeNode::Function { .. } => Err(anyhow!("Unexpected function type")),
             TypeNode::Union { data, .. } => self.validate_union(data, value),
@@ -308,7 +308,7 @@ impl Typegraph {
         Ok(())
     }
 
-    fn validate_array(&self, data: &ArrayTypeData, value: &Value) -> Result<()> {
+    fn validate_array(&self, data: &ListTypeData, value: &Value) -> Result<()> {
         let array = value
             .as_array()
             .ok_or_else(|| anyhow!("Expected an array got '{}'", to_string(value)))?;

libs/common/src/typegraph/visitor.rs

@@ -60,7 +60,7 @@ impl<'a, V: TypeVisitor + Sized> TypegraphTraversal<'a, V> {
             VisitResult::Continue(deeper) if deeper => match type_node {
                 TypeNode::Optional { data, .. } => self.visit_optional(type_idx, data.item),
                 TypeNode::Object { data, .. } => self.visit_object(type_idx, &data.properties),
-                TypeNode::Array { data, .. } => self.visit_array(type_idx, data.items),
+                TypeNode::List { data, .. } => self.visit_array(type_idx, data.items),
                 TypeNode::Union { data, .. } => self.visit_union(type_idx, &data.any_of),
                 TypeNode::Either { data, .. } => self.visit_either(type_idx, &data.one_of),
                 TypeNode::Function { data, .. } => {

meta-cli/src/codegen/deno.rs

@@ -307,7 +307,7 @@ impl<'a> Codegen<'a> {
         let tpe = &self.tg.types[idx as usize];
         match tpe {
             TypeNode::Optional { .. } => Ok("null".to_owned()),
-            TypeNode::Array { .. } => Ok("[]".to_owned()),
+            TypeNode::List { .. } => Ok("[]".to_owned()),
             TypeNode::Boolean { .. } => Ok("false".to_owned()),
             TypeNode::Float { .. } | TypeNode::Integer { .. } => Ok("0".to_owned()),
             TypeNode::String { .. } => Ok("\"\"".to_owned()),
@@ -422,9 +422,7 @@ impl<'a> Codegen<'a> {
             TypeNode::Optional { data, .. } => {
                 Ok(format!("null | {}", self.get_typespec(data.item)?))
             }
-            TypeNode::Array { data, .. } => {
-                Ok(format!("Array<{}>", self.get_typespec(data.items)?))
-            }
+            TypeNode::List { data, .. } => Ok(format!("Array<{}>", self.get_typespec(data.items)?)),
             TypeNode::Boolean { .. } => Ok("boolean".to_owned()),
             TypeNode::Float { .. } | TypeNode::Integer { .. } => Ok("number".to_owned()),
             TypeNode::String { base, .. } => {

meta-cli/src/codegen/snapshots/meta__codegen__deno__tests__codegen.py.snap

@@ -15,3 +15,4 @@ export function div({ dividend, divisor }: DivInput,
 } {
   return { quotient: 0, remainder: 0 };
 }
+

meta-cli/src/codegen/snapshots/meta__codegen__deno__tests__enum_node.py.snap

@@ -13,3 +13,4 @@ export function get_rgb({ color }: Get_rgbInput,
 } {
   return { rgb: [] };
 }
+

meta-cli/src/codegen/snapshots/meta__codegen__deno__tests__union_node.py.snap

@@ -32,3 +32,4 @@ export function convert({ color, to }: ConvertInput,
 {
   return "";
 }
+

meta-cli/src/tests/typegraphs/enum_node.py

@@ -10,7 +10,7 @@ def enum(g: Graph):
 
     get_rgb = deno.import_(
         t.struct({"color": color}),
-        t.struct({"rgb": t.array(t.integer(), name="RGB")}),
+        t.struct({"rgb": t.list(t.integer(), name="RGB")}),
         module="ts/rgb.ts",
         name="get_rgb",
     )

meta-cli/src/tests/typegraphs/union_node.py

@@ -4,7 +4,7 @@
 
 @typegraph()
 def union(g: Graph):
-    rgb = t.array(t.integer(min=0, max=255), min=3, max=3, name="RGBArray")
+    rgb = t.list(t.integer(min=0, max=255), min=3, max=3, name="RGBArray")
     hex = t.string(pattern="^#([A-Fa-f0-9]{6}|[A-Fa-f0-9]{3})$", name="HexColor")
     colorName = t.enum(
         [

meta-cli/tests/metatype.yml

@@ -1,3 +0,0 @@
-typegraphs:
-  python:
-    include: "graphs/**/*.py"

typegate/src/engine/planner/args.ts

@@ -14,8 +14,8 @@ import {
 } from "../../types.ts";
 import { JSONValue } from "../../utils.ts";
 import {
-  ArrayNode,
   getVariantTypesIndexes,
+  ListNode,
   ObjectNode,
   Type,
   TypeNode,
@@ -164,7 +164,7 @@ interface Dependencies {
  *      object_arg: {  # o -> collectArg() -> collectObjectArg()
  *          nested1: 12  # -> collectArg()
  *      },
- *      array_arg: [  # o -> collectArg() -> collectArrayArg()
+ *      list_arg: [  # o -> collectArg() -> collectListArg()
  *          'hello',  # -> collectArg()
  *          'world',  # -> collectArg()
  *      ],
@@ -287,8 +287,8 @@ class ArgumentCollector {
         return this.collectObjectArg(valueNode, typ);
       }
 
-      case Type.ARRAY:
-        return this.collectArrayArg(valueNode, typ);
+      case Type.LIST:
+        return this.collectListArg(valueNode, typ);
 
       case Type.INTEGER: {
         if (valueNode.kind !== Kind.INT) {
@@ -457,9 +457,9 @@ class ArgumentCollector {
   }
 
   /** Collect the value of a parameter of type 'array'. */
-  private collectArrayArg(
+  private collectListArg(
     valueNode: ast.ValueNode,
-    typ: ArrayNode,
+    typ: ListNode,
   ): ComputeArg {
     if (valueNode.kind !== Kind.LIST) {
       throw new TypeMismatchError(

typegate/src/engine/query_engine.ts

@@ -253,13 +253,13 @@ export class QueryEngine {
           return { type: "array", items: toJSONSchema(v.type) };
         }
         const name = v.name.value;
-        const schema = {
+        const schema = ({
           "Integer": { type: "number" },
           "Float": { type: "number" },
           "Boolean": { type: "boolean" },
           "String": { type: "string" },
           "ID": { type: "string" },
-        }?.[name];
+        } as any)?.[name];
         if (schema) {
           return schema;
         }

typegate/src/engine/typecheck/code_generator.ts

@@ -2,11 +2,11 @@
 // SPDX-License-Identifier: Elastic-2.0
 
 import {
-  ArrayNode,
   BooleanNode,
   FileNode,
   FloatNode,
   IntegerNode,
+  ListNode,
   ObjectNode,
   OptionalNode,
   StringNode,
@@ -176,7 +176,7 @@ export class CodeGenerator {
   }
 
   generateArrayValidator(
-    typeNode: ArrayNode,
+    typeNode: ListNode,
     itemValidatorName: string,
   ) {
     this.validation(

typegate/src/engine/typecheck/input.ts

@@ -148,7 +148,7 @@ export class InputValidationCompiler {
             cg.generateOptionalValidator(typeNode, functionName(typeNode.item));
             queue.push(typeNode.item);
             break;
-          case "array":
+          case "list":
             cg.generateArrayValidator(typeNode, functionName(typeNode.items));
             queue.push(typeNode.items);
             break;

typegate/src/engine/typecheck/matching_variant.ts

@@ -114,7 +114,7 @@ class VariantMatcherCompiler {
             cg.generateOptionalValidator(typeNode, functionName(typeNode.item));
             queue.push(typeNode.item);
             break;
-          case "array":
+          case "list":
             cg.generateArrayValidator(typeNode, functionName(typeNode.items));
             queue.push(typeNode.items);
             break;

typegate/src/engine/typecheck/result.ts

@@ -149,7 +149,7 @@ export class ResultValidationCompiler {
             break;
           }
 
-          case "array": {
+          case "list": {
             const itemValidatorName = this.validatorName(
               typeNode.items,
               entry.selectionSet != null,

typegate/src/runtimes/prisma/hooks/generate_schema.ts

@@ -297,7 +297,7 @@ class FieldBuilder {
     switch (typeNode.type) {
       case Type.OPTIONAL:
         return [typeNode.item, "?"];
-      case Type.ARRAY:
+      case Type.LIST:
         return [typeNode.items, "[]"];
       default:
         return [typeIdx, ""];

typegate/src/runtimes/random.ts

@@ -109,7 +109,7 @@ export class RandomRuntime extends Runtime {
         return this.chance.string();
       case "boolean":
         return this.chance.bool();
-      case "array": {
+      case "list": {
         const res = [];
         let size = this.chance.integer({ min: 1, max: 10 });
         const childNodeName = this.getTgTypeNameByIndex(typ.items);

typegate/src/runtimes/typegraph.ts

@@ -7,9 +7,9 @@ import { ensure } from "../utils.ts";
 import { Runtime } from "./Runtime.ts";
 import { ComputeStage } from "../engine/query_engine.ts";
 import {
-  isArray,
   isEither,
   isFunction,
+  isList,
   isObject,
   isOptional,
   isQuantifier,
@@ -305,7 +305,7 @@ export class TypeGraphRuntime extends Runtime {
       };
     }
 
-    if (isArray(type)) {
+    if (isList(type)) {
       return {
         ...common,
         kind: () => TypeKind.LIST,

typegate/src/transports/rest/rest_schema_generator.ts

@@ -88,7 +88,7 @@ export class RestSchemaGenerator {
           }
           break;
         }
-        case "array": {
+        case "list": {
           const itemsIdx = typeNode.items;
           const schema = this.#generateHelper(itemsIdx, inProgress);
           outputSchema = { type: "array", items: schema };