@fluidframework/tree 2.0.0-dev-rc.1.0.0.224419

package/dist/feature-libraries/typed-schema/typedTreeSchema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typedTreeSchema.js","sourceRoot":"","sources":["../../../src/feature-libraries/typed-schema/typedTreeSchema.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,2DAA0D;AAC1D,qCAcoB;AACpB,qCAQoB;AACpB,sDAA+C;AAG/C,2CAA4D;AA0B5D;CAEC;AAED;;;;;GAKG;AACH,MAAsB,kBAAkB;IAKvC,YACiB,OAAsB,EACtB,IAAoC,EACpC,IAAmB,EACnB,MAA4B;QAH5B,YAAO,GAAP,OAAO,CAAe;QACtB,SAAI,GAAJ,IAAI,CAAgC;QACpC,SAAI,GAAJ,IAAI,CAAe;QACnB,WAAM,GAAN,MAAM,CAAsB;IAC1C,CAAC;CAEJ;AAZD,gDAYC;AAED;;GAEG;AACH,MAAa,aAGX,SAAQ,kBAAuC;IAChD,IAAW,SAAS;QACnB,OAAO,IAAI,CAAC,IAAsB,CAAC;IACpC,CAAC;IAGM,MAAM,CAAC,MAAM,CACnB,OAAsB,EACtB,IAAoC,EACpC,aAA4B;QAE5B,OAAO,IAAI,aAAa,CACvB,OAAO,EACP,IAAI,EACJ,aAAa,EACb,IAAI,0BAAmB,CAAC,aAAa,CAAC,CACtC,CAAC;IACH,CAAC;IAEe,cAAc,CAAC,KAAe;QAC7C,OAAO,IAAI,CAAC,IAAsB,CAAC;IACpC,CAAC;CACD;AAzBD,sCAyBC;AAED;;GAEG;AACH,MAAa,cAGX,SAAQ,kBAAuC;IAChD,IAAW,SAAS;QACnB,OAAO,IAAI,CAAC,IAAmB,CAAC;IACjC,CAAC;IAGM,MAAM,CAAC,MAAM,CACnB,OAAsB,EACtB,IAAoC,EACpC,aAA4B;QAE5B,OAAO,IAAI,cAAc,CACxB,OAAO,EACP,IAAI,EACJ,aAAa,EACb,IAAI,2BAAoB,CAAC,aAAa,CAAC,CACvC,CAAC;IACH,CAAC;IAEe,cAAc,CAAC,KAAe;QAC7C,OAAO,eAAe,CAAC,KAAK,CAAC;IAC9B,CAAC;CACD;AAzBD,wCAyBC;AAED;;GAEG;AACH,MAAa,gBAGX,SAAQ,kBAAuC;IAGzC,MAAM,CAAC,MAAM,CACnB,OAAsB,EACtB,IAAoC,EACpC,aAA4B;QAE5B,MAAM,sBAAsB,GAC3B,qBAAqB,CAAgB,aAAa,CAAC,CAAC;QACrD,MAAM,gBAAgB,GAIlB,IAAA,4BAAgB,EAAC,sBAAsB,CAAC,CAAC;QAC7C,OAAO,IAAI,gBAAgB,CAC1B,OAAO,EACP,IAAI,EACJ,aAAa,EACb,sBAAsB,EACtB,gBAAgB,CAChB,CAAC;IACH,CAAC;IAED,YACC,OAAsB,EACtB,IAAoC,EACpC,IAAmB,EACH,sBAEf;IACD,gDAAgD;IAChD,uFAAuF;IACvE,gBAAwD;QAExE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,6BAAsB,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAPzD,2BAAsB,GAAtB,sBAAsB,CAErC;QAGe,qBAAgB,GAAhB,gBAAgB,CAAwC;IAGzE,CAAC;IAEe,cAAc,CAAC,KAAe;QAC7C,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC;IAClE,CAAC;CACD;AA5CD,4CA4CC;AAED;;;GAGG;AACH,MAAa,eAGX,SAAQ,kBAAuC;IAEzC,MAAM,CAAC,MAAM,CACnB,OAAsB,EACtB,IAAoC,EACpC,aAA4B;QAE5B,OAAO,IAAI,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;IAC1D,CAAC;IAED,YACC,OAAsB,EACtB,IAAoC,EACpC,IAAmB;QAEnB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,eAAQ,EAAE,IAAuB,CAAC,CAAC,CAAC,CAAC;QACxE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,6BAAsB,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC1E,CAAC;IAEe,cAAc,CAAC,KAAgB;QAC9C,OAAO,CAAC,KAAK,IAAI,eAAQ,CAAC,KAAK,eAAQ;YACtC,CAAC,CAAE,IAAI,CAAC,IAAwB;YAChC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC;IAC1B,CAAC;CACD;AA3BD,0CA2BC;AAoBD,SAAS,qBAAqB,CAAmB,MAAS;IACzD,MAAM,GAAG,GAAoC,EAAE,CAAC;IAChD,gDAAgD;IAChD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE;QACzB,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE;YACtD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC5B,GAAG,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;SACnC;KACD;IACD,OAAO,GAAmC,CAAC;AAC5C,CAAC;AAED,SAAS,cAAc,CAAwC,CAAI;IAClE,IAAI,CAAC,KAAK,SAAS,EAAE;QACpB,OAAO,eAAe,CAAC,KAAqC,CAAC;KAC7D;IAED,IAAA,mBAAM,EAAC,CAAC,YAAY,eAAe,EAAE,KAAK,CAAC,6BAA6B,CAAC,CAAC;IAC1E,OAAO,CAAsB,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACU,QAAA,GAAG,GAAG,KAAc,CAAC;AAsBlC;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,CAAe;IAChD,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,WAAG,CAAC;AACvC,CAAC;AAFD,8CAEC;AAWD;;;;;;;;;;;;;;GAcG;AACH,MAAa,eAAe;IAU3B;;;;OAIG;IACI,MAAM,CAAC,MAAM,CACnB,IAAW,EACX,YAAmB;QAEnB,OAAO,IAAI,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAChD,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,YAAY,CAGxB,IAAW,EAAE,YAAmB;QACjC,OAAO,IAAI,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAChD,CAAC;IAaD;;;;OAIG;IACH,YACiB,IAAW,EACX,YAAoB;QADpB,SAAI,GAAJ,IAAI,CAAO;QACX,iBAAY,GAAZ,YAAY,CAAQ;QAEpC,4FAA4F;QAC5F,IAAA,mBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACtE,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE;YACvC,IAAI,WAAW,KAAK,WAAG,EAAE;gBACxB,IAAA,mBAAM,EAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,KAAK,CAAC,iCAAiC,CAAC,CAAC;aAC3E;iBAAM,IAAI,OAAO,WAAW,KAAK,UAAU,EAAE;gBAC7C,IAAA,mBAAM,EACL,WAAW,YAAY,kBAAkB,EACzC,KAAK,CAAC,mCAAmC,CACzC,CAAC;aACF;SACD;QACD,IAAI,CAAC,SAAS,GAAG,IAAI,iBAAI,CAAC,GAAG,EAAE;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAuC,CAAC;YAC3D,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC5C,OAAO;gBACN,KAAK,EAAE,qBAAqB,CAAC,KAAK,CAAC;gBACnC,MAAM;gBACN,oBAAoB,EAAE,MAAM,KAAK,WAAG,CAAC,CAAC,CAAC,IAAA,iBAAU,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;aACrE,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,IAAW,KAAK;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;IACnC,CAAC;IAED;;;;;;;;OAQG;IACH,IAAW,cAAc;QACxB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;IACpC,CAAC;IAED;;;;;OAKG;IACH,IAAW,oBAAoB;QAC9B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,KAAsB;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE;YAC7B,OAAO,KAAK,CAAC;SACb;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE;YAC9B,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC;SAChC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE;YAC7B,OAAO,KAAK,CAAC;SACb;QACD,OAAO,IAAA,kBAAW,EAAC;YAClB,CAAC,EAAE,IAAI,CAAC,KAAK;YACb,CAAC,EAAE,KAAK,CAAC,KAAK;YACd,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;SACnB,CAAC,CAAC;IACJ,CAAC;;AAlIF,0CAmIC;AA9HA;;GAEG;AACoB,qBAAK,GAAG,eAAe,CAAC,MAAM,CAAC,2BAAU,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AAwIjF;;;GAGG;AACH,SAAgB,qBAAqB,CAAC,CAAe;IACpD,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE;QACzB,OAAO,WAAG,CAAC;KACX;IACD,MAAM,IAAI,GAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,KAA+B,EAAE,EAAE;QACxE,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE;YAChC,OAAO,KAAK,EAAE,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAXD,sDAWC;AAED;;;GAGG;AACH,SAAgB,qBAAqB,CAAC,CAAe;IACpD,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,WAAG,EAAE;QACjB,OAAO,SAAS,CAAC;KACjB;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvC,IAAA,mBAAM,EAAC,IAAI,YAAY,kBAAkB,EAAE,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC,IAAI,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAVD,sDAUC;AA4BD;;GAEG;AACH,SAAgB,gBAAgB,CAAC,UAA0B;IAC1D,OAAO;QACN,eAAe,EAAE,UAAU,CAAC,eAAe;QAC3C,GAAG,0BAA0B,CAAC,UAAU,CAAC;KACzC,CAAC;AACH,CAAC;AALD,4CAKC;AAED;;GAEG;AACH,SAAgB,0BAA0B,CAAC,UAA4B;IACtE,OAAO;QACN,UAAU,EAAE,IAAI,GAAG,CAClB,IAAA,kBAAW,EAAC,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CACvE;KACD,CAAC;AACH,CAAC;AAND,gEAMC;AAiBD,8HAA8H;AAE9H;;;GAGG;AACH,SAAgB,WAAW,CAAC,MAAsB;IACjD,OAAO,MAAM,YAAY,aAAa,CAAC;AACxC,CAAC;AAFD,kCAEC;AAED;;;GAGG;AACH,SAAgB,YAAY,CAAC,MAAsB;IAClD,OAAO,MAAM,YAAY,cAAc,CAAC;AACzC,CAAC;AAFD,oCAEC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,MAAsB;IACvD,OAAO,MAAM,YAAY,eAAe,CAAC;AAC1C,CAAC;AAFD,8CAEC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAAC,MAAsB;IACxD,OAAO,MAAM,YAAY,gBAAgB,CAAC;AAC3C,CAAC;AAFD,gDAEC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { Lazy, assert } from \"@fluidframework/core-utils\";\nimport {\n\tAdapters,\n\tEmptyKey,\n\tFieldKey,\n\tTreeNodeStoredSchema,\n\tTreeFieldStoredSchema,\n\tTreeNodeSchemaIdentifier,\n\tTreeTypeSet,\n\tValueSchema,\n\tTreeStoredSchema,\n\tStoredSchemaCollection,\n\tMapNodeStoredSchema,\n\tLeafNodeStoredSchema,\n\tObjectNodeStoredSchema,\n} from \"../../core\";\nimport {\n\tMakeNominal,\n\tNamed,\n\trequireAssignableTo,\n\tcompareSets,\n\toneFromSet,\n\tAssume,\n\tmapIterable,\n} from \"../../util\";\nimport { FieldKinds } from \"../default-schema\";\nimport { FieldKind, FullSchemaPolicy } from \"../modular-schema\";\nimport { LazyItem } from \"./flexList\";\nimport { ObjectToMap, objectToMapTyped } from \"./typeUtils\";\n\n/**\n * @internal\n */\nexport interface Fields {\n\treadonly [key: string]: TreeFieldSchema;\n}\n\n/**\n * @internal\n */\nexport type NormalizeObjectNodeFields<T extends Fields> = {\n\treadonly [Property in keyof T]: NormalizeField<T[Property]>;\n};\n\n/**\n * A placeholder to use in extends constraints when using the real type breaks compilation of some recursive types due to [a design limitation of TypeScript](https://github.com/microsoft/TypeScript/issues/55758).\n *\n * These extends constraints only serve as documentation:\n * to avoid breaking compilation, this type has to not actually enforce anything, and thus is just `unknown`.\n * Therefore the type safety is the responsibility of the user of the API.\n * @internal\n */\nexport type Unenforced<_DesiredExtendsConstraint> = unknown;\n\n{\n\ttype _check = requireAssignableTo<TreeNodeSchema, Unenforced<TreeNodeSchema>>;\n}\n\n/**\n * T must extend TreeSchemaSpecification.\n * This can not be enforced using TypeScript since doing so breaks recursive type support.\n * See note on SchemaBuilder.fieldRecursive.\n * @internal\n */\nexport abstract class TreeNodeSchemaBase<\n\tconst out Name extends string = string,\n\tconst out Specification = unknown,\n> {\n\tprotected _typeCheck?: MakeNominal;\n\tprotected constructor(\n\t\tpublic readonly builder: Named<string>,\n\t\tpublic readonly name: TreeNodeSchemaIdentifier<Name>,\n\t\tpublic readonly info: Specification,\n\t\tpublic readonly stored: TreeNodeStoredSchema,\n\t) {}\n\tpublic abstract getFieldSchema(field: FieldKey): TreeFieldSchema;\n}\n\n/**\n * @internal\n */\nexport class MapNodeSchema<\n\tconst out Name extends string = string,\n\tconst out Specification extends Unenforced<MapFieldSchema> = MapFieldSchema,\n> extends TreeNodeSchemaBase<Name, Specification> {\n\tpublic get mapFields(): MapFieldSchema {\n\t\treturn this.info as MapFieldSchema;\n\t}\n\n\tprotected _typeCheck2?: MakeNominal;\n\tpublic static create<const Name extends string, const Specification extends MapFieldSchema>(\n\t\tbuilder: Named<string>,\n\t\tname: TreeNodeSchemaIdentifier<Name>,\n\t\tspecification: Specification,\n\t): MapNodeSchema<Name, Specification> {\n\t\treturn new MapNodeSchema(\n\t\t\tbuilder,\n\t\t\tname,\n\t\t\tspecification,\n\t\t\tnew MapNodeStoredSchema(specification),\n\t\t);\n\t}\n\n\tpublic override getFieldSchema(field: FieldKey): MapFieldSchema {\n\t\treturn this.info as MapFieldSchema;\n\t}\n}\n\n/**\n * @internal\n */\nexport class LeafNodeSchema<\n\tconst out Name extends string = string,\n\tconst out Specification extends Unenforced<ValueSchema> = ValueSchema,\n> extends TreeNodeSchemaBase<Name, Specification> {\n\tpublic get leafValue(): ValueSchema {\n\t\treturn this.info as ValueSchema;\n\t}\n\n\tprotected _typeCheck2?: MakeNominal;\n\tpublic static create<const Name extends string, const Specification extends ValueSchema>(\n\t\tbuilder: Named<string>,\n\t\tname: TreeNodeSchemaIdentifier<Name>,\n\t\tspecification: Specification,\n\t): LeafNodeSchema<Name, Specification> {\n\t\treturn new LeafNodeSchema(\n\t\t\tbuilder,\n\t\t\tname,\n\t\t\tspecification,\n\t\t\tnew LeafNodeStoredSchema(specification),\n\t\t);\n\t}\n\n\tpublic override getFieldSchema(field: FieldKey): TreeFieldSchema {\n\t\treturn TreeFieldSchema.empty;\n\t}\n}\n\n/**\n * @internal\n */\nexport class ObjectNodeSchema<\n\tconst out Name extends string = string,\n\tconst out Specification extends Unenforced<Fields> = Fields,\n> extends TreeNodeSchemaBase<Name, Specification> {\n\tprotected _typeCheck2?: MakeNominal;\n\n\tpublic static create<const Name extends string, const Specification extends Fields>(\n\t\tbuilder: Named<string>,\n\t\tname: TreeNodeSchemaIdentifier<Name>,\n\t\tspecification: Specification,\n\t): ObjectNodeSchema<Name, Specification> {\n\t\tconst objectNodeFieldsObject: NormalizeObjectNodeFields<Specification> =\n\t\t\tnormalizeStructFields<Specification>(specification);\n\t\tconst objectNodeFields: ObjectToMap<\n\t\t\tNormalizeObjectNodeFields<Specification>,\n\t\t\tFieldKey,\n\t\t\tTreeFieldSchema\n\t\t> = objectToMapTyped(objectNodeFieldsObject);\n\t\treturn new ObjectNodeSchema(\n\t\t\tbuilder,\n\t\t\tname,\n\t\t\tspecification,\n\t\t\tobjectNodeFieldsObject,\n\t\t\tobjectNodeFields,\n\t\t);\n\t}\n\n\tprivate constructor(\n\t\tbuilder: Named<string>,\n\t\tname: TreeNodeSchemaIdentifier<Name>,\n\t\tinfo: Specification,\n\t\tpublic readonly objectNodeFieldsObject: NormalizeObjectNodeFields<\n\t\t\tAssume<Specification, Fields>\n\t\t>,\n\t\t// Allows reading fields through the normal map.\n\t\t// Stricter typing caused Specification to no longer be covariant, so has been removed.\n\t\tpublic readonly objectNodeFields: ReadonlyMap<FieldKey, TreeFieldSchema>,\n\t) {\n\t\tsuper(builder, name, info, new ObjectNodeStoredSchema(objectNodeFields));\n\t}\n\n\tpublic override getFieldSchema(field: FieldKey): TreeFieldSchema {\n\t\treturn this.objectNodeFields.get(field) ?? TreeFieldSchema.empty;\n\t}\n}\n\n/**\n * TODO: replace (or subclass) this with more specific types, like \"List\".\n * @internal\n */\nexport class FieldNodeSchema<\n\tName extends string = string,\n\tSpecification extends Unenforced<TreeFieldSchema> = TreeFieldSchema,\n> extends TreeNodeSchemaBase<Name, Specification> {\n\tprotected _typeCheck2?: MakeNominal;\n\tpublic static create<const Name extends string, const Specification extends TreeFieldSchema>(\n\t\tbuilder: Named<string>,\n\t\tname: TreeNodeSchemaIdentifier<Name>,\n\t\tspecification: Specification,\n\t): FieldNodeSchema<Name, Specification> {\n\t\treturn new FieldNodeSchema(builder, name, specification);\n\t}\n\n\tprivate constructor(\n\t\tbuilder: Named<string>,\n\t\tname: TreeNodeSchemaIdentifier<Name>,\n\t\tinfo: Specification,\n\t) {\n\t\tconst objectNodeFields = new Map([[EmptyKey, info as TreeFieldSchema]]);\n\t\tsuper(builder, name, info, new ObjectNodeStoredSchema(objectNodeFields));\n\t}\n\n\tpublic override getFieldSchema(field?: FieldKey): TreeFieldSchema {\n\t\treturn (field ?? EmptyKey) === EmptyKey\n\t\t\t? (this.info as TreeFieldSchema)\n\t\t\t: TreeFieldSchema.empty;\n\t}\n}\n\n/**\n * @internal\n * @privateRemarks\n * This could be an exhaustive union, or just the common base type.\n * Using just the base type prevents exhaustive matching, which has both pros and cons.\n *\n * For now this is using just the base type since the union is causing issues with schema aware typing, likely due to it being a union and thus distributing over extends clauses.\n */\nexport type TreeNodeSchema = TreeNodeSchemaBase;\n\n/**\n * Convert FieldSchemaSpecification | undefined into TreeFieldSchema.\n * @internal\n */\nexport type NormalizeField<T extends TreeFieldSchema | undefined> = T extends TreeFieldSchema\n\t? T\n\t: TreeFieldSchema<typeof FieldKinds.forbidden, []>;\n\nfunction normalizeStructFields<T extends Fields>(fields: T): NormalizeObjectNodeFields<T> {\n\tconst out: Record<string, TreeFieldSchema> = {};\n\t// eslint-disable-next-line no-restricted-syntax\n\tfor (const key in fields) {\n\t\tif (Object.prototype.hasOwnProperty.call(fields, key)) {\n\t\t\tconst element = fields[key];\n\t\t\tout[key] = normalizeField(element);\n\t\t}\n\t}\n\treturn out as NormalizeObjectNodeFields<T>;\n}\n\nfunction normalizeField<T extends TreeFieldSchema | undefined>(t: T): NormalizeField<T> {\n\tif (t === undefined) {\n\t\treturn TreeFieldSchema.empty as unknown as NormalizeField<T>;\n\t}\n\n\tassert(t instanceof TreeFieldSchema, 0x6ae /* invalid TreeFieldSchema */);\n\treturn t as NormalizeField<T>;\n}\n\n/**\n * Allow any node (as long as it meets the schema for its own type).\n * @internal\n */\nexport const Any = \"Any\" as const;\n/**\n * Allow any node (as long as it meets the schema for its own type).\n * @internal\n */\nexport type Any = typeof Any;\n\n/**\n * Tree type, but can be wrapped in a function to allow referring to types before they are declared.\n * This makes recursive and co-recursive types possible.\n * @internal\n */\nexport type LazyTreeNodeSchema = TreeNodeSchema | (() => TreeNodeSchema);\n\n/**\n * Types for use in fields.\n *\n * \"Any\" is boxed in an array to allow use as variadic parameter.\n * @internal\n */\nexport type AllowedTypes = readonly [Any] | readonly LazyItem<TreeNodeSchema>[];\n\n/**\n * Checks if an {@link AllowedTypes} is {@link (Any:type)}.\n * @internal\n */\nexport function allowedTypesIsAny(t: AllowedTypes): t is readonly [Any] {\n\treturn t.length === 1 && t[0] === Any;\n}\n\n/**\n * Subset of TreeFieldSchema thats legal in maps.\n * This requires empty to be a valid value for the map.\n * @internal\n */\nexport type MapFieldSchema = TreeFieldSchema<\n\ttypeof FieldKinds.optional | typeof FieldKinds.sequence\n>;\n\n/**\n * All policy for a specific field,\n * including functionality that does not have to be kept consistent across versions or deterministic.\n *\n * This can include policy for how to use this schema for \"view\" purposes, and well as how to expose editing APIs.\n *\n * @remarks\n * `Types` here must extend `AllowedTypes`, but this cannot be enforced with an \"extends\" clause: see {@link Unenforced} for details.\n *\n * @typeParam TKind - The kind of field.\n * @typeParam TTypes - The types allowed by the field.\n *\n * @sealed\n * @internal\n */\nexport class TreeFieldSchema<\n\tout TKind extends FieldKind = FieldKind,\n\tconst out TTypes extends Unenforced<AllowedTypes> = AllowedTypes,\n> implements TreeFieldStoredSchema\n{\n\t/**\n\t * Schema for a field which must always be empty.\n\t */\n\tpublic static readonly empty = TreeFieldSchema.create(FieldKinds.forbidden, []);\n\n\t/**\n\t * Constructs a TreeFieldSchema.\n\t * @privateRemarks\n\t * Alias for the constructor, but with extends clause for the `Types` parameter that {@link TreeFieldSchema} can not have (due to recursive type issues).\n\t */\n\tpublic static create<TKind extends FieldKind, const Types extends AllowedTypes>(\n\t\tkind: TKind,\n\t\tallowedTypes: Types,\n\t): TreeFieldSchema<TKind, Types> {\n\t\treturn new TreeFieldSchema(kind, allowedTypes);\n\t}\n\n\t/**\n\t * Constructs a TreeFieldSchema, but missing the extends clause which breaks most recursive types.\n\t * @remarks\n\t * `Types` here must extend `AllowedTypes`, but this cannot be enforced with an \"extends\" clause: see {@link Unenforced} for details.\n\t * Prefer {@link TreeFieldSchema.create} when possible.\n\t */\n\tpublic static createUnsafe<\n\t\tTKind extends FieldKind,\n\t\tconst Types extends Unenforced<AllowedTypes>,\n\t>(kind: TKind, allowedTypes: Types): TreeFieldSchema<TKind, Types> {\n\t\treturn new TreeFieldSchema(kind, allowedTypes);\n\t}\n\n\tprotected _typeCheck?: MakeNominal;\n\n\t/**\n\t * This is computed lazily since types can be recursive, which makes evaluating this have to happen after all the schema are defined.\n\t */\n\tprivate readonly lazyTypes: Lazy<{\n\t\tnames: TreeTypeSet;\n\t\tschema: AllowedTypeSet;\n\t\tmonomorphicChildType?: TreeNodeSchema;\n\t}>;\n\n\t/**\n\t * @param kind - The {@link https://en.wikipedia.org/wiki/Kind_(type_theory) | kind} of this field.\n\t * Determine the multiplicity, viewing and editing APIs as well as the merge resolution policy.\n\t * @param allowedTypes - What types of tree nodes are allowed in this field.\n\t */\n\tprivate constructor(\n\t\tpublic readonly kind: TKind,\n\t\tpublic readonly allowedTypes: TTypes,\n\t) {\n\t\t// Since this class can't have the desired extends clause, do some extra runtime validation:\n\t\tassert(Array.isArray(allowedTypes), 0x7bc /* Invalid allowedTypes */);\n\t\tfor (const allowedType of allowedTypes) {\n\t\t\tif (allowedType === Any) {\n\t\t\t\tassert(allowedTypes.length === 1, 0x7bd /* Invalid Any in allowedTypes */);\n\t\t\t} else if (typeof allowedType !== \"function\") {\n\t\t\t\tassert(\n\t\t\t\t\tallowedType instanceof TreeNodeSchemaBase,\n\t\t\t\t\t0x7be /* Invalid entry in allowedTypes */,\n\t\t\t\t);\n\t\t\t}\n\t\t}\n\t\tthis.lazyTypes = new Lazy(() => {\n\t\t\tconst input = this.allowedTypes as unknown as AllowedTypes;\n\t\t\tconst schema = allowedTypesSchemaSet(input);\n\t\t\treturn {\n\t\t\t\tnames: allowedTypesToTypeSet(input),\n\t\t\t\tschema,\n\t\t\t\tmonomorphicChildType: schema !== Any ? oneFromSet(schema) : undefined,\n\t\t\t};\n\t\t});\n\t}\n\n\t/**\n\t * Types which are allowed in this field (by {@link TreeNodeSchemaIdentifier}), in a format optimized for stored schema.\n\t * This is the same set of types in {@link TreeFieldSchema.allowedTypes}, just in a different format.\n\t */\n\tpublic get types(): TreeTypeSet {\n\t\treturn this.lazyTypes.value.names;\n\t}\n\n\t/**\n\t * Types which are allowed in this field.\n\t * This is the same set of types in {@link TreeFieldSchema.allowedTypes}, just as a set with laziness removed.\n\t * @privateRemarks\n\t * TODO:\n\t * 3 ways to access the allowed types are now exposed.\n\t * Reducing this and/or renaming the more friendly options to take the shorter name (`types`)\n\t * would be a good idea.\n\t */\n\tpublic get allowedTypeSet(): AllowedTypeSet {\n\t\treturn this.lazyTypes.value.schema;\n\t}\n\n\t/**\n\t * If exactly one type of child is allowed in this field, it is provided here.\n\t * @remarks\n\t * Some code paths (like unboxing and compressed tree encoding) special case schema with exactly one allowed type.\n\t * This field allows for simple and optimized handling of this case.\n\t */\n\tpublic get monomorphicChildType(): TreeNodeSchema | undefined {\n\t\treturn this.lazyTypes.value.monomorphicChildType;\n\t}\n\n\t/**\n\t * Compare this schema to another.\n\t *\n\t * @returns true iff the schema are identical.\n\t */\n\tpublic equals(other: TreeFieldSchema): boolean {\n\t\tif (other.kind !== this.kind) {\n\t\t\treturn false;\n\t\t}\n\t\tif (other.types === undefined) {\n\t\t\treturn this.types === undefined;\n\t\t}\n\t\tif (this.types === undefined) {\n\t\t\treturn false;\n\t\t}\n\t\treturn compareSets({\n\t\t\ta: this.types,\n\t\t\tb: other.types,\n\t\t\taExtra: () => false,\n\t\t\tbExtra: () => false,\n\t\t});\n\t}\n}\n\n/**\n * Types for use in fields.\n * This representation is optimized for runtime use in view-schema.\n *\n * @remarks\n * See {@link TreeTypeSet} for a stored-schema compatible version using the {@link TreeNodeSchemaIdentifier}.\n * See {@link AllowedTypes} for a compile time optimized version.\n * @internal\n */\nexport type AllowedTypeSet = Any | ReadonlySet<TreeNodeSchema>;\n\n/**\n * Convert {@link AllowedTypes} to {@link TreeTypeSet}.\n * @internal\n */\nexport function allowedTypesSchemaSet(t: AllowedTypes): AllowedTypeSet {\n\tif (allowedTypesIsAny(t)) {\n\t\treturn Any;\n\t}\n\tconst list: TreeNodeSchema[] = t.map((value: LazyItem<TreeNodeSchema>) => {\n\t\tif (typeof value === \"function\") {\n\t\t\treturn value();\n\t\t}\n\t\treturn value;\n\t});\n\treturn new Set(list);\n}\n\n/**\n * Convert {@link AllowedTypes} to {@link TreeTypeSet}.\n * @internal\n */\nexport function allowedTypesToTypeSet(t: AllowedTypes): TreeTypeSet {\n\tconst list = allowedTypesSchemaSet(t);\n\tif (list === Any) {\n\t\treturn undefined;\n\t}\n\tconst names = Array.from(list, (type) => {\n\t\tassert(type instanceof TreeNodeSchemaBase, 0x7bf /* invalid allowed type */);\n\t\treturn type.name;\n\t});\n\treturn new Set(names);\n}\n\n/**\n * Schema data that can be be used to view a document.\n * Strongly typed over its rootFieldSchema.\n *\n * @remarks\n * The type of the rootFieldSchema is used to implement SchemaAware APIs.\n * Cases that do not require being compile time schema aware can omit the explicit type for it.\n *\n * @internal\n */\nexport interface FlexTreeSchema<out T extends TreeFieldSchema = TreeFieldSchema>\n\textends SchemaCollection {\n\t/**\n\t * Schema for the root field which contains the whole tree.\n\t */\n\treadonly rootFieldSchema: T;\n\t/**\n\t * Extra configuration for how this schema is handled at runtime.\n\t */\n\treadonly policy: FullSchemaPolicy;\n\t/**\n\t * Compatibility information how how to interact with content who's stored schema is not directly compatible with this schema.\n\t */\n\treadonly adapters: Adapters;\n}\n\n/**\n * Converts a {@link FlexTreeSchema} into a {@link TreeStoredSchema}.\n */\nexport function intoStoredSchema(treeSchema: FlexTreeSchema): TreeStoredSchema {\n\treturn {\n\t\trootFieldSchema: treeSchema.rootFieldSchema,\n\t\t...intoStoredSchemaCollection(treeSchema),\n\t};\n}\n\n/**\n * Converts a {@link SchemaCollection} into a {@link StoredSchemaCollection}.\n */\nexport function intoStoredSchemaCollection(treeSchema: SchemaCollection): StoredSchemaCollection {\n\treturn {\n\t\tnodeSchema: new Map(\n\t\t\tmapIterable(treeSchema.nodeSchema.entries(), ([k, v]) => [k, v.stored]),\n\t\t),\n\t};\n}\n\n/**\n * Schema data that can be be used to view a document.\n * @internal\n *\n * @privateRemarks\n * It is convenient that this can be used as a StoredSchemaCollection with no conversion.\n * There there isn't a design requirement for this however, so this extends clause can be removed later if needed.\n */\nexport interface SchemaCollection {\n\t/**\n\t * {@inheritdoc SchemaCollection}\n\t */\n\treadonly nodeSchema: ReadonlyMap<TreeNodeSchemaIdentifier, TreeNodeSchema>;\n}\n\n// These schema type narrowing functions are preferred over `instanceof` due to being easier to migrate to class based schema.\n\n/**\n * Checks if a {@link TreeNodeSchema} is a {@link MapNodeSchema}.\n * @internal\n */\nexport function schemaIsMap(schema: TreeNodeSchema): schema is MapNodeSchema {\n\treturn schema instanceof MapNodeSchema;\n}\n\n/**\n * Checks if a {@link TreeNodeSchema} is a {@link LeafNodeSchema}.\n * @internal\n */\nexport function schemaIsLeaf(schema: TreeNodeSchema): schema is LeafNodeSchema {\n\treturn schema instanceof LeafNodeSchema;\n}\n\n/**\n * Checks if a {@link TreeNodeSchema} is a {@link FieldNodeSchema}.\n * @internal\n */\nexport function schemaIsFieldNode(schema: TreeNodeSchema): schema is FieldNodeSchema {\n\treturn schema instanceof FieldNodeSchema;\n}\n\n/**\n * Checks if a {@link TreeNodeSchema} is a {@link ObjectNodeSchema}.\n * @internal\n */\nexport function schemaIsObjectNode(schema: TreeNodeSchema): schema is ObjectNodeSchema {\n\treturn schema instanceof ObjectNodeSchema;\n}\n"]}

package/dist/feature-libraries/typed-schema/view.d.ts

@@ -0,0 +1,55 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { Named } from "../../util";
+import { TreeStoredSchema, Adapters, AdaptedViewSchema, Compatibility } from "../../core";
+import { FullSchemaPolicy } from "../modular-schema";
+import { FlexTreeSchema } from "./typedTreeSchema";
+/**
+ * A collection of View information for schema, including policy.
+ */
+export declare class ViewSchema {
+    readonly policy: FullSchemaPolicy;
+    readonly adapters: Adapters;
+    readonly schema: FlexTreeSchema;
+    /**
+     * Cached conversion of `schema` into a stored schema.
+     */
+    readonly storedSchema: TreeStoredSchema;
+    constructor(policy: FullSchemaPolicy, adapters: Adapters, schema: FlexTreeSchema);
+    /**
+     * Determines the compatibility of a stored document
+     * (based on its stored schema) with a viewer (based on its view schema).
+     *
+     * Adapters can be provided to handle differences between the two schema.
+     * Adapters should only use to types in the `view` SchemaRepository.
+     *
+     * TODO: this API violates the parse don't validate design philosophy.
+     * It should be wrapped with (or replaced by) a parse style API.
+     */
+    checkCompatibility(stored: TreeStoredSchema): {
+        read: Compatibility;
+        write: Compatibility;
+        writeAllowingStoredSchemaUpdates: Compatibility;
+    };
+    /**
+     * Compute a schema that `original` could be viewed as using adapters as needed.
+     *
+     * TODO: have a way for callers to get invalidated on schema updates.
+     */
+    adaptRepo(stored: TreeStoredSchema): AdaptedViewSchema;
+    /**
+     * Adapt original such that it allows member types which can be adapted to its specified types.
+     */
+    private adaptField;
+    private adaptTree;
+}
+/**
+ * Record where a schema came from for error reporting purposes.
+ * @internal
+ */
+export interface Sourced {
+    readonly builder: Named<string>;
+}
+//# sourceMappingURL=view.d.ts.map

package/dist/feature-libraries/typed-schema/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/typed-schema/view.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,KAAK,EAAQ,MAAM,YAAY,CAAC;AACzC,OAAO,EAIN,gBAAgB,EAChB,QAAQ,EACR,iBAAiB,EACjB,aAAa,EACb,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAmC,MAAM,mBAAmB,CAAC;AACtF,OAAO,EAAE,cAAc,EAAoB,MAAM,mBAAmB,CAAC;AAErE;;GAEG;AACH,qBAAa,UAAU;aAML,MAAM,EAAE,gBAAgB;aACxB,QAAQ,EAAE,QAAQ;aAClB,MAAM,EAAE,cAAc;IAPvC;;OAEG;IACH,SAAgB,YAAY,EAAE,gBAAgB,CAAC;gBAE9B,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,cAAc;IAKvC;;;;;;;;;OASG;IACI,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,GAAG;QACpD,IAAI,EAAE,aAAa,CAAC;QACpB,KAAK,EAAE,aAAa,CAAC;QACrB,gCAAgC,EAAE,aAAa,CAAC;KAChD;IAyCD;;;;OAIG;IACI,SAAS,CAAC,MAAM,EAAE,gBAAgB,GAAG,iBAAiB;IAgC7D;;OAEG;IACH,OAAO,CAAC,UAAU;IAelB,OAAO,CAAC,SAAS;CAIjB;AAED;;;GAGG;AACH,MAAM,WAAW,OAAO;IACvB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;CAChC"}

package/dist/feature-libraries/typed-schema/view.js

@@ -0,0 +1,117 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ViewSchema = void 0;
+const util_1 = require("../../util");
+const core_1 = require("../../core");
+const modular_schema_1 = require("../modular-schema");
+const typedTreeSchema_1 = require("./typedTreeSchema");
+/**
+ * A collection of View information for schema, including policy.
+ */
+class ViewSchema {
+    constructor(policy, adapters, schema) {
+        this.policy = policy;
+        this.adapters = adapters;
+        this.schema = schema;
+        this.storedSchema = (0, typedTreeSchema_1.intoStoredSchema)(schema);
+    }
+    /**
+     * Determines the compatibility of a stored document
+     * (based on its stored schema) with a viewer (based on its view schema).
+     *
+     * Adapters can be provided to handle differences between the two schema.
+     * Adapters should only use to types in the `view` SchemaRepository.
+     *
+     * TODO: this API violates the parse don't validate design philosophy.
+     * It should be wrapped with (or replaced by) a parse style API.
+     */
+    checkCompatibility(stored) {
+        const adapted = this.adaptRepo(stored);
+        const read = (0, modular_schema_1.allowsRepoSuperset)(this.policy, stored, this.storedSchema)
+            ? core_1.Compatibility.Compatible
+            : (0, modular_schema_1.allowsRepoSuperset)(this.policy, adapted.adaptedForViewSchema, this.storedSchema)
+                ? core_1.Compatibility.RequiresAdapters
+                : core_1.Compatibility.Incompatible;
+        // TODO: Extract subset of adapters that are valid to use on stored
+        // TODO: separate adapters from schema updates
+        const write = (0, modular_schema_1.allowsRepoSuperset)(this.policy, this.storedSchema, stored)
+            ? core_1.Compatibility.Compatible
+            : (0, modular_schema_1.allowsRepoSuperset)(this.policy, this.storedSchema, adapted.adaptedForViewSchema)
+                ? // TODO: IThis assumes adapters are bidirectional.
+                    core_1.Compatibility.RequiresAdapters
+                : core_1.Compatibility.Incompatible;
+        // TODO: compute this properly (and maybe include the set of schema changes needed for it?).
+        // Maybe updates would happen lazily when needed to store data?
+        // When willingness to updates can avoid need for some adapters,
+        // how should it be decided if the adapter should be used to avoid the update?
+        // TODO: is this case actually bi-variant, making this correct if we did it for each schema independently?
+        let writeAllowingStoredSchemaUpdates = 
+        // TODO: This should consider just the updates needed
+        // (ex: when view covers a subset of stored after stored has a update to that subset).
+        (0, modular_schema_1.allowsRepoSuperset)(this.policy, stored, this.storedSchema)
+            ? core_1.Compatibility.Compatible
+            : // TODO: this assumes adapters can translate in both directions. In general this will not be true.
+                // TODO: this also assumes that schema updates to the adapted repo would translate to
+                // updates on the stored schema, which is also likely untrue.
+                (0, modular_schema_1.allowsRepoSuperset)(this.policy, adapted.adaptedForViewSchema, this.storedSchema)
+                    ? core_1.Compatibility.RequiresAdapters // Requires schema updates. TODO: consider adapters that can update writes.
+                    : core_1.Compatibility.Incompatible;
+        // Since the above does not consider partial updates,
+        // we can improve the tolerance a bit by considering the op-op update:
+        writeAllowingStoredSchemaUpdates = Math.max(writeAllowingStoredSchemaUpdates, write);
+        return { read, write, writeAllowingStoredSchemaUpdates };
+    }
+    /**
+     * Compute a schema that `original` could be viewed as using adapters as needed.
+     *
+     * TODO: have a way for callers to get invalidated on schema updates.
+     */
+    adaptRepo(stored) {
+        // Sanity check on adapters:
+        // it's probably a bug it they use the never types,
+        // since there never is a reason to have a never type as an adapter input,
+        // and its impossible for an adapter to be correctly implemented if its output type is never
+        // (unless its input is also never).
+        for (const adapter of this.adapters?.tree ?? []) {
+            if ((0, modular_schema_1.isNeverTree)(this.policy, this.storedSchema, this.storedSchema.nodeSchema.get(adapter.output))) {
+                (0, util_1.fail)("tree adapter for stored adapter.output should not be never");
+            }
+        }
+        const adapted = {
+            rootFieldSchema: this.adaptField(stored.rootFieldSchema),
+            nodeSchema: new Map(),
+        };
+        for (const [key, schema] of stored.nodeSchema) {
+            const adapatedTree = this.adaptTree(schema);
+            adapted.nodeSchema.set(key, adapatedTree);
+        }
+        // TODO: subset these adapters to the ones that were needed/used.
+        return new core_1.AdaptedViewSchema(this.adapters, adapted);
+    }
+    /**
+     * Adapt original such that it allows member types which can be adapted to its specified types.
+     */
+    adaptField(original) {
+        if (original.types !== undefined) {
+            const types = new Set(original.types);
+            for (const treeAdapter of this.adapters?.tree ?? []) {
+                if (types.has(treeAdapter.input)) {
+                    types.delete(treeAdapter.input);
+                    types.add(treeAdapter.output);
+                }
+            }
+            return { kind: original.kind, types };
+        }
+        return original;
+    }
+    adaptTree(original) {
+        // TODO: support adapters like missing field adapters.
+        return original;
+    }
+}
+exports.ViewSchema = ViewSchema;
+//# sourceMappingURL=view.js.map

package/dist/feature-libraries/typed-schema/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../../src/feature-libraries/typed-schema/view.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,qCAAyC;AACzC,qCAQoB;AACpB,sDAAsF;AACtF,uDAAqE;AAErE;;GAEG;AACH,MAAa,UAAU;IAKtB,YACiB,MAAwB,EACxB,QAAkB,EAClB,MAAsB;QAFtB,WAAM,GAAN,MAAM,CAAkB;QACxB,aAAQ,GAAR,QAAQ,CAAU;QAClB,WAAM,GAAN,MAAM,CAAgB;QAEtC,IAAI,CAAC,YAAY,GAAG,IAAA,kCAAgB,EAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;;;;OASG;IACI,kBAAkB,CAAC,MAAwB;QAKjD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAEvC,MAAM,IAAI,GAAG,IAAA,mCAAkB,EAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC;YACtE,CAAC,CAAC,oBAAa,CAAC,UAAU;YAC1B,CAAC,CAAC,IAAA,mCAAkB,EAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,EAAE,IAAI,CAAC,YAAY,CAAC;gBAClF,CAAC,CAAC,oBAAa,CAAC,gBAAgB;gBAChC,CAAC,CAAC,oBAAa,CAAC,YAAY,CAAC;QAC9B,mEAAmE;QACnE,8CAA8C;QAC9C,MAAM,KAAK,GAAG,IAAA,mCAAkB,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC;YACvE,CAAC,CAAC,oBAAa,CAAC,UAAU;YAC1B,CAAC,CAAC,IAAA,mCAAkB,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,oBAAoB,CAAC;gBAClF,CAAC,CAAC,kDAAkD;oBAClD,oBAAa,CAAC,gBAAgB;gBAChC,CAAC,CAAC,oBAAa,CAAC,YAAY,CAAC;QAE9B,4FAA4F;QAC5F,+DAA+D;QAC/D,gEAAgE;QAChE,8EAA8E;QAC9E,0GAA0G;QAC1G,IAAI,gCAAgC;QACnC,qDAAqD;QACrD,sFAAsF;QACtF,IAAA,mCAAkB,EAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC;YACzD,CAAC,CAAC,oBAAa,CAAC,UAAU;YAC1B,CAAC,CAAC,kGAAkG;gBACpG,qFAAqF;gBACrF,6DAA6D;gBAC7D,IAAA,mCAAkB,EAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,EAAE,IAAI,CAAC,YAAY,CAAC;oBAChF,CAAC,CAAC,oBAAa,CAAC,gBAAgB,CAAC,2EAA2E;oBAC5G,CAAC,CAAC,oBAAa,CAAC,YAAY,CAAC;QAE/B,qDAAqD;QACrD,sEAAsE;QACtE,gCAAgC,GAAG,IAAI,CAAC,GAAG,CAAC,gCAAgC,EAAE,KAAK,CAAC,CAAC;QAErF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,gCAAgC,EAAE,CAAC;IAC1D,CAAC;IAED;;;;OAIG;IACI,SAAS,CAAC,MAAwB;QACxC,4BAA4B;QAC5B,mDAAmD;QACnD,0EAA0E;QAC1E,4FAA4F;QAC5F,oCAAoC;QACpC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,EAAE;YAChD,IACC,IAAA,4BAAW,EACV,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAChD,EACA;gBACD,IAAA,WAAI,EAAC,4DAA4D,CAAC,CAAC;aACnE;SACD;QAED,MAAM,OAAO,GAAG;YACf,eAAe,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC;YACxD,UAAU,EAAE,IAAI,GAAG,EAAkD;SACrE,CAAC;QAEF,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE;YAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC5C,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;SAC1C;QAED,iEAAiE;QACjE,OAAO,IAAI,wBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,QAA+B;QACjD,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE;YACjC,MAAM,KAAK,GAAkC,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrE,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,EAAE;gBACpD,IAAI,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE;oBACjC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;oBAChC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;iBAC9B;aACD;YAED,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;SACtC;QACD,OAAO,QAAQ,CAAC;IACjB,CAAC;IAEO,SAAS,CAAC,QAA8B;QAC/C,sDAAsD;QACtD,OAAO,QAAQ,CAAC;IACjB,CAAC;CACD;AA/HD,gCA+HC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { Named, fail } from \"../../util\";\nimport {\n\tTreeFieldStoredSchema,\n\tTreeNodeStoredSchema,\n\tTreeNodeSchemaIdentifier,\n\tTreeStoredSchema,\n\tAdapters,\n\tAdaptedViewSchema,\n\tCompatibility,\n} from \"../../core\";\nimport { FullSchemaPolicy, allowsRepoSuperset, isNeverTree } from \"../modular-schema\";\nimport { FlexTreeSchema, intoStoredSchema } from \"./typedTreeSchema\";\n\n/**\n * A collection of View information for schema, including policy.\n */\nexport class ViewSchema {\n\t/**\n\t * Cached conversion of `schema` into a stored schema.\n\t */\n\tpublic readonly storedSchema: TreeStoredSchema;\n\tpublic constructor(\n\t\tpublic readonly policy: FullSchemaPolicy,\n\t\tpublic readonly adapters: Adapters,\n\t\tpublic readonly schema: FlexTreeSchema,\n\t) {\n\t\tthis.storedSchema = intoStoredSchema(schema);\n\t}\n\n\t/**\n\t * Determines the compatibility of a stored document\n\t * (based on its stored schema) with a viewer (based on its view schema).\n\t *\n\t * Adapters can be provided to handle differences between the two schema.\n\t * Adapters should only use to types in the `view` SchemaRepository.\n\t *\n\t * TODO: this API violates the parse don't validate design philosophy.\n\t * It should be wrapped with (or replaced by) a parse style API.\n\t */\n\tpublic checkCompatibility(stored: TreeStoredSchema): {\n\t\tread: Compatibility;\n\t\twrite: Compatibility;\n\t\twriteAllowingStoredSchemaUpdates: Compatibility;\n\t} {\n\t\tconst adapted = this.adaptRepo(stored);\n\n\t\tconst read = allowsRepoSuperset(this.policy, stored, this.storedSchema)\n\t\t\t? Compatibility.Compatible\n\t\t\t: allowsRepoSuperset(this.policy, adapted.adaptedForViewSchema, this.storedSchema)\n\t\t\t? Compatibility.RequiresAdapters\n\t\t\t: Compatibility.Incompatible;\n\t\t// TODO: Extract subset of adapters that are valid to use on stored\n\t\t// TODO: separate adapters from schema updates\n\t\tconst write = allowsRepoSuperset(this.policy, this.storedSchema, stored)\n\t\t\t? Compatibility.Compatible\n\t\t\t: allowsRepoSuperset(this.policy, this.storedSchema, adapted.adaptedForViewSchema)\n\t\t\t? // TODO: IThis assumes adapters are bidirectional.\n\t\t\t  Compatibility.RequiresAdapters\n\t\t\t: Compatibility.Incompatible;\n\n\t\t// TODO: compute this properly (and maybe include the set of schema changes needed for it?).\n\t\t// Maybe updates would happen lazily when needed to store data?\n\t\t// When willingness to updates can avoid need for some adapters,\n\t\t// how should it be decided if the adapter should be used to avoid the update?\n\t\t// TODO: is this case actually bi-variant, making this correct if we did it for each schema independently?\n\t\tlet writeAllowingStoredSchemaUpdates =\n\t\t\t// TODO: This should consider just the updates needed\n\t\t\t// (ex: when view covers a subset of stored after stored has a update to that subset).\n\t\t\tallowsRepoSuperset(this.policy, stored, this.storedSchema)\n\t\t\t\t? Compatibility.Compatible\n\t\t\t\t: // TODO: this assumes adapters can translate in both directions. In general this will not be true.\n\t\t\t\t// TODO: this also assumes that schema updates to the adapted repo would translate to\n\t\t\t\t// updates on the stored schema, which is also likely untrue.\n\t\t\t\tallowsRepoSuperset(this.policy, adapted.adaptedForViewSchema, this.storedSchema)\n\t\t\t\t? Compatibility.RequiresAdapters // Requires schema updates. TODO: consider adapters that can update writes.\n\t\t\t\t: Compatibility.Incompatible;\n\n\t\t// Since the above does not consider partial updates,\n\t\t// we can improve the tolerance a bit by considering the op-op update:\n\t\twriteAllowingStoredSchemaUpdates = Math.max(writeAllowingStoredSchemaUpdates, write);\n\n\t\treturn { read, write, writeAllowingStoredSchemaUpdates };\n\t}\n\n\t/**\n\t * Compute a schema that `original` could be viewed as using adapters as needed.\n\t *\n\t * TODO: have a way for callers to get invalidated on schema updates.\n\t */\n\tpublic adaptRepo(stored: TreeStoredSchema): AdaptedViewSchema {\n\t\t// Sanity check on adapters:\n\t\t// it's probably a bug it they use the never types,\n\t\t// since there never is a reason to have a never type as an adapter input,\n\t\t// and its impossible for an adapter to be correctly implemented if its output type is never\n\t\t// (unless its input is also never).\n\t\tfor (const adapter of this.adapters?.tree ?? []) {\n\t\t\tif (\n\t\t\t\tisNeverTree(\n\t\t\t\t\tthis.policy,\n\t\t\t\t\tthis.storedSchema,\n\t\t\t\t\tthis.storedSchema.nodeSchema.get(adapter.output),\n\t\t\t\t)\n\t\t\t) {\n\t\t\t\tfail(\"tree adapter for stored adapter.output should not be never\");\n\t\t\t}\n\t\t}\n\n\t\tconst adapted = {\n\t\t\trootFieldSchema: this.adaptField(stored.rootFieldSchema),\n\t\t\tnodeSchema: new Map<TreeNodeSchemaIdentifier, TreeNodeStoredSchema>(),\n\t\t};\n\n\t\tfor (const [key, schema] of stored.nodeSchema) {\n\t\t\tconst adapatedTree = this.adaptTree(schema);\n\t\t\tadapted.nodeSchema.set(key, adapatedTree);\n\t\t}\n\n\t\t// TODO: subset these adapters to the ones that were needed/used.\n\t\treturn new AdaptedViewSchema(this.adapters, adapted);\n\t}\n\n\t/**\n\t * Adapt original such that it allows member types which can be adapted to its specified types.\n\t */\n\tprivate adaptField(original: TreeFieldStoredSchema): TreeFieldStoredSchema {\n\t\tif (original.types !== undefined) {\n\t\t\tconst types: Set<TreeNodeSchemaIdentifier> = new Set(original.types);\n\t\t\tfor (const treeAdapter of this.adapters?.tree ?? []) {\n\t\t\t\tif (types.has(treeAdapter.input)) {\n\t\t\t\t\ttypes.delete(treeAdapter.input);\n\t\t\t\t\ttypes.add(treeAdapter.output);\n\t\t\t\t}\n\t\t\t}\n\n\t\t\treturn { kind: original.kind, types };\n\t\t}\n\t\treturn original;\n\t}\n\n\tprivate adaptTree(original: TreeNodeStoredSchema): TreeNodeStoredSchema {\n\t\t// TODO: support adapters like missing field adapters.\n\t\treturn original;\n\t}\n}\n\n/**\n * Record where a schema came from for error reporting purposes.\n * @internal\n */\nexport interface Sourced {\n\treadonly builder: Named<string>;\n}\n"]}

package/dist/feature-libraries/utils.d.ts

@@ -0,0 +1,9 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { IJsonCodec } from "../codec";
+import { RevisionTag, EncodedRevisionTag, ChangeAtomId, EncodedChangeAtomId } from "../core";
+export declare function encodeChangeAtomId(revisionTagCodec: IJsonCodec<RevisionTag, EncodedRevisionTag>, changeAtomId: ChangeAtomId): EncodedChangeAtomId;
+export declare function decodeChangeAtomId(revisionTagCodec: IJsonCodec<RevisionTag, EncodedRevisionTag>, changeAtomId: EncodedChangeAtomId): ChangeAtomId;
+//# sourceMappingURL=utils.d.ts.map

package/dist/feature-libraries/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/feature-libraries/utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAE7F,wBAAgB,kBAAkB,CACjC,gBAAgB,EAAE,UAAU,CAAC,WAAW,EAAE,kBAAkB,CAAC,EAC7D,YAAY,EAAE,YAAY,GACxB,mBAAmB,CASrB;AAED,wBAAgB,kBAAkB,CACjC,gBAAgB,EAAE,UAAU,CAAC,WAAW,EAAE,kBAAkB,CAAC,EAC7D,YAAY,EAAE,mBAAmB,GAC/B,YAAY,CASd"}

package/dist/feature-libraries/utils.js

@@ -0,0 +1,28 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.decodeChangeAtomId = exports.encodeChangeAtomId = void 0;
+function encodeChangeAtomId(revisionTagCodec, changeAtomId) {
+    if (changeAtomId.revision === undefined) {
+        return { localId: changeAtomId.localId };
+    }
+    return {
+        localId: changeAtomId.localId,
+        revision: revisionTagCodec.encode(changeAtomId.revision),
+    };
+}
+exports.encodeChangeAtomId = encodeChangeAtomId;
+function decodeChangeAtomId(revisionTagCodec, changeAtomId) {
+    if (changeAtomId.revision === undefined) {
+        return { localId: changeAtomId.localId };
+    }
+    return {
+        localId: changeAtomId.localId,
+        revision: revisionTagCodec.decode(changeAtomId.revision),
+    };
+}
+exports.decodeChangeAtomId = decodeChangeAtomId;
+//# sourceMappingURL=utils.js.map

package/dist/feature-libraries/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/feature-libraries/utils.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAKH,SAAgB,kBAAkB,CACjC,gBAA6D,EAC7D,YAA0B;IAE1B,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS,EAAE;QACxC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,CAAC;KACzC;IAED,OAAO;QACN,OAAO,EAAE,YAAY,CAAC,OAAO;QAC7B,QAAQ,EAAE,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC;KACxD,CAAC;AACH,CAAC;AAZD,gDAYC;AAED,SAAgB,kBAAkB,CACjC,gBAA6D,EAC7D,YAAiC;IAEjC,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS,EAAE;QACxC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,CAAC;KACzC;IAED,OAAO;QACN,OAAO,EAAE,YAAY,CAAC,OAAO;QAC7B,QAAQ,EAAE,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC;KACxD,CAAC;AACH,CAAC;AAZD,gDAYC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { IJsonCodec } from \"../codec\";\nimport { RevisionTag, EncodedRevisionTag, ChangeAtomId, EncodedChangeAtomId } from \"../core\";\n\nexport function encodeChangeAtomId(\n\trevisionTagCodec: IJsonCodec<RevisionTag, EncodedRevisionTag>,\n\tchangeAtomId: ChangeAtomId,\n): EncodedChangeAtomId {\n\tif (changeAtomId.revision === undefined) {\n\t\treturn { localId: changeAtomId.localId };\n\t}\n\n\treturn {\n\t\tlocalId: changeAtomId.localId,\n\t\trevision: revisionTagCodec.encode(changeAtomId.revision),\n\t};\n}\n\nexport function decodeChangeAtomId(\n\trevisionTagCodec: IJsonCodec<RevisionTag, EncodedRevisionTag>,\n\tchangeAtomId: EncodedChangeAtomId,\n): ChangeAtomId {\n\tif (changeAtomId.revision === undefined) {\n\t\treturn { localId: changeAtomId.localId };\n\t}\n\n\treturn {\n\t\tlocalId: changeAtomId.localId,\n\t\trevision: revisionTagCodec.decode(changeAtomId.revision),\n\t};\n}\n"]}

package/dist/feature-libraries/valueUtilities.d.ts

@@ -0,0 +1,21 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { IFluidHandle } from "@fluidframework/core-interfaces";
+import { Value, ValueSchema, TreeValue } from "../core";
+export declare function allowsValue(schema: ValueSchema | undefined, nodeValue: Value): boolean;
+export declare function valueSchemaAllows<TSchema extends ValueSchema>(schema: TSchema, nodeValue: Value): nodeValue is TreeValue<TSchema>;
+/**
+ * Use for readonly view of Json compatible data that can also contain IFluidHandles.
+ *
+ * Note that this does not robustly forbid non json comparable data via type checking,
+ * but instead mostly restricts access to it.
+ */
+export type FluidSerializableReadOnly = IFluidHandle | string | number | boolean | null | readonly FluidSerializableReadOnly[] | {
+    readonly [P in string]?: FluidSerializableReadOnly;
+};
+export declare function isFluidHandle(value: unknown): value is IFluidHandle;
+export declare function assertAllowedValue(value: undefined | FluidSerializableReadOnly): asserts value is Value;
+export declare function isAllowedValue(value: undefined | FluidSerializableReadOnly): value is Value;
+//# sourceMappingURL=valueUtilities.d.ts.map

package/dist/feature-libraries/valueUtilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"valueUtilities.d.ts","sourceRoot":"","sources":["../../src/feature-libraries/valueUtilities.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAExD,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,EAAE,SAAS,EAAE,KAAK,GAAG,OAAO,CAKtF;AAED,wBAAgB,iBAAiB,CAAC,OAAO,SAAS,WAAW,EAC5D,MAAM,EAAE,OAAO,EACf,SAAS,EAAE,KAAK,GACd,SAAS,IAAI,SAAS,CAAC,OAAO,CAAC,CAejC;AAED;;;;;GAKG;AACH,MAAM,MAAM,yBAAyB,GAClC,YAAY,GACZ,MAAM,GACN,MAAM,GACN,OAAO,GAEP,IAAI,GACJ,SAAS,yBAAyB,EAAE,GACpC;IACA,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,yBAAyB;CACjD,CAAC;AAGL,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAkBnE;AAED,wBAAgB,kBAAkB,CACjC,KAAK,EAAE,SAAS,GAAG,yBAAyB,GAC1C,OAAO,CAAC,KAAK,IAAI,KAAK,CAExB;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,yBAAyB,GAAG,KAAK,IAAI,KAAK,CAW3F"}

package/dist/feature-libraries/valueUtilities.js

@@ -0,0 +1,70 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isAllowedValue = exports.assertAllowedValue = exports.isFluidHandle = exports.valueSchemaAllows = exports.allowsValue = void 0;
+const core_utils_1 = require("@fluidframework/core-utils");
+const core_1 = require("../core");
+function allowsValue(schema, nodeValue) {
+    if (schema === undefined) {
+        return nodeValue === undefined;
+    }
+    return valueSchemaAllows(schema, nodeValue);
+}
+exports.allowsValue = allowsValue;
+function valueSchemaAllows(schema, nodeValue) {
+    switch (schema) {
+        case core_1.ValueSchema.String:
+            return typeof nodeValue === "string";
+        case core_1.ValueSchema.Number:
+            return typeof nodeValue === "number";
+        case core_1.ValueSchema.Boolean:
+            return typeof nodeValue === "boolean";
+        case core_1.ValueSchema.FluidHandle:
+            return isFluidHandle(nodeValue);
+        case core_1.ValueSchema.Null:
+            return nodeValue === null;
+        default:
+            (0, core_utils_1.unreachableCase)(schema);
+    }
+}
+exports.valueSchemaAllows = valueSchemaAllows;
+// TODO: replace test in FluidSerializer.encodeValue with this.
+function isFluidHandle(value) {
+    if (typeof value !== "object" || value === null || !("IFluidHandle" in value)) {
+        return false;
+    }
+    const handle = value.IFluidHandle;
+    // Regular Json compatible data can have fields named "IFluidHandle" (especially if field names come from user data).
+    // Separate this case from actual Fluid handles by checking for a circular reference: Json data can't have this circular reference so it is a safe way to detect IFluidHandles.
+    const isHandle = handle === value;
+    // Since the requirement for this reference to be cyclic isn't particularly clear in the interface (typescript can't model that very well)
+    // do an extra test.
+    // Since json compatible data shouldn't have methods, and IFluidHandle requires one, use that as a redundant check:
+    const getMember = value.get;
+    if (typeof getMember !== "function") {
+        return false;
+    }
+    return isHandle;
+}
+exports.isFluidHandle = isFluidHandle;
+function assertAllowedValue(value) {
+    (0, core_utils_1.assert)(isAllowedValue(value), 0x843 /* invalid value */);
+}
+exports.assertAllowedValue = assertAllowedValue;
+function isAllowedValue(value) {
+    switch (typeof value) {
+        case "string":
+        case "number":
+        case "boolean":
+            return true;
+        case "object":
+            return value === null || isFluidHandle(value);
+        default:
+            return false;
+    }
+}
+exports.isAllowedValue = isAllowedValue;
+//# sourceMappingURL=valueUtilities.js.map

package/dist/feature-libraries/valueUtilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"valueUtilities.js","sourceRoot":"","sources":["../../src/feature-libraries/valueUtilities.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,2DAAqE;AAErE,kCAAwD;AAExD,SAAgB,WAAW,CAAC,MAA+B,EAAE,SAAgB;IAC5E,IAAI,MAAM,KAAK,SAAS,EAAE;QACzB,OAAO,SAAS,KAAK,SAAS,CAAC;KAC/B;IACD,OAAO,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAC7C,CAAC;AALD,kCAKC;AAED,SAAgB,iBAAiB,CAChC,MAAe,EACf,SAAgB;IAEhB,QAAQ,MAAM,EAAE;QACf,KAAK,kBAAW,CAAC,MAAM;YACtB,OAAO,OAAO,SAAS,KAAK,QAAQ,CAAC;QACtC,KAAK,kBAAW,CAAC,MAAM;YACtB,OAAO,OAAO,SAAS,KAAK,QAAQ,CAAC;QACtC,KAAK,kBAAW,CAAC,OAAO;YACvB,OAAO,OAAO,SAAS,KAAK,SAAS,CAAC;QACvC,KAAK,kBAAW,CAAC,WAAW;YAC3B,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;QACjC,KAAK,kBAAW,CAAC,IAAI;YACpB,OAAO,SAAS,KAAK,IAAI,CAAC;QAC3B;YACC,IAAA,4BAAe,EAAC,MAAM,CAAC,CAAC;KACzB;AACF,CAAC;AAlBD,8CAkBC;AAoBD,+DAA+D;AAC/D,SAAgB,aAAa,CAAC,KAAc;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,cAAc,IAAI,KAAK,CAAC,EAAE;QAC9E,OAAO,KAAK,CAAC;KACb;IAED,MAAM,MAAM,GAAI,KAA+B,CAAC,YAAY,CAAC;IAC7D,qHAAqH;IACrH,+KAA+K;IAC/K,MAAM,QAAQ,GAAG,MAAM,KAAK,KAAK,CAAC;IAClC,0IAA0I;IAC1I,oBAAoB;IACpB,mHAAmH;IACnH,MAAM,SAAS,GAAI,KAA+B,CAAC,GAAG,CAAC;IACvD,IAAI,OAAO,SAAS,KAAK,UAAU,EAAE;QACpC,OAAO,KAAK,CAAC;KACb;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC;AAlBD,sCAkBC;AAED,SAAgB,kBAAkB,CACjC,KAA4C;IAE5C,IAAA,mBAAM,EAAC,cAAc,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC;AAC1D,CAAC;AAJD,gDAIC;AAED,SAAgB,cAAc,CAAC,KAA4C;IAC1E,QAAQ,OAAO,KAAK,EAAE;QACrB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACb,OAAO,IAAI,CAAC;QACb,KAAK,QAAQ;YACZ,OAAO,KAAK,KAAK,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;QAC/C;YACC,OAAO,KAAK,CAAC;KACd;AACF,CAAC;AAXD,wCAWC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { assert, unreachableCase } from \"@fluidframework/core-utils\";\nimport { IFluidHandle } from \"@fluidframework/core-interfaces\";\nimport { Value, ValueSchema, TreeValue } from \"../core\";\n\nexport function allowsValue(schema: ValueSchema | undefined, nodeValue: Value): boolean {\n\tif (schema === undefined) {\n\t\treturn nodeValue === undefined;\n\t}\n\treturn valueSchemaAllows(schema, nodeValue);\n}\n\nexport function valueSchemaAllows<TSchema extends ValueSchema>(\n\tschema: TSchema,\n\tnodeValue: Value,\n): nodeValue is TreeValue<TSchema> {\n\tswitch (schema) {\n\t\tcase ValueSchema.String:\n\t\t\treturn typeof nodeValue === \"string\";\n\t\tcase ValueSchema.Number:\n\t\t\treturn typeof nodeValue === \"number\";\n\t\tcase ValueSchema.Boolean:\n\t\t\treturn typeof nodeValue === \"boolean\";\n\t\tcase ValueSchema.FluidHandle:\n\t\t\treturn isFluidHandle(nodeValue);\n\t\tcase ValueSchema.Null:\n\t\t\treturn nodeValue === null;\n\t\tdefault:\n\t\t\tunreachableCase(schema);\n\t}\n}\n\n/**\n * Use for readonly view of Json compatible data that can also contain IFluidHandles.\n *\n * Note that this does not robustly forbid non json comparable data via type checking,\n * but instead mostly restricts access to it.\n */\nexport type FluidSerializableReadOnly =\n\t| IFluidHandle\n\t| string\n\t| number\n\t| boolean\n\t// eslint-disable-next-line @rushstack/no-new-null\n\t| null\n\t| readonly FluidSerializableReadOnly[]\n\t| {\n\t\t\treadonly [P in string]?: FluidSerializableReadOnly;\n\t  };\n\n// TODO: replace test in FluidSerializer.encodeValue with this.\nexport function isFluidHandle(value: unknown): value is IFluidHandle {\n\tif (typeof value !== \"object\" || value === null || !(\"IFluidHandle\" in value)) {\n\t\treturn false;\n\t}\n\n\tconst handle = (value as Partial<IFluidHandle>).IFluidHandle;\n\t// Regular Json compatible data can have fields named \"IFluidHandle\" (especially if field names come from user data).\n\t// Separate this case from actual Fluid handles by checking for a circular reference: Json data can't have this circular reference so it is a safe way to detect IFluidHandles.\n\tconst isHandle = handle === value;\n\t// Since the requirement for this reference to be cyclic isn't particularly clear in the interface (typescript can't model that very well)\n\t// do an extra test.\n\t// Since json compatible data shouldn't have methods, and IFluidHandle requires one, use that as a redundant check:\n\tconst getMember = (value as Partial<IFluidHandle>).get;\n\tif (typeof getMember !== \"function\") {\n\t\treturn false;\n\t}\n\n\treturn isHandle;\n}\n\nexport function assertAllowedValue(\n\tvalue: undefined | FluidSerializableReadOnly,\n): asserts value is Value {\n\tassert(isAllowedValue(value), 0x843 /* invalid value */);\n}\n\nexport function isAllowedValue(value: undefined | FluidSerializableReadOnly): value is Value {\n\tswitch (typeof value) {\n\t\tcase \"string\":\n\t\tcase \"number\":\n\t\tcase \"boolean\":\n\t\t\treturn true;\n\t\tcase \"object\":\n\t\t\treturn value === null || isFluidHandle(value);\n\t\tdefault:\n\t\t\treturn false;\n\t}\n}\n"]}

package/dist/feature-libraries/versioned/codec.d.ts

@@ -0,0 +1,11 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { TSchema } from "@sinclair/typebox";
+import { ICodecOptions, IJsonCodec } from "../../codec";
+import { JsonCompatibleReadOnly } from "../../util";
+import { Versioned } from "./format";
+export declare function makeVersionedCodec<TDecoded, TEncoded extends Versioned = JsonCompatibleReadOnly & Versioned, TValidate = TEncoded>(supportedVersions: Set<number>, { jsonValidator: validator }: ICodecOptions, inner: IJsonCodec<TDecoded, TEncoded, TValidate>): IJsonCodec<TDecoded, TEncoded, TValidate>;
+export declare function makeVersionedValidatedCodec<EncodedSchema extends TSchema, TDecoded, TEncoded extends Versioned = JsonCompatibleReadOnly & Versioned, TValidate = TEncoded>(options: ICodecOptions, supportedVersions: Set<number>, schema: EncodedSchema, codec: IJsonCodec<TDecoded, TEncoded, TValidate>): IJsonCodec<TDecoded, TEncoded, TValidate>;
+//# sourceMappingURL=codec.d.ts.map

package/dist/feature-libraries/versioned/codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/versioned/codec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,UAAU,EAAwB,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,wBAAgB,kBAAkB,CACjC,QAAQ,EACR,QAAQ,SAAS,SAAS,GAAG,sBAAsB,GAAG,SAAS,EAC/D,SAAS,GAAG,QAAQ,EAEpB,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,EAC9B,EAAE,aAAa,EAAE,SAAS,EAAE,EAAE,aAAa,EAC3C,KAAK,EAAE,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,GAC9C,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAwB3C;AAED,wBAAgB,2BAA2B,CAC1C,aAAa,SAAS,OAAO,EAC7B,QAAQ,EACR,QAAQ,SAAS,SAAS,GAAG,sBAAsB,GAAG,SAAS,EAC/D,SAAS,GAAG,QAAQ,EAEpB,OAAO,EAAE,aAAa,EACtB,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,EAC9B,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,GAC9C,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAM3C"}

package/dist/feature-libraries/versioned/codec.js

@@ -0,0 +1,31 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.makeVersionedValidatedCodec = exports.makeVersionedCodec = void 0;
+const core_utils_1 = require("@fluidframework/core-utils");
+const codec_1 = require("../../codec");
+const format_1 = require("./format");
+function makeVersionedCodec(supportedVersions, { jsonValidator: validator }, inner) {
+    return (0, codec_1.withSchemaValidation)(format_1.Versioned, {
+        encode: (data) => {
+            const encoded = inner.encode(data);
+            (0, core_utils_1.assert)(supportedVersions.has(encoded.version), "version being encoded should be supported");
+            return encoded;
+        },
+        decode: (data) => {
+            const versioned = data; // Validated by withSchemaValidation
+            (0, core_utils_1.assert)(supportedVersions.has(versioned.version), "version being decoded is not supported");
+            const decoded = inner.decode(data);
+            return decoded;
+        },
+    }, validator);
+}
+exports.makeVersionedCodec = makeVersionedCodec;
+function makeVersionedValidatedCodec(options, supportedVersions, schema, codec) {
+    return makeVersionedCodec(supportedVersions, options, (0, codec_1.withSchemaValidation)(schema, codec, options.jsonValidator));
+}
+exports.makeVersionedValidatedCodec = makeVersionedValidatedCodec;
+//# sourceMappingURL=codec.js.map

package/dist/feature-libraries/versioned/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../../../src/feature-libraries/versioned/codec.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,2DAAoD;AAEpD,uCAA8E;AAE9E,qCAAqC;AAErC,SAAgB,kBAAkB,CAKjC,iBAA8B,EAC9B,EAAE,aAAa,EAAE,SAAS,EAAiB,EAC3C,KAAgD;IAEhD,OAAO,IAAA,4BAAoB,EAC1B,kBAAS,EACT;QACC,MAAM,EAAE,CAAC,IAAc,EAAY,EAAE;YACpC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnC,IAAA,mBAAM,EACL,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EACtC,2CAA2C,CAC3C,CAAC;YACF,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,MAAM,EAAE,CAAC,IAAe,EAAY,EAAE;YACrC,MAAM,SAAS,GAAG,IAAiB,CAAC,CAAC,oCAAoC;YACzE,IAAA,mBAAM,EACL,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EACxC,wCAAwC,CACxC,CAAC;YACF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnC,OAAO,OAAO,CAAC;QAChB,CAAC;KACD,EACD,SAAS,CACT,CAAC;AACH,CAAC;AAhCD,gDAgCC;AAED,SAAgB,2BAA2B,CAM1C,OAAsB,EACtB,iBAA8B,EAC9B,MAAqB,EACrB,KAAgD;IAEhD,OAAO,kBAAkB,CACxB,iBAAiB,EACjB,OAAO,EACP,IAAA,4BAAoB,EAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,CAC1D,CAAC;AACH,CAAC;AAhBD,kEAgBC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { assert } from \"@fluidframework/core-utils\";\nimport { TSchema } from \"@sinclair/typebox\";\nimport { ICodecOptions, IJsonCodec, withSchemaValidation } from \"../../codec\";\nimport { JsonCompatibleReadOnly } from \"../../util\";\nimport { Versioned } from \"./format\";\n\nexport function makeVersionedCodec<\n\tTDecoded,\n\tTEncoded extends Versioned = JsonCompatibleReadOnly & Versioned,\n\tTValidate = TEncoded,\n>(\n\tsupportedVersions: Set<number>,\n\t{ jsonValidator: validator }: ICodecOptions,\n\tinner: IJsonCodec<TDecoded, TEncoded, TValidate>,\n): IJsonCodec<TDecoded, TEncoded, TValidate> {\n\treturn withSchemaValidation(\n\t\tVersioned,\n\t\t{\n\t\t\tencode: (data: TDecoded): TEncoded => {\n\t\t\t\tconst encoded = inner.encode(data);\n\t\t\t\tassert(\n\t\t\t\t\tsupportedVersions.has(encoded.version),\n\t\t\t\t\t\"version being encoded should be supported\",\n\t\t\t\t);\n\t\t\t\treturn encoded;\n\t\t\t},\n\t\t\tdecode: (data: TValidate): TDecoded => {\n\t\t\t\tconst versioned = data as Versioned; // Validated by withSchemaValidation\n\t\t\t\tassert(\n\t\t\t\t\tsupportedVersions.has(versioned.version),\n\t\t\t\t\t\"version being decoded is not supported\",\n\t\t\t\t);\n\t\t\t\tconst decoded = inner.decode(data);\n\t\t\t\treturn decoded;\n\t\t\t},\n\t\t},\n\t\tvalidator,\n\t);\n}\n\nexport function makeVersionedValidatedCodec<\n\tEncodedSchema extends TSchema,\n\tTDecoded,\n\tTEncoded extends Versioned = JsonCompatibleReadOnly & Versioned,\n\tTValidate = TEncoded,\n>(\n\toptions: ICodecOptions,\n\tsupportedVersions: Set<number>,\n\tschema: EncodedSchema,\n\tcodec: IJsonCodec<TDecoded, TEncoded, TValidate>,\n): IJsonCodec<TDecoded, TEncoded, TValidate> {\n\treturn makeVersionedCodec(\n\t\tsupportedVersions,\n\t\toptions,\n\t\twithSchemaValidation(schema, codec, options.jsonValidator),\n\t);\n}\n"]}

package/dist/feature-libraries/versioned/format.d.ts

@@ -0,0 +1,10 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { Static } from "@sinclair/typebox";
+export declare const Versioned: import("@sinclair/typebox").TObject<{
+    version: import("@sinclair/typebox").TNumber;
+}>;
+export type Versioned = Static<typeof Versioned>;
+//# sourceMappingURL=format.d.ts.map

package/dist/feature-libraries/versioned/format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/versioned/format.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AAEjD,eAAO,MAAM,SAAS;;EAEpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,SAAS,CAAC,CAAC"}

package/dist/feature-libraries/versioned/format.js

@@ -0,0 +1,12 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Versioned = void 0;
+const typebox_1 = require("@sinclair/typebox");
+exports.Versioned = typebox_1.Type.Object({
+    version: typebox_1.Type.Number(),
+});
+//# sourceMappingURL=format.js.map

package/dist/feature-libraries/versioned/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../../src/feature-libraries/versioned/format.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,+CAAiD;AAEpC,QAAA,SAAS,GAAG,cAAI,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,cAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { Static, Type } from \"@sinclair/typebox\";\n\nexport const Versioned = Type.Object({\n\tversion: Type.Number(),\n});\nexport type Versioned = Static<typeof Versioned>;\n"]}

package/dist/feature-libraries/versioned/index.d.ts

@@ -0,0 +1,7 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+export { Versioned } from "./format";
+export { makeVersionedCodec, makeVersionedValidatedCodec } from "./codec";
+//# sourceMappingURL=index.d.ts.map

package/dist/feature-libraries/versioned/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/versioned/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,MAAM,SAAS,CAAC"}

package/dist/feature-libraries/versioned/index.js

@@ -0,0 +1,13 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.makeVersionedValidatedCodec = exports.makeVersionedCodec = exports.Versioned = void 0;
+var format_1 = require("./format");
+Object.defineProperty(exports, "Versioned", { enumerable: true, get: function () { return format_1.Versioned; } });
+var codec_1 = require("./codec");
+Object.defineProperty(exports, "makeVersionedCodec", { enumerable: true, get: function () { return codec_1.makeVersionedCodec; } });
+Object.defineProperty(exports, "makeVersionedValidatedCodec", { enumerable: true, get: function () { return codec_1.makeVersionedValidatedCodec; } });
+//# sourceMappingURL=index.js.map

package/dist/feature-libraries/versioned/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/feature-libraries/versioned/index.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,mCAAqC;AAA5B,mGAAA,SAAS,OAAA;AAClB,iCAA0E;AAAjE,2GAAA,kBAAkB,OAAA;AAAE,oHAAA,2BAA2B,OAAA","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nexport { Versioned } from \"./format\";\nexport { makeVersionedCodec, makeVersionedValidatedCodec } from \"./codec\";\n"]}

package/dist/index.d.ts

@@ -0,0 +1,21 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+export { EmptyKey, FieldKey, TreeType, Value, TreeValue, AnchorSet, DetachedField, UpPath, Range, RangeUpPath, PlaceUpPath, DetachedRangeUpPath, DetachedPlaceUpPath, PlaceIndex, NodeIndex, FieldUpPath, Anchor, RootField, ChildCollection, ChildLocation, DeltaVisitor, AnnouncedVisitor, FieldMapObject, NodeData, GenericTreeNode, JsonableTree, ProtoNodes, DeltaRoot, DeltaProtoNode, DeltaMark, DeltaDetachedNodeId, DeltaFieldMap, DeltaDetachedNodeChanges, DeltaDetachedNodeBuild, DeltaDetachedNodeDestruction, DeltaDetachedNodeRename, DeltaFieldChanges, rootFieldKey, rootField, ITreeCursor, CursorLocationType, ITreeCursorSynchronous, GenericFieldsNode, AnchorLocator, TreeNavigationResult, IEditableForest, IForestSubscription, TreeLocation, FieldLocation, ForestLocation, ITreeSubscriptionCursor, ITreeSubscriptionCursorState, TreeNodeSchemaIdentifier, TreeFieldStoredSchema, ValueSchema, TreeNodeStoredSchema, TreeStoredSchemaSubscription, FieldKindIdentifier, TreeTypeSet, TreeStoredSchema, FieldAnchor, SchemaEvents, ChangesetLocalId, ForestEvents, PathRootPrefix, AnchorSlot, AnchorNode, anchorSlot, UpPathDefault, AnchorEvents, AnchorSetRootEvents, FieldKindSpecifier, AllowedUpdateType, PathVisitor, Adapters, TreeAdapter, MapTree, Revertible, RevertibleKind, RevertResult, DiscardResult, forbiddenFieldKindIdentifier, StoredSchemaCollection, ErasedTreeNodeSchemaDataFormat, } from "./core";
+export { Brand, Opaque, extractFromOpaque, brand, ValueFromBranded, NameFromBranded, JsonCompatibleReadOnly, JsonCompatible, JsonCompatibleObject, NestedMap, fail, IdAllocator, TransactionResult, BrandedKey, BrandedMapSubset, RangeQueryResult, Named, oneFromSet, disposeSymbol, IDisposable, } from "./util";
+export { Events, IsEvent, ISubscribable, createEmitter, IEmitter, NoListenersCallback, HasListeners, } from "./events";
+export { leaf } from "./domains";
+export { FieldKind, Multiplicity, isNeverField, FullSchemaPolicy, typeNameSymbol, valueSymbol, ContextuallyTypedNodeDataObject, ContextuallyTypedNodeData, MarkedArrayLike, isContextuallyTypedNodeDataObject, defaultSchemaPolicy, jsonableTreeFromCursor, StableNodeKey, LocalNodeKey, compareLocalNodeKeys, IDefaultEditBuilder, ValueFieldEditBuilder, OptionalFieldEditBuilder, SequenceFieldEditBuilder, prefixPath, prefixFieldPath, cursorForJsonableTreeNode as singleTextCursor, stackTreeNodeCursor, CursorAdapter, CursorWithNode, EditableTreeEvents, InternalTypedSchemaTypes, ArrayLikeMut, FieldKinds, ContextuallyTypedFieldData, cursorFromContextualData, AllowedTypes, TreeNodeSchema as FlexTreeNodeSchema, FlexTreeSchema, SchemaLibrary, SchemaLibraryData, TreeFieldSchema, Any, NewFieldContent, NodeExistsConstraint, cursorForTypedTreeData, LazyTreeNodeSchema, FieldGenerator, TreeDataContext, nodeKeyFieldKey, SchemaLintConfiguration, TreeStatus, FlexTreeFieldNode, FlexibleFieldContent, FlexibleNodeContent, FlexTreeLeafNode, FlexTreeMapNode, FlexTreeOptionalField, FlexTreeRequiredField, FlexTreeSequenceField, FlexTreeObjectNode, FlexTreeObjectNodeTyped, AssignableFieldKinds, FlexTreeContext as TreeContext, FlexTreeTypedField, FlexTreeTypedNode, FlexTreeTypedNodeUnion, FlexTreeEntity, FlexTreeField, FlexTreeNode, TreeNodeSchemaBase, FieldNodeSchema, LeafNodeSchema, MapNodeSchema, ObjectNodeSchema, CheckTypesOverlap, SchemaBuilderBase, ImplicitFieldSchema as FlexImplicitFieldSchema, ImplicitAllowedTypes, Unenforced, schemaIsFieldNode, schemaIsLeaf, schemaIsMap, schemaIsObjectNode, AllowedTypeSet, SchemaBuilderOptions, TreeEvent, SchemaCollection, TreeCompressionStrategy, treeSchemaFromStoredSchema, encodeTreeSchema, stackTreeFieldCursor, FlexTreeUnknownUnboxed, InsertableFlexNode, InsertableFlexField, AllowedTypesToFlexInsertableTree, ApplyMultiplicity, NormalizeObjectNodeFields, NormalizeFieldSchema, Fields, MapFieldSchema, } from "./feature-libraries";
+export { TreeArrayNode, TreeMapNodeBase, Unhydrated, IterableTreeListContent, TreeNode, } from "./simple-tree";
+export { ISharedTree, ITreeCheckout, ITransaction, runSynchronous, SharedTreeFactory, SharedTreeOptions, ITreeCheckoutFork, CheckoutEvents, SchematizeConfiguration, TreeContent, InitializeAndSchematizeConfiguration, SchemaConfiguration, ForestType, SharedTreeContentSnapshot, FlexTreeView, ITreeViewFork, buildTreeConfiguration, ISharedTreeEditor, ISchemaEditor, } from "./shared-tree";
+export { ITree, TreeNodeSchema, TreeConfiguration, TreeView, SchemaFactory, Tree, TreeApi, ImplicitFieldSchema, TreeFieldFromImplicitField, TreeNodeEvents, NodeFromSchema, TreeMapNode, InsertableTreeNodeFromImplicitAllowedTypes, TreeLeafValue, adaptEnum, enumFromStrings, singletonSchema, typedObjectValues, test_RecursiveObject, test_RecursiveObject_base, } from "./class-tree";
+export { SharedTree, TreeFactory, TreeOptions } from "./treeFactory";
+export type { ICodecOptions, JsonValidator, SchemaValidationFunction } from "./codec";
+export { noopValidator } from "./codec";
+export { typeboxValidator } from "./external-utilities";
+import * as InternalTypes from "./internal";
+export { InternalTypes };
+export { Invariant, Contravariant, Covariant, BrandedType, ExtractFromOpaque, Assume, AllowOptional, RequiredFields, OptionalFields, _InlineTrick, _RecursiveTrick, FlattenKeys, AllowOptionalNotFlattened, isAny, BrandedKeyContent, ErasedType, Erased, } from "./util";
+export { NormalizeField, NormalizeAllowedTypes, FlexTreeTypedFieldInner, FlexTreeUnboxFieldInner, FlexTreeObjectNodeFields, FlexTreeUnboxField, FlexTreeUnboxNode, FlexTreeUnboxNodeUnion, FlexTreeNodeKeyField, IsArrayOfOne, FlexibleNodeSubSequence, flexTreeMarker, FlexTreeEntityKind, NodeKeys, CollectOptions, TypedFields, UnbrandedName, EmptyObject, Required, Optional, NodeKeyFieldKind, Forbidden, Sequence, } from "./feature-libraries";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACN,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,KAAK,EACL,SAAS,EACT,SAAS,EACT,aAAa,EACb,MAAM,EACN,KAAK,EACL,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,mBAAmB,EACnB,UAAU,EACV,SAAS,EACT,WAAW,EACX,MAAM,EACN,SAAS,EACT,eAAe,EACf,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,QAAQ,EACR,eAAe,EACf,YAAY,EACZ,UAAU,EACV,SAAS,EACT,cAAc,EACd,SAAS,EACT,mBAAmB,EACnB,aAAa,EACb,wBAAwB,EACxB,sBAAsB,EACtB,4BAA4B,EAC5B,uBAAuB,EACvB,iBAAiB,EACjB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,kBAAkB,EAClB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,cAAc,EACd,uBAAuB,EACvB,4BAA4B,EAC5B,wBAAwB,EACxB,qBAAqB,EACrB,WAAW,EACX,oBAAoB,EACpB,4BAA4B,EAC5B,mBAAmB,EACnB,WAAW,EACX,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,UAAU,EACV,UAAU,EACV,UAAU,EACV,aAAa,EACb,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,OAAO,EACP,UAAU,EACV,cAAc,EACd,YAAY,EACZ,aAAa,EACb,4BAA4B,EAC5B,sBAAsB,EACtB,8BAA8B,GAC9B,MAAM,QAAQ,CAAC;AAEhB,OAAO,EACN,KAAK,EACL,MAAM,EACN,iBAAiB,EACjB,KAAK,EACL,gBAAgB,EAChB,eAAe,EACf,sBAAsB,EACtB,cAAc,EACd,oBAAoB,EACpB,SAAS,EACT,IAAI,EACJ,WAAW,EACX,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,gBAAgB,EAChB,KAAK,EACL,UAAU,EACV,aAAa,EACb,WAAW,GACX,MAAM,QAAQ,CAAC;AAEhB,OAAO,EACN,MAAM,EACN,OAAO,EACP,aAAa,EACb,aAAa,EACb,QAAQ,EACR,mBAAmB,EACnB,YAAY,GACZ,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EACN,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,+BAA+B,EAC/B,yBAAyB,EACzB,eAAe,EACf,iCAAiC,EACjC,mBAAmB,EACnB,sBAAsB,EACtB,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,qBAAqB,EACrB,wBAAwB,EACxB,wBAAwB,EACxB,UAAU,EACV,eAAe,EACf,yBAAyB,IAAI,gBAAgB,EAC7C,mBAAmB,EACnB,aAAa,EACb,cAAc,EACd,kBAAkB,EAClB,wBAAwB,EACxB,YAAY,EACZ,UAAU,EACV,0BAA0B,EAC1B,wBAAwB,EACxB,YAAY,EACZ,cAAc,IAAI,kBAAkB,EACpC,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,GAAG,EACH,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,eAAe,EACf,uBAAuB,EACvB,UAAU,EACV,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACpB,eAAe,IAAI,WAAW,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,cAAc,EACd,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,IAAI,uBAAuB,EAC9C,oBAAoB,EACpB,UAAU,EACV,iBAAiB,EACjB,YAAY,EACZ,WAAW,EACX,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,SAAS,EACT,gBAAgB,EAChB,uBAAuB,EACvB,0BAA0B,EAC1B,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,EACnB,gCAAgC,EAChC,iBAAiB,EACjB,yBAAyB,EACzB,oBAAoB,EACpB,MAAM,EACN,cAAc,GACd,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACN,aAAa,EACb,eAAe,EACf,UAAU,EACV,uBAAuB,EACvB,QAAQ,GACR,MAAM,eAAe,CAAC;AAEvB,OAAO,EACN,WAAW,EACX,aAAa,EACb,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,uBAAuB,EACvB,WAAW,EACX,oCAAoC,EACpC,mBAAmB,EACnB,UAAU,EACV,yBAAyB,EACzB,YAAY,EACZ,aAAa,EACb,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,GACb,MAAM,eAAe,CAAC;AAEvB,OAAO,EACN,KAAK,EACL,cAAc,EACd,iBAAiB,EACjB,QAAQ,EACR,aAAa,EACb,IAAI,EACJ,OAAO,EACP,mBAAmB,EACnB,0BAA0B,EAC1B,cAAc,EACd,cAAc,EACd,WAAW,EACX,0CAA0C,EAC1C,aAAa,EAGb,SAAS,EACT,eAAe,EACf,eAAe,EACf,iBAAiB,EAGjB,oBAAoB,EACpB,yBAAyB,GACzB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAErE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAGxD,OAAO,KAAK,aAAa,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,CAAC;AAGzB,OAAO,EACN,SAAS,EACT,aAAa,EACb,SAAS,EACT,WAAW,EACX,iBAAiB,EACjB,MAAM,EACN,aAAa,EACb,cAAc,EACd,cAAc,EACd,YAAY,EACZ,eAAe,EACf,WAAW,EACX,yBAAyB,EACzB,KAAK,EACL,iBAAiB,EACjB,UAAU,EACV,MAAM,GACN,MAAM,QAAQ,CAAC;AAEhB,OAAO,EACN,cAAc,EACd,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,oBAAoB,EACpB,YAAY,EACZ,uBAAuB,EACvB,cAAc,EACd,kBAAkB,EAClB,QAAQ,EACR,cAAc,EACd,WAAW,EACX,aAAa,EACb,WAAW,EAIX,QAAQ,EACR,QAAQ,EACR,gBAAgB,EAChB,SAAS,EACT,QAAQ,GACR,MAAM,qBAAqB,CAAC"}