@typespec/compiler 0.63.0-dev.1 → 0.63.0-dev.3

package/dist/src/lib/utils.d.ts

@@ -1,4 +1,12 @@
-import type { Type } from "../core/types.js";
+import type { Model, ModelProperty, Type } from "../core/types.js";
 export declare function useStateMap<K extends Type, V>(key: string | symbol): [(program: import("../index.js").Program, type: K) => V | undefined, (program: import("../index.js").Program, type: K, value: V) => void, (program: import("../index.js").Program) => Map<K, V>];
 export declare function useStateSet<K extends Type>(key: string | symbol): [(program: import("../index.js").Program, type: K) => boolean, (program: import("../index.js").Program, type: K) => void];
+/**
+ * Filters the properties of a model by removing them from the model instance if
+ * a given `filter` predicate is not satisfied.
+ *
+ * @param model - the model to filter properties on
+ * @param filter - the predicate to filter properties with
+ */
+export declare function filterModelPropertiesInPlace(model: Model, filter: (prop: ModelProperty) => boolean): void;
 //# sourceMappingURL=utils.d.ts.map

package/dist/src/lib/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/lib/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAO7C,wBAAgB,WAAW,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,oMAElE;AAED,wBAAgB,WAAW,CAAC,CAAC,SAAS,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,6HAE/D"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/lib/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAOnE,wBAAgB,WAAW,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,oMAElE;AAED,wBAAgB,WAAW,CAAC,CAAC,SAAS,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,6HAE/D;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,CAAC,IAAI,EAAE,aAAa,KAAK,OAAO,QAOzC"}

package/dist/src/lib/utils.js

@@ -8,4 +8,18 @@ export function useStateMap(key) {
 export function useStateSet(key) {
     return unsafe_useStateSet(typeof key === "string" ? createStateSymbol(key) : key);
 }
+/**
+ * Filters the properties of a model by removing them from the model instance if
+ * a given `filter` predicate is not satisfied.
+ *
+ * @param model - the model to filter properties on
+ * @param filter - the predicate to filter properties with
+ */
+export function filterModelPropertiesInPlace(model, filter) {
+    for (const [key, prop] of model.properties) {
+        if (!filter(prop)) {
+            model.properties.delete(key);
+        }
+    }
+}
 //# sourceMappingURL=utils.js.map

package/dist/src/lib/utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/lib/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAE3F,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,WAAW,CAAoB,GAAoB;IACjE,OAAO,kBAAkB,CAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,WAAW,CAAiB,GAAoB;IAC9D,OAAO,kBAAkB,CAAI,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACvF,CAAC"}
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/lib/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAE3F,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,WAAW,CAAoB,GAAoB;IACjE,OAAO,kBAAkB,CAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,WAAW,CAAiB,GAAoB;IAC9D,OAAO,kBAAkB,CAAI,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACvF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAY,EACZ,MAAwC;IAExC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClB,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/src/lib/visibility.d.ts

@@ -0,0 +1,33 @@
+import type { DefaultVisibilityDecorator, InvisibleDecorator, ParameterVisibilityDecorator, RemoveVisibilityDecorator, ReturnTypeVisibilityDecorator, VisibilityDecorator, WithDefaultKeyVisibilityDecorator, WithLifecycleUpdateDecorator, WithUpdateablePropertiesDecorator, WithVisibilityDecorator, WithVisibilityFilterDecorator } from "../../generated-defs/TypeSpec.js";
+import type { Program } from "../core/program.js";
+import { Operation } from "../core/types.js";
+export declare const $withDefaultKeyVisibility: WithDefaultKeyVisibilityDecorator;
+export declare const $parameterVisibility: ParameterVisibilityDecorator;
+/**
+ * Returns the visibilities of the parameters of the given operation, if provided with `@parameterVisibility`.
+ *
+ * @see {@link $parameterVisibility}
+ */
+export declare function getParameterVisibility(program: Program, entity: Operation): string[] | undefined;
+export declare const $returnTypeVisibility: ReturnTypeVisibilityDecorator;
+/**
+ * Returns the visibilities of the return type of the given operation, if provided with `@returnTypeVisibility`.
+ *
+ * @see {@link $returnTypeVisibility}
+ */
+export declare function getReturnTypeVisibility(program: Program, entity: Operation): string[] | undefined;
+export declare const $visibility: VisibilityDecorator;
+export declare const $removeVisibility: RemoveVisibilityDecorator;
+export declare const $invisible: InvisibleDecorator;
+export declare const $defaultVisibility: DefaultVisibilityDecorator;
+export declare const $withVisibility: WithVisibilityDecorator;
+/**
+ * Filters a model for properties that are updateable.
+ *
+ * @param context - the program context
+ * @param target - Model to filter for updateable properties
+ */
+export declare const $withUpdateableProperties: WithUpdateablePropertiesDecorator;
+export declare const $withVisibilityFilter: WithVisibilityFilterDecorator;
+export declare const $withLifecycleUpdate: WithLifecycleUpdateDecorator;
+//# sourceMappingURL=visibility.d.ts.map

package/dist/src/lib/visibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"visibility.d.ts","sourceRoot":"","sources":["../../../src/lib/visibility.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,0BAA0B,EAC1B,kBAAkB,EAClB,4BAA4B,EAC5B,yBAAyB,EACzB,6BAA6B,EAC7B,mBAAmB,EACnB,iCAAiC,EACjC,4BAA4B,EAC5B,iCAAiC,EACjC,uBAAuB,EACvB,6BAA6B,EAC9B,MAAM,kCAAkC,CAAC;AAG1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EASL,SAAS,EAGV,MAAM,kBAAkB,CAAC;AAiD1B,eAAO,MAAM,yBAAyB,EAAE,iCAsCvC,CAAC;AAoCF,eAAO,MAAM,oBAAoB,EAAE,4BAuBlC,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,EAAE,GAAG,SAAS,CAMhG;AAED,eAAO,MAAM,qBAAqB,EAAE,6BAuBnC,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,EAAE,GAAG,SAAS,CAMjG;AAQD,eAAO,MAAM,WAAW,EAAE,mBA+BzB,CAAC;AAIF,eAAO,MAAM,iBAAiB,EAAE,yBAU/B,CAAC;AAIF,eAAO,MAAM,UAAU,EAAE,kBAMxB,CAAC;AAIF,eAAO,MAAM,kBAAkB,EAAE,0BAqBhC,CAAC;AAQF,eAAO,MAAM,eAAe,EAAE,uBA+C7B,CAAC;AAIF;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,EAAE,iCAUvC,CAAC;AAQF,eAAO,MAAM,qBAAqB,EAAE,6BAcnC,CAAC;AAIF,eAAO,MAAM,oBAAoB,EAAE,4BAuBlC,CAAC"}

package/dist/src/lib/visibility.js

@@ -0,0 +1,367 @@
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT license.
+import { validateDecoratorTarget, validateDecoratorUniqueOnNode } from "../core/decorator-utils.js";
+import { reportDiagnostic } from "../core/messages.js";
+import { addVisibilityModifiers, clearLegacyVisibility, clearVisibilityModifiersForClass, getLegacyVisibility, getVisibility, isVisible, removeVisibilityModifiers, resetVisibilityModifiersForClass, setDefaultModifierSetForVisibilityClass, setLegacyVisibility, VisibilityFilter, } from "../core/visibility/core.js";
+import { getLifecycleVisibilityEnum, normalizeVisibilityToLegacyLifecycleString, } from "../core/visibility/lifecycle.js";
+import { isMutableType, mutateSubgraph, MutatorFlow } from "../experimental/mutators.js";
+import { isKey } from "./key.js";
+import { filterModelPropertiesInPlace, useStateMap } from "./utils.js";
+// #region Legacy Visibility Utilities
+/**
+ * Takes a list of visibilities that possibly include both legacy visibility
+ * strings and visibility class members, and returns two lists containing only
+ * each type.
+ *
+ * @param visibilities - The list of visibilities to split
+ * @returns a tuple containing visibility enum members in the first position and
+ *         legacy visibility strings in the second position
+ */
+function splitLegacyVisibility(visibilities) {
+    const legacyVisibilities = [];
+    const modifiers = [];
+    for (const visibility of visibilities) {
+        if (typeof visibility === "string") {
+            legacyVisibilities.push(visibility);
+        }
+        else {
+            modifiers.push(visibility.value);
+        }
+    }
+    return [modifiers, legacyVisibilities];
+}
+export const $withDefaultKeyVisibility = (context, entity, visibility) => {
+    const keyProperties = [];
+    entity.properties.forEach((prop) => {
+        // Keep track of any key property without a visibility
+        // eslint-disable-next-line @typescript-eslint/no-deprecated
+        if (isKey(context.program, prop) && !getVisibility(context.program, prop)) {
+            keyProperties.push(prop);
+        }
+    });
+    // For each key property without a visibility, clone it and add the specified
+    // default visibility value
+    keyProperties.forEach((keyProp) => {
+        entity.properties.set(keyProp.name, context.program.checker.cloneType(keyProp, {
+            decorators: [
+                ...keyProp.decorators,
+                {
+                    decorator: $visibility,
+                    args: [
+                        {
+                            value: typeof visibility === "string"
+                                ? context.program.checker.createLiteralType(visibility)
+                                : visibility,
+                            jsValue: visibility,
+                        },
+                    ],
+                },
+            ],
+        }));
+    });
+};
+const [getOperationVisibilityConfigRaw, setOperationVisibilityConfigRaw] = useStateMap("operationVisibilityConfig");
+function getOperationVisibilityConfig(program, operation) {
+    let config = getOperationVisibilityConfigRaw(program, operation);
+    if (!config) {
+        config = {};
+        setOperationVisibilityConfigRaw(program, operation, config);
+    }
+    return config;
+}
+export const $parameterVisibility = (context, operation, ...visibilities) => {
+    validateDecoratorUniqueOnNode(context, operation, $parameterVisibility);
+    const [modifiers, legacyVisibilities] = splitLegacyVisibility(visibilities);
+    if (modifiers.length > 0 && legacyVisibilities.length > 0) {
+        reportDiagnostic(context.program, {
+            code: "visibility-mixed-legacy",
+            target: context.decoratorTarget,
+        });
+        return;
+    }
+    if (modifiers.length > 0) {
+        getOperationVisibilityConfig(context.program, operation).parameters = modifiers;
+    }
+    else {
+        getOperationVisibilityConfig(context.program, operation).parameters = legacyVisibilities;
+    }
+};
+/**
+ * Returns the visibilities of the parameters of the given operation, if provided with `@parameterVisibility`.
+ *
+ * @see {@link $parameterVisibility}
+ */
+export function getParameterVisibility(program, entity) {
+    return getOperationVisibilityConfig(program, entity)
+        .parameters?.map((p) => typeof p === "string" ? p : normalizeVisibilityToLegacyLifecycleString(program, p))
+        .filter((p) => !!p);
+}
+export const $returnTypeVisibility = (context, operation, ...visibilities) => {
+    validateDecoratorUniqueOnNode(context, operation, $parameterVisibility);
+    const [modifiers, legacyVisibilities] = splitLegacyVisibility(visibilities);
+    if (modifiers.length > 0 && legacyVisibilities.length > 0) {
+        reportDiagnostic(context.program, {
+            code: "visibility-mixed-legacy",
+            target: context.decoratorTarget,
+        });
+        return;
+    }
+    if (modifiers.length > 0) {
+        getOperationVisibilityConfig(context.program, operation).returnType = modifiers;
+    }
+    else {
+        getOperationVisibilityConfig(context.program, operation).returnType = legacyVisibilities;
+    }
+};
+/**
+ * Returns the visibilities of the return type of the given operation, if provided with `@returnTypeVisibility`.
+ *
+ * @see {@link $returnTypeVisibility}
+ */
+export function getReturnTypeVisibility(program, entity) {
+    return getOperationVisibilityConfig(program, entity)
+        .returnType?.map((p) => typeof p === "string" ? p : normalizeVisibilityToLegacyLifecycleString(program, p))
+        .filter((p) => !!p);
+}
+// #endregion
+// #region Core Visibility Decorators
+// -- @visibility decorator ---------------------
+export const $visibility = (context, target, ...visibilities) => {
+    const [modifiers, legacyVisibilities] = splitLegacyVisibility(visibilities);
+    if (legacyVisibilities.length > 0 || visibilities.length === 0) {
+        const isUnique = validateDecoratorUniqueOnNode(context, target, $visibility);
+        if (modifiers.length > 0) {
+            reportDiagnostic(context.program, {
+                code: "visibility-mixed-legacy",
+                target: context.decoratorTarget,
+            });
+            return;
+        }
+        // Only attempt to set the legacy visibility modifiers if the visibility invocation is unique. Otherwise, a compiler
+        // assertion will fail inside the legacy visibility management API.
+        if (isUnique)
+            setLegacyVisibility(context, target, legacyVisibilities);
+    }
+    else {
+        if (getLegacyVisibility(context.program, target)) {
+            reportDiagnostic(context.program, {
+                code: "visibility-mixed-legacy",
+                target: context.decoratorTarget,
+            });
+        }
+        addVisibilityModifiers(context.program, target, modifiers, context);
+    }
+};
+// -- @removeVisibility decorator ---------------------
+export const $removeVisibility = (context, target, ...visibilities) => {
+    removeVisibilityModifiers(context.program, target, visibilities.map((v) => v.value));
+};
+// -- @invisible decorator ---------------------
+export const $invisible = (context, target, visibilityClass) => {
+    clearVisibilityModifiersForClass(context.program, target, visibilityClass);
+};
+// -- @defaultVisibility decorator ------------------
+export const $defaultVisibility = (context, target, ...visibilities) => {
+    validateDecoratorUniqueOnNode(context, target, $defaultVisibility);
+    const modifierSet = new Set();
+    for (const visibility of visibilities) {
+        if (visibility.value.enum !== target) {
+            reportDiagnostic(context.program, {
+                code: "default-visibility-not-member",
+                target: context.decoratorTarget,
+            });
+        }
+        else {
+            modifierSet.add(visibility.value);
+        }
+    }
+    setDefaultModifierSetForVisibilityClass(context.program, target, modifierSet);
+};
+// #endregion
+// #region Legacy Visibility Transforms
+// -- @withVisibility decorator ---------------------
+export const $withVisibility = (context, target, ...visibilities) => {
+    const [modifiers, legacyVisibilities] = splitLegacyVisibility(visibilities);
+    if (legacyVisibilities.length > 0) {
+        if (modifiers.length > 0) {
+            reportDiagnostic(context.program, {
+                code: "visibility-mixed-legacy",
+                target: context.decoratorTarget,
+            });
+            return;
+        }
+        // eslint-disable-next-line @typescript-eslint/no-deprecated
+        filterModelPropertiesInPlace(target, (p) => isVisible(context.program, p, legacyVisibilities));
+        for (const p of target.properties.values()) {
+            // eslint-disable-next-line @typescript-eslint/no-deprecated
+            const legacyModifiers = getVisibility(context.program, p);
+            if (legacyModifiers && legacyModifiers.length > 0) {
+                clearLegacyVisibility(context.program, p);
+            }
+            else {
+                resetVisibilityModifiersForClass(context.program, p, getLifecycleVisibilityEnum(context.program));
+            }
+        }
+    }
+    else {
+        const filter = {
+            all: new Set(modifiers),
+        };
+        const visibilityClasses = new Set(modifiers.map((m) => m.enum));
+        filterModelPropertiesInPlace(target, (p) => isVisible(context.program, p, filter));
+        for (const p of target.properties.values()) {
+            for (const c of visibilityClasses) {
+                resetVisibilityModifiersForClass(context.program, p, c);
+            }
+        }
+    }
+};
+// -- @withUpdateableProperties decorator ----------------------
+/**
+ * Filters a model for properties that are updateable.
+ *
+ * @param context - the program context
+ * @param target - Model to filter for updateable properties
+ */
+export const $withUpdateableProperties = (context, target) => {
+    if (!validateDecoratorTarget(context, target, "@withUpdateableProperties", "Model")) {
+        return;
+    }
+    // eslint-disable-next-line @typescript-eslint/no-deprecated
+    filterModelPropertiesInPlace(target, (p) => isVisible(context.program, p, ["update"]));
+};
+// #endregion
+// #region Mutator Driven Transforms
+// -- @withVisibilityFilter decorator ----------------------
+export const $withVisibilityFilter = (context, target, _filter) => {
+    const filter = VisibilityFilter.fromDecoratorArgument(_filter);
+    const vfMutator = createVisibilityFilterMutator(filter, {
+        decoratorFn: $withVisibilityFilter,
+    });
+    const { type } = mutateSubgraph(context.program, [vfMutator], target);
+    target.properties = type.properties;
+};
+// -- @withLifecycleUpdate decorator ----------------------
+export const $withLifecycleUpdate = (context, target) => {
+    const lifecycle = getLifecycleVisibilityEnum(context.program);
+    const lifecycleUpdate = {
+        all: new Set([lifecycle.members.get("Update")]),
+    };
+    const lifecycleCreateOrUpdate = {
+        any: new Set([lifecycle.members.get("Create"), lifecycle.members.get("Update")]),
+    };
+    const createOrUpdateMutator = createVisibilityFilterMutator(lifecycleCreateOrUpdate);
+    const updateMutator = createVisibilityFilterMutator(lifecycleUpdate, {
+        recur: createOrUpdateMutator,
+        decoratorFn: $withLifecycleUpdate,
+    });
+    const { type } = mutateSubgraph(context.program, [updateMutator], target);
+    target.properties = type.properties;
+};
+/**
+ * Create a mutator that applies a visibility filter to a type.
+ *
+ * @param filter - The visibility filter to apply
+ * @param options - optional settings for the mutator
+ * @returns
+ */
+function createVisibilityFilterMutator(filter, options = {}) {
+    const visibilityClasses = VisibilityFilter.getVisibilityClasses(filter);
+    const mpMutator = {
+        name: "VisibilityFilterProperty",
+        ModelProperty: {
+            filter: () => MutatorFlow.DoNotRecurse,
+            mutate: (prop, clone, program) => {
+                // We need to create a copy of the decorators array to avoid modifying the original.
+                // Decorators are _NOT_ cloned by the type kit, so we have to be careful not to modify the decorator arguments
+                // of the original type.
+                const decorators = [];
+                for (const decorator of prop.decorators) {
+                    const decFn = decorator.decorator;
+                    if (decFn === $visibility || decFn === $removeVisibility) {
+                        const nextArgs = decorator.args.filter((arg) => {
+                            if (arg.value.entityKind !== "Value")
+                                return false;
+                            const isString = arg.value.valueKind === "StringValue";
+                            const isOperativeVisibility = arg.value.valueKind === "EnumValue" && visibilityClasses.has(arg.value.value.enum);
+                            return !(isString || isOperativeVisibility);
+                        });
+                        if (nextArgs.length > 0) {
+                            decorators.push({
+                                ...decorator,
+                                args: nextArgs,
+                            });
+                        }
+                    }
+                    else if (decFn !== $invisible) {
+                        decorators.push(decorator);
+                    }
+                }
+                clone.decorators = decorators;
+                for (const visibilityClass of visibilityClasses) {
+                    resetVisibilityModifiersForClass(program, clone, visibilityClass);
+                }
+                if (isMutableType(prop.type)) {
+                    clone.type = mutateSubgraph(program, [options.recur ?? self], prop.type).type;
+                }
+            },
+        },
+    };
+    const self = {
+        name: "VisibilityFilter",
+        Union: {
+            filter: () => MutatorFlow.DoNotRecurse,
+            mutate: (union, clone, program) => {
+                for (const [key, member] of union.variants) {
+                    if (member.type.kind === "Model" || member.type.kind === "Union") {
+                        const variant = {
+                            ...member,
+                            type: mutateSubgraph(program, [self], member.type).type,
+                        };
+                        clone.variants.set(key, variant);
+                    }
+                }
+            },
+        },
+        Model: {
+            filter: () => MutatorFlow.DoNotRecurse,
+            mutate: (model, clone, program, realm) => {
+                for (const [key, prop] of model.properties) {
+                    if (!isVisible(program, prop, filter)) {
+                        // Property is not visible, remove it
+                        clone.properties.delete(key);
+                        realm.remove(clone);
+                    }
+                    else {
+                        const mutated = mutateSubgraph(program, [mpMutator], prop);
+                        clone.properties.set(key, mutated.type);
+                    }
+                }
+                if (options.decoratorFn) {
+                    clone.decorators = clone.decorators.filter((d) => d.decorator !== options.decoratorFn);
+                }
+            },
+        },
+        ModelProperty: {
+            filter: () => MutatorFlow.DoNotRecurse,
+            mutate: (prop, clone, program) => {
+                if (isMutableType(prop.type)) {
+                    clone.type = mutateSubgraph(program, [self], prop.type).type;
+                }
+            },
+        },
+        Tuple: {
+            filter: () => MutatorFlow.DoNotRecurse,
+            mutate: (tuple, clone, program) => {
+                for (const [index, element] of tuple.values.entries()) {
+                    if (isMutableType(element)) {
+                        clone.values[index] = mutateSubgraph(program, [self], element).type;
+                    }
+                }
+            },
+        },
+    };
+    return self;
+}
+// #endregion
+//# sourceMappingURL=visibility.js.map

package/dist/src/lib/visibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"visibility.js","sourceRoot":"","sources":["../../../src/lib/visibility.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,kCAAkC;AAelC,OAAO,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AACpG,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAevD,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,gCAAgC,EAEhC,mBAAmB,EACnB,aAAa,EACb,SAAS,EACT,yBAAyB,EACzB,gCAAgC,EAChC,uCAAuC,EACvC,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,0BAA0B,EAC1B,0CAA0C,GAC3C,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAW,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAClG,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,4BAA4B,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEvE,sCAAsC;AAEtC;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAAC,YAAoC;IACjE,MAAM,kBAAkB,GAAG,EAAc,CAAC;IAC1C,MAAM,SAAS,GAAG,EAAkB,CAAC;IAErC,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;YACnC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,SAAS,EAAE,kBAAkB,CAAU,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAsC,CAC1E,OAAyB,EACzB,MAAa,EACb,UAA8B,EAC9B,EAAE;IACF,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAmB,EAAE,EAAE;QAChD,sDAAsD;QACtD,4DAA4D;QAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1E,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,6EAA6E;IAC7E,2BAA2B;IAC3B,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAChC,MAAM,CAAC,UAAU,CAAC,GAAG,CACnB,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE;YACzC,UAAU,EAAE;gBACV,GAAG,OAAO,CAAC,UAAU;gBACrB;oBACE,SAAS,EAAE,WAAW;oBACtB,IAAI,EAAE;wBACJ;4BACE,KAAK,EACH,OAAO,UAAU,KAAK,QAAQ;gCAC5B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC;gCACvD,CAAC,CAAC,UAAU;4BAChB,OAAO,EAAE,UAAU;yBACpB;qBACF;iBACF;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAgBF,MAAM,CAAC,+BAA+B,EAAE,+BAA+B,CAAC,GAAG,WAAW,CAGpF,2BAA2B,CAAC,CAAC;AAE/B,SAAS,4BAA4B,CACnC,OAAgB,EAChB,SAAoB;IAEpB,IAAI,MAAM,GAAG,+BAA+B,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAEjE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,EAAE,CAAC;QAEZ,+BAA+B,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAiC,CAChE,OAAyB,EACzB,SAAoB,EACpB,GAAG,YAAoC,EACvC,EAAE;IACF,6BAA6B,CAAC,OAAO,EAAE,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAExE,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAE5E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;YAChC,IAAI,EAAE,yBAAyB;YAC/B,MAAM,EAAE,OAAO,CAAC,eAAe;SAChC,CAAC,CAAC;QAEH,OAAO;IACT,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,4BAA4B,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,4BAA4B,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,UAAU,GAAG,kBAAkB,CAAC;IAC3F,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,MAAiB;IACxE,OAAO,4BAA4B,CAAC,OAAO,EAAE,MAAM,CAAC;SACjD,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrB,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,0CAA0C,CAAC,OAAO,EAAE,CAAC,CAAC,CACnF;SACA,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAa,CAAC;AACpC,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAkC,CAClE,OAAyB,EACzB,SAAoB,EACpB,GAAG,YAAoC,EACvC,EAAE;IACF,6BAA6B,CAAC,OAAO,EAAE,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAExE,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAE5E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;YAChC,IAAI,EAAE,yBAAyB;YAC/B,MAAM,EAAE,OAAO,CAAC,eAAe;SAChC,CAAC,CAAC;QAEH,OAAO;IACT,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,4BAA4B,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,4BAA4B,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,UAAU,GAAG,kBAAkB,CAAC;IAC3F,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,MAAiB;IACzE,OAAO,4BAA4B,CAAC,OAAO,EAAE,MAAM,CAAC;SACjD,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrB,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,0CAA0C,CAAC,OAAO,EAAE,CAAC,CAAC,CACnF;SACA,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAa,CAAC;AACpC,CAAC;AAED,aAAa;AAEb,qCAAqC;AAErC,iDAAiD;AAEjD,MAAM,CAAC,MAAM,WAAW,GAAwB,CAC9C,OAAyB,EACzB,MAAqB,EACrB,GAAG,YAAoC,EACvC,EAAE;IACF,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAE5E,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,6BAA6B,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QAE7E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;gBAChC,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,OAAO,CAAC,eAAe;aAChC,CAAC,CAAC;YAEH,OAAO;QACT,CAAC;QAED,oHAAoH;QACpH,mEAAmE;QACnE,IAAI,QAAQ;YAAE,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACzE,CAAC;SAAM,CAAC;QACN,IAAI,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YACjD,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;gBAChC,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,OAAO,CAAC,eAAe;aAChC,CAAC,CAAC;QACL,CAAC;QACD,sBAAsB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;AACH,CAAC,CAAC;AAEF,uDAAuD;AAEvD,MAAM,CAAC,MAAM,iBAAiB,GAA8B,CAC1D,OAAyB,EACzB,MAAqB,EACrB,GAAG,YAAyB,EAC5B,EAAE;IACF,yBAAyB,CACvB,OAAO,CAAC,OAAO,EACf,MAAM,EACN,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CACjC,CAAC;AACJ,CAAC,CAAC;AAEF,gDAAgD;AAEhD,MAAM,CAAC,MAAM,UAAU,GAAuB,CAC5C,OAAyB,EACzB,MAAqB,EACrB,eAAqB,EACrB,EAAE;IACF,gCAAgC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF,qDAAqD;AAErD,MAAM,CAAC,MAAM,kBAAkB,GAA+B,CAC5D,OAAyB,EACzB,MAAY,EACZ,GAAG,YAAyB,EAC5B,EAAE;IACF,6BAA6B,CAAC,OAAO,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAEnE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAc,CAAC;IAE1C,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;gBAChC,IAAI,EAAE,+BAA+B;gBACrC,MAAM,EAAE,OAAO,CAAC,eAAe;aAChC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,uCAAuC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,aAAa;AAEb,uCAAuC;AAEvC,qDAAqD;AAErD,MAAM,CAAC,MAAM,eAAe,GAA4B,CACtD,OAAyB,EACzB,MAAa,EACb,GAAG,YAAoC,EACvC,EAAE;IACF,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAE5E,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;gBAChC,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,OAAO,CAAC,eAAe;aAChC,CAAC,CAAC;YAEH,OAAO;QACT,CAAC;QAED,4DAA4D;QAC5D,4BAA4B,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAE/F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,4DAA4D;YAC5D,MAAM,eAAe,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAE1D,IAAI,eAAe,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,qBAAqB,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,gCAAgC,CAC9B,OAAO,CAAC,OAAO,EACf,CAAC,EACD,0BAA0B,CAAC,OAAO,CAAC,OAAO,CAAC,CAC5C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAqB;YAC/B,GAAG,EAAE,IAAI,GAAG,CAAC,SAAS,CAAC;SACxB,CAAC;QAEF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,4BAA4B,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACnF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;gBAClC,gCAAgC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,gEAAgE;AAEhE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAsC,CAC1E,OAAyB,EACzB,MAAY,EACZ,EAAE;IACF,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,2BAA2B,EAAE,OAAO,CAAC,EAAE,CAAC;QACpF,OAAO;IACT,CAAC;IAED,4DAA4D;IAC5D,4BAA4B,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACzF,CAAC,CAAC;AAEF,aAAa;AAEb,oCAAoC;AAEpC,4DAA4D;AAE5D,MAAM,CAAC,MAAM,qBAAqB,GAAkC,CAClE,OAAyB,EACzB,MAAa,EACb,OAAkC,EAClC,EAAE;IACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAE/D,MAAM,SAAS,GAAY,6BAA6B,CAAC,MAAM,EAAE;QAC/D,WAAW,EAAE,qBAAqB;KACnC,CAAC,CAAC;IAEH,MAAM,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;IAEtE,MAAM,CAAC,UAAU,GAAI,IAAc,CAAC,UAAU,CAAC;AACjD,CAAC,CAAC;AAEF,2DAA2D;AAE3D,MAAM,CAAC,MAAM,oBAAoB,GAAiC,CAChE,OAAyB,EACzB,MAAa,EACb,EAAE;IACF,MAAM,SAAS,GAAG,0BAA0B,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAqB;QACxC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,CAAC;KACjD,CAAC;IAEF,MAAM,uBAAuB,GAAqB;QAChD,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,CAAC;KACnF,CAAC;IAEF,MAAM,qBAAqB,GAAG,6BAA6B,CAAC,uBAAuB,CAAC,CAAC;IAErF,MAAM,aAAa,GAAG,6BAA6B,CAAC,eAAe,EAAE;QACnE,KAAK,EAAE,qBAAqB;QAC5B,WAAW,EAAE,oBAAoB;KAClC,CAAC,CAAC;IAEH,MAAM,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,CAAC;IAE1E,MAAM,CAAC,UAAU,GAAI,IAAc,CAAC,UAAU,CAAC;AACjD,CAAC,CAAC;AAqBF;;;;;;GAMG;AACH,SAAS,6BAA6B,CACpC,MAAwB,EACxB,UAAgD,EAAE;IAElD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxE,MAAM,SAAS,GAAY;QACzB,IAAI,EAAE,0BAA0B;QAChC,aAAa,EAAE;YACb,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY;YACtC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC/B,oFAAoF;gBACpF,8GAA8G;gBAC9G,wBAAwB;gBACxB,MAAM,UAAU,GAA2B,EAAE,CAAC;gBAE9C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxC,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC;oBAClC,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,iBAAiB,EAAE,CAAC;wBACzD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;4BAC7C,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,OAAO;gCAAE,OAAO,KAAK,CAAC;4BAEnD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,aAAa,CAAC;4BACvD,MAAM,qBAAqB,GACzB,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,WAAW,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;4BAErF,OAAO,CAAC,CAAC,QAAQ,IAAI,qBAAqB,CAAC,CAAC;wBAC9C,CAAC,CAAC,CAAC;wBAEH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BACxB,UAAU,CAAC,IAAI,CAAC;gCACd,GAAG,SAAS;gCACZ,IAAI,EAAE,QAAQ;6BACf,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;yBAAM,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;wBAChC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;gBAED,KAAK,CAAC,UAAU,GAAG,UAAU,CAAC;gBAE9B,KAAK,MAAM,eAAe,IAAI,iBAAiB,EAAE,CAAC;oBAChD,gCAAgC,CAAC,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;gBACpE,CAAC;gBAED,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,KAAK,CAAC,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;gBAChF,CAAC;YACH,CAAC;SACF;KACF,CAAC;IACF,MAAM,IAAI,GAAY;QACpB,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE;YACL,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY;YACtC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAChC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;oBAC3C,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBACjE,MAAM,OAAO,GAAiB;4BAC5B,GAAG,MAAM;4BACT,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;yBACxD,CAAC;wBACF,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;SACF;QACD,KAAK,EAAE;YACL,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY;YACtC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;gBACvC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;oBAC3C,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;wBACtC,qCAAqC;wBACrC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;wBAC7B,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBACtB,CAAC;yBAAM,CAAC;wBACN,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;wBAE3D,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,IAAqB,CAAC,CAAC;oBAC3D,CAAC;gBACH,CAAC;gBAED,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;oBACxB,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;gBACzF,CAAC;YACH,CAAC;SACF;QACD,aAAa,EAAE;YACb,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY;YACtC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC/B,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,KAAK,CAAC,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;gBAC/D,CAAC;YACH,CAAC;SACF;QACD,KAAK,EAAE;YACL,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY;YACtC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAChC,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBACtD,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC;oBACtE,CAAC;gBACH,CAAC;YACH,CAAC;SACF;KACF,CAAC;IAEF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,aAAa"}

package/lib/std/decorators.tsp

@@ -60,7 +60,7 @@ extern dec errorsDoc(target: Operation, doc: valueof string);
  *
  * NOTE: This decorator **should not** be used, use the `#deprecated` directive instead.
  *
- * @deprecated Use the `#deprecated` directive instead.
+ * @deprecated Use the `#deprecated` [directive](https://typespec.io/docs/language-basics/directives/#deprecated) instead.
  * @param message Deprecation message.
  *
  * @example
@@ -572,93 +572,6 @@ extern dec opExample(
   example: valueof OperationExample,
   options?: valueof ExampleOptions
 );
-/**
- * Indicates that a property is only considered to be present or applicable ("visible") with
- * the in the given named contexts ("visibilities"). When a property has no visibilities applied
- * to it, it is implicitly visible always.
- *
- * As far as the TypeSpec core library is concerned, visibilities are open-ended and can be arbitrary
- * strings, but  the following visibilities are well-known to standard libraries and should be used
- * with standard emitters that interpret them as follows:
- *
- * - "read": output of any operation.
- * - "create": input to operations that create an entity..
- * - "query": input to operations that read data.
- * - "update": input to operations that update data.
- * - "delete": input to operations that delete data.
- *
- * See also: [Automatic visibility](https://typespec.io/docs/libraries/http/operations#automatic-visibility)
- *
- * @param visibilities List of visibilities which apply to this property.
- *
- * @example
- *
- * ```typespec
- * model Dog {
- *   // the service will generate an ID, so you don't need to send it.
- *   @visibility("read") id: int32;
- *   // the service will store this secret name, but won't ever return it
- *   @visibility("create", "update") secretName: string;
- *   // the regular name is always present
- *   name: string;
- * }
- * ```
- */
-extern dec visibility(target: ModelProperty, ...visibilities: valueof string[]);
-
-/**
- * Removes properties that are not considered to be present or applicable
- * ("visible") in the given named contexts ("visibilities"). Can be used
- * together with spread to effectively spread only visible properties into
- * a new model.
- *
- * See also: [Automatic visibility](https://typespec.io/docs/libraries/http/operations#automatic-visibility)
- *
- * When using an emitter that applies visibility automatically, it is generally
- * not necessary to use this decorator.
- *
- * @param visibilities List of visibilities which apply to this property.
- *
- * @example
- * ```typespec
- * model Dog {
- *   @visibility("read") id: int32;
- *   @visibility("create", "update") secretName: string;
- *   name: string;
- * }
- *
- * // The spread operator will copy all the properties of Dog into DogRead,
- * // and @withVisibility will then remove those that are not visible with
- * // create or update visibility.
- * //
- * // In this case, the id property is removed, and the name and secretName
- * // properties are kept.
- * @withVisibility("create", "update")
- * model DogCreateOrUpdate {
- *   ...Dog;
- * }
- *
- * // In this case the id and name properties are kept and the secretName property
- * // is removed.
- * @withVisibility("read")
- * model DogRead {
- *   ...Dog;
- * }
- * ```
- */
-extern dec withVisibility(target: Model, ...visibilities: valueof string[]);
-
-/**
- * Set the visibility of key properties in a model if not already set.
- *
- * @param visibility The desired default visibility value. If a key property already has a `visibility` decorator then the default visibility is not applied.
- */
-extern dec withDefaultKeyVisibility(target: Model, visibility: valueof string);
-
-/**
- * Returns the model with non-updateable properties removed.
- */
-extern dec withUpdateableProperties(target: Model);
 
 /**
  * Returns the model with required properties removed.
@@ -848,15 +761,3 @@ extern dec inspectType(target: unknown, text: valueof string);
  * @param text Custom text to log
  */
 extern dec inspectTypeName(target: unknown, text: valueof string);
-
-/**
- * Sets which visibilities apply to parameters for the given operation.
- * @param visibilities List of visibility strings which apply to this operation.
- */
-extern dec parameterVisibility(target: Operation, ...visibilities: valueof string[]);
-
-/**
- * Sets which visibilities apply to the return type for the given operation.
- * @param visibilities List of visibility strings which apply to this operation.
- */
-extern dec returnTypeVisibility(target: Operation, ...visibilities: valueof string[]);

package/lib/std/main.tsp

@@ -3,3 +3,4 @@ import "./types.tsp";
 import "./decorators.tsp";
 import "./reflection.tsp";
 import "./projected-names.tsp";
+import "./visibility.tsp";