@typespec/protobuf 0.55.0-dev.1 → 0.55.0

package/dist/generated-defs/TypeSpec.Protobuf.d.ts

@@ -0,0 +1,104 @@
+import type { DecoratorContext, Interface, ModelProperty, Namespace, Operation, Type } from "@typespec/compiler";
+/**
+ * Declares that a model is a Protobuf message.
+ *
+ * Messages can be detected automatically if either of the following two conditions are met:
+ *
+ * - The model has a `@field` annotation on all of its properties.
+ * - The model is referenced by any service operation.
+ *
+ * This decorator will force the emitter to check and emit a model.
+ */
+export type MessageDecorator = (context: DecoratorContext, target: Type) => void;
+/**
+ * Defines the field index of a model property for conversion to a Protobuf
+ * message.
+ *
+ * The field index of a Protobuf message must:
+ * - fall between 1 and 2<sup>29</sup> - 1, inclusive.
+ * - not fall within the implementation reserved range of 19000 to 19999, inclusive.
+ * - not fall within any range that was [marked reserved](#
+ *
+ * @TypeSpec .Protobuf.reserve).
+ *
+ * #### API Compatibility Note
+ *
+ * Fields are accessed by index, so changing the index of a field is an API breaking change.
+ *
+ * #### Encoding
+ *
+ * Field indices between 1 and 15 are encoded using a single byte, while field indices from 16 through 2047 require two
+ * bytes, so those indices between 1 and 15 should be preferred and reserved for elements that are frequently or always
+ * set in the message. See the [Protobuf binary format](https://protobuf.dev/programming-guides/encoding/).
+ * @param index The whole-number index of the field.
+ * @example
+ * ```typespec
+ * model ExampleMessage {
+ * @field(1)
+ * test: string;
+ * }
+ * ```
+ */
+export type FieldDecorator = (context: DecoratorContext, target: ModelProperty, index: number) => void;
+/**
+ * Reserve a field index, range, or name. If a field definition collides with a reservation, the emitter will produce
+ * an error.
+ *
+ * This decorator accepts multiple reservations. Each reservation is one of the following:
+ *
+ * - a `string`, in which case the reservation refers to a field name.
+ * - a `uint32`, in which case the reservation refers to a field index.
+ * - a tuple `[uint32, uint32]`, in which case the reservation refers to a field range that is _inclusive_ of both ends.
+ *
+ * Unlike in Protobuf, where field name and index reservations must be separated, you can mix string and numeric field
+ * reservations in a single `@reserve` call in TypeSpec.
+ *
+ * #### API Compatibility Note
+ *
+ * Field reservations prevent users of your Protobuf specification from using the given field names or indices. This can
+ * be useful if a field is removed, as it will further prevent adding a new, incompatible field and will prevent users
+ * from utilizing the field index at runtime in a way that may break compatibility with users of older specifications.
+ *
+ * See _[Protobuf Language Guide - Reserved Fields](https://protobuf.dev/programming-guides/proto3/#reserved)_ for more
+ * information.
+ *
+ * @param reservations a list of field reservations
+ * @example
+ * ```typespec
+ * // Reserve the fields 8-15 inclusive, 100, and the field name "test" within a model.
+ * @reserve([8, 15], 100, "test")
+ * model Example {
+ * // ...
+ * }
+ * ```
+ */
+export type ReserveDecorator = (context: DecoratorContext, target: Type, ...reservations: (string | unknown | number)[]) => void;
+/**
+ * Declares that a TypeSpec interface constitutes a Protobuf service. The contents of the interface will be converted to
+ * a `service` declaration in the resulting Protobuf file.
+ */
+export type ServiceDecorator = (context: DecoratorContext, target: Interface) => void;
+/**
+ * Declares that a TypeSpec namespace constitutes a Protobuf package. The contents of the namespace will be emitted to a
+ * single Protobuf file.
+ *
+ * @param details the optional details of the package
+ */
+export type PackageDecorator = (context: DecoratorContext, target: Namespace, details?: Type) => void;
+/**
+ * Set the streaming mode of an operation. See [StreamMode](./data-types#TypeSpec.Protobuf.StreamMode) for more information.
+ *
+ * @param mode The streaming mode to apply to this operation.
+ * @example
+ * ```typespec
+ * @stream(StreamMode.Out)
+ * op logs(...LogsRequest): LogEvent;
+ * ```
+ * @example
+ * ```typespec
+ * @stream(StreamMode.Duplex)
+ * op connectToMessageService(...Message): Message;
+ * ```
+ */
+export type StreamDecorator = (context: DecoratorContext, target: Operation, mode: Type) => void;
+//# sourceMappingURL=TypeSpec.Protobuf.d.ts.map

package/dist/generated-defs/TypeSpec.Protobuf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSpec.Protobuf.d.ts","sourceRoot":"","sources":["../../generated-defs/TypeSpec.Protobuf.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,SAAS,EACT,aAAa,EACb,SAAS,EACT,SAAS,EACT,IAAI,EACL,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,KAAK,IAAI,CAAC;AAEjF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,MAAM,cAAc,GAAG,CAC3B,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,KACV,IAAI,CAAC;AAEV;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAC7B,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,IAAI,EACZ,GAAG,YAAY,EAAE,CAAC,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC,EAAE,KAC3C,IAAI,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,KAAK,IAAI,CAAC;AAEtF;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAC7B,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,EACjB,OAAO,CAAC,EAAE,IAAI,KACX,IAAI,CAAC;AAEV;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC"}

package/dist/generated-defs/TypeSpec.Protobuf.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=TypeSpec.Protobuf.js.map

package/dist/generated-defs/TypeSpec.Protobuf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSpec.Protobuf.js","sourceRoot":"","sources":["../../generated-defs/TypeSpec.Protobuf.ts"],"names":[],"mappings":""}

package/dist/generated-defs/TypeSpec.Protobuf.ts-test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=TypeSpec.Protobuf.ts-test.d.ts.map

package/dist/generated-defs/TypeSpec.Protobuf.ts-test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSpec.Protobuf.ts-test.d.ts","sourceRoot":"","sources":["../../generated-defs/TypeSpec.Protobuf.ts-test.ts"],"names":[],"mappings":""}

package/dist/generated-defs/TypeSpec.Protobuf.ts-test.js

@@ -0,0 +1,12 @@
+/** An error here would mean that the decorator is not exported or doesn't have the right name. */
+import { $field, $message, $package, $reserve, $service, $stream } from "@typespec/protobuf";
+/** An error here would mean that the exported decorator is not using the same signature. Make sure to have export const $decName: DecNameDecorator = (...) => ... */
+const _ = {
+    $message,
+    $field,
+    $reserve,
+    $service,
+    $package,
+    $stream,
+};
+//# sourceMappingURL=TypeSpec.Protobuf.ts-test.js.map

package/dist/generated-defs/TypeSpec.Protobuf.ts-test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSpec.Protobuf.ts-test.js","sourceRoot":"","sources":["../../generated-defs/TypeSpec.Protobuf.ts-test.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAmB7F,qKAAqK;AACrK,MAAM,CAAC,GAAe;IACpB,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;CACR,CAAC"}

package/dist/src/proto.d.ts

@@ -1,4 +1,5 @@
-import { DecoratorContext, EmitContext, EmitOptionsFor, EnumMember, Interface, Model, ModelProperty, Namespace, Operation, Program, StringLiteral, Type } from "@typespec/compiler";
+import { DecoratorContext, EmitContext, EmitOptionsFor, Interface, Model, Program, StringLiteral, Type } from "@typespec/compiler";
+import { FieldDecorator, MessageDecorator, PackageDecorator, ReserveDecorator, StreamDecorator } from "../generated-defs/TypeSpec.Protobuf.js";
 import { TypeSpecProtobufLibrary } from "./lib.js";
 /**
  * Defined in the [ProtoBuf Language Spec](https://developers.google.com/protocol-buffers/docs/reference/proto3-spec#identifiers).
@@ -23,7 +24,7 @@ export interface PackageDetails {
  * @param ctx - decorator context
  * @param target - target decorator namespace
  */
-export declare function $package(ctx: DecoratorContext, target: Namespace, details?: Model): void;
+export declare const $package: PackageDecorator;
 /**
  * Determines whether a type represents a Protobuf map.
  *
@@ -33,12 +34,12 @@ export declare function $package(ctx: DecoratorContext, target: Namespace, detai
  */
 export declare function isMap(program: Program, m: Type): boolean;
 export declare function $externRef(ctx: DecoratorContext, target: Model, path: StringLiteral, name: StringLiteral): void;
-export declare function $stream(ctx: DecoratorContext, target: Operation, mode: EnumMember): void;
+export declare const $stream: StreamDecorator;
 export type Reservation = string | number | ([number, number] & {
     type: Type;
 });
-export declare function $reserve(ctx: DecoratorContext, target: Model, ...reservations: readonly (Type | number | string)[]): void;
-export declare function $message(ctx: DecoratorContext, target: Model): void;
+export declare const $reserve: ReserveDecorator;
+export declare const $message: MessageDecorator;
 /**
  * Decorate a model property with a field index. Field indices are required for all fields of emitted messages.
  *
@@ -47,7 +48,7 @@ export declare function $message(ctx: DecoratorContext, target: Model): void;
  * @param fieldIndex
  * @returns
  */
-export declare function $field(ctx: DecoratorContext, target: ModelProperty, fieldIndex: number): void;
+export declare const $field: FieldDecorator;
 /**
  * Emitter main function.
  *

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

@@ -1 +1 @@
-{"version":3,"file":"proto.d.ts","sourceRoot":"","sources":["../../src/proto.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,UAAU,EACV,SAAS,EACT,KAAK,EACL,aAAa,EACb,SAAS,EAET,SAAS,EACT,OAAO,EAEP,aAAa,EAEb,IAAI,EACL,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAmD,uBAAuB,EAAE,MAAM,UAAU,CAAC;AAmBpG;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,QAA6B,CAAC;AAE3D;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,QAEhE;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,KAAK,QAEjF;AAED;;;;;;GAMG;AACH,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CAExD;AAYD,wBAAgB,UAAU,CACxB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,KAAK,EACb,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,aAAa,QAGpB;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,QASjF;AAkBD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAEhF,wBAAgB,QAAQ,CACtB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,KAAK,EACb,GAAG,YAAY,EAAE,SAAS,CAAC,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC,EAAE,QASrD;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,QAE5D;AAED;;;;;;;GAOG;AACH,wBAAgB,MAAM,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,QAqCtF;AAED;;;;GAIG;AACH,wBAAsB,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,cAAc,CAAC,uBAAuB,CAAC,CAAC,iBAItF;AAED;;GAEG;AACH,wBAAsB,WAAW,CAAC,OAAO,EAAE,OAAO,iBASjD;AAED,eAAO,MAAM,SAAS,sBAAsB,CAAC"}
+{"version":3,"file":"proto.d.ts","sourceRoot":"","sources":["../../src/proto.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,SAAS,EACT,KAAK,EAKL,OAAO,EAEP,aAAa,EAEb,IAAI,EACL,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EAChB,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EAAmD,uBAAuB,EAAE,MAAM,UAAU,CAAC;AAmBpG;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,QAA6B,CAAC;AAE3D;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,QAEhE;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,gBAMtB,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CAExD;AAYD,wBAAgB,UAAU,CACxB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,KAAK,EACb,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,aAAa,QAGpB;AAED,eAAO,MAAM,OAAO,EAAE,eASrB,CAAC;AAkBF,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAEhF,eAAO,MAAM,QAAQ,EAAE,gBAYtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,gBAEtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,EAAE,cAyCpB,CAAC;AAEF;;;;GAIG;AACH,wBAAsB,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,cAAc,CAAC,uBAAuB,CAAC,CAAC,iBAItF;AAED;;GAEG;AACH,wBAAsB,WAAW,CAAC,OAAO,EAAE,OAAO,iBASjD;AAED,eAAO,MAAM,SAAS,sBAAsB,CAAC"}

package/dist/src/proto.js

@@ -38,9 +38,9 @@ export function $service(ctx, target) {
  * @param ctx - decorator context
  * @param target - target decorator namespace
  */
-export function $package(ctx, target, details) {
+export const $package = (ctx, target, details) => {
     ctx.program.stateMap(state.package).set(target, details);
-}
+};
 /**
  * Determines whether a type represents a Protobuf map.
  *
@@ -63,7 +63,7 @@ export function $_map(ctx, target) {
 export function $externRef(ctx, target, path, name) {
     ctx.program.stateMap(state.externRef).set(target, [path.value, name.value]);
 }
-export function $stream(ctx, target, mode) {
+export const $stream = (ctx, target, mode) => {
     const emitStreamingMode = {
         Duplex: 3 /* StreamingMode.Duplex */,
         In: 2 /* StreamingMode.In */,
@@ -71,7 +71,7 @@ export function $stream(ctx, target, mode) {
         None: 0 /* StreamingMode.None */,
     }[mode.name];
     ctx.program.stateMap(state.stream).set(target, emitStreamingMode);
-}
+};
 function getTuple(program, t) {
     if (t.kind !== "Tuple" || t.values.some((v) => v.kind !== "Number") || t.values.length !== 2) {
         reportDiagnostic(program, {
@@ -82,15 +82,15 @@ function getTuple(program, t) {
     }
     return Object.assign(t.values.map((v) => v.value), { type: t });
 }
-export function $reserve(ctx, target, ...reservations) {
+export const $reserve = (ctx, target, ...reservations) => {
     const finalReservations = reservations
         .map((reservation) => typeof reservation === "object" ? getTuple(ctx.program, reservation) : reservation)
         .filter((v) => v != null);
     ctx.program.stateMap(state.reserve).set(target, finalReservations);
-}
-export function $message(ctx, target) {
+};
+export const $message = (ctx, target) => {
     ctx.program.stateSet(state.message).add(target);
-}
+};
 /**
  * Decorate a model property with a field index. Field indices are required for all fields of emitted messages.
  *
@@ -99,7 +99,7 @@ export function $message(ctx, target) {
  * @param fieldIndex
  * @returns
  */
-export function $field(ctx, target, fieldIndex) {
+export const $field = (ctx, target, fieldIndex) => {
     if (!Number.isInteger(fieldIndex) || fieldIndex <= 0) {
         reportDiagnostic(ctx.program, {
             code: "field-index",
@@ -135,7 +135,7 @@ export function $field(ctx, target, fieldIndex) {
         });
     }
     ctx.program.stateMap(state.fieldIndex).set(target, fieldIndex);
-}
+};
 /**
  * Emitter main function.
  *

package/dist/src/proto.js.map

@@ -1 +1 @@
-{"version":3,"file":"proto.js","sourceRoot":"","sources":["../../src/proto.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,kCAAkC;AAElC,OAAO,EAYL,WAAW,GAIZ,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAA0B,gBAAgB,EAAE,KAAK,EAA2B,MAAM,UAAU,CAAC;AACpG,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D;;;;GAIG;AAEH;;GAEG;AACH,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAEpC;;GAEG;AACH,MAAM,6BAA6B,GAAG,CAAC,KAAK,EAAE,KAAK,CAAU,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAqB,EAAE,MAAiB;IAC/D,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAClD,CAAC;AAMD;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAqB,EAAE,MAAiB,EAAE,OAAe;IAChF,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,KAAK,CAAC,OAAgB,EAAE,CAAO;IAC7C,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,GAAqB,EAAE,MAAa;IACxD,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,GAAqB,EACrB,MAAa,EACb,IAAmB,EACnB,IAAmB;IAEnB,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAqB,EAAE,MAAiB,EAAE,IAAgB;IAChF,MAAM,iBAAiB,GAAG;QACxB,MAAM,8BAAsB;QAC5B,EAAE,0BAAkB;QACpB,GAAG,2BAAmB;QACtB,IAAI,4BAAoB;KACzB,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IAEvB,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,QAAQ,CAAC,OAAgB,EAAE,CAAO;IACzC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7F,gBAAgB,CAAC,OAAO,EAAE;YACxB,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EAAE,CAAC;SACV,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CACjB,CAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAoB,CAAC,KAAK,CAAqB,EAC/E,EAAE,IAAI,EAAE,CAAC,EAAE,CACZ,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,QAAQ,CACtB,GAAqB,EACrB,MAAa,EACb,GAAG,YAAiD;IAEpD,MAAM,iBAAiB,GAAG,YAAY;SACnC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACnB,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CACnF;SACA,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IAE5B,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAqB,EAAE,MAAa;IAC3D,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CAAC,GAAqB,EAAE,MAAqB,EAAE,UAAkB;IACrF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACrD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE;YAC5B,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,SAAS;YACpB,MAAM,EAAE;gBACN,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC;aAC1B;YACD,MAAM;SACP,CAAC,CAAC;QACH,OAAO;IACT,CAAC;SAAM,IAAI,UAAU,GAAG,eAAe,EAAE,CAAC;QACxC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE;YAC5B,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,eAAe;YAC1B,MAAM,EAAE;gBACN,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC;gBACzB,GAAG,EAAE,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC;aACjC;YACD,MAAM;SACP,CAAC,CAAC;QACH,OAAO;IACT,CAAC;SAAM,IACL,UAAU,IAAI,6BAA6B,CAAC,CAAC,CAAC;QAC9C,UAAU,IAAI,6BAA6B,CAAC,CAAC,CAAC,EAC9C,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE;YAC5B,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE;gBACN,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC;aAC1B;YACD,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAyD;IACrF,MAAM,OAAO,GAAG,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAEnD,MAAM,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAgB;;IAChD,yEAAyE;IACzE,sBAAsB;IACtB,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,MAAA,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,0CACpE,OAAiC,CAAC;QACtC,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,mBAAmB,CAAC"}
+{"version":3,"file":"proto.js","sourceRoot":"","sources":["../../src/proto.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,kCAAkC;AAElC,OAAO,EAWL,WAAW,GAIZ,MAAM,oBAAoB,CAAC;AAU5B,OAAO,EAA0B,gBAAgB,EAAE,KAAK,EAA2B,MAAM,UAAU,CAAC;AACpG,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D;;;;GAIG;AAEH;;GAEG;AACH,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAEpC;;GAEG;AACH,MAAM,6BAA6B,GAAG,CAAC,KAAK,EAAE,KAAK,CAAU,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAqB,EAAE,MAAiB;IAC/D,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAClD,CAAC;AAMD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAqB,CACxC,GAAqB,EACrB,MAAiB,EACjB,OAAc,EACd,EAAE;IACF,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,KAAK,CAAC,OAAgB,EAAE,CAAO;IAC7C,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,GAAqB,EAAE,MAAa;IACxD,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,GAAqB,EACrB,MAAa,EACb,IAAmB,EACnB,IAAmB;IAEnB,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAoB,CAAC,GAAqB,EAAE,MAAiB,EAAE,IAAU,EAAE,EAAE;IAC/F,MAAM,iBAAiB,GAAG;QACxB,MAAM,8BAAsB;QAC5B,EAAE,0BAAkB;QACpB,GAAG,2BAAmB;QACtB,IAAI,4BAAoB;KACzB,CAAE,IAAY,CAAC,IAAc,CAAC,CAAC;IAEhC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,SAAS,QAAQ,CAAC,OAAgB,EAAE,CAAO;IACzC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7F,gBAAgB,CAAC,OAAO,EAAE;YACxB,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EAAE,CAAC;SACV,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CACjB,CAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAoB,CAAC,KAAK,CAAqB,EAC/E,EAAE,IAAI,EAAE,CAAC,EAAE,CACZ,CAAC;AACJ,CAAC;AAID,MAAM,CAAC,MAAM,QAAQ,GAAqB,CACxC,GAAqB,EACrB,MAAY,EACZ,GAAG,YAAoD,EACvD,EAAE;IACF,MAAM,iBAAiB,GAAG,YAAY;SACnC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACnB,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,WAAmB,CAAC,CAAC,CAAC,CAAC,WAAW,CAC3F;SACA,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IAE5B,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAqB,CAAC,GAAqB,EAAE,MAAY,EAAE,EAAE;IAChF,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAmB,CACpC,GAAqB,EACrB,MAAqB,EACrB,UAAkB,EAClB,EAAE;IACF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACrD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE;YAC5B,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,SAAS;YACpB,MAAM,EAAE;gBACN,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC;aAC1B;YACD,MAAM;SACP,CAAC,CAAC;QACH,OAAO;IACT,CAAC;SAAM,IAAI,UAAU,GAAG,eAAe,EAAE,CAAC;QACxC,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE;YAC5B,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,eAAe;YAC1B,MAAM,EAAE;gBACN,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC;gBACzB,GAAG,EAAE,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC;aACjC;YACD,MAAM;SACP,CAAC,CAAC;QACH,OAAO;IACT,CAAC;SAAM,IACL,UAAU,IAAI,6BAA6B,CAAC,CAAC,CAAC;QAC9C,UAAU,IAAI,6BAA6B,CAAC,CAAC,CAAC,EAC9C,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE;YAC5B,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE;gBACN,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC;aAC1B;YACD,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAyD;IACrF,MAAM,OAAO,GAAG,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAEnD,MAAM,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAgB;;IAChD,yEAAyE;IACzE,sBAAsB;IACtB,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,MAAA,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,0CACpE,OAAiC,CAAC;QACtC,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,mBAAmB,CAAC"}

package/generated-defs/TypeSpec.Protobuf.ts

@@ -0,0 +1,128 @@
+import type {
+  DecoratorContext,
+  Interface,
+  ModelProperty,
+  Namespace,
+  Operation,
+  Type,
+} from "@typespec/compiler";
+
+/**
+ * Declares that a model is a Protobuf message.
+ *
+ * Messages can be detected automatically if either of the following two conditions are met:
+ *
+ * - The model has a `@field` annotation on all of its properties.
+ * - The model is referenced by any service operation.
+ *
+ * This decorator will force the emitter to check and emit a model.
+ */
+export type MessageDecorator = (context: DecoratorContext, target: Type) => void;
+
+/**
+ * Defines the field index of a model property for conversion to a Protobuf
+ * message.
+ *
+ * The field index of a Protobuf message must:
+ * - fall between 1 and 2<sup>29</sup> - 1, inclusive.
+ * - not fall within the implementation reserved range of 19000 to 19999, inclusive.
+ * - not fall within any range that was [marked reserved](#
+ *
+ * @TypeSpec .Protobuf.reserve).
+ *
+ * #### API Compatibility Note
+ *
+ * Fields are accessed by index, so changing the index of a field is an API breaking change.
+ *
+ * #### Encoding
+ *
+ * Field indices between 1 and 15 are encoded using a single byte, while field indices from 16 through 2047 require two
+ * bytes, so those indices between 1 and 15 should be preferred and reserved for elements that are frequently or always
+ * set in the message. See the [Protobuf binary format](https://protobuf.dev/programming-guides/encoding/).
+ * @param index The whole-number index of the field.
+ * @example
+ * ```typespec
+ * model ExampleMessage {
+ * @field(1)
+ * test: string;
+ * }
+ * ```
+ */
+export type FieldDecorator = (
+  context: DecoratorContext,
+  target: ModelProperty,
+  index: number
+) => void;
+
+/**
+ * Reserve a field index, range, or name. If a field definition collides with a reservation, the emitter will produce
+ * an error.
+ *
+ * This decorator accepts multiple reservations. Each reservation is one of the following:
+ *
+ * - a `string`, in which case the reservation refers to a field name.
+ * - a `uint32`, in which case the reservation refers to a field index.
+ * - a tuple `[uint32, uint32]`, in which case the reservation refers to a field range that is _inclusive_ of both ends.
+ *
+ * Unlike in Protobuf, where field name and index reservations must be separated, you can mix string and numeric field
+ * reservations in a single `@reserve` call in TypeSpec.
+ *
+ * #### API Compatibility Note
+ *
+ * Field reservations prevent users of your Protobuf specification from using the given field names or indices. This can
+ * be useful if a field is removed, as it will further prevent adding a new, incompatible field and will prevent users
+ * from utilizing the field index at runtime in a way that may break compatibility with users of older specifications.
+ *
+ * See _[Protobuf Language Guide - Reserved Fields](https://protobuf.dev/programming-guides/proto3/#reserved)_ for more
+ * information.
+ *
+ * @param reservations a list of field reservations
+ * @example
+ * ```typespec
+ * // Reserve the fields 8-15 inclusive, 100, and the field name "test" within a model.
+ * @reserve([8, 15], 100, "test")
+ * model Example {
+ * // ...
+ * }
+ * ```
+ */
+export type ReserveDecorator = (
+  context: DecoratorContext,
+  target: Type,
+  ...reservations: (string | unknown | number)[]
+) => void;
+
+/**
+ * Declares that a TypeSpec interface constitutes a Protobuf service. The contents of the interface will be converted to
+ * a `service` declaration in the resulting Protobuf file.
+ */
+export type ServiceDecorator = (context: DecoratorContext, target: Interface) => void;
+
+/**
+ * Declares that a TypeSpec namespace constitutes a Protobuf package. The contents of the namespace will be emitted to a
+ * single Protobuf file.
+ *
+ * @param details the optional details of the package
+ */
+export type PackageDecorator = (
+  context: DecoratorContext,
+  target: Namespace,
+  details?: Type
+) => void;
+
+/**
+ * Set the streaming mode of an operation. See [StreamMode](./data-types#TypeSpec.Protobuf.StreamMode) for more information.
+ *
+ * @param mode The streaming mode to apply to this operation.
+ * @example
+ * ```typespec
+ * @stream(StreamMode.Out)
+ * op logs(...LogsRequest): LogEvent;
+ * ```
+ * @example
+ * ```typespec
+ * @stream(StreamMode.Duplex)
+ * op connectToMessageService(...Message): Message;
+ * ```
+ */
+export type StreamDecorator = (context: DecoratorContext, target: Operation, mode: Type) => void;

package/generated-defs/TypeSpec.Protobuf.ts-test.ts

@@ -0,0 +1,29 @@
+/** An error here would mean that the decorator is not exported or doesn't have the right name. */
+import { $field, $message, $package, $reserve, $service, $stream } from "@typespec/protobuf";
+import {
+  FieldDecorator,
+  MessageDecorator,
+  PackageDecorator,
+  ReserveDecorator,
+  ServiceDecorator,
+  StreamDecorator,
+} from "./TypeSpec.Protobuf.js";
+
+type Decorators = {
+  $message: MessageDecorator;
+  $field: FieldDecorator;
+  $reserve: ReserveDecorator;
+  $service: ServiceDecorator;
+  $package: PackageDecorator;
+  $stream: StreamDecorator;
+};
+
+/** An error here would mean that the exported decorator is not using the same signature. Make sure to have export const $decName: DecNameDecorator = (...) => ... */
+const _: Decorators = {
+  $message,
+  $field,
+  $reserve,
+  $service,
+  $package,
+  $stream,
+};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typespec/protobuf",
-  "version": "0.55.0-dev.1",
+  "version": "0.55.0",
   "author": "Microsoft Corporation",
   "description": "TypeSpec library and emitter for Protobuf (gRPC)",
   "homepage": "https://github.com/microsoft/typespec",
@@ -19,32 +19,36 @@
     "grpc"
   ],
   "main": "dist/src/index.js",
+  "exports": {
+    ".": "./dist/src/index.js",
+    "./testing": "./dist/src/testing/index.js"
+  },
   "type": "module",
   "tspMain": "lib/proto.tsp",
   "peerDependencies": {
-    "@typespec/compiler": "~0.54.0 || >=0.55.0-dev <0.55.0"
+    "@typespec/compiler": "~0.55.0"
   },
   "devDependencies": {
     "@types/micromatch": "^4.0.6",
     "@types/node": "~18.11.19",
-    "@typespec/compiler": "~0.54.0 || >=0.55.0-dev <0.55.0",
-    "@typespec/eslint-config-typespec": "~0.54.0 || >=0.55.0-dev <0.55.0",
-    "@typespec/eslint-plugin": "~0.54.0 || >=0.55.0-dev <0.55.0",
-    "@vitest/coverage-v8": "^1.2.2",
-    "@vitest/ui": "^1.2.2",
+    "@vitest/coverage-v8": "^1.4.0",
+    "@vitest/ui": "^1.4.0",
     "c8": "^9.1.0",
-    "eslint": "^8.56.0",
+    "eslint": "^8.57.0",
     "micromatch": "^4.0.5",
     "rimraf": "~5.0.5",
-    "typescript": "~5.3.3",
-    "vitest": "^1.2.2",
+    "typescript": "~5.4.3",
+    "vitest": "^1.4.0",
+    "@typespec/compiler": "~0.55.0",
+    "@typespec/eslint-plugin": "~0.55.0",
+    "@typespec/eslint-config-typespec": "~0.55.0",
     "@typespec/tspd": "~0.46.0"
   },
-  "dependencies": {},
   "scripts": {
     "clean": "rimraf ./dist ./temp",
-    "build": "tsc -p .",
+    "build": "npm run gen-extern-signature && tsc -p .",
     "watch": "tsc -p . --watch",
+    "gen-extern-signature": "tspd --enable-experimental gen-extern-signature .",
     "test": "vitest run",
     "test-official": "vitest run --coverage --reporter=junit --reporter=default --no-file-parallelism",
     "lint": "eslint . --ext .ts --max-warnings=0",

package/src/proto.ts

@@ -5,7 +5,6 @@ import {
   DecoratorContext,
   EmitContext,
   EmitOptionsFor,
-  EnumMember,
   Interface,
   Model,
   ModelProperty,
@@ -19,6 +18,13 @@ import {
   Type,
 } from "@typespec/compiler";
 
+import {
+  FieldDecorator,
+  MessageDecorator,
+  PackageDecorator,
+  ReserveDecorator,
+  StreamDecorator,
+} from "../generated-defs/TypeSpec.Protobuf.js";
 import { StreamingMode } from "./ast.js";
 import { ProtobufEmitterOptions, reportDiagnostic, state, TypeSpecProtobufLibrary } from "./lib.js";
 import { createProtobufEmitter } from "./transform/index.js";
@@ -67,9 +73,13 @@ export interface PackageDetails {
  * @param ctx - decorator context
  * @param target - target decorator namespace
  */
-export function $package(ctx: DecoratorContext, target: Namespace, details?: Model) {
+export const $package: PackageDecorator = (
+  ctx: DecoratorContext,
+  target: Namespace,
+  details?: Type
+) => {
   ctx.program.stateMap(state.package).set(target, details);
-}
+};
 
 /**
  * Determines whether a type represents a Protobuf map.
@@ -101,16 +111,16 @@ export function $externRef(
   ctx.program.stateMap(state.externRef).set(target, [path.value, name.value]);
 }
 
-export function $stream(ctx: DecoratorContext, target: Operation, mode: EnumMember) {
+export const $stream: StreamDecorator = (ctx: DecoratorContext, target: Operation, mode: Type) => {
   const emitStreamingMode = {
     Duplex: StreamingMode.Duplex,
     In: StreamingMode.In,
     Out: StreamingMode.Out,
     None: StreamingMode.None,
-  }[mode.name as string];
+  }[(mode as any).name as string];
 
   ctx.program.stateMap(state.stream).set(target, emitStreamingMode);
-}
+};
 
 function getTuple(program: Program, t: Type): [number, number] | null {
   if (t.kind !== "Tuple" || t.values.some((v) => v.kind !== "Number") || t.values.length !== 2) {
@@ -130,23 +140,23 @@ function getTuple(program: Program, t: Type): [number, number] | null {
 
 export type Reservation = string | number | ([number, number] & { type: Type });
 
-export function $reserve(
+export const $reserve: ReserveDecorator = (
   ctx: DecoratorContext,
-  target: Model,
-  ...reservations: readonly (Type | number | string)[]
-) {
+  target: Type,
+  ...reservations: readonly (unknown | number | string)[]
+) => {
   const finalReservations = reservations
     .map((reservation) =>
-      typeof reservation === "object" ? getTuple(ctx.program, reservation) : reservation
+      typeof reservation === "object" ? getTuple(ctx.program, reservation as Type) : reservation
     )
     .filter((v) => v != null);
 
   ctx.program.stateMap(state.reserve).set(target, finalReservations);
-}
+};
 
-export function $message(ctx: DecoratorContext, target: Model) {
+export const $message: MessageDecorator = (ctx: DecoratorContext, target: Type) => {
   ctx.program.stateSet(state.message).add(target);
-}
+};
 
 /**
  * Decorate a model property with a field index. Field indices are required for all fields of emitted messages.
@@ -156,7 +166,11 @@ export function $message(ctx: DecoratorContext, target: Model) {
  * @param fieldIndex
  * @returns
  */
-export function $field(ctx: DecoratorContext, target: ModelProperty, fieldIndex: number) {
+export const $field: FieldDecorator = (
+  ctx: DecoratorContext,
+  target: ModelProperty,
+  fieldIndex: number
+) => {
   if (!Number.isInteger(fieldIndex) || fieldIndex <= 0) {
     reportDiagnostic(ctx.program, {
       code: "field-index",
@@ -193,7 +207,7 @@ export function $field(ctx: DecoratorContext, target: ModelProperty, fieldIndex:
   }
 
   ctx.program.stateMap(state.fieldIndex).set(target, fieldIndex);
-}
+};
 
 /**
  * Emitter main function.