@azure-tools/typespec-azure-resource-manager 0.57.0-dev.4 → 0.57.0-dev.6

package/dist/generated-defs/Azure.ResourceManager.Private.d.ts

@@ -13,13 +13,6 @@ export type ResourceParameterBaseForDecorator = (context: DecoratorContext, targ
  * @param propertyName Name of the property to omit
  */
 export type ResourceBaseParametersOfDecorator = (context: DecoratorContext, target: Model, propertyName: Model) => void;
-/**
- * This decorator is used to identify Azure Resource Manager resource. In generated
- * swagger definition, it will be marked with `x-ms-azure-resource`.
- *
- * It is *not* meant to be used directly by a spec author,
- */
-export type AzureResourceBaseDecorator = (context: DecoratorContext, target: Model) => void;
 /**
  * Please DO NOT USE in RestAPI specs.
  * Internal decorator that deprecated direct usage of `x-ms-client-flatten` OpenAPI extension.
@@ -36,6 +29,13 @@ export type ConditionalClientFlattenDecorator = (context: DecoratorContext, targ
  * @param resource Resource model
  */
 export type AssignProviderNameValueDecorator = (context: DecoratorContext, target: ModelProperty, resource: Model) => void;
+/**
+ * This decorator is used to identify Azure Resource Manager resource. In generated
+ * swagger definition, it will be marked with `x-ms-azure-resource`.
+ *
+ * It is *not* meant to be used directly by a spec author,
+ */
+export type AzureResourceBaseDecorator = (context: DecoratorContext, target: Model) => void;
 /**
  * Update the Azure Resource Manager provider namespace for a given entity.
  */
@@ -63,7 +63,7 @@ export type DefaultResourceKeySegmentNameDecorator = (context: DecoratorContext,
  * Provides strict contraint type check.
  *
  * Due to TypeSpec language and all optional properties of `Foundations.Resource`,
- * the `Resource extends Foundations.Resource` on many of the standard ARM templates is
+ * the `Resource extends Foundations.SimpleResource` on many of the standard ARM templates is
  * essentially equal to `Resource extends {}` and does not enforce the containt.
  *
  * Note, this is intended for internal use only for now.
@@ -90,10 +90,10 @@ export type ArmBodyRootDecorator = (context: DecoratorContext, target: ModelProp
 export type AzureResourceManagerPrivateDecorators = {
     resourceParameterBaseFor: ResourceParameterBaseForDecorator;
     resourceBaseParametersOf: ResourceBaseParametersOfDecorator;
-    azureResourceBase: AzureResourceBaseDecorator;
     conditionalClientFlatten: ConditionalClientFlattenDecorator;
     omitIfEmpty: OmitIfEmptyDecorator;
     assignProviderNameValue: AssignProviderNameValueDecorator;
+    azureResourceBase: AzureResourceBaseDecorator;
     armUpdateProviderNamespace: ArmUpdateProviderNamespaceDecorator;
     armResourceInternal: ArmResourceInternalDecorator;
     defaultResourceKeySegmentName: DefaultResourceKeySegmentNameDecorator;

package/dist/generated-defs/Azure.ResourceManager.Private.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Azure.ResourceManager.Private.d.ts","sourceRoot":"","sources":["../../generated-defs/Azure.ResourceManager.Private.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAElG;;;;;GAKG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE,IAAI,KACT,IAAI,CAAC;AAEV;;;;;GAKG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,KAAK,EACb,YAAY,EAAE,KAAK,KAChB,IAAI,CAAC;AAEV;;;;;GAKG;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI,CAAC;AAE5F;;;;;;;GAOG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,KAClB,IAAI,CAAC;AAgBV;;;;;GAKG;AACH,MAAM,MAAM,gCAAgC,GAAG,CAC7C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,KAAK,KACZ,IAAI,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,mCAAmC,GAAG,CAChD,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,KACd,IAAI,CAAC;AAEV;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,4BAA4B,GAAG,CACzC,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,KAAK,EACb,UAAU,EAAE,KAAK,KACd,IAAI,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,sCAAsC,GAAG,CACnD,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,KAAK,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,KACZ,IAAI,CAAC;AAEV;;;;;;;;GAQG;AACH,MAAM,MAAM,0BAA0B,GAAG,CACvC,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,GAAG,KAAK,EACzB,UAAU,EAAE,KAAK,EACjB,cAAc,EAAE,KAAK,KAClB,IAAI,CAAC;AAEV;;;;;;;GAOG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,EACjB,YAAY,EAAE,KAAK,EACnB,cAAc,CAAC,EAAE,MAAM,EACvB,sBAAsB,CAAC,EAAE,MAAM,EAC/B,oBAAoB,CAAC,EAAE,OAAO,KAC3B,IAAI,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,yCAAyC,GAAG,CACtD,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,OAAO,KAChB,IAAI,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CACjC,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,OAAO,KAChB,IAAI,CAAC;AAEV,MAAM,MAAM,qCAAqC,GAAG;IAClD,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,iBAAiB,EAAE,0BAA0B,CAAC;IAC9C,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,WAAW,EAAE,oBAAoB,CAAC;IAClC,uBAAuB,EAAE,gCAAgC,CAAC;IAC1D,0BAA0B,EAAE,mCAAmC,CAAC;IAChE,mBAAmB,EAAE,4BAA4B,CAAC;IAClD,6BAA6B,EAAE,sCAAsC,CAAC;IACtE,iBAAiB,EAAE,0BAA0B,CAAC;IAC9C,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,gCAAgC,EAAE,yCAAyC,CAAC;IAC5E,WAAW,EAAE,oBAAoB,CAAC;CACnC,CAAC"}
+{"version":3,"file":"Azure.ResourceManager.Private.d.ts","sourceRoot":"","sources":["../../generated-defs/Azure.ResourceManager.Private.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAElG;;;;;GAKG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE,IAAI,KACT,IAAI,CAAC;AAEV;;;;;GAKG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,KAAK,EACb,YAAY,EAAE,KAAK,KAChB,IAAI,CAAC;AAEV;;;;;;;GAOG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,KAClB,IAAI,CAAC;AAgBV;;;;;GAKG;AACH,MAAM,MAAM,gCAAgC,GAAG,CAC7C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,KAAK,KACZ,IAAI,CAAC;AAEV;;;;;GAKG;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI,CAAC;AAE5F;;GAEG;AACH,MAAM,MAAM,mCAAmC,GAAG,CAChD,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,KACd,IAAI,CAAC;AAEV;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,4BAA4B,GAAG,CACzC,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,KAAK,EACb,UAAU,EAAE,KAAK,KACd,IAAI,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,sCAAsC,GAAG,CACnD,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,KAAK,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,KACZ,IAAI,CAAC;AAEV;;;;;;;;GAQG;AACH,MAAM,MAAM,0BAA0B,GAAG,CACvC,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,GAAG,KAAK,EACzB,UAAU,EAAE,KAAK,EACjB,cAAc,EAAE,KAAK,KAClB,IAAI,CAAC;AAEV;;;;;;;GAOG;AACH,MAAM,MAAM,iCAAiC,GAAG,CAC9C,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,SAAS,EACjB,YAAY,EAAE,KAAK,EACnB,cAAc,CAAC,EAAE,MAAM,EACvB,sBAAsB,CAAC,EAAE,MAAM,EAC/B,oBAAoB,CAAC,EAAE,OAAO,KAC3B,IAAI,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,yCAAyC,GAAG,CACtD,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,OAAO,KAChB,IAAI,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CACjC,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,OAAO,KAChB,IAAI,CAAC;AAEV,MAAM,MAAM,qCAAqC,GAAG;IAClD,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,WAAW,EAAE,oBAAoB,CAAC;IAClC,uBAAuB,EAAE,gCAAgC,CAAC;IAC1D,iBAAiB,EAAE,0BAA0B,CAAC;IAC9C,0BAA0B,EAAE,mCAAmC,CAAC;IAChE,mBAAmB,EAAE,4BAA4B,CAAC;IAClD,6BAA6B,EAAE,sCAAsC,CAAC;IACtE,iBAAiB,EAAE,0BAA0B,CAAC;IAC9C,wBAAwB,EAAE,iCAAiC,CAAC;IAC5D,gCAAgC,EAAE,yCAAyC,CAAC;IAC5E,WAAW,EAAE,oBAAoB,CAAC;CACnC,CAAC"}

package/lib/Legacy/operations.tsp

@@ -35,7 +35,7 @@ interface LegacyOperations<
   @Azure.Core.Foundations.Private.defaultFinalStateVia(#["location", "azure-async-operation"])
   @put
   CreateOrUpdateAsync<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+    Resource extends Foundations.SimpleResource,
     LroHeaders extends TypeSpec.Reflection.Model = ArmAsyncOperationHeader<FinalResult = Resource> &
       Azure.Core.Foundations.RetryAfterHeader,
     Parameters extends {} = {},
@@ -48,7 +48,7 @@ interface LegacyOperations<
     ...ParentParameters,
     ...ResourceTypeParameter,
     ...Parameters,
-    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) body: Resource,
+    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) resource: Resource,
   ): Response | ErrorType;
 
   /**
@@ -64,7 +64,7 @@ interface LegacyOperations<
   @armResourceCreateOrUpdate(Resource)
   @put
   CreateOrUpdateSync<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+    Resource extends Foundations.SimpleResource,
     Parameters extends {} = {},
     Response extends {} = ArmResourceUpdatedResponse<Resource> | ArmResourceCreatedSyncResponse<Resource>,
     OptionalRequestBody extends valueof boolean = false
@@ -72,7 +72,7 @@ interface LegacyOperations<
     ...ParentParameters,
     ...ResourceTypeParameter,
     ...Parameters,
-    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) body: Resource,
+    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) resource: Resource,
   ): Response | ErrorType;
 
   /**
@@ -89,7 +89,7 @@ interface LegacyOperations<
   @armResourceUpdate(Resource)
   @patch(#{ implicitOptionality: false })
   CustomPatchAsync<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+    Resource extends Foundations.SimpleResource,
     PatchModel extends {} = Azure.ResourceManager.Foundations.TagsUpdateModel<Resource>,
     LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader<
       Azure.Core.StatusMonitorPollingOptions<ArmOperationStatus>,
@@ -107,7 +107,7 @@ interface LegacyOperations<
     ...ParentParameters,
     ...ResourceTypeParameter,
     ...Parameters,
-    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) body: PatchModel,
+    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) properties: PatchModel,
   ): Response | ErrorType;
 
   /**
@@ -123,7 +123,7 @@ interface LegacyOperations<
   @armResourceUpdate(Resource)
   @patch(#{ implicitOptionality: false })
   CustomPatchSync<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+    Resource extends Foundations.SimpleResource,
     PatchModel extends {} = Azure.ResourceManager.Foundations.TagsUpdateModel<Resource>,
     Parameters extends {} = {},
     Response extends {} = ArmResponse<Resource>,
@@ -132,7 +132,7 @@ interface LegacyOperations<
     ...ParentParameters,
     ...ResourceTypeParameter,
     ...Parameters,
-    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) body: PatchModel,
+    @doc("Resource create parameters.") @armBodyRoot(OptionalRequestBody) properties: PatchModel,
   ): Response | ErrorType;
 
   /**
@@ -148,8 +148,8 @@ interface LegacyOperations<
   @delete
   @deletesResource(Resource)
   @armResourceDelete(Resource)
-  DeleteAsync<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+  DeleteWithoutOkAsync<
+    Resource extends Foundations.SimpleResource,
     LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader &
       Azure.Core.Foundations.RetryAfterHeader,
     Parameters extends {} = {},
@@ -169,7 +169,7 @@ interface LegacyOperations<
   @deletesResource(Resource)
   @armResourceDelete(Resource)
   DeleteSync<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+    Resource extends Foundations.SimpleResource,
     Parameters extends {} = {},
     Response extends {} = ArmDeletedResponse | ArmDeletedNoContentResponse
   >(...ParentParameters, ...ResourceTypeParameter, ...Parameters): Response | ErrorType;
@@ -186,7 +186,7 @@ interface LegacyOperations<
   @readsResource(Resource)
   @armResourceRead(Resource)
   Read<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+    Resource extends Foundations.SimpleResource,
     Parameters extends {} = {},
     Response extends {} = ArmResponse<Resource>
   >(...ParentParameters, ...ResourceTypeParameter, ...Parameters): Response | ErrorType;
@@ -204,7 +204,7 @@ interface LegacyOperations<
   @segmentOf(Resource)
   @armResourceList(Resource)
   List<
-    Resource extends Azure.ResourceManager.CommonTypes.Resource,
+    Resource extends Foundations.SimpleResource,
     Parameters extends {} = {},
     Response extends {} = ArmResponse<ResourceListResult<Resource>>
   >(...ParentParameters, ...Parameters): Response | ErrorType;
@@ -224,7 +224,7 @@ interface LegacyOperations<
   @post
   @returnsDoc("Azure operation completed successfully.")
   ActionSync<
-    Resource extends Foundations.Resource,
+    Resource extends Foundations.SimpleResource,
     Request extends TypeSpec.Reflection.Model | void,
     Response extends TypeSpec.Reflection.Model | void,
     Parameters extends {} = {},
@@ -256,7 +256,7 @@ interface LegacyOperations<
   @post
   @returnsDoc("Azure operation completed successfully.")
   ActionAsync<
-    Resource extends Foundations.Resource,
+    Resource extends Foundations.SimpleResource,
     Request extends TypeSpec.Reflection.Model | void,
     Result extends TypeSpec.Reflection.Model | void,
     LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader<
@@ -306,7 +306,7 @@ model Provider<Resource extends {} = TenantActionScope> {
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @patch(#{ implicitOptionality: true })
 op CustomPatchAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   PatchModel extends TypeSpec.Reflection.Model = TagsUpdateModel<Resource>,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader<
@@ -346,7 +346,7 @@ op CustomPatchAsync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @patch(#{ implicitOptionality: true })
 op CustomPatchSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   PatchModel extends TypeSpec.Reflection.Model = TagsUpdateModel<Resource>,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},

package/lib/arm.tsp

@@ -28,6 +28,21 @@ namespace Azure.ResourceManager;
 
 /**
  * Supported versions of Azure.ResourceManager building blocks.
+ *
+ * @example
+ * ```typespec
+ * enum Versions {
+ *  @useDependency(Azure.ResourceManager.Versions.v1_0_Preview_1)
+ *  @useDependency(Azure.Core.Versions.v1_0_Preview_2)
+ *  @armCommonTypesVersion(Azure.ResourceManager.CommonTypes.Versions.v5)
+ *  v2021_10_01_preview: "2021-10-01-preview",
+ *
+ *  @useDependency(Azure.ResourceManager.Versions.v1_0_Preview_1)
+ *  @useDependency(Azure.Core.Versions.v1_0_Preview_2)
+ *  @armCommonTypesVersion(Azure.ResourceManager.CommonTypes.Versions.v5)
+ *  v2021_11_01: "2021-11-01",
+ * }
+ * ```
  */
 @doc("Supported versions of Azure.ResourceManager building blocks.")
 enum Versions {

package/lib/common-types/types.tsp

@@ -298,7 +298,7 @@ model ErrorAdditionalInfo {
 
   /** The additional info. */
   @visibility(Lifecycle.Read)
-  info?: {};
+  info?: unknown;
 }
 
 /**
@@ -473,6 +473,13 @@ model LocationData {
 
 /**
  * The default api-version parameter type.
+ *
+ * @example
+ * ```typespec
+ * model Employee is TrackedResource<EmployeeProperties> {
+ *  ...ResourceNameParameter<Employee>;
+ * }
+ * ```
  */
 model ApiVersionParameter {
   /** The API version to use for this operation. */
@@ -493,6 +500,16 @@ model OperationIdParameter {
 
 /**
  * The default location parameter type.
+ *
+ * @example
+ * ```typespec
+ * op employee is ArmProviderActionSync<
+ *  Request = Employee,
+ *  Response = Employee,
+ *  Scope = SubscriptionActionScope,
+ *  Parameters = LocationParameter
+ * >;
+ * ```
  */
 model LocationParameter {
   /** The name of Azure region. */

package/lib/foundations/arm.foundations.tsp

@@ -99,7 +99,7 @@ model ExtensionBaseParameters is TenantBaseParameters {
 @doc("The updatable properties of the {name}.", Resource)
 @friendlyName("{name}UpdateProperties", Resource)
 model ResourceUpdateModelProperties<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 > is OptionalProperties<UpdateableProperties<Properties>>;
 
@@ -113,7 +113,7 @@ model ResourceUpdateModelProperties<
 @friendlyName("{name}Update", Resource)
 @omitIfEmpty("properties")
 model ResourceUpdateModel<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 >
   is OptionalProperties<UpdateableProperties<OmitProperties<
@@ -131,47 +131,47 @@ model ResourceUpdateModel<
  */
 @doc("The type used for updating tags in {name} resources.", Resource)
 @friendlyName("{name}TagsUpdate", Resource)
-model TagsUpdateModel<Resource extends Foundations.Resource> {
+model TagsUpdateModel<Resource extends Foundations.SimpleResource> {
   ...ArmTagsProperty;
 }
 
 // Tenant resource operation definitions
 
-alias TenantParentScope<Resource extends Foundations.Resource> = TenantScope<Resource>;
+alias TenantParentScope<Resource extends Foundations.SimpleResource> = TenantScope<Resource>;
 
 /**
  * Parameter model for listing a resource at the tenant scope
  * @template Resource The type of the resource.
  */
-model TenantScope<Resource extends Foundations.Resource>
+model TenantScope<Resource extends Foundations.SimpleResource>
   is ResourceParentParameters<Resource, TenantBaseParameters>;
 
 /**
  * Parameter model for listing a resource at the subscription scope
  * @template Resource The type of the resource.
  */
-model SubscriptionScope<Resource extends Foundations.Resource>
+model SubscriptionScope<Resource extends Foundations.SimpleResource>
   is ResourceParentParameters<Resource, SubscriptionBaseParameters>;
 
 /**
  * Parameter model for listing a resource at the location scope
  * @template Resource The type of the resource.
  */
-model LocationScope<Resource extends Foundations.Resource>
+model LocationScope<Resource extends Foundations.SimpleResource>
   is ResourceParentParameters<Resource, LocationBaseParameters>;
 
 /**
  * Parameter model for listing an extension resource
  * @template Resource The type of the resource.
  */
-model ExtensionScope<Resource extends Foundations.Resource>
+model ExtensionScope<Resource extends Foundations.SimpleResource>
   is ResourceParentParameters<Resource, ExtensionBaseParameters>;
 
 /**
  * Parameter model for listing a resource at the resource group scope
  * @template Resource The type of the resource.
  */
-model ResourceGroupScope<Resource extends Foundations.Resource>
+model ResourceGroupScope<Resource extends Foundations.SimpleResource>
   is ResourceParentParameters<Resource>;
 
 /**
@@ -182,13 +182,30 @@ model ResourceGroupScope<Resource extends Foundations.Resource>
 @doc("The type used for update operations of the {name}.", Resource)
 @friendlyName("{name}Update", Resource)
 model ProxyResourceUpdateModel<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 > {
   @conditionalClientFlatten
   properties?: ResourceUpdateModelProperties<Resource, Properties>;
 }
 
+/** A base definition of a resource using simple types.  This
+ * model should only be used as a constraint for other models.
+ */
+model SimpleResource {
+  /** The resource identifier */
+  id?: string;
+
+  /** The resource name */
+  name?: string;
+
+  /** The resource type */
+  type?: string;
+
+  /** readonly data about the resource */
+  systemData?: unknown;
+}
+
 alias DefaultProviderNamespace = {
   @path
   @TypeSpec.Rest.segment("providers")

package/lib/interfaces.tsp

@@ -42,7 +42,7 @@ interface Operations {
  */
 #deprecated "Use Azure.ResourceManager.TrackedResourceOperations instead"
 interface ResourceOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>
 > extends TrackedResourceOperations<Resource, Properties, BaseParameters> {}
@@ -58,7 +58,7 @@ interface ResourceOperations<
  *
  */
 interface TrackedResourceOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>
 >
@@ -78,7 +78,7 @@ interface TrackedResourceOperations<
  */
 #suppress "deprecated" "This should be deprecated in a future release"
 interface ProxyResourceOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 >
   extends ResourceRead<Resource, BaseParameters>,
@@ -99,7 +99,7 @@ interface ProxyResourceOperations<
  */
 #suppress "deprecated" "This should be deprecated in a future release"
 interface TenantResourceOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 >
   extends TenantResourceRead<Resource>,
@@ -117,7 +117,7 @@ interface TenantResourceOperations<
  */
 #suppress "deprecated" "This should be deprecated in a future release"
 interface ResourceInstanceOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>,
   PatchModel = ResourceUpdateModel<Resource, Properties>
@@ -133,7 +133,7 @@ interface ResourceInstanceOperations<
  * @template BaseParameters The http parameters that are part of the request
  */
 interface ResourceCollectionOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > extends ResourceListByParent<Resource, BaseParameters>, ResourceListBySubscription<Resource> {}
 
@@ -141,7 +141,7 @@ interface ResourceCollectionOperations<
  * An interface for resources with can be listed by subscription.
  * @template Resource The ArmResource that provides these operations
  */
-interface ResourceListBySubscription<Resource extends Foundations.Resource> {
+interface ResourceListBySubscription<Resource extends Foundations.SimpleResource> {
   /**
    * @dev List resources by subscription.
    * @template Resource The ArmResource to list.
@@ -157,7 +157,7 @@ interface ResourceListBySubscription<Resource extends Foundations.Resource> {
  * @template ParentFriendlyName The friendly name of the parent resource
  */
 interface ResourceListByParent<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   ParentName extends valueof string = "",
   ParentFriendlyName extends valueof string = ""
@@ -179,7 +179,7 @@ interface ResourceListByParent<
  * @template BaseParameters The http parameters that are part of the request
  */
 interface ResourceRead<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
   /**
@@ -196,7 +196,7 @@ interface ResourceRead<
  * @template BaseParameters The http parameters that are part of the request
  */
 interface ResourceCreateSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
   /**
@@ -213,7 +213,7 @@ interface ResourceCreateSync<
  * @template BaseParameters The http parameters that are part of the request
  */
 interface ResourceCreateAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
   /**
@@ -233,7 +233,7 @@ interface ResourceCreateAsync<
 #deprecated "This should be deprecated in a future release"
 @doc("Delete a resource using the asynchronous call pattern")
 interface ResourceDeleteAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
   /**
@@ -251,7 +251,7 @@ interface ResourceDeleteAsync<
  */
 @doc("Delete a resource using the asynchronous call pattern")
 interface ResourceDeleteWithoutOkAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
   /**
@@ -269,7 +269,7 @@ interface ResourceDeleteWithoutOkAsync<
  */
 @doc("Delete a resource")
 interface ResourceDeleteSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
   /**
@@ -288,7 +288,7 @@ interface ResourceDeleteSync<
  */
 @doc("Asynchronous resource update")
 interface ResourceUpdateAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
@@ -313,7 +313,7 @@ interface ResourceUpdateAsync<
  */
 @doc("Synchronous resource update")
 interface ResourceUpdateSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
@@ -333,7 +333,7 @@ interface ResourceUpdateSync<
  */
 #suppress "deprecated" "This should be deprecated in a future release"
 interface ExtensionResourceInstanceOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 >
   extends ExtensionResourceRead<Resource>,
@@ -345,7 +345,7 @@ interface ExtensionResourceInstanceOperations<
  * A composite interface for resource collections that include a paginated list operation.
  * @template Resource The ArmResource that provides these operations
  */
-interface ExtensionResourceCollectionOperations<Resource extends Foundations.Resource>
+interface ExtensionResourceCollectionOperations<Resource extends Foundations.SimpleResource>
   extends ExtensionResourceList<Resource> {}
 
 /**
@@ -354,84 +354,84 @@ interface ExtensionResourceCollectionOperations<Resource extends Foundations.Res
  * @template Properties RP-specific property bag for the resource
  */
 interface ExtensionResourceOperations<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 >
   extends ExtensionResourceInstanceOperations<Resource, Properties>,
     ExtensionResourceCollectionOperations<Resource> {}
 
 alias ResourceCreate<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > = ResourceCreateAsync<Resource, BaseParameters>;
 
 alias ResourceUpdate<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>
 > = ResourceUpdateSync<Resource, Properties, BaseParameters>;
 
 #suppress "deprecated" "This should be deprecated in a future release"
 alias ResourceDelete<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > = ResourceDeleteAsync<Resource, BaseParameters>;
 
 alias ProxyResourceUpdate<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 > = ResourceUpdate<Resource, Properties>;
 
-alias ExtensionResourceRead<Resource extends Foundations.Resource> = ResourceRead<
+alias ExtensionResourceRead<Resource extends Foundations.SimpleResource> = ResourceRead<
   Resource,
   ExtensionBaseParameters
 >;
 
-alias ExtensionResourceCreate<Resource extends Foundations.Resource> = ResourceCreate<
+alias ExtensionResourceCreate<Resource extends Foundations.SimpleResource> = ResourceCreate<
   Resource,
   ExtensionBaseParameters
 >;
 
 alias ExtensionResourceUpdate<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 > = ResourceUpdate<Resource, Properties, ExtensionBaseParameters>;
 
 #suppress "deprecated" "This should be deprecated in a future release"
-alias ExtensionResourceDelete<Resource extends Foundations.Resource> = ResourceDelete<
+alias ExtensionResourceDelete<Resource extends Foundations.SimpleResource> = ResourceDelete<
   Resource,
   ExtensionBaseParameters
 >;
 
-alias ExtensionResourceList<Resource extends Foundations.Resource> = ResourceListByParent<
+alias ExtensionResourceList<Resource extends Foundations.SimpleResource> = ResourceListByParent<
   Resource,
   ExtensionBaseParameters,
   "Extension",
   "parent"
 >;
 
-alias TenantResourceRead<Resource extends Foundations.Resource> = ResourceRead<
+alias TenantResourceRead<Resource extends Foundations.SimpleResource> = ResourceRead<
   Resource,
   TenantBaseParameters
 >;
 
-alias TenantResourceCreate<Resource extends Foundations.Resource> = ResourceCreateAsync<
+alias TenantResourceCreate<Resource extends Foundations.SimpleResource> = ResourceCreateAsync<
   Resource,
   TenantBaseParameters
 >;
 
 #suppress "deprecated" "This should be deprecated in a future release"
-alias TenantResourceDelete<Resource extends Foundations.Resource> = ResourceDelete<
+alias TenantResourceDelete<Resource extends Foundations.SimpleResource> = ResourceDelete<
   Resource,
   TenantBaseParameters
 >;
 
 alias TenantResourceUpdate<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model
 > = ResourceUpdate<Resource, Properties, TenantBaseParameters>;
 
-alias TenantResourceListByParent<Resource extends Foundations.Resource> = ResourceListByParent<
+alias TenantResourceListByParent<Resource extends Foundations.SimpleResource> = ResourceListByParent<
   Resource,
   TenantBaseParameters,
   "Tenant",

package/lib/models.tsp

@@ -19,9 +19,21 @@ namespace Azure.ResourceManager;
  * @template SegmentName Override default segment name of the resource.
  * @template NamePattern The RegEx pattern of the name. Default is `^[a-zA-Z0-9-]{3,24}$`.
  * @template Type The type of the name property. Default type is string. However you can pass an union with string values.
+ *
+ * @example
+ * ```typespec
+ * model Employee is TrackedResource<EmployeeProperties> {
+ *  ...ResourceNameParameter<
+ *    Resource = Employee,
+ *    KeyName = "employeeName",
+ *    SegmentName = "employees",
+ *    NamePattern = "^[^<>%&:?#/\\\\]+$"
+ *  >;
+ * }
+ * ```
  */
 model ResourceNameParameter<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   KeyName extends valueof string = "",
   SegmentName extends valueof string = "",
   NamePattern extends valueof string = "^[a-zA-Z0-9-]{3,24}$",
@@ -41,6 +53,13 @@ model ResourceNameParameter<
  * See more details on [different Azure Resource Manager resource type here.](https://azure.github.io/typespec-azure/docs/howtos/ARM/resource-type)
  * @template Properties A model containing the provider-specific properties for this resource
  * @template PropertiesOptional A boolean flag indicating whether the resource `Properties` field is marked as optional or required. Default true is optional and recommended.
+ *
+ * @example
+ * ```typespec
+ * model Employee is TrackedResource<EmployeeProperties> {
+ *  ...ResourceNameParameter<Employee>
+ * }
+ * ```
  */
 @doc("Concrete tracked resource types can be created by aliasing this type using a specific property type.")
 @armResourceInternal(Properties)
@@ -59,6 +78,13 @@ model TrackedResource<Properties extends {}, PropertiesOptional extends valueof
  * See more details on [different Azure Resource Manager resource type here.](https://azure.github.io/typespec-azure/docs/howtos/ARM/resource-type)
  * @template Properties A model containing the provider-specific properties for this resource
  * @template PropertiesOptional A boolean flag indicating whether the resource `Properties` field is marked as optional or required. Default true is optional and recommended.
+ *
+ * @example
+ * ```typespec
+ * model Employee is ProxyResource<EmployeeProperties> {
+ *  ...ResourceNameParameter<Employee>;
+ * }
+ * ```
  */
 @doc("Concrete proxy resource types can be created by aliasing this type using a specific property type.")
 @armResourceInternal(Properties)
@@ -77,6 +103,18 @@ model ProxyResource<Properties extends {}, PropertiesOptional extends valueof bo
  * See more details on [different Azure Resource Manager resource type here.](https://azure.github.io/typespec-azure/docs/howtos/ARM/resource-type)
  * @template Properties A model containing the provider-specific properties for this resource
  * @template PropertiesOptional A boolean flag indicating whether the resource `Properties` field is marked as optional or required. Default true is optional and recommended.
+ *
+ * @example
+ * ```typespec
+ * model PetInstance is ExtensionResource<PetProperties> {
+ *  @key
+ *  @path
+ *  @segment("petInstances")
+ *  @pattern("^[a-zA-Z0-9-]{3,24}$")
+ *  @visibility(Lifecycle.Read)
+ *  name: string;
+ * }
+ * ```
  */
 @extensionResource
 @doc("Concrete extension resource types can be created by aliasing this type using a specific property type.")
@@ -290,10 +328,19 @@ model ResourceKindProperty {
 /**
  * Paged response containing resources
  * @template Resource The type of the values returned in the paged response (must be a resource)
+ *
+ * @example
+ * ```typespec
+ * op list is ArmResourceActionSync<
+ *  Resource = Employee,
+ *  Request = void,
+ *  Response = ResourceListResult<Employee>
+ * >;
+ * ```
  */
 @doc("The response of a {name} list operation.", Resource)
 @friendlyName("{name}ListResult", Resource)
-model ResourceListResult<Resource extends Foundations.Resource> is Azure.Core.Page<Resource>;
+model ResourceListResult<Resource extends Foundations.SimpleResource> is Azure.Core.Page<Resource>;
 
 /**
  * Paged response containing results
@@ -396,10 +443,11 @@ model EncryptionProperty {
 /**
  * Model representing the standard `zones` envelope property for a resource.
  * Spread this model into a resource Model if the resource supports ARM `zones`.
+ *
  * @example
- * ```typescript
+ * ```typespec
  * model Foo is TrackedResource<FooProperties> {
- *   ...AvailabilityZonesProperty;
+ *  ...AvailabilityZonesProperty;
  * }
  * ```
  */

package/lib/operations.tsp

@@ -22,7 +22,7 @@ namespace Azure.ResourceManager;
 @get
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmListBySubscription<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Parameters extends {} = {},
   Response extends {} = ArmResponse<ResourceListResult<Resource>>,
   Error extends {} = ErrorResponse
@@ -46,7 +46,7 @@ op ArmListBySubscription<
 @armResourceList(Resource)
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceListByParent<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   ParentName extends valueof string = "",
   ParentFriendlyName extends valueof string = "",
@@ -75,7 +75,7 @@ op ArmResourceListByParent<
 @armResourceList(Resource)
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceListAtScope<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},
   Response extends {} = ArmResponse<ResourceListResult<Resource>>,
@@ -149,7 +149,7 @@ op ArmResourceCheckExistence<
 @Azure.Core.Foundations.Private.defaultFinalStateVia(#["location", "azure-async-operation"])
 @put
 op ArmResourceCreateOrUpdateAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmAsyncOperationHeader<FinalResult = Resource> &
     Azure.Core.Foundations.RetryAfterHeader,
@@ -181,7 +181,7 @@ op ArmResourceCreateOrUpdateAsync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @put
 op ArmResourceCreateOrUpdateSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},
   Response extends {} = ArmResponse<Resource>,
@@ -207,7 +207,7 @@ op ArmResourceCreateOrUpdateSync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @put
 op ArmResourceCreateOrReplaceSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},
   Response extends {} = ArmResourceUpdatedResponse<Resource> | ArmResourceCreatedSyncResponse<Resource>,
@@ -230,7 +230,7 @@ op ArmResourceCreateOrReplaceSync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceCreateOrReplaceAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmAsyncOperationHeader<FinalResult = Resource> &
     Azure.Core.Foundations.RetryAfterHeader,
@@ -259,7 +259,7 @@ op ArmResourceCreateOrReplaceAsync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmTagsPatchAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends {} = TagsUpdateModel<Resource>,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader<
@@ -287,7 +287,7 @@ op ArmTagsPatchAsync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourcePatchAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader<
@@ -315,7 +315,7 @@ op ArmResourcePatchAsync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @patch(#{ implicitOptionality: true })
 op ArmCustomPatchAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   PatchModel extends TypeSpec.Reflection.Model = TagsUpdateModel<Resource>,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader<
@@ -345,7 +345,7 @@ op ArmCustomPatchAsync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmTagsPatchSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {}
 > is ArmCustomPatchSync<Resource, TagsUpdateModel<Resource>, BaseParameters, Parameters>;
@@ -359,7 +359,7 @@ op ArmTagsPatchSync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourcePatchSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Properties extends TypeSpec.Reflection.Model,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {}
@@ -380,7 +380,7 @@ op ArmResourcePatchSync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @patch(#{ implicitOptionality: true })
 op ArmCustomPatchSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   PatchModel extends TypeSpec.Reflection.Model = TagsUpdateModel<Resource>,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},
@@ -407,7 +407,7 @@ op ArmCustomPatchSync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @delete
 op ArmResourceDeleteAsyncBase<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Response,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},
@@ -426,7 +426,7 @@ op ArmResourceDeleteAsyncBase<
 #deprecated "Use 'ArmResourceDeleteWithoutOkAsync' instead"
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceDeleteAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader &
     Azure.Core.Foundations.RetryAfterHeader,
@@ -446,7 +446,7 @@ op ArmResourceDeleteAsync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceDeleteWithoutOkAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader &
     Azure.Core.Foundations.RetryAfterHeader,
@@ -469,7 +469,7 @@ op ArmResourceDeleteWithoutOkAsync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @delete
 op ArmResourceDeleteSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},
   Response extends {} = ArmDeletedResponse | ArmDeletedNoContentResponse,
@@ -491,7 +491,7 @@ op ArmResourceDeleteSync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @post
 op ArmResourceActionAsyncBase<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Request extends TypeSpec.Reflection.Model | void,
   Response extends TypeSpec.Reflection.Model | void,
   BaseParameters extends TypeSpec.Reflection.Model,
@@ -521,7 +521,7 @@ op ArmResourceActionAsyncBase<
 @returnsDoc("Azure operation completed successfully.")
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceActionAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Request extends TypeSpec.Reflection.Model | void,
   Response extends TypeSpec.Reflection.Model | void,
   BaseParameters extends TypeSpec.Reflection.Model = DefaultBaseParameters<Resource>,
@@ -560,7 +560,7 @@ op ArmResourceActionAsync<
 @post
 @returnsDoc("Azure operation completed successfully.")
 op ArmResourceActionSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Request extends TypeSpec.Reflection.Model | void,
   Response extends TypeSpec.Reflection.Model | void,
   BaseParameters = DefaultBaseParameters<Resource>,
@@ -588,7 +588,7 @@ op ArmResourceActionSync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceActionNoContentAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Request extends TypeSpec.Reflection.Model | void,
   BaseParameters extends TypeSpec.Reflection.Model = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader &
@@ -621,7 +621,7 @@ op ArmResourceActionNoContentAsync<
  */
 @Private.enforceConstraint(Resource, Foundations.Resource)
 op ArmResourceActionNoResponseContentAsync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Request extends TypeSpec.Reflection.Model | void,
   BaseParameters extends TypeSpec.Reflection.Model = DefaultBaseParameters<Resource>,
   LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader<
@@ -657,7 +657,7 @@ op ArmResourceActionNoResponseContentAsync<
 @Private.enforceConstraint(Resource, Foundations.Resource)
 @post
 op ArmResourceActionNoContentSync<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   Request extends TypeSpec.Reflection.Model | void,
   BaseParameters = DefaultBaseParameters<Resource>,
   Parameters extends {} = {},

package/lib/parameters.tsp

@@ -53,12 +53,28 @@ model LocationResourceParameter {
 /**
  * The location resource for tenant-based locations.  This can be used as a parent
  * resource for resource types that are homed in a tenant-based location.
+ *
+ * @example
+ * ```typespec
+ * @parentResource(TenantLocationResource)
+ * model Employee is TrackedResource<EmployeeProperties> {
+ *  ...ResourceNameParameter<Employee>
+ * }
+ * ```
  */
 model TenantLocationResource is ArmLocationResource<"Tenant">;
 
 /**
  * The location resource for subscription-based locations.  This can be used as a parent
  * resource for resource types that are homed in a subscription-based location.
+ *
+ * @example
+ * ```typespec
+ * @parentResource(SubscriptionLocationResource)
+ * model Employee is TrackedResource<EmployeeProperties> {
+ *  ...ResourceNameParameter<Employee>;
+ * }
+ * ```
  */
 model SubscriptionLocationResource is ArmLocationResource<"Subscription">;
 
@@ -72,6 +88,14 @@ model ResourceGroupLocationResource is ArmLocationResource<"ResourceGroup">;
  * Template for ARM location resources.  Use the parameter to specify
  * the parent of the location resource.
  * @template BaseType The parent of the location, one of "Subscription", "Tenant", "ResourceGroup", or "Extension".
+ *
+ * @example
+ * ```typespec
+ * @parentResource(ArmLocationResource<"ResourceGroup">)
+ * model Employee is TrackedResource<EmployeeProperties> {
+ *  ...ResourceNameParameter<Employee>;
+ * }
+ * ```
  */
 @friendlyName("Location")
 @armVirtualResource
@@ -87,6 +111,13 @@ model ArmLocationResource<BaseType extends
 
 /**
  * The default resourceUri parameter type.
+ *
+ * @example
+ * ```typespec
+ * model Employee {
+ *  ...ResourceUriParameter;
+ * }
+ * ```
  */
 @doc("The default resourceUri parameter type.")
 model ResourceUriParameter {
@@ -101,6 +132,13 @@ model ResourceUriParameter {
  * where the resource is based.  The default is in a resource group
  * @template Resource The resource to get parameters for
  * @template BaseParameters The parameters representing the base Uri of the resource
+ *
+ * @example
+ * ```typespec
+ * op get(
+ *  ...ResourceInstanceParameters<Employee>,
+ * ): ArmResponse<EmployeeResponse> | ErrorResponse;
+ * ```
  */
 model ResourceInstanceParameters<
   Resource extends {},
@@ -118,7 +156,7 @@ model ResourceInstanceParameters<
  * @template BaseParameters The parameters representing the base Uri of the resource
  */
 model ResourceParentParameters<
-  Resource extends Foundations.Resource,
+  Resource extends Foundations.SimpleResource,
   BaseParameters = DefaultBaseParameters<Resource>
 > {
   ...BaseParameters;
@@ -130,7 +168,7 @@ model ResourceParentParameters<
  * The dynamic parameters of a list call for an extension resource instance.
  * @template Resource The extension resource
  */
-alias ExtensionResourceInstanceParameters<Resource extends Foundations.Resource> = ResourceInstanceParameters<
+alias ExtensionResourceInstanceParameters<Resource extends Foundations.SimpleResource> = ResourceInstanceParameters<
   Resource,
   ExtensionBaseParameters
 >;
@@ -139,13 +177,18 @@ alias ExtensionResourceInstanceParameters<Resource extends Foundations.Resource>
  * The dynamic parameters of a list call for a tenant resource instance.
  * @template Resource the tenant resource
  */
-alias TenantInstanceParameters<Resource extends Foundations.Resource> = ResourceInstanceParameters<
+alias TenantInstanceParameters<Resource extends Foundations.SimpleResource> = ResourceInstanceParameters<
   Resource,
   TenantBaseParameters
 >;
 
 /**
  * Template used by ArmProviderAction templates.
+ *
+ * @example
+ * ```typespec
+ * op action is ArmProviderActionSync<Response = Employee, Scope = SubscriptionActionScope>;
+ * ```
  */
 @armVirtualResource
 @subscriptionResource
@@ -160,6 +203,11 @@ model SubscriptionActionScope {
 
 /**
  * Template used by ArmTenantAction templates.
+ *
+ *  @example
+ * ```typespec
+ * op action is ArmProviderActionSync<Response = Employee, Scope = TenantActionScope>;
+ * ```
  */
 @armVirtualResource
 @tenantResource

package/lib/private.decorators.tsp

@@ -60,7 +60,7 @@ extern dec defaultResourceKeySegmentName(
  * Provides strict contraint type check.
  *
  * Due to TypeSpec language and all optional properties of `Foundations.Resource`,
- * the `Resource extends Foundations.Resource` on many of the standard ARM templates is
+ * the `Resource extends Foundations.SimpleResource` on many of the standard ARM templates is
  * essentially equal to `Resource extends {}` and does not enforce the containt.
  *
  * Note, this is intended for internal use only for now.

package/lib/responses.tsp

@@ -10,6 +10,11 @@ namespace Azure.ResourceManager;
 /**
  * The Azure Resource Manager synchronous OK response
  * @template ResponseBody The contents of the response body
+ *
+ * @example
+ * ```typespec
+ *  op get is ArmResourceRead<Employee, Response = ArmResponse<Employee>>;
+ * ```
  */
 @doc("Azure operation completed successfully.")
 model ArmResponse<ResponseBody> {
@@ -24,6 +29,15 @@ model ArmResponse<ResponseBody> {
  * The Azure Resource Manager 201 response for a resource
  * @template ResponseBody The contents of the response body
  * @template ExtraHeaders Additional headers in the response. Default includes Retry-After header
+ *
+ * @example
+ * ```typespec
+ * @post
+ * op post(...ResourceInstanceParameters<Employee>): ArmCreatedResponse<
+ *   Employee,
+ *   ExtraHeaders = {@header("x-ms-client-request-id") clientRequestId: string}
+ * >;
+ * ```
  */
 @doc("Azure create operation completed successfully.")
 model ArmCreatedResponse<
@@ -37,6 +51,15 @@ model ArmCreatedResponse<
 
 /**
  * The response for synchronous delete of a resource
+ *
+ * @example
+ * ```typespec
+ *  @delete
+ *  @armResourceDelete(Employee)
+ * op delete(
+ *    ...ResourceInstanceParameters<Employee>,
+ *  ): ArmDeletedResponse | ArmDeletedNoContentResponse | ErrorResponse;
+ * ```
  */
 @doc("Resource deleted successfully.")
 model ArmDeletedResponse {
@@ -46,6 +69,14 @@ model ArmDeletedResponse {
 /**
  * @dev The response for asynchronous Azure Resource Manager delete ACCEPTED
  * @template LroHeaders Optional.  Allows overriding the Lro headers returned in the response.
+ *
+ * @example
+ * ```typespec
+ * op delete is ArmResourceDeleteWithoutOkAsync<
+ *  Employee,
+ *  Response = ArmDeleteAcceptedLroResponse | ArmDeletedNoContentResponse
+ *>;
+ * ```
  */
 model ArmDeleteAcceptedLroResponse<LroHeaders extends TypeSpec.Reflection.Model = ArmLroLocationHeader &
   Azure.Core.Foundations.RetryAfterHeader>
@@ -60,6 +91,15 @@ model ArmDeleteAcceptedResponse is ArmAcceptedResponse<"Resource deletion accept
  * @dev The standard ACCEPTED response
  * @template Message The description of the response status (defaults to `Resource operation accepted`)
  * @template ExtraHeaders Additional headers in the response. Default includes Retry-After header
+ *
+ * @example
+ * ```typespec
+ * op post is ArmProviderActionSync<
+ *  Request = Employee,
+ *  Response = ArmAcceptedResponse<ExtraHeaders = ArmLroLocationHeader>,
+ *  Scope = SubscriptionActionScope
+ * >;
+ * ```
  */
 @doc(Message)
 model ArmAcceptedResponse<
@@ -74,6 +114,17 @@ model ArmAcceptedResponse<
  * @dev The standard Azure Resource Manager response for asynchronous PATCH, POST, and DELETE operations
  * @template Description The description of the response status (defaults to `Resource operation accepted`)
  * @template LroHeaders Optional.  The lro headers that appear in the Accepted response
+ *
+ * @example
+ * ```typespec
+ * @post
+ * op post(
+ *  ...ResourceInstanceParameters<Employee>,
+ * ): ArmAcceptedLroResponse<
+ *    LroHeaders = ArmLroLocationHeader<FinalResult = Employee> &
+ *    Azure.Core.Foundations.RetryAfterHeader
+ * > | ErrorResponse;
+ * ```
  */
 @doc(Description)
 model ArmAcceptedLroResponse<
@@ -134,6 +185,16 @@ model ArmOperationStatus<
  *  @template StatusMonitor The status monitor type for lro polling
  *  @template UrlValue The value type of the Azure-AsyncOperation header
  *  @template FinalResult The logical final result of the operation
+ *
+ * @example
+ * ```typespec
+ * op changeWidget is ArmResourceActionAsync<
+ *  WidgetResource,
+ *  WidgetResourceRequest,
+ *  WidgetResourceResponse,
+ *  LroHeaders = ArmAsyncOperationHeader<FinalResult = WidgetResource>
+ * >;
+ * ```
  */
 model ArmAsyncOperationHeader<
   StatusMonitor extends {} = ArmOperationStatus,
@@ -152,6 +213,19 @@ model ArmAsyncOperationHeader<
  * @template LroPollingOptions The polling options when polling the url in the location header
  * @template FinalResult The ultimate final result of the logical operation
  * @template UrlValue The value type for the location header
+ * 
+ * @example
+ * ```typespec
+ * op update is ArmResourceActionAsync<
+ *  Employee,
+ *  Employee,
+ *  OkResponse,
+ *  LroHeaders = ArmLroLocationHeader<
+ *    Azure.Core.StatusMonitorPollingOptions<ArmOperationStatus>,
+ *    Employee
+ *  >
+  >;
+ * ```
  */
 model ArmLroLocationHeader<
   LroPollingOptions extends Azure.Core.PollingOptions = Azure.Core.StatusMonitorPollingOptions<PollingModel = ArmOperationStatus>,
@@ -171,6 +245,14 @@ model ArmLroLocationHeader<
  * @template FinalResult The type of the logical result when following the location header
  * @template PollingUrlValue The value type of the link to the status monitor
  * @template FinalUrlValue The value type fo the link to the final result
+ *
+ * @example
+ * ```typespec
+ *  op delete is ArmResourceDeleteWithoutOkAsync<
+ *    Employee,
+ *    LroHeaders = ArmCombinedLroHeaders<ArmOperationStatus, Employee>
+ *  >;
+ * ```
  */
 model ArmCombinedLroHeaders<
   StatusMonitor extends {} = ArmOperationStatus,
@@ -191,12 +273,26 @@ model ArmCombinedLroHeaders<
 
 /**
  * @dev Azure Resource Manager response for a properly formed delete request, with no resource found
+ *
+ * @example
+ * ```typespec
+ * op delete is ArmResourceDeleteWithoutOkAsync<
+ *  Employee,
+ *  Response = ArmDeleteAcceptedLroResponse | ArmDeletedNoContentResponse
+ * >;
+ * ```
  */
 model ArmDeletedNoContentResponse is ArmNoContentResponse<"Resource does not exist.">;
 
 /**
  * Standard Azure Resource Manager NoContent (204) response
  * @template Message The description of the response status (defaults to `Operation completed successfully`)
+ *
+ * @example
+ * ```typespec
+ * @delete
+ * op delete(@path id:string): ArmNoContentResponse;
+ * ```
  */
 @doc(Message)
 model ArmNoContentResponse<Message extends valueof string = "Operation completed successfully."> {
@@ -206,19 +302,38 @@ model ArmNoContentResponse<Message extends valueof string = "Operation completed
 /**
  * @dev Resource update operation succeeded
  * @template Resource The resource being updated
+ *
+ * @example
+ * ```typespec
+ * @put
+ * op update(
+ *  ...ResourceInstanceParameters<Employee>,
+ * ): ArmResourceUpdatedResponse<Employee>;
+ * ```
  */
 @doc("Resource '{name}' update operation succeeded", Resource)
-model ArmResourceUpdatedResponse<Resource extends Azure.ResourceManager.Foundations.Resource>
+model ArmResourceUpdatedResponse<Resource extends Azure.ResourceManager.Foundations.SimpleResource>
   is ArmResponse<Resource>;
 
 /**
  * @dev Resource create operation succeeded
  * @template Resource The resource being updated
  * @template LroHeaders Optional. The lro headers returned with a Created response
+ *
+ * @example
+ * ```typespec
+ * op createOrUpdate is ArmResourceCreateOrReplaceAsync<
+ *   Employee,
+ *   Response = ArmResponse<Employee> | ArmResourceCreatedResponse<
+ *     Employee,
+ *     LroHeaders = ArmLroLocationHeader<FinalResult = Employee> & Azure.Core.Foundations.RetryAfterHeader
+ *   >
+ * >;
+ * ```
  */
 @doc("Resource '{name}' create operation succeeded", Resource)
 model ArmResourceCreatedResponse<
-  Resource extends Azure.ResourceManager.Foundations.Resource,
+  Resource extends Azure.ResourceManager.Foundations.SimpleResource,
   LroHeaders extends TypeSpec.Reflection.Model = Azure.Core.Foundations.RetryAfterHeader
 > {
   ...CreatedResponse;
@@ -233,9 +348,17 @@ model ArmResourceCreatedResponse<
 /**
  * @dev Resource synchronous create operation succeeded
  * @template Resource The resource being updated
+ *
+ * @example
+ * ```typespec
+ * op createOrUpdate is ArmResourceCreateOrReplaceSync<
+ *  Employee,
+ *  Response = ArmResponse<Employee> | ArmResourceCreatedSyncResponse<Employee>
+ * >;
+ * ```
  */
 @doc("Resource '{name}' create operation succeeded", Resource)
-model ArmResourceCreatedSyncResponse<Resource extends Azure.ResourceManager.Foundations.Resource> {
+model ArmResourceCreatedSyncResponse<Resource extends Azure.ResourceManager.Foundations.SimpleResource> {
   ...CreatedResponse;
 
   @doc("The body type of the operation request or response.")
@@ -245,6 +368,12 @@ model ArmResourceCreatedSyncResponse<Resource extends Azure.ResourceManager.Foun
 
 /**
  * @dev Resource exists response
+ *
+ * @example
+ * ```typespec
+ * @head
+ * op head(...ResourceInstanceParameters<Employee>): ArmResourceExistsResponse;
+ * ```
  */
 @doc("The Azure resource exists")
 model ArmResourceExistsResponse {
@@ -253,6 +382,10 @@ model ArmResourceExistsResponse {
 
 /**
  * @dev Resource is not found response
+ * ```typespec
+ * @head
+ * op head(...ResourceInstanceParameters<Employee>): ArmResponse<Employee>  | ArmResourceNotFoundResponse;
+ * ```
  */
 @doc("The Azure resource is not found")
 model ArmResourceNotFoundResponse {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@azure-tools/typespec-azure-resource-manager",
-  "version": "0.57.0-dev.4",
+  "version": "0.57.0-dev.6",
   "author": "Microsoft Corporation",
   "description": "TypeSpec Azure Resource Manager library",
   "homepage": "https://azure.github.io/typespec-azure",