@elaraai/east 0.0.1-beta.0 → 0.0.1-beta.2

package/dist/src/builtins.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"builtins.d.ts","sourceRoot":"","sources":["../../src/builtins.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAA4D,KAAK,QAAQ,EAAyG,MAAM,YAAY,CAAC;AAG5M,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,MAAM,EAAE,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC3B,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG,IAAI,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,cAAc,GACrG,YAAY,GAAG,WAAW,GAAG,YAAY,GAAG,YAAY,GACxD,gBAAgB,GAAG,eAAe,GAAG,YAAY,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,eAAe,GAAG,kBAAkB,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,GAAG,YAAY,GAC7L,gBAAgB,GAAG,aAAa,GAAG,UAAU,GAAG,eAAe,GAAG,eAAe,GAAG,aAAa,GAAG,gBAAgB,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAC3O,OAAO,GAAG,OAAO,GAAG,cAAc,GAAG,cAAc,GAAG,cAAc,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,aAAa,GAAG,YAAY,GAAG,iBAAiB,GAAG,eAAe,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,gBAAgB,GAAG,eAAe,GAAG,eAAe,GAAG,eAAe,GAAG,cAAc,GAAG,cAAc,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,iBAAiB,GAC3a,iBAAiB,GAAG,kBAAkB,GAAG,uBAAuB,GAAG,iBAAiB,GAAG,mBAAmB,GAAG,mBAAmB,GAAG,sBAAsB,GAAG,wBAAwB,GAAG,yBAAyB,GAAG,8BAA8B,GAAG,6BAA6B,GAAG,+BAA+B,GAAG,wBAAwB,GAAG,qBAAqB,GAAG,qBAAqB,GAC9X,UAAU,GAAG,cAAc,GAAG,gBAAgB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACpJ,QAAQ,GAAG,WAAW,GAAG,UAAU,GACnC,eAAe,GAAG,YAAY,GAAG,eAAe,GAAG,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,mBAAmB,GAAG,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,eAAe,GAAG,cAAc,GAAG,gBAAgB,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,GAAG,eAAe,GAAG,YAAY,GAAG,kBAAkB,GAAG,qBAAqB,GAAG,WAAW,GAAG,cAAc,GAAG,eAAe,GAAG,sBAAsB,GAAG,qBAAqB,GAAG,sBAAsB,GAAG,gBAAgB,GAAG,aAAa,GAAG,YAAY,GAAG,cAAc,GAAG,cAAc,GAAG,WAAW,GAAG,UAAU,GAAG,aAAa,GAAG,gBAAgB,GAAG,eAAe,GAAG,gBAAgB,GAAG,WAAW,GAAG,iBAAiB,GAAG,YAAY,GAAG,aAAa,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,oBAAoB,GAAG,gBAAgB,GAC/xB,aAAa,GAAG,SAAS,GAAG,QAAQ,GAAG,WAAW,GAAG,cAAc,GAAG,WAAW,GAAG,cAAc,GAAG,UAAU,GAAG,iBAAiB,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,GAAG,YAAY,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,GAAG,YAAY,GAAG,QAAQ,GAAG,WAAW,GAAG,cAAc,GAAG,aAAa,GAAG,cAAc,GAAG,WAAW,GAAG,YAAY,GAAG,UAAU,GAAE,WAAW,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,cAAc,GAC3c,cAAc,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,kBAAkB,GAAG,YAAY,GAAG,YAAY,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,GAAG,SAAS,GAAG,WAAW,GAAG,kBAAkB,GAAG,cAAc,GAAG,UAAU,GAAG,aAAa,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,GAAG,YAAY,GAAG,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,YAAY,GAAG,aAAa,GAAG,WAAW,GAAG,YAAY,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,eAAe,CACvjB;AAEH,gBAAgB;AAChB,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,WAAW,EAAE,WAAW,CAw+BrD,CAAA;AAED,gBAAgB;AAChB,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,QAAQ,CA8F/I"}
+{"version":3,"file":"builtins.d.ts","sourceRoot":"","sources":["../../src/builtins.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAA4D,KAAK,QAAQ,EAAyG,MAAM,YAAY,CAAC;AAG5M,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG;IACxB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,MAAM,EAAE,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC3B,CAAA;AAED,gBAAgB;AAChB,MAAM,MAAM,WAAW,GAAG,IAAI,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,cAAc,GACrG,YAAY,GAAG,WAAW,GAAG,YAAY,GAAG,YAAY,GACxD,gBAAgB,GAAG,eAAe,GAAG,YAAY,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,eAAe,GAAG,kBAAkB,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,GAAG,YAAY,GAC7L,gBAAgB,GAAG,aAAa,GAAG,UAAU,GAAG,eAAe,GAAG,eAAe,GAAG,aAAa,GAAG,gBAAgB,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAC3O,OAAO,GAAG,OAAO,GAAG,cAAc,GAAG,cAAc,GAAG,cAAc,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,aAAa,GAAG,YAAY,GAAG,iBAAiB,GAAG,eAAe,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,gBAAgB,GAAG,eAAe,GAAG,eAAe,GAAG,eAAe,GAAG,cAAc,GAAG,cAAc,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,iBAAiB,GAC3a,iBAAiB,GAAG,kBAAkB,GAAG,uBAAuB,GAAG,iBAAiB,GAAG,mBAAmB,GAAG,mBAAmB,GAAG,sBAAsB,GAAG,wBAAwB,GAAG,yBAAyB,GAAG,8BAA8B,GAAG,6BAA6B,GAAG,+BAA+B,GAAG,wBAAwB,GAAG,qBAAqB,GAAG,qBAAqB,GAC9X,UAAU,GAAG,cAAc,GAAG,gBAAgB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACpJ,QAAQ,GAAG,WAAW,GAAG,UAAU,GACnC,eAAe,GAAG,YAAY,GAAG,eAAe,GAAG,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,mBAAmB,GAAG,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,eAAe,GAAG,cAAc,GAAG,gBAAgB,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,GAAG,eAAe,GAAG,YAAY,GAAG,kBAAkB,GAAG,qBAAqB,GAAG,WAAW,GAAG,cAAc,GAAG,eAAe,GAAG,sBAAsB,GAAG,qBAAqB,GAAG,sBAAsB,GAAG,gBAAgB,GAAG,aAAa,GAAG,YAAY,GAAG,cAAc,GAAG,cAAc,GAAG,WAAW,GAAG,UAAU,GAAG,aAAa,GAAG,gBAAgB,GAAG,eAAe,GAAG,gBAAgB,GAAG,WAAW,GAAG,iBAAiB,GAAG,YAAY,GAAG,aAAa,GAAG,qBAAqB,GAAG,mBAAmB,GAAG,oBAAoB,GAAG,gBAAgB,GAC/xB,aAAa,GAAG,SAAS,GAAG,QAAQ,GAAG,WAAW,GAAG,cAAc,GAAG,WAAW,GAAG,cAAc,GAAG,UAAU,GAAG,iBAAiB,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,GAAG,YAAY,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,GAAG,YAAY,GAAG,QAAQ,GAAG,WAAW,GAAG,cAAc,GAAG,aAAa,GAAG,cAAc,GAAG,WAAW,GAAG,YAAY,GAAG,UAAU,GAAE,WAAW,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,cAAc,GAC3c,cAAc,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,kBAAkB,GAAG,YAAY,GAAG,YAAY,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,GAAG,SAAS,GAAG,WAAW,GAAG,kBAAkB,GAAG,cAAc,GAAG,UAAU,GAAG,aAAa,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,GAAG,YAAY,GAAG,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,YAAY,GAAG,aAAa,GAAG,WAAW,GAAG,YAAY,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,eAAe,CACvjB;AAEH,gBAAgB;AAChB,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,WAAW,EAAE,WAAW,CAw+BrD,CAAA;AAED,gBAAgB;AAChB,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,QAAQ,CA4G/I"}

package/dist/src/builtins.js

@@ -443,12 +443,12 @@ export const Builtins = {
     },
     RefMerge: {
         type_parameters: ["T", "T2"],
-        inputs: [RefType("T"), "T2", FunctionType(["T", "T2"], "T", null)],
+        inputs: [RefType("T"), "T2", FunctionType(["T", "T2"], "T")],
         output: NullType,
     },
     ArrayGenerate: {
         type_parameters: ["T"],
-        inputs: [IntegerType, FunctionType([IntegerType], "T", null)],
+        inputs: [IntegerType, FunctionType([IntegerType], "T")],
         output: ArrayType("T"),
     },
     ArrayRange: {
@@ -478,7 +478,7 @@ export const Builtins = {
     },
     ArrayGetOrDefault: {
         type_parameters: ["T"],
-        inputs: [ArrayType("T"), IntegerType, FunctionType([IntegerType], "T", null)],
+        inputs: [ArrayType("T"), IntegerType, FunctionType([IntegerType], "T")],
         output: "T",
     },
     ArrayTryGet: {
@@ -493,7 +493,7 @@ export const Builtins = {
     },
     ArrayMerge: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), IntegerType, "T2", FunctionType(["T", "T2", IntegerType], "T", null)],
+        inputs: [ArrayType("T"), IntegerType, "T2", FunctionType(["T", "T2", IntegerType], "T")],
         output: NullType,
     },
     ArrayPushLast: {
@@ -528,7 +528,7 @@ export const Builtins = {
     },
     ArrayMergeAll: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), ArrayType("T2"), FunctionType(["T", "T2", IntegerType], "T", null)],
+        inputs: [ArrayType("T"), ArrayType("T2"), FunctionType(["T", "T2", IntegerType], "T")],
         output: NullType,
     },
     ArrayClear: {
@@ -538,7 +538,7 @@ export const Builtins = {
     },
     ArraySortInPlace: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T"], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T"], "T2")],
         output: NullType,
     },
     ArrayReverseInPlace: {
@@ -548,7 +548,7 @@ export const Builtins = {
     },
     ArraySort: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T"], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T"], "T2")],
         output: ArrayType("T"),
     },
     ArrayReverse: {
@@ -558,27 +558,27 @@ export const Builtins = {
     },
     ArrayIsSorted: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T"], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T"], "T2")],
         output: BooleanType,
     },
     ArrayFindSortedFirst: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2", null)],
+        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2")],
         output: IntegerType,
     },
     ArrayFindSortedLast: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2", null)],
+        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2")],
         output: IntegerType,
     },
     ArrayFindSortedRange: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2", null)],
+        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2")],
         output: StructType({ start: IntegerType, end: IntegerType }),
     },
     ArrayFindFirst: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2", null)],
+        inputs: [ArrayType("T"), "T2", FunctionType(["T"], "T2")],
         output: VariantType({ none: NullType, some: IntegerType }),
     },
     ArrayConcat: {
@@ -593,12 +593,12 @@ export const Builtins = {
     },
     ArrayGetKeys: {
         type_parameters: ["T"],
-        inputs: [ArrayType("T"), ArrayType(IntegerType), FunctionType([IntegerType], "T", null)],
+        inputs: [ArrayType("T"), ArrayType(IntegerType), FunctionType([IntegerType], "T")],
         output: ArrayType("T"),
     },
     ArrayForEach: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "T2")],
         output: NullType,
     },
     ArrayCopy: {
@@ -608,32 +608,32 @@ export const Builtins = {
     },
     ArrayMap: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "T2")],
         output: ArrayType("T2"),
     },
     ArrayFilter: {
         type_parameters: ["T"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], BooleanType, null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], BooleanType)],
         output: ArrayType("T"),
     },
     ArrayFilterMap: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], VariantType({ none: NullType, some: "T2" }), null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], VariantType({ none: NullType, some: "T2" }))],
         output: ArrayType("T2"),
     },
     ArrayFirstMap: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], VariantType({ none: NullType, some: "T2" }), null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], VariantType({ none: NullType, some: "T2" }))],
         output: VariantType({ none: NullType, some: "T2" }),
     },
     ArrayFold: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), "T2", FunctionType(["T2", "T", IntegerType], "T2", null)],
+        inputs: [ArrayType("T"), "T2", FunctionType(["T2", "T", IntegerType], "T2")],
         output: "T2",
     },
     ArrayMapReduce: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "T2", null), FunctionType(["T2", "T2"], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "T2"), FunctionType(["T2", "T2"], "T2")],
         output: "T2",
     },
     ArrayStringJoin: {
@@ -643,37 +643,37 @@ export const Builtins = {
     },
     ArrayToSet: {
         type_parameters: ["T", "K2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "K2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "K2")],
         output: SetType("K2"),
     },
     ArrayToDict: {
         type_parameters: ["T", "K2", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "K2", null), FunctionType(["T", IntegerType], "T2", null), FunctionType(["T2", "T2", "K2"], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "K2"), FunctionType(["T", IntegerType], "T2"), FunctionType(["T2", "T2", "K2"], "T2")],
         output: DictType("K2", "T2"),
     },
     ArrayFlattenToArray: {
         type_parameters: ["T", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], ArrayType("T2"), null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], ArrayType("T2"))],
         output: ArrayType("T2"),
     },
     ArrayFlattenToSet: {
         type_parameters: ["T", "K2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], SetType("K2"), null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], SetType("K2"))],
         output: SetType("K2"),
     },
     ArrayFlattenToDict: {
         type_parameters: ["T", "K2", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], DictType("K2", "T2"), null), FunctionType(["T2", "T2", "K2"], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], DictType("K2", "T2")), FunctionType(["T2", "T2", "K2"], "T2")],
         output: DictType("K2", "T2"),
     },
     ArrayGroupFold: {
         type_parameters: ["T", "K2", "T2"],
-        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "K2", null), FunctionType(["K2"], "T2", null), FunctionType(["T2", "T", IntegerType], "T2", null)],
+        inputs: [ArrayType("T"), FunctionType(["T", IntegerType], "K2"), FunctionType(["K2"], "T2"), FunctionType(["T2", "T", IntegerType], "T2")],
         output: DictType("K2", "T2"),
     },
     SetGenerate: {
         type_parameters: ["K"],
-        inputs: [IntegerType, FunctionType([IntegerType], "K", null), FunctionType(["K"], NullType, null)],
+        inputs: [IntegerType, FunctionType([IntegerType], "K"), FunctionType(["K"], NullType)],
         output: SetType("K"),
     },
     SetSize: {
@@ -753,77 +753,77 @@ export const Builtins = {
     },
     SetForEach: {
         type_parameters: ["K", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], "T2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], "T2")],
         output: NullType,
     },
     SetMap: {
         type_parameters: ["K", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], "T2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], "T2")],
         output: DictType("K", "T2"),
     },
     SetFilter: {
         type_parameters: ["K"],
-        inputs: [SetType("K"), FunctionType(["K"], BooleanType, null)],
+        inputs: [SetType("K"), FunctionType(["K"], BooleanType)],
         output: SetType("K"),
     },
     SetFilterMap: {
         type_parameters: ["K", "V2"],
-        inputs: [SetType("K"), FunctionType(["K"], VariantType({ none: NullType, some: "V2" }), null)],
+        inputs: [SetType("K"), FunctionType(["K"], VariantType({ none: NullType, some: "V2" }))],
         output: DictType("K", "V2"),
     },
     SetFirstMap: {
         type_parameters: ["K", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], VariantType({ none: NullType, some: "T2" }), null)],
+        inputs: [SetType("K"), FunctionType(["K"], VariantType({ none: NullType, some: "T2" }))],
         output: VariantType({ none: NullType, some: "T2" }),
     },
     SetMapReduce: {
         type_parameters: ["K", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], "T2", null), FunctionType(["T2", "T2"], "T2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], "T2"), FunctionType(["T2", "T2"], "T2")],
         output: "T2",
     },
     SetReduce: {
         type_parameters: ["K", "T2"],
-        inputs: [SetType("K"), FunctionType(["T2", "K"], "T2", null), "T2"],
+        inputs: [SetType("K"), FunctionType(["T2", "K"], "T2"), "T2"],
         output: "T2",
     },
     SetToArray: {
         type_parameters: ["K", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], "T2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], "T2")],
         output: ArrayType("T2"),
     },
     SetToSet: {
         type_parameters: ["K", "K2"],
-        inputs: [SetType("K"), FunctionType(["K"], "K2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], "K2")],
         output: SetType("K2"),
     },
     SetToDict: {
         type_parameters: ["K", "K2", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], "K2", null), FunctionType(["K"], "T2", null), FunctionType(["T2", "T2", "K2"], "T2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], "K2"), FunctionType(["K"], "T2"), FunctionType(["T2", "T2", "K2"], "T2")],
         output: DictType("K2", "T2"),
     },
     SetFlattenToArray: {
         type_parameters: ["K", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], ArrayType("T2"), null)],
+        inputs: [SetType("K"), FunctionType(["K"], ArrayType("T2"))],
         output: ArrayType("T2"),
     },
     SetFlattenToSet: {
         type_parameters: ["K", "K2"],
-        inputs: [SetType("K"), FunctionType(["K"], SetType("K2"), null)],
+        inputs: [SetType("K"), FunctionType(["K"], SetType("K2"))],
         output: SetType("K2"),
     },
     SetFlattenToDict: {
         type_parameters: ["K", "K2", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], DictType("K2", "T2"), null), FunctionType(["T2", "T2", "K2"], "T2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], DictType("K2", "T2")), FunctionType(["T2", "T2", "K2"], "T2")],
         output: DictType("K2", "T2"),
     },
     SetGroupFold: {
         type_parameters: ["K", "K2", "T2"],
-        inputs: [SetType("K"), FunctionType(["K"], "K2", null), FunctionType(["K2"], "T2", null), FunctionType(["T2", "K"], "T2", null)],
+        inputs: [SetType("K"), FunctionType(["K"], "K2"), FunctionType(["K2"], "T2"), FunctionType(["T2", "K"], "T2")],
         output: DictType("K2", "T2"),
     },
     DictGenerate: {
         type_parameters: ["K", "V"],
-        inputs: [IntegerType, FunctionType([IntegerType], "K", null), FunctionType([IntegerType], "V", null), FunctionType(["V", "V", "K"], "V", null)],
+        inputs: [IntegerType, FunctionType([IntegerType], "K"), FunctionType([IntegerType], "V"), FunctionType(["V", "V", "K"], "V")],
         output: DictType("K", "V"),
     },
     DictSize: {
@@ -843,7 +843,7 @@ export const Builtins = {
     },
     DictGetOrDefault: {
         type_parameters: ["K", "V"],
-        inputs: [DictType("K", "V"), "K", FunctionType(["K"], "V", null)],
+        inputs: [DictType("K", "V"), "K", FunctionType(["K"], "V")],
         output: "V",
     },
     DictTryGet: {
@@ -858,12 +858,12 @@ export const Builtins = {
     },
     DictInsertOrUpdate: {
         type_parameters: ["K", "V"],
-        inputs: [DictType("K", "V"), "K", "V", FunctionType(["V", "V", "K"], "V", null)],
+        inputs: [DictType("K", "V"), "K", "V", FunctionType(["V", "V", "K"], "V")],
         output: NullType,
     },
     DictGetOrInsert: {
         type_parameters: ["K", "V"],
-        inputs: [DictType("K", "V"), "K", FunctionType(["K"], "V", null)],
+        inputs: [DictType("K", "V"), "K", FunctionType(["K"], "V")],
         output: "V",
     },
     DictUpdate: {
@@ -878,7 +878,7 @@ export const Builtins = {
     },
     DictMerge: {
         type_parameters: ["K", "V", "V2"],
-        inputs: [DictType("K", "V"), "K", "V2", FunctionType(["V", "V2", "K"], "V", null), FunctionType(["K"], "V", null)],
+        inputs: [DictType("K", "V"), "K", "V2", FunctionType(["V", "V2", "K"], "V"), FunctionType(["K"], "V")],
         output: NullType,
     },
     DictDelete: {
@@ -903,12 +903,12 @@ export const Builtins = {
     },
     DictUnionInPlace: {
         type_parameters: ["K", "V"],
-        inputs: [DictType("K", "V"), DictType("K", "V"), FunctionType(["V", "V", "K"], "V", null)],
+        inputs: [DictType("K", "V"), DictType("K", "V"), FunctionType(["V", "V", "K"], "V")],
         output: NullType,
     },
     DictMergeAll: {
         type_parameters: ["K", "V", "V2"],
-        inputs: [DictType("K", "V"), DictType("K", "V2"), FunctionType(["V", "V2", "K"], "V", null), FunctionType(["K"], "V", null)],
+        inputs: [DictType("K", "V"), DictType("K", "V2"), FunctionType(["V", "V2", "K"], "V"), FunctionType(["K"], "V")],
         output: NullType,
     },
     DictKeys: {
@@ -918,12 +918,12 @@ export const Builtins = {
     },
     DictGetKeys: {
         type_parameters: ["K", "V"],
-        inputs: [DictType("K", "V"), SetType("K"), FunctionType(["K"], "V", null)],
+        inputs: [DictType("K", "V"), SetType("K"), FunctionType(["K"], "V")],
         output: DictType("K", "V"),
     },
     DictForEach: {
         type_parameters: ["K", "V", "T2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "T2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "T2")],
         output: NullType,
     },
     DictCopy: {
@@ -933,67 +933,67 @@ export const Builtins = {
     },
     DictMap: {
         type_parameters: ["K", "V", "V2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "V2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "V2")],
         output: DictType("K", "V2"),
     },
     DictFilter: {
         type_parameters: ["K", "V"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], BooleanType, null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], BooleanType)],
         output: DictType("K", "V"),
     },
     DictFilterMap: {
         type_parameters: ["K", "V", "V2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], VariantType({ none: NullType, some: "V2" }), null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], VariantType({ none: NullType, some: "V2" }))],
         output: DictType("K", "V2"),
     },
     DictFirstMap: {
         type_parameters: ["K", "V", "T2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], VariantType({ none: NullType, some: "T2" }), null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], VariantType({ none: NullType, some: "T2" }))],
         output: VariantType({ none: NullType, some: "T2" }),
     },
     DictMapReduce: {
         type_parameters: ["K", "V", "T2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "T2", null), FunctionType(["T2", "T2"], "T2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "T2"), FunctionType(["T2", "T2"], "T2")],
         output: "T2",
     },
     DictReduce: {
         type_parameters: ["K", "V", "T2"],
-        inputs: [DictType("K", "V"), FunctionType(["T2", "V", "K"], "T2", null), "T2"],
+        inputs: [DictType("K", "V"), FunctionType(["T2", "V", "K"], "T2"), "T2"],
         output: "T2",
     },
     DictToArray: {
         type_parameters: ["K", "V", "T2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "T2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "T2")],
         output: ArrayType("T2"),
     },
     DictToSet: {
         type_parameters: ["K", "V", "K2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "K2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "K2")],
         output: SetType("K2"),
     },
     DictToDict: {
         type_parameters: ["K", "V", "K2", "V2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "K2", null), FunctionType(["V", "K"], "V2", null), FunctionType(["V2", "V2", "K2"], "V2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "K2"), FunctionType(["V", "K"], "V2"), FunctionType(["V2", "V2", "K2"], "V2")],
         output: DictType("K2", "V2"),
     },
     DictFlattenToArray: {
         type_parameters: ["K", "V", "T2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], ArrayType("T2"), null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], ArrayType("T2"))],
         output: ArrayType("T2"),
     },
     DictFlattenToSet: {
         type_parameters: ["K", "V", "K2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], SetType("K2"), null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], SetType("K2"))],
         output: SetType("K2"),
     },
     DictFlattenToDict: {
         type_parameters: ["K", "V", "K2", "V2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], DictType("K2", "V2"), null), FunctionType(["V2", "V2", "K2"], "V2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], DictType("K2", "V2")), FunctionType(["V2", "V2", "K2"], "V2")],
         output: DictType("K2", "V2"),
     },
     DictGroupFold: {
         type_parameters: ["K", "V", "K2", "T2"],
-        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "K2", null), FunctionType(["K2"], "T2", null), FunctionType(["T2", "V", "K"], "T2", null)],
+        inputs: [DictType("K", "V"), FunctionType(["V", "K"], "K2"), FunctionType(["K2"], "T2"), FunctionType(["T2", "V", "K"], "T2")],
         output: DictType("K2", "T2"),
     },
 };
@@ -1086,7 +1086,22 @@ export function applyTypeParameters(type, params, inStack, outStack) {
             type: "Function",
             inputs: [],
             output: undefined,
-            platforms: type.platforms,
+        };
+        inStack.push(type);
+        outStack.push(self);
+        for (const inputType of type.inputs) {
+            self.inputs.push(applyTypeParameters(inputType, params, inStack, outStack));
+        }
+        self.output = applyTypeParameters(type.output, params, inStack, outStack);
+        inStack.pop();
+        outStack.pop();
+        return self;
+    }
+    else if (type.type === "AsyncFunction") {
+        const self = {
+            type: "AsyncFunction",
+            inputs: [],
+            output: undefined,
         };
         inStack.push(type);
         outStack.push(self);