@typespec/compiler 0.57.0-dev.0 → 0.57.0-dev.5

package/dist/src/core/type-utils.d.ts

@@ -1,10 +1,21 @@
-import { Program } from "./program.js";
-import { Enum, ErrorType, Interface, Model, Namespace, NeverType, Node, NullType, Operation, Sym, TemplateDeclarationNode, TemplatedType, Type, TypeMapper, UnknownType, VoidType } from "./types.js";
-export declare function isErrorType(type: Type): type is ErrorType;
-export declare function isVoidType(type: Type): type is VoidType;
-export declare function isNeverType(type: Type): type is NeverType;
-export declare function isUnknownType(type: Type): type is UnknownType;
-export declare function isNullType(type: Type): type is NullType;
+import type { Program } from "./program.js";
+import { ArrayModelType, Entity, Enum, ErrorType, Interface, Model, Namespace, NeverType, Node, NullType, Operation, Sym, TemplateDeclarationNode, TemplatedType, Type, TypeMapper, UnknownType, Value, VoidType } from "./types.js";
+export declare function isErrorType(type: Entity): type is ErrorType;
+export declare function isVoidType(type: Entity): type is VoidType;
+export declare function isNeverType(type: Entity): type is NeverType;
+export declare function isUnknownType(type: Entity): type is UnknownType;
+export declare function isNullType(type: Entity): type is NullType;
+export declare function isType(entity: Entity): entity is Type;
+export declare function isValue(entity: Entity): entity is Value;
+/**
+ * @param type Model type
+ */
+export declare function isArrayModelType(program: Program, type: Model): type is ArrayModelType;
+/**
+ * Check if a model is an array type.
+ * @param type Model type
+ */
+export declare function isRecordModelType(program: Program, type: Model): type is ArrayModelType;
 /**
  * Lookup and find the node
  * @param node Node

package/dist/src/core/type-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-utils.d.ts","sourceRoot":"","sources":["../../../src/core/type-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EACL,IAAI,EACJ,SAAS,EACT,SAAS,EACT,KAAK,EACL,SAAS,EACT,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,GAAG,EAGH,uBAAuB,EACvB,aAAa,EACb,IAAI,EACJ,UAAU,EACV,WAAW,EACX,QAAQ,EACT,MAAM,YAAY,CAAC;AAEpB,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,SAAS,CAEzD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,QAAQ,CAEvD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,SAAS,CAEzD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,WAAW,CAE7D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,QAAQ,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,GAAG,uBAAuB,CAAC,GAAG,SAAS,CAe9F;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,IAAI,GACT,IAAI,IAAI,aAAa,GAAG;IAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;IAAC,cAAc,EAAE,UAAU,CAAA;CAAE,CAOnF;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAQlD;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,aAAa,GAClB,IAAI,IAAI,aAAa,GAAG;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,CAU3D;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAM5E;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,SAAS,GACnB,SAAS,IAAI,SAAS,GAAG;IAAE,IAAI,EAAE,EAAE,CAAC;IAAC,SAAS,EAAE,SAAS,CAAA;CAAE,CAE7D;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,IAAI,EACtD,SAAS,EAAE,SAAS,EACpB,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAwB,WAmBvD;AAED,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,GAAG,GAAG,SAAS,EACpB,OAAO,CAAC,EAAE;IAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;CAAE,GAChD,MAAM,CAcR"}
+{"version":3,"file":"type-utils.d.ts","sourceRoot":"","sources":["../../../src/core/type-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,cAAc,EACd,MAAM,EACN,IAAI,EACJ,SAAS,EACT,SAAS,EACT,KAAK,EACL,SAAS,EACT,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,GAAG,EAGH,uBAAuB,EACvB,aAAa,EACb,IAAI,EACJ,UAAU,EACV,WAAW,EACX,KAAK,EACL,QAAQ,EACT,MAAM,YAAY,CAAC;AAEpB,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,SAAS,CAE3D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,QAAQ,CAEzD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,SAAS,CAE3D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,WAAW,CAE/D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,QAAQ,CAEzD;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,IAAI,CAErD;AACD,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,KAAK,CAEvD;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,cAAc,CAEtF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,cAAc,CAEvF;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,GAAG,uBAAuB,CAAC,GAAG,SAAS,CAe9F;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,IAAI,GACT,IAAI,IAAI,aAAa,GAAG;IAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;IAAC,cAAc,EAAE,UAAU,CAAA;CAAE,CAOnF;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAQlD;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,aAAa,GAClB,IAAI,IAAI,aAAa,GAAG;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,CAU3D;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAM5E;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,SAAS,GACnB,SAAS,IAAI,SAAS,GAAG;IAAE,IAAI,EAAE,EAAE,CAAC;IAAC,SAAS,EAAE,SAAS,CAAA;CAAE,CAE7D;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,IAAI,EACtD,SAAS,EAAE,SAAS,EACpB,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAwB,WAmBvD;AAED,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,GAAG,GAAG,SAAS,EACpB,OAAO,CAAC,EAAE;IAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;CAAE,GAChD,MAAM,CAcR"}

package/dist/src/core/type-utils.js

@@ -1,18 +1,37 @@
 import { SyntaxKind, } from "./types.js";
 export function isErrorType(type) {
-    return type.kind === "Intrinsic" && type.name === "ErrorType";
+    return "kind" in type && type.kind === "Intrinsic" && type.name === "ErrorType";
 }
 export function isVoidType(type) {
-    return type.kind === "Intrinsic" && type.name === "void";
+    return "kind" in type && type.kind === "Intrinsic" && type.name === "void";
 }
 export function isNeverType(type) {
-    return type.kind === "Intrinsic" && type.name === "never";
+    return "kind" in type && type.kind === "Intrinsic" && type.name === "never";
 }
 export function isUnknownType(type) {
-    return type.kind === "Intrinsic" && type.name === "unknown";
+    return "kind" in type && type.kind === "Intrinsic" && type.name === "unknown";
 }
 export function isNullType(type) {
-    return type.kind === "Intrinsic" && type.name === "null";
+    return "kind" in type && type.kind === "Intrinsic" && type.name === "null";
+}
+export function isType(entity) {
+    return entity.entityKind === "Type";
+}
+export function isValue(entity) {
+    return entity.entityKind === "Value";
+}
+/**
+ * @param type Model type
+ */
+export function isArrayModelType(program, type) {
+    return Boolean(type.indexer && type.indexer.key.name === "integer");
+}
+/**
+ * Check if a model is an array type.
+ * @param type Model type
+ */
+export function isRecordModelType(program, type) {
+    return Boolean(type.indexer && type.indexer.key.name === "string");
 }
 /**
  * Lookup and find the node

package/dist/src/core/type-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-utils.js","sourceRoot":"","sources":["../../../src/core/type-utils.ts"],"names":[],"mappings":"AACA,OAAO,EAYL,UAAU,GAOX,MAAM,YAAY,CAAC;AAEpB,MAAM,UAAU,WAAW,CAAC,IAAU;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAU;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAU;IACtC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAU;IAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,cAAc,CAAC;QAC/B,KAAK,UAAU,CAAC,eAAe,CAAC;QAChC,KAAK,UAAU,CAAC,kBAAkB,CAAC;QACnC,KAAK,UAAU,CAAC,cAAc,CAAC;QAC/B,KAAK,UAAU,CAAC,kBAAkB;YAChC,OAAO,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,KAAK,UAAU,CAAC,6BAA6B,CAAC;QAC9C,KAAK,UAAU,CAAC,aAAa,CAAC;QAC9B,KAAK,UAAU,CAAC,eAAe;YAC7B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAU;IAEV,MAAM,iBAAiB,GAAG,IAAqB,CAAC;IAChD,OAAO,CACL,iBAAiB,CAAC,cAAc,KAAK,SAAS;QAC9C,CAAC,iBAAiB,CAAC,cAAc,CAAC,OAAO;QACzC,iBAAiB,CAAC,UAAU,CAC7B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;IAClD,OAAO,CACL,IAAI,CAAC,kBAAkB,KAAK,SAAS,IAAK,IAAsB,CAAC,cAAc,KAAK,SAAS,CAC9F,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAmB;IAEnB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;IAClD,OAAO,CACL,IAAI,CAAC,kBAAkB;QACvB,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAClC,IAAI,CAAC,cAAc,KAAK,SAAS,CAClC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,+BAA+B,CAAC,IAAmB;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;IAClD,OAAO,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,SAAoB;IAEpB,OAAO,OAAO,CAAC,sBAAsB,EAAE,KAAK,SAAS,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAsD,EACtD,SAAoB,EACpB,UAAmC,EAAE,SAAS,EAAE,IAAI,EAAE;IAEtD,IAAI,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,OAAO,WAAW,EAAE,CAAC;QACnB,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0EAA0E;QAC1E,oBAAoB;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1F,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0EAA0E;QAC1E,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,GAAoB,EACpB,OAAiD;IAEjD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,IAAI,GAAG,CAAC,YAAY;QAAE,GAAG,GAAG,GAAG,CAAC,YAAY,CAAC;IAC7C,MAAM,MAAM,GACV,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,uCAAyB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,oCAAwB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IAE9E,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;QACjB,OAAO,GAAG,2BAA2B,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;IAC1D,CAAC;SAAM,IAAI,OAAO,EAAE,yBAAyB,EAAE,CAAC;QAC9C,OAAO,UAAU,IAAI,EAAE,CAAC;IAC1B,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}
+{"version":3,"file":"type-utils.js","sourceRoot":"","sources":["../../../src/core/type-utils.ts"],"names":[],"mappings":"AACA,OAAO,EAcL,UAAU,GAQX,MAAM,YAAY,CAAC;AAEpB,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,OAAO,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC;AACtC,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,OAAO,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAW;IAC5D,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;AACtE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAW;IAC7D,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAU;IAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,cAAc,CAAC;QAC/B,KAAK,UAAU,CAAC,eAAe,CAAC;QAChC,KAAK,UAAU,CAAC,kBAAkB,CAAC;QACnC,KAAK,UAAU,CAAC,cAAc,CAAC;QAC/B,KAAK,UAAU,CAAC,kBAAkB;YAChC,OAAO,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,KAAK,UAAU,CAAC,6BAA6B,CAAC;QAC9C,KAAK,UAAU,CAAC,aAAa,CAAC;QAC9B,KAAK,UAAU,CAAC,eAAe;YAC7B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAU;IAEV,MAAM,iBAAiB,GAAG,IAAqB,CAAC;IAChD,OAAO,CACL,iBAAiB,CAAC,cAAc,KAAK,SAAS;QAC9C,CAAC,iBAAiB,CAAC,cAAc,CAAC,OAAO;QACzC,iBAAiB,CAAC,UAAU,CAC7B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;IAClD,OAAO,CACL,IAAI,CAAC,kBAAkB,KAAK,SAAS,IAAK,IAAsB,CAAC,cAAc,KAAK,SAAS,CAC9F,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAmB;IAEnB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;IAClD,OAAO,CACL,IAAI,CAAC,kBAAkB;QACvB,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAClC,IAAI,CAAC,cAAc,KAAK,SAAS,CAClC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,+BAA+B,CAAC,IAAmB;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;IAClD,OAAO,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,SAAoB;IAEpB,OAAO,OAAO,CAAC,sBAAsB,EAAE,KAAK,SAAS,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAsD,EACtD,SAAoB,EACpB,UAAmC,EAAE,SAAS,EAAE,IAAI,EAAE;IAEtD,IAAI,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,OAAO,WAAW,EAAE,CAAC;QACnB,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0EAA0E;QAC1E,oBAAoB;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1F,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0EAA0E;QAC1E,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,GAAoB,EACpB,OAAiD;IAEjD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,IAAI,GAAG,CAAC,YAAY;QAAE,GAAG,GAAG,GAAG,CAAC,YAAY,CAAC;IAC7C,MAAM,MAAM,GACV,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,uCAAyB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,oCAAwB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IAE9E,IAAI,MAAM,EAAE,IAAI,EAAE,CAAC;QACjB,OAAO,GAAG,2BAA2B,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;IAC1D,CAAC;SAAM,IAAI,OAAO,EAAE,yBAAyB,EAAE,CAAC;QAC9C,OAAO,UAAU,IAAI,EAAE,CAAC;IAC1B,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/src/core/types.d.ts

@@ -1,19 +1,20 @@
 import type { JSONSchemaType as AjvJSONSchemaType } from "ajv";
-import { TypeEmitter } from "../emitter-framework/type-emitter.js";
-import { AssetEmitter } from "../emitter-framework/types.js";
-import { ModuleResolutionResult } from "./module-resolver.js";
-import { Program } from "./program.js";
-export type MarshalledValue<Type> = Type extends StringLiteral ? string : Type extends NumericLiteral ? number : Type extends BooleanLiteral ? boolean : Type;
+import type { TypeEmitter } from "../emitter-framework/type-emitter.js";
+import type { AssetEmitter } from "../emitter-framework/types.js";
+import type { ModuleResolutionResult } from "./module-resolver.js";
+import type { Numeric } from "./numeric.js";
+import type { Program } from "./program.js";
+export type MarshalledValue<Value> = Value extends StringValue ? string : Value extends NumericValue ? number | Numeric : Value extends BooleanValue ? boolean : Value extends ObjectValue ? Record<string, unknown> : Value extends ArrayValue ? unknown[] : Value extends EnumValue ? EnumMember : Value extends NullValue ? null : Value extends ScalarValue ? Value : Value;
 /**
  * Type System types
  */
 export type DecoratorArgumentValue = Type | number | string | boolean;
 export interface DecoratorArgument {
-    value: Type;
+    value: Type | Value;
     /**
      * Marshalled value for use in Javascript.
      */
-    jsValue: Type | string | number | boolean;
+    jsValue: Type | Value | Record<string, unknown> | unknown[] | string | number | boolean | Numeric | null;
     node?: Node;
 }
 export interface DecoratorApplication {
@@ -27,6 +28,7 @@ export interface DecoratorFunction {
     namespace?: string;
 }
 export interface BaseType {
+    readonly entityKind: "Type";
     kind: string;
     node?: Node;
     instantiationParameters?: Type[];
@@ -53,18 +55,25 @@ export interface DecoratedType {
 export type TemplatedType = Model | Operation | Interface | Union | Scalar;
 export interface TypeMapper {
     partial: boolean;
-    getMappedType(type: TemplateParameter): Type;
-    args: readonly Type[];
+    getMappedType(type: TemplateParameter): Type | Value | IndeterminateEntity;
+    args: readonly (Type | Value | IndeterminateEntity)[];
 }
 export interface TemplatedTypeBase {
     templateMapper?: TypeMapper;
     /**
      * @deprecated use templateMapper instead.
      */
-    templateArguments?: Type[];
+    templateArguments?: (Type | Value | IndeterminateEntity)[];
     templateNode?: Node;
 }
-export type Type = Model | ModelProperty | Scalar | Interface | Enum | EnumMember | TemplateParameter | Namespace | Operation | StringLiteral | NumericLiteral | BooleanLiteral | StringTemplate | StringTemplateSpan | Tuple | Union | UnionVariant | IntrinsicType | FunctionType | Decorator | FunctionParameter | ObjectType | Projection;
+/**
+ * Represent every single entity that are part of the TypeSpec program. Those are composed of different elements:
+ * - Types
+ * - Values
+ * - Value Constraints
+ */
+export type Entity = Type | Value | MixedParameterConstraint | IndeterminateEntity;
+export type Type = BooleanLiteral | Decorator | Enum | EnumMember | FunctionParameter | FunctionType | Interface | IntrinsicType | Model | ModelProperty | Namespace | NumericLiteral | ObjectType | Operation | Projection | Scalar | ScalarConstructor | StringLiteral | StringTemplate | StringTemplateSpan | TemplateParameter | Tuple | Union | UnionVariant;
 export type StdTypes = {
     Array: Model;
     Record: Model;
@@ -91,13 +100,22 @@ export interface Projector {
     parentProjector?: Projector;
     projections: ProjectionApplication[];
     projectedTypes: Map<Type, Type>;
-    projectType(type: Type): Type;
+    projectType(type: Type | Value): Type | Value;
     projectedStartNode?: Type;
     projectedGlobalNamespace?: Namespace;
 }
-export interface ValueType {
-    kind: "Value";
-    target: Type;
+export interface MixedParameterConstraint {
+    readonly entityKind: "MixedParameterConstraint";
+    readonly node?: UnionExpressionNode | Expression;
+    /** Type constraints */
+    readonly type?: Type;
+    /** Expecting value */
+    readonly valueType?: Type;
+}
+/** When an entity that could be used as a type or value has not figured out if it is a value or type yet. */
+export interface IndeterminateEntity {
+    readonly entityKind: "Indeterminate";
+    readonly type: StringLiteral | StringTemplate | NumericLiteral | BooleanLiteral | EnumMember | UnionVariant | NullType;
 }
 export interface IntrinsicType extends BaseType {
     kind: "Intrinsic";
@@ -146,7 +164,7 @@ export interface RecordModelType extends Model {
 export interface Model extends BaseType, DecoratedType, TemplatedTypeBase {
     kind: "Model";
     name: string;
-    node?: ModelStatementNode | ModelExpressionNode | IntersectionExpressionNode | ProjectionModelExpressionNode;
+    node?: ModelStatementNode | ModelExpressionNode | IntersectionExpressionNode | ProjectionModelExpressionNode | ObjectLiteralNode;
     namespace?: Namespace;
     indexer?: ModelIndexer;
     /**
@@ -192,14 +210,77 @@ export interface SourceModel {
 }
 export interface ModelProperty extends BaseType, DecoratedType {
     kind: "ModelProperty";
-    node: ModelPropertyNode | ModelSpreadPropertyNode | ProjectionModelPropertyNode | ProjectionModelSpreadPropertyNode;
+    node: ModelPropertyNode | ModelSpreadPropertyNode | ProjectionModelPropertyNode | ProjectionModelSpreadPropertyNode | ObjectLiteralPropertyNode;
     name: string;
     type: Type;
     sourceProperty?: ModelProperty;
     optional: boolean;
+    /** @deprecated use {@link defaultValue} instead. */
     default?: Type;
+    defaultValue?: Value;
     model?: Model;
 }
+export type Value = ScalarValue | NumericValue | StringValue | BooleanValue | ObjectValue | ArrayValue | EnumValue | NullValue;
+interface BaseValue {
+    readonly entityKind: "Value";
+    readonly valueKind: string;
+    /**
+     * Represent the storage type of a value.
+     * @example
+     * ```tsp
+     * const a = "hello"; // Type here would be "hello"
+     * const b: string = a;  // Type here would be string
+     * const c: string | int32 = b; // Type here would be string | int32
+     * ```
+     */
+    type: Type;
+}
+export interface ObjectValue extends BaseValue {
+    valueKind: "ObjectValue";
+    node: ObjectLiteralNode;
+    properties: Map<string, ObjectValuePropertyDescriptor>;
+}
+export interface ObjectValuePropertyDescriptor {
+    node: ObjectLiteralPropertyNode;
+    name: string;
+    value: Value;
+}
+export interface ArrayValue extends BaseValue {
+    valueKind: "ArrayValue";
+    node: ArrayLiteralNode;
+    values: Value[];
+}
+export interface ScalarValue extends BaseValue {
+    valueKind: "ScalarValue";
+    scalar: Scalar;
+    value: {
+        name: string;
+        args: Value[];
+    };
+}
+export interface NumericValue extends BaseValue {
+    valueKind: "NumericValue";
+    scalar: Scalar | undefined;
+    value: Numeric;
+}
+export interface StringValue extends BaseValue {
+    valueKind: "StringValue";
+    scalar: Scalar | undefined;
+    value: string;
+}
+export interface BooleanValue extends BaseValue {
+    valueKind: "BooleanValue";
+    scalar: Scalar | undefined;
+    value: boolean;
+}
+export interface EnumValue extends BaseValue {
+    valueKind: "EnumValue";
+    value: EnumMember;
+}
+export interface NullValue extends BaseValue {
+    valueKind: "NullValue";
+    value: null;
+}
 export interface Scalar extends BaseType, DecoratedType, TemplatedTypeBase {
     kind: "Scalar";
     name: string;
@@ -216,6 +297,14 @@ export interface Scalar extends BaseType, DecoratedType, TemplatedTypeBase {
      * Direct children. This is the reverse relation of @see baseScalar
      */
     derivedScalars: Scalar[];
+    constructors: Map<string, ScalarConstructor>;
+}
+export interface ScalarConstructor extends BaseType {
+    kind: "ScalarConstructor";
+    node: ScalarConstructorNode;
+    name: string;
+    scalar: Scalar;
+    parameters: SignatureFunctionParameter[];
 }
 export interface Interface extends BaseType, DecoratedType, TemplatedTypeBase {
     kind: "Interface";
@@ -348,6 +437,7 @@ export interface NumericLiteral extends BaseType {
     kind: "Number";
     node?: NumericLiteralNode;
     value: number;
+    numericValue: Numeric;
     valueAsString: string;
 }
 export interface BooleanLiteral extends BaseType {
@@ -357,6 +447,8 @@ export interface BooleanLiteral extends BaseType {
 }
 export interface StringTemplate extends BaseType {
     kind: "StringTemplate";
+    /** If the template can be render as as string this is the string value */
+    stringValue?: string;
     node: StringTemplateExpressionNode;
     spans: StringTemplateSpan[];
 }
@@ -375,7 +467,7 @@ export interface StringTemplateSpanValue extends BaseType {
 }
 export interface Tuple extends BaseType {
     kind: "Tuple";
-    node: TupleExpressionNode;
+    node: TupleExpressionNode | ArrayLiteralNode;
     values: Type[];
 }
 export interface Union extends BaseType, DecoratedType, TemplatedTypeBase {
@@ -405,16 +497,16 @@ export interface UnionVariant extends BaseType, DecoratedType {
 export interface TemplateParameter extends BaseType {
     kind: "TemplateParameter";
     node: TemplateParameterDeclarationNode;
-    constraint?: Type | ValueType;
-    default?: Type;
+    constraint?: MixedParameterConstraint;
+    default?: Type | Value | IndeterminateEntity;
 }
 export interface Decorator extends BaseType {
     kind: "Decorator";
     node: DecoratorDeclarationStatementNode;
     name: `@${string}`;
     namespace: Namespace;
-    target: FunctionParameter;
-    parameters: FunctionParameter[];
+    target: MixedFunctionParameter;
+    parameters: MixedFunctionParameter[];
     implementation: (...args: unknown[]) => void;
 }
 export interface FunctionType extends BaseType {
@@ -422,18 +514,28 @@ export interface FunctionType extends BaseType {
     node?: FunctionDeclarationStatementNode;
     namespace?: Namespace;
     name: string;
-    parameters: FunctionParameter[];
+    parameters: MixedFunctionParameter[];
     returnType: Type;
     implementation: (...args: unknown[]) => unknown;
 }
-export interface FunctionParameter extends BaseType {
+export interface FunctionParameterBase extends BaseType {
     kind: "FunctionParameter";
     node: FunctionParameterNode;
     name: string;
-    type: Type | ValueType;
     optional: boolean;
     rest: boolean;
 }
+/** Represent a function parameter that could accept types or values in the TypeSpec program. */
+export interface MixedFunctionParameter extends FunctionParameterBase {
+    mixed: true;
+    type: MixedParameterConstraint;
+}
+/** Represent a function parameter that represent the parameter signature(i.e the type would be the type of the value passed) */
+export interface SignatureFunctionParameter extends FunctionParameterBase {
+    mixed: false;
+    type: Type;
+}
+export type FunctionParameter = MixedFunctionParameter | SignatureFunctionParameter;
 export interface Sym {
     readonly flags: SymbolFlags;
     /**
@@ -483,8 +585,12 @@ export interface Sym {
 }
 export interface SymbolLinks {
     type?: Type;
+    /** For types that can be instanitated this is the type of the declaration */
     declaredType?: Type;
+    /** For types that can be instanitated those are the types per instantiation */
     instantiations?: TypeInstantiationMap;
+    /** For const statements the value of the const */
+    value?: Value | null;
 }
 /**
  * @hidden bug in typedoc
@@ -520,24 +626,26 @@ export declare const enum SymbolFlags {
     SourceFile = 2097152,
     Declaration = 4194304,
     Implementation = 8388608,
+    Const = 16777216,
+    ScalarMember = 33554432,
     /**
      * A symbol which was late-bound, in which case, the type referred to
      * by this symbol is stored directly in the symbol.
      */
-    LateBound = 16777216,
+    LateBound = 67108864,
     ExportContainer = 2101248,
     /**
      * Symbols whose members will be late bound (and stored on the type)
      */
-    MemberContainer = 674,
-    Member = 1348
+    MemberContainer = 682,
+    Member = 33555780
 }
 /**
  * Maps type arguments to instantiated type.
  */
 export interface TypeInstantiationMap {
-    get(args: readonly Type[]): Type | undefined;
-    set(args: readonly Type[], type: Type): void;
+    get(args: readonly (Type | Value | IndeterminateEntity)[]): Type | undefined;
+    set(args: readonly (Type | Value | IndeterminateEntity)[], type: Type): void;
 }
 /**
  * A map where keys can be changed without changing enumeration order.
@@ -650,7 +758,15 @@ export declare enum SyntaxKind {
     ProjectionDecoratorReferenceExpression = 88,
     Return = 89,
     JsNamespaceDeclaration = 90,
-    TemplateArgument = 91
+    TemplateArgument = 91,
+    TypeOfExpression = 92,
+    ObjectLiteral = 93,
+    ObjectLiteralProperty = 94,
+    ObjectLiteralSpreadProperty = 95,
+    ArrayLiteral = 96,
+    ConstStatement = 97,
+    CallExpression = 98,
+    ScalarConstructor = 99
 }
 export declare const enum NodeFlags {
     None = 0,
@@ -696,7 +812,7 @@ export interface TemplateDeclarationNode {
     readonly templateParameters: readonly TemplateParameterDeclarationNode[];
     readonly locals?: SymbolTable;
 }
-export type Node = TypeSpecScriptNode | JsSourceFileNode | JsNamespaceDeclarationNode | TemplateArgumentNode | TemplateParameterDeclarationNode | ProjectionParameterDeclarationNode | ProjectionLambdaParameterDeclarationNode | ModelPropertyNode | UnionVariantNode | OperationStatementNode | OperationSignatureDeclarationNode | OperationSignatureReferenceNode | EnumMemberNode | EnumSpreadMemberNode | ModelSpreadPropertyNode | DecoratorExpressionNode | DirectiveExpressionNode | Statement | Expression | FunctionParameterNode | StringTemplateSpanNode | StringTemplateHeadNode | StringTemplateMiddleNode | StringTemplateTailNode | Modifier | DocNode | DocContent | DocTag | ProjectionStatementItem | ProjectionExpression | ProjectionModelSelectorNode | ProjectionModelPropertySelectorNode | ProjectionScalarSelectorNode | ProjectionInterfaceSelectorNode | ProjectionOperationSelectorNode | ProjectionEnumSelectorNode | ProjectionEnumMemberSelectorNode | ProjectionUnionSelectorNode | ProjectionUnionVariantSelectorNode | ProjectionModelPropertyNode | ProjectionModelSpreadPropertyNode | ProjectionStatementNode | ProjectionNode;
+export type Node = TypeSpecScriptNode | JsSourceFileNode | JsNamespaceDeclarationNode | TemplateArgumentNode | TemplateParameterDeclarationNode | ProjectionParameterDeclarationNode | ProjectionLambdaParameterDeclarationNode | ModelPropertyNode | UnionVariantNode | OperationStatementNode | OperationSignatureDeclarationNode | OperationSignatureReferenceNode | EnumMemberNode | EnumSpreadMemberNode | ModelSpreadPropertyNode | DecoratorExpressionNode | DirectiveExpressionNode | Statement | Expression | FunctionParameterNode | StringTemplateSpanNode | StringTemplateHeadNode | StringTemplateMiddleNode | StringTemplateTailNode | Modifier | DocNode | DocContent | DocTag | ProjectionStatementItem | ProjectionExpression | ProjectionModelSelectorNode | ProjectionModelPropertySelectorNode | ProjectionScalarSelectorNode | ProjectionInterfaceSelectorNode | ProjectionOperationSelectorNode | ProjectionEnumSelectorNode | ProjectionEnumMemberSelectorNode | ProjectionUnionSelectorNode | ProjectionUnionVariantSelectorNode | ProjectionModelPropertyNode | ProjectionModelSpreadPropertyNode | ProjectionStatementNode | ProjectionNode | ObjectLiteralNode | ObjectLiteralPropertyNode | ObjectLiteralSpreadPropertyNode | ScalarConstructorNode | ArrayLiteralNode;
 /**
  * Node that can be used as template
  */
@@ -705,8 +821,8 @@ export type TemplateableNode = ModelStatementNode | ScalarStatementNode | AliasS
  * Node types that can have referencable members
  */
 export type MemberContainerNode = ModelStatementNode | ModelExpressionNode | InterfaceStatementNode | EnumStatementNode | UnionStatementNode;
-export type MemberNode = ModelPropertyNode | EnumMemberNode | OperationStatementNode | UnionVariantNode;
-export type MemberContainerType = Model | Enum | Interface | Union;
+export type MemberNode = ModelPropertyNode | EnumMemberNode | OperationStatementNode | UnionVariantNode | ScalarConstructorNode;
+export type MemberContainerType = Model | Enum | Interface | Union | Scalar;
 /**
  * Type that can be used as members of a container type.
  */
@@ -741,11 +857,11 @@ export interface TypeSpecScriptNode extends DeclarationNode, BaseNode {
     readonly locals: SymbolTable;
     readonly parseOptions: ParseOptions;
 }
-export type Statement = ImportStatementNode | ModelStatementNode | ScalarStatementNode | NamespaceStatementNode | InterfaceStatementNode | UnionStatementNode | UsingStatementNode | EnumStatementNode | AliasStatementNode | OperationStatementNode | DecoratorDeclarationStatementNode | FunctionDeclarationStatementNode | AugmentDecoratorStatementNode | EmptyStatementNode | InvalidStatementNode | ProjectionStatementNode;
+export type Statement = ImportStatementNode | ModelStatementNode | ScalarStatementNode | NamespaceStatementNode | InterfaceStatementNode | UnionStatementNode | UsingStatementNode | EnumStatementNode | AliasStatementNode | OperationStatementNode | DecoratorDeclarationStatementNode | FunctionDeclarationStatementNode | AugmentDecoratorStatementNode | ConstStatementNode | CallExpressionNode | EmptyStatementNode | InvalidStatementNode | ProjectionStatementNode;
 export interface DeclarationNode {
     readonly id: IdentifierNode;
 }
-export type Declaration = ModelStatementNode | ScalarStatementNode | InterfaceStatementNode | UnionStatementNode | NamespaceStatementNode | OperationStatementNode | TemplateParameterDeclarationNode | ProjectionStatementNode | ProjectionParameterDeclarationNode | ProjectionLambdaParameterDeclarationNode | EnumStatementNode | AliasStatementNode | DecoratorDeclarationStatementNode | FunctionDeclarationStatementNode;
+export type Declaration = ModelStatementNode | ScalarStatementNode | InterfaceStatementNode | UnionStatementNode | NamespaceStatementNode | OperationStatementNode | TemplateParameterDeclarationNode | ProjectionStatementNode | ProjectionParameterDeclarationNode | ProjectionLambdaParameterDeclarationNode | EnumStatementNode | AliasStatementNode | ConstStatementNode | DecoratorDeclarationStatementNode | FunctionDeclarationStatementNode;
 export type ScopeNode = NamespaceStatementNode | ModelStatementNode | InterfaceStatementNode | AliasStatementNode | TypeSpecScriptNode | JsSourceFileNode | ProjectionLambdaExpressionNode | ProjectionNode;
 export interface ImportStatementNode extends BaseNode {
     readonly kind: SyntaxKind.ImportStatement;
@@ -774,7 +890,7 @@ export interface DirectiveExpressionNode extends BaseNode {
     readonly arguments: readonly DirectiveArgument[];
 }
 export type DirectiveArgument = StringLiteralNode | IdentifierNode;
-export type Expression = ArrayExpressionNode | MemberExpressionNode | ModelExpressionNode | TupleExpressionNode | UnionExpressionNode | IntersectionExpressionNode | TypeReferenceNode | ValueOfExpressionNode | StringLiteralNode | NumericLiteralNode | BooleanLiteralNode | StringTemplateExpressionNode | VoidKeywordNode | NeverKeywordNode | AnyKeywordNode;
+export type Expression = ArrayExpressionNode | MemberExpressionNode | ModelExpressionNode | ObjectLiteralNode | ArrayLiteralNode | TupleExpressionNode | UnionExpressionNode | IntersectionExpressionNode | TypeReferenceNode | ValueOfExpressionNode | TypeOfExpressionNode | CallExpressionNode | StringLiteralNode | NumericLiteralNode | BooleanLiteralNode | StringTemplateExpressionNode | VoidKeywordNode | NeverKeywordNode | AnyKeywordNode;
 export type ProjectionExpression = ProjectionLogicalExpressionNode | ProjectionRelationalExpressionNode | ProjectionEqualityExpressionNode | ProjectionUnaryExpressionNode | ProjectionArithmeticExpressionNode | ProjectionCallExpressionNode | ProjectionMemberExpressionNode | ProjectionDecoratorReferenceExpressionNode | ProjectionTupleExpressionNode | ProjectionModelExpressionNode | ProjectionIfExpressionNode | ProjectionBlockExpressionNode | ProjectionLambdaExpressionNode | StringLiteralNode | NumericLiteralNode | BooleanLiteralNode | IdentifierNode | VoidKeywordNode | NeverKeywordNode | AnyKeywordNode | ReturnExpressionNode;
 export type ReferenceExpression = TypeReferenceNode | MemberExpressionNode | IdentifierNode | VoidKeywordNode | NeverKeywordNode;
 export interface MemberExpressionNode extends BaseNode {
@@ -823,8 +939,15 @@ export interface ScalarStatementNode extends BaseNode, DeclarationNode, Template
     readonly kind: SyntaxKind.ScalarStatement;
     readonly extends?: TypeReferenceNode;
     readonly decorators: readonly DecoratorExpressionNode[];
+    readonly members: readonly ScalarConstructorNode[];
     readonly parent?: TypeSpecScriptNode | NamespaceStatementNode;
 }
+export interface ScalarConstructorNode extends BaseNode {
+    readonly kind: SyntaxKind.ScalarConstructor;
+    readonly id: IdentifierNode;
+    readonly parameters: FunctionParameterNode[];
+    readonly parent?: ScalarStatementNode;
+}
 export interface InterfaceStatementNode extends BaseNode, DeclarationNode, TemplateDeclarationNode {
     readonly kind: SyntaxKind.InterfaceStatement;
     readonly operations: readonly OperationStatementNode[];
@@ -867,6 +990,17 @@ export interface AliasStatementNode extends BaseNode, DeclarationNode, TemplateD
     readonly value: Expression;
     readonly parent?: TypeSpecScriptNode | NamespaceStatementNode;
 }
+export interface ConstStatementNode extends BaseNode, DeclarationNode {
+    readonly kind: SyntaxKind.ConstStatement;
+    readonly value: Expression;
+    readonly type?: Expression;
+    readonly parent?: TypeSpecScriptNode | NamespaceStatementNode;
+}
+export interface CallExpressionNode extends BaseNode {
+    readonly kind: SyntaxKind.CallExpression;
+    readonly target: MemberExpressionNode | IdentifierNode;
+    readonly arguments: Expression[];
+}
 export interface InvalidStatementNode extends BaseNode {
     readonly kind: SyntaxKind.InvalidStatement;
     readonly decorators: readonly DecoratorExpressionNode[];
@@ -900,6 +1034,25 @@ export interface ModelSpreadPropertyNode extends BaseNode {
     readonly target: TypeReferenceNode;
     readonly parent?: ModelStatementNode | ModelExpressionNode;
 }
+export interface ObjectLiteralNode extends BaseNode {
+    readonly kind: SyntaxKind.ObjectLiteral;
+    readonly properties: (ObjectLiteralPropertyNode | ObjectLiteralSpreadPropertyNode)[];
+}
+export interface ObjectLiteralPropertyNode extends BaseNode {
+    readonly kind: SyntaxKind.ObjectLiteralProperty;
+    readonly id: IdentifierNode;
+    readonly value: Expression;
+    readonly parent?: ObjectLiteralNode;
+}
+export interface ObjectLiteralSpreadPropertyNode extends BaseNode {
+    readonly kind: SyntaxKind.ObjectLiteralSpreadProperty;
+    readonly target: TypeReferenceNode;
+    readonly parent?: ObjectLiteralNode;
+}
+export interface ArrayLiteralNode extends BaseNode {
+    readonly kind: SyntaxKind.ArrayLiteral;
+    readonly values: readonly Expression[];
+}
 export type LiteralNode = StringLiteralNode | NumericLiteralNode | BooleanLiteralNode | StringTemplateHeadNode | StringTemplateMiddleNode | StringTemplateTailNode;
 export interface StringLiteralNode extends BaseNode {
     readonly kind: SyntaxKind.StringLiteral;
@@ -964,6 +1117,10 @@ export interface ValueOfExpressionNode extends BaseNode {
     readonly kind: SyntaxKind.ValueOfExpression;
     readonly target: Expression;
 }
+export interface TypeOfExpressionNode extends BaseNode {
+    readonly kind: SyntaxKind.TypeOfExpression;
+    readonly target: Expression;
+}
 export interface TypeReferenceNode extends BaseNode {
     readonly kind: SyntaxKind.TypeReference;
     readonly target: MemberExpressionNode | IdentifierNode;
@@ -1284,20 +1441,24 @@ export interface SourceFile {
 export type LocationContext = ProjectLocationContext | CompilerLocationContext | SyntheticLocationContext | LibraryLocationContext;
 /** Defined in the user project. */
 export interface ProjectLocationContext {
-    type: "project";
+    readonly type: "project";
+    readonly flags?: PackageFlags;
 }
 /** Built-in */
 export interface CompilerLocationContext {
-    type: "compiler";
+    readonly type: "compiler";
 }
 /** Refer to a type that was not declared in a file */
 export interface SyntheticLocationContext {
-    type: "synthetic";
+    readonly type: "synthetic";
 }
 /** Defined in a library. */
 export interface LibraryLocationContext {
-    type: "library";
-    metadata: ModuleLibraryMetadata;
+    readonly type: "library";
+    /** Library metadata */
+    readonly metadata: ModuleLibraryMetadata;
+    /** Module definition */
+    readonly flags?: PackageFlags;
 }
 export interface LibraryInstance {
     module: ModuleResolutionResult;
@@ -1324,9 +1485,9 @@ export interface FileLibraryMetadata extends LibraryMetadataBase {
 }
 /** Data for a library. Either loaded via a node_modules package or a standalone js file  */
 export interface ModuleLibraryMetadata extends LibraryMetadataBase {
-    type: "module";
+    readonly type: "module";
     /** Library name as specified in the package.json or in exported $lib. */
-    name: string;
+    readonly name: string;
 }
 export interface TextRange {
     /**
@@ -1347,7 +1508,7 @@ export interface SourceLocation extends TextRange {
 /** Used to explicitly specify that a diagnostic has no target. */
 export declare const NoTarget: unique symbol;
 /** Diagnostic target that can be used when working with TypeSpec types.  */
-export type TypeSpecDiagnosticTarget = Node | Type | Sym;
+export type TypeSpecDiagnosticTarget = Node | Entity | Sym;
 export type DiagnosticTarget = TypeSpecDiagnosticTarget | SourceLocation;
 export type DiagnosticSeverity = "error" | "warning";
 export interface Diagnostic {
@@ -1569,6 +1730,24 @@ export interface TypeSpecLibraryDef<T extends {
     readonly linter?: LinterDefinition;
     readonly state?: Record<State, StateDef>;
 }
+export interface PackageFlags {
+    /**
+     * Decorator arg marshalling algorithm. Specify how TypeSpec values are marshalled to decorator arguments.
+     * - `lossless` - New recommended behavior
+     *  - string value -> `string`
+     *  - numeric value -> `number` if the constraint can be represented as a JS number, Numeric otherwise(e.g. for types int64, decimal128, numeric, etc.)
+     *  - boolean value -> `boolean`
+     *  - null value -> `null`
+     *
+     * - `legacy` Behavior before version 0.56.0.
+     *  - string value -> `string`
+     *  - numeric value -> `number`
+     *  - boolean value -> `boolean`
+     *  - null value -> `NullType`
+     * @default legacy
+     */
+    readonly decoratorArgMarshalling?: "legacy" | "new";
+}
 export interface LinterDefinition {
     rules: LinterRuleDefinition<string, DiagnosticMessages>[];
     ruleSets?: Record<string, LinterRuleSet>;