@league-of-foundry-developers/foundry-vtt-types 13.340.0 → 13.340.1

package/src/foundry/client/data/documents/combat.d.mts

@@ -1,30 +1,557 @@
-import type { InexactPartial } from "fvtt-types/utils";
-import type Document from "../../../common/abstract/document.d.mts";
-import type BaseCombat from "../../../common/documents/combat.d.mts";
+import type { ConfiguredCombat } from "fvtt-types/configuration";
+import type { Merge } from "fvtt-types/utils";
+import type { documents } from "#client-esm/client.d.mts";
+import type Document from "#common/abstract/document.d.mts";
+import type { DataSchema } from "#common/data/fields.d.mts";
+import type BaseCombat from "#common/documents/combat.d.mts";
+
+import fields = foundry.data.fields;
 
 declare global {
   namespace Combat {
-    type Metadata = Document.MetadataFor<Combat>;
+    /**
+     * The document's name.
+     */
+    type Name = "Combat";
+
+    /**
+     * The arguments to construct the document.
+     */
+    type ConstructorArgs = Document.ConstructorParameters<CreateData, Parent>;
+
+    /**
+     * The documents embedded within `Combat`.
+     */
+    type Hierarchy = Readonly<Document.HierarchyOf<Schema>>;
+
+    /**
+     * The implementation of the `Combat` document instance configured through `CONFIG.Combat.documentClass` in Foundry and
+     * {@link DocumentClassConfig | `DocumentClassConfig`} or {@link ConfiguredCombat | `fvtt-types/configuration/ConfiguredCombat`} in fvtt-types.
+     */
+    type Implementation = Document.ImplementationFor<Name>;
+
+    /**
+     * The implementation of the `Combat` document configured through `CONFIG.Combat.documentClass` in Foundry and
+     * {@link DocumentClassConfig | `DocumentClassConfig`} in fvtt-types.
+     */
+    type ImplementationClass = Document.ImplementationClassFor<Name>;
+
+    /**
+     * A document's metadata is special information about the document ranging anywhere from its name,
+     * whether it's indexed, or to the permissions a user has over it.
+     */
+    interface Metadata
+      extends Merge<
+        Document.Metadata.Default,
+        Readonly<{
+          name: "Combat";
+          collection: "combats";
+          label: string;
+          labelPlural: string;
+          embedded: Metadata.Embedded;
+          hasTypeData: true;
+          permissions: Metadata.Permissions;
+          schemaVersion: string;
+        }>
+      > {}
+
+    namespace Metadata {
+      /**
+       * The embedded metadata
+       */
+      interface Embedded {
+        Combatant: "combatants";
+      }
+
+      /**
+       * The permissions for whether a certain user can create, update, or delete this document.
+       */
+      interface Permissions {
+        update(user: User.Internal.Implementation, doc: Implementation, data: UpdateData): boolean;
+      }
+    }
+
+    /**
+     * Allowed subtypes of `Combat`. This is configured through various methods. Modern Foundry
+     * recommends registering using [Data Models](https://foundryvtt.com/article/system-data-models/)
+     * under {@link CONFIG.Combat.dataModels | `CONFIG.Combat.dataModels`}. This corresponds to
+     * fvtt-type's {@link DataModelConfig | `DataModelConfig`}.
+     *
+     * Subtypes can also be registered through a `template.json` though this is discouraged.
+     * The corresponding fvtt-type configs are {@link SourceConfig | `SourceConfig`} and
+     * {@link DataConfig | `DataConfig`}.
+     */
+    type SubType = Game.Model.TypeNames<"Combat">;
+
+    /**
+     * `ConfiguredSubTypes` represents the subtypes a user explicitly registered. This excludes
+     * subtypes like the Foundry builtin subtype `"base"` and the catch-all subtype for arbitrary
+     * module subtypes `${string}.${string}`.
+     *
+     * @see {@link SubType} for more information.
+     */
+    type ConfiguredSubTypes = Document.ConfiguredSubTypesOf<"Combat">;
+
+    /**
+     * `Known` represents the types of `Combat` that a user explicitly registered.
+     *
+     * @see {@link ConfiguredSubTypes} for more information.
+     */
+    type Known = Combat.OfType<Combat.ConfiguredSubTypes>;
+
+    /**
+     * `OfType` returns an instance of `Combat` with the corresponding type. This works with both the
+     * builtin `Combat` class or a custom subclass if that is set up in
+     * {@link ConfiguredCombat | `fvtt-types/configuration/ConfiguredCombat`}.
+     */
+    // eslint-disable-next-line @typescript-eslint/no-restricted-types
+    type OfType<Type extends SubType> = Document.Internal.OfType<ConfiguredCombat<Type>, Combat<Type>>;
+
+    /**
+     * `SystemOfType` returns the system property for a specific `Combat` subtype.
+     */
+    type SystemOfType<Type extends SubType> = Document.Internal.SystemOfType<_SystemMap, Type>;
+
+    /**
+     * @internal
+     */
+    interface _SystemMap extends Document.Internal.SystemMap<"Combat"> {}
 
-    type ConfiguredClass = Document.ConfiguredClassForName<"Combat">;
-    type ConfiguredInstance = Document.ConfiguredInstanceForName<"Combat">;
+    /**
+     * A document's parent is something that can contain it.
+     * For example an `Item` can be contained by an `Actor` which makes `Actor` one of its possible parents.
+     */
+    type Parent = null;
+
+    /**
+     * A document's descendants are any child documents, grandchild documents, etc.
+     * This is a union of all instances, or never if the document doesn't have any descendants.
+     */
+    type DescendantName = "Combatant";
+
+    /**
+     * A document's direct descendants are documents that are contained directly within its schema.
+     * This is a union of all such instances, or never if the document doesn't have any descendants.
+     */
+    type DirectDescendant = Combatant.Stored;
 
+    /**
+     * A document's direct descendants are documents that are contained directly within its schema.
+     * This is a union of all such classes, or never if the document doesn't have any descendants.
+     */
+    type DirectDescendantClass = Combatant.ImplementationClass;
+
+    /**
+     * A document's descendants are any documents that are contained within, either within its schema
+     * or its descendant's schemas.
+     * This is a union of all such instances, or never if the document doesn't have any descendants.
+     */
+    type Descendant = DirectDescendant;
+
+    /**
+     * A document's descendants are any child documents, grandchild documents, etc.
+     * This is a union of all classes, or never if the document doesn't have any descendants.
+     */
+    type DescendantClass = DirectDescendantClass;
+
+    /**
+     * Types of `CompendiumCollection` this document might be contained in.
+     * Note that `this.pack` will always return a string; this is the type for `game.packs.get(this.pack)`
+     */
+    // Note: Takes any document in the heritage chain (i.e. itself or any parent, transitive or not) that can be contained in a compendium.
+    type Pack = never;
+
+    /**
+     * An embedded document is a document contained in another.
+     * For example an `Item` can be contained by an `Actor` which means `Item` can be embedded in `Actor`.
+     *
+     * If this is `never` it is because there are no embeddable documents (or there's a bug!).
+     */
+    type Embedded = Document.ImplementationFor<Embedded.Name>;
+
+    namespace Embedded {
+      /**
+       * An embedded document is a document contained in another.
+       * For example an `Item` can be contained by an `Actor` which means `Item` can be embedded in `Actor`.
+       *
+       * If this is `never` it is because there are no embeddable documents (or there's a bug!).
+       */
+      type Name = keyof Metadata.Embedded;
+
+      /**
+       * Gets the collection name for an embedded document.
+       */
+      type CollectionNameOf<CollectionName extends Embedded.CollectionName> = Document.Embedded.CollectionNameFor<
+        Metadata.Embedded,
+        CollectionName
+      >;
+
+      /**
+       * Gets the collection document for an embedded document.
+       */
+      // TODO(LukeAbby): There's a circularity. Should be `Document.Embedded.CollectionDocumentFor<Metadata.Embedded, CollectionName>`
+      // eslint-disable-next-line @typescript-eslint/no-unused-vars
+      type DocumentFor<CollectionName extends Embedded.CollectionName> = Document.Any;
+
+      /**
+       * Gets the collection for an embedded document.
+       */
+      type CollectionFor<CollectionName extends Embedded.CollectionName> = Document.Embedded.CollectionFor<
+        // TODO(LukeAbby): This should be `TokenDocument.Implementation` but this causes a circularity.
+        Document.Any,
+        Metadata.Embedded,
+        CollectionName
+      >;
+
+      /**
+       * A valid name to refer to a collection embedded in this document. For example an `Actor`
+       * has the key `"items"` which contains `Item` instance which would make both `"Item" | "Items"`
+       * valid keys (amongst others).
+       */
+      type CollectionName = Document.Embedded.CollectionName<Metadata.Embedded>;
+    }
+
+    /**
+     * The name of the world or embedded collection this document can find itself in.
+     * For example an `Item` is always going to be inside a collection with a key of `items`.
+     * This is a fixed string per document type and is primarily useful for {@link ClientDocumentMixin | `Descendant Document Events`}.
+     */
+    type ParentCollectionName = Metadata["collection"];
+
+    /**
+     * The world collection that contains `Combat`s. Will be `never` if none exists.
+     */
+    type CollectionClass = CombatEncounters.ConfiguredClass;
+
+    /**
+     * The world collection that contains `Combat`s. Will be `never` if none exists.
+     */
+    type Collection = CombatEncounters.Configured;
+
+    /**
+     * An instance of `Combat` that comes from the database but failed validation meaining that
+     * its `system` and `_source` could theoretically be anything.
+     */
+    interface Invalid<out SubType extends Combat.SubType = Combat.SubType> extends Document.Invalid<OfType<SubType>> {}
+
+    /**
+     * An instance of `Combat` that comes from the database.
+     */
+    interface Stored<out SubType extends Combat.SubType = Combat.SubType> extends Document.Stored<OfType<SubType>> {}
+
+    /**
+     * The data put in {@link Combat._source | `Combat#_source`}. This data is what was
+     * persisted to the database and therefore it must be valid JSON.
+     *
+     * For example a {@link fields.SetField | `SetField`} is persisted to the database as an array
+     * but initialized as a {@link Set | `Set`}.
+     */
+    interface Source extends fields.SchemaField.SourceData<Schema> {}
+
+    /**
+     * @deprecated {@link Combat.Source | `Combat.Source`}
+     */
+    type PersistedData = Source;
+
+    /**
+     * The data necessary to create a document. Used in places like {@link Combat.create | `Combat.create`}
+     * and {@link Combat | `new Combat(...)`}.
+     *
+     * For example a {@link fields.SetField | `SetField`} can accept any {@link Iterable | `Iterable`}
+     * with the right values. This means you can pass a `Set` instance, an array of values,
+     * a generator, or any other iterable.
+     */
+    interface CreateData extends fields.SchemaField.CreateData<Schema> {}
+
+    /**
+     * The data after a {@link foundry.abstract.Document | `Document`} has been initialized, for example
+     * {@link Combat.name | `Combat#name`}.
+     *
+     * This is data transformed from {@link Combat.Source | `Combat.Source`} and turned into more
+     * convenient runtime data structures. For example a {@link fields.SetField | `SetField`} is
+     * persisted to the database as an array of values but at runtime it is a `Set` instance.
+     */
+    interface InitializedData extends fields.SchemaField.InitializedData<Schema> {}
+
+    /**
+     * The data used to update a document, for example {@link Combat.update | `Combat#update`}.
+     * It is a distinct type from {@link Combat.CreateData | `DeepPartial<Combat.CreateData>`} because
+     * it has different rules for `null` and `undefined`.
+     */
+    interface UpdateData extends fields.SchemaField.UpdateData<Schema> {}
+
+    /**
+     * The schema for {@link Combat | `Combat`}. This is the source of truth for how an Combat document
+     * must be structured.
+     *
+     * Foundry uses this schema to validate the structure of the {@link Combat | `Combat`}. For example
+     * a {@link fields.StringField | `StringField`} will enforce that the value is a string. More
+     * complex fields like {@link fields.SetField | `SetField`} goes through various conversions
+     * starting as an array in the database, initialized as a set, and allows updates with any
+     * iterable.
+     */
+    interface Schema extends DataSchema {
+      /**
+       * The _id which uniquely identifies this Combat document
+       * @defaultValue `null`
+       */
+      _id: fields.DocumentIdField;
+
+      type: fields.DocumentTypeField<typeof BaseCombat, { initial: typeof foundry.CONST.BASE_DOCUMENT_TYPE }>;
+
+      system: fields.TypeDataField<typeof BaseCombat>;
+
+      /**
+       * The _id of a Scene within which this Combat occurs
+       * @defaultValue `null`
+       */
+      scene: fields.ForeignDocumentField<typeof documents.BaseScene>;
+
+      /**
+       * A Collection of Combatant embedded Documents
+       * @defaultValue `[]`
+       */
+      combatants: fields.EmbeddedCollectionField<typeof documents.BaseCombatant, Combat.Implementation>;
+
+      /**
+       * Is the Combat encounter currently active?
+       * @defaultValue `false`
+       */
+      active: fields.BooleanField;
+
+      /**
+       * The current round of the Combat encounter
+       * @defaultValue `0`
+       */
+      round: fields.NumberField<{
+        required: true;
+        nullable: false;
+        integer: true;
+        min: 0;
+        initial: 0;
+        label: "COMBAT.Round";
+      }>;
+
+      /**
+       * The current turn in the Combat round
+       * @defaultValue `null`
+       */
+      turn: fields.NumberField<{ required: true; integer: true; min: 0; initial: null; label: "COMBAT.Turn" }>;
+
+      /**
+       * The current sort order of this Combat relative to others in the same Scene
+       * @defaultValue `0`
+       */
+      sort: fields.IntegerSortField;
+
+      /**
+       * An object of optional key/value flags
+       * @defaultValue `{}`
+       */
+      flags: fields.ObjectField.FlagsField<Name>;
+
+      /**
+       * An object of creation and access information
+       * @defaultValue see {@link fields.DocumentStatsField | `fields.DocumentStatsField`}
+       */
+      _stats: fields.DocumentStatsField;
+    }
+
+    namespace Database {
+      /** Options passed along in Get operations for Combats */
+      interface Get extends foundry.abstract.types.DatabaseGetOperation<Combat.Parent> {}
+
+      /** Options passed along in Create operations for Combats */
+      interface Create<Temporary extends boolean | undefined = boolean | undefined>
+        extends foundry.abstract.types.DatabaseCreateOperation<Combat.CreateData, Combat.Parent, Temporary> {}
+
+      /** Options passed along in Delete operations for Combats */
+      interface Delete extends foundry.abstract.types.DatabaseDeleteOperation<Combat.Parent> {}
+
+      /** Options passed along in Update operations for Combats */
+      interface Update extends foundry.abstract.types.DatabaseUpdateOperation<Combat.UpdateData, Combat.Parent> {
+        direction: -1 | 1;
+        worldTime: { delta: number };
+        turnEvents: boolean;
+      }
+
+      /** Operation for {@link Combat.createDocuments | `Combat.createDocuments`} */
+      interface CreateDocumentsOperation<Temporary extends boolean | undefined>
+        extends Document.Database.CreateOperation<Combat.Database.Create<Temporary>> {}
+
+      /** Operation for {@link Combat.updateDocuments | `Combat.updateDocuments`} */
+      interface UpdateDocumentsOperation extends Document.Database.UpdateDocumentsOperation<Combat.Database.Update> {}
+
+      /** Operation for {@link Combat.deleteDocuments | `Combat.deleteDocuments`} */
+      interface DeleteDocumentsOperation extends Document.Database.DeleteDocumentsOperation<Combat.Database.Delete> {}
+
+      /** Operation for {@link Combat.create | `Combat.create`} */
+      interface CreateOperation<Temporary extends boolean | undefined>
+        extends Document.Database.CreateOperation<Combat.Database.Create<Temporary>> {}
+
+      /** Operation for {@link Combat.update | `Combat#update`} */
+      interface UpdateOperation extends Document.Database.UpdateOperation<Update> {}
+
+      interface DeleteOperation extends Document.Database.DeleteOperation<Delete> {}
+
+      /** Options for {@link Combat.get | `Combat.get`} */
+      interface GetOptions extends Document.Database.GetOptions {}
+
+      /** Options for {@link Combat._preCreate | `Combat#_preCreate`} */
+      interface PreCreateOptions extends Document.Database.PreCreateOptions<Create> {}
+
+      /** Options for {@link Combat._onCreate | `Combat#_onCreate`} */
+      interface OnCreateOptions extends Document.Database.CreateOptions<Create> {}
+
+      /** Operation for {@link Combat._preCreateOperation | `Combat._preCreateOperation`} */
+      interface PreCreateOperation extends Document.Database.PreCreateOperationStatic<Combat.Database.Create> {}
+
+      /** Operation for {@link Combat._onCreateOperation | `Combat#_onCreateOperation`} */
+      interface OnCreateOperation extends Combat.Database.Create {}
+
+      /** Options for {@link Combat._preUpdate | `Combat#_preUpdate`} */
+      interface PreUpdateOptions extends Document.Database.PreUpdateOptions<Update> {}
+
+      /** Options for {@link Combat._onUpdate | `Combat#_onUpdate`} */
+      interface OnUpdateOptions extends Document.Database.UpdateOptions<Update> {}
+
+      /** Operation for {@link Combat._preUpdateOperation | `Combat._preUpdateOperation`} */
+      interface PreUpdateOperation extends Combat.Database.Update {}
+
+      /** Operation for {@link Combat._onUpdateOperation | `Combat._preUpdateOperation`} */
+      interface OnUpdateOperation extends Combat.Database.Update {}
+
+      /** Options for {@link Combat._preDelete | `Combat#_preDelete`} */
+      interface PreDeleteOptions extends Document.Database.PreDeleteOperationInstance<Delete> {}
+
+      /** Options for {@link Combat._onDelete | `Combat#_onDelete`} */
+      interface OnDeleteOptions extends Document.Database.DeleteOptions<Delete> {}
+
+      /** Options for {@link Combat._preDeleteOperation | `Combat#_preDeleteOperation`} */
+      interface PreDeleteOperation extends Combat.Database.Delete {}
+
+      /** Options for {@link Combat._onDeleteOperation | `Combat#_onDeleteOperation`} */
+      interface OnDeleteOperation extends Combat.Database.Delete {}
+
+      /** Context for {@link Combat._onDeleteOperation | `Combat._onDeleteOperation`} */
+      interface OnDeleteDocumentsContext extends Document.ModificationContext<Combat.Parent> {}
+
+      /** Context for {@link Combat._onCreateDocuments | `Combat._onCreateDocuments`} */
+      interface OnCreateDocumentsContext extends Document.ModificationContext<Combat.Parent> {}
+
+      /** Context for {@link Combat._onUpdateDocuments | `Combat._onUpdateDocuments`} */
+      interface OnUpdateDocumentsContext extends Document.ModificationContext<Combat.Parent> {}
+
+      /**
+       * Options for {@link Combat._preCreateDescendantDocuments | `Combat#_preCreateDescendantDocuments`}
+       * and {@link Combat._onCreateDescendantDocuments | `Combat#_onCreateDescendantDocuments`}
+       */
+      interface CreateOptions extends Document.Database.CreateOptions<Combat.Database.Create> {}
+
+      /**
+       * Options for {@link Combat._preUpdateDescendantDocuments | `Combat#_preUpdateDescendantDocuments`}
+       * and {@link Combat._onUpdateDescendantDocuments | `Combat#_onUpdateDescendantDocuments`}
+       */
+      interface UpdateOptions extends Document.Database.UpdateOptions<Combat.Database.Update> {}
+
+      /**
+       * Options for {@link Combat._preDeleteDescendantDocuments | `Combat#_preDeleteDescendantDocuments`}
+       * and {@link Combat._onDeleteDescendantDocuments | `Combat#_onDeleteDescendantDocuments`}
+       */
+      interface DeleteOptions extends Document.Database.DeleteOptions<Combat.Database.Delete> {}
+    }
+
+    /**
+     * The flags that are available for this document in the form `{ [scope: string]: { [key: string]: unknown } }`.
+     */
+    interface Flags extends Document.ConfiguredFlagsForName<Name> {}
+
+    namespace Flags {
+      /**
+       * The valid scopes for the flags on this document e.g. `"core"` or `"dnd5e"`.
+       */
+      type Scope = Document.FlagKeyOf<Flags>;
+
+      /**
+       * The valid keys for a certain scope for example if the scope is "core" then a valid key may be `"sheetLock"` or `"viewMode"`.
+       */
+      type Key<Scope extends Flags.Scope> = Document.FlagKeyOf<Document.FlagGetKey<Flags, Scope>>;
+
+      /**
+       * Gets the type of a particular flag given a `Scope` and a `Key`.
+       */
+      type Get<Scope extends Flags.Scope, Key extends Flags.Key<Scope>> = Document.GetFlag<Name, Scope, Key>;
+    }
+
+    type PreCreateDescendantDocumentsArgs = Document.PreCreateDescendantDocumentsArgs<
+      Combat.Stored,
+      Combat.DirectDescendant,
+      Combat.Metadata.Embedded
+    >;
+
+    type OnCreateDescendantDocumentsArgs = Document.OnCreateDescendantDocumentsArgs<
+      Combat.Stored,
+      Combat.DirectDescendant,
+      Combat.Metadata.Embedded
+    >;
+
+    type PreUpdateDescendantDocumentsArgs = Document.PreUpdateDescendantDocumentsArgs<
+      Combat.Stored,
+      Combat.DirectDescendant,
+      Combat.Metadata.Embedded
+    >;
+
+    type OnUpdateDescendantDocumentsArgs = Document.OnUpdateDescendantDocumentsArgs<
+      Combat.Stored,
+      Combat.DirectDescendant,
+      Combat.Metadata.Embedded
+    >;
+
+    type PreDeleteDescendantDocumentsArgs = Document.PreDeleteDescendantDocumentsArgs<
+      Combat.Stored,
+      Combat.DirectDescendant,
+      Combat.Metadata.Embedded
+    >;
+
+    type OnDeleteDescendantDocumentsArgs = Document.OnDeleteDescendantDocumentsArgs<
+      Combat.Stored,
+      Combat.DirectDescendant,
+      Combat.Metadata.Embedded
+    >;
+
+    /**
+     * @deprecated {@link Combat.Database | `Combat.Database`}
+     */
     /* eslint-disable @typescript-eslint/no-empty-object-type */
     interface DatabaseOperations
+      // eslint-disable-next-line @typescript-eslint/no-deprecated
       extends Document.Database.Operations<
-        Combat,
+        Combat.Implementation,
         {},
         { direction: -1 | 1; worldTime: { delta: number }; turnEvents: boolean },
         {}
       > {}
     /* eslint-enable @typescript-eslint/no-empty-object-type */
 
-    // Helpful aliases
-    type TypeNames = BaseCombat.TypeNames;
-    type ConstructorData = BaseCombat.ConstructorData;
-    type UpdateData = BaseCombat.UpdateData;
-    type Schema = BaseCombat.Schema;
-    type Source = BaseCombat.Source;
+    /**
+     * @deprecated {@link Combat.SubType | `Combat.SubType`}
+     */
+    type TypeNames = Combat.SubType;
+
+    /**
+     * @deprecated {@link Combat.CreateData | `Combat.CreateData`}
+     */
+    interface ConstructorData extends Combat.CreateData {}
+
+    /**
+     * @deprecated {@link Combat.implementation | `Combat.ImplementationClass`}
+     */
+    type ConfiguredClass = ImplementationClass;
+
+    /**
+     * @deprecated {@link Combat.Implementation | `Combat.Implementation`}
+     */
+    type ConfiguredInstance = Implementation;
 
     interface InitiativeOptions {
       /**
@@ -43,7 +570,7 @@ declare global {
        * Additional options with which to customize created Chat Messages
        * @defaultValue `{}`
        */
-      messageOptions?: foundry.documents.BaseChatMessage.ConstructorData;
+      messageOptions?: foundry.documents.BaseChatMessage.CreateData;
     }
 
     interface HistoryData {
@@ -59,26 +586,21 @@ declare global {
   /**
    * The client-side Combat document which extends the common BaseCombat model.
    *
-   * @see {@link Combats}                       The world-level collection of Combat documents
-   * @see {@link Combatant}                     The Combatant embedded document which exists within a Combat document
-   * @see {@link CombatConfig}                  The Combat configuration application
+   * @see {@link Combats | `Combats`}                       The world-level collection of Combat documents
+   * @see {@link Combatant | `Combatant`}                     The Combatant embedded document which exists within a Combat document
+   * @see {@link CombatConfig | `CombatConfig`}                  The Combat configuration application
    */
-  class Combat extends ClientDocumentMixin(foundry.documents.BaseCombat) {
-    static override metadata: Combat.Metadata;
-
-    static get implementation(): Combat.ConfiguredClass;
-
+  class Combat<out SubType extends Combat.SubType = Combat.SubType> extends ClientDocumentMixin(
+    foundry.documents.BaseCombat,
+  )<SubType> {
     /**
-     * @param data - Initial data provided to construct the Combat document
+     * @param data    - Initial data from which to construct the `Combat`
+     * @param context - Construction context options
      */
-    // Note(LukeAbby): TODO, this constructor just copies from the parent. Should this just be removed?
-    // constructor(
-    //   data?: ConstructorParameters<typeof foundry.documents.BaseCombat>[0],
-    //   context?: ConstructorParameters<typeof foundry.documents.BaseCombat>[1],
-    // );
+    constructor(...args: Combat.ConstructorArgs);
 
     /** Track the sorted turn order of this combat encounter */
-    turns: Combatant.ConfiguredInstance[];
+    turns: Combatant.Implementation[];
 
     /** Record the current round, turn, and tokenId to understand changes in the encounter state */
     current: Combat.HistoryData;
@@ -98,7 +620,7 @@ declare global {
     /**
      * Get the Combatant who has the next turn.
      */
-    get nextCombatant(): Combatant.ConfiguredInstance | undefined;
+    get nextCombatant(): Combatant.Implementation | undefined;
 
     /** Return the object of settings which modify the Combat Tracker behavior */
     // Type is copied here to avoid recursion issue
@@ -117,7 +639,7 @@ declare global {
      * Deactivate all other Combat encounters within the viewed Scene and set this one as active
      * @param options - Additional context to customize the update workflow
      */
-    activate(options?: Document.OnUpdateOptions<"Combat">): Promise<Combat.ConfiguredInstance[]>;
+    activate(options?: Combat.Database.UpdateOperation): Promise<Combat.Implementation[]>;
 
     override prepareDerivedData(): void;
 
@@ -126,13 +648,13 @@ declare global {
      * @param token - A Token ID or a TokenDocument instance
      * @returns An array of Combatants which represent the Token.
      */
-    getCombatantsByToken(token: string | TokenDocument): Combatant.ConfiguredInstance[];
+    getCombatantsByToken(token: string | TokenDocument.Implementation): Combatant.Implementation[];
 
     /**
      * Get a Combatant that represents the given Actor or Actor ID.
      * @param actorOrId - An Actor ID or an Actor instance.
      */
-    getCombatantsByActor(actorOrId: string | Actor): Combatant.ConfiguredInstance[];
+    getCombatantsByActor(actorOrId: string | Actor.Implementation): Combatant.Implementation[];
 
     /** Begin the combat encounter, advancing to round 1 and turn 1 */
     startCombat(): Promise<this>;
@@ -205,8 +727,7 @@ declare global {
 
     /**
      * Loads the registered Combat Theme (if any) and plays the requested type of sound.
-
-   * If multiple exist for that type, one is chosen at random.
+     * If multiple exist for that type, one is chosen at random.
      * @param announcement - The announcement that should be played: "startEncounter", "nextUp", or "yourTurn".
      */
     protected _playCombatSound(announcement: foundry.CONST.COMBAT_ANNOUNCEMENTS): void;
@@ -217,45 +738,71 @@ declare global {
      * By default sort by initiative, next falling back to name, lastly tie-breaking by combatant id.
      * @internal
      */
-    protected _sortCombatants(a: Combatant.ConfiguredInstance, b: Combatant.ConfiguredInstance): number;
+    protected _sortCombatants(a: Combatant.Implementation, b: Combatant.Implementation): number;
 
     /**
      * Refresh the Token HUD under certain circumstances.
      * @param documents - A list of Combatant documents that were added or removed.
      */
-    protected _refreshTokenHUD(documents: Array<Combatant>): void;
+    protected _refreshTokenHUD(documents: Array<Combatant.Implementation>): void;
 
     /**
-     * @privateRemarks _onCreate, _onUpdate, and _onDelete  are all overridden but with no signature changes.
-     * For type simplicity they are left off. These methods historically have been the source of a large amount of computation from tsc.
+     * @privateRemarks _onCreate, _onUpdate, and _onDelete  are all overridden but with no signature changes from BaseCombat.
      */
 
-    protected override _onCreateDescendantDocuments(
-      parent: ClientDocument,
-      collection: string,
-      documents: ClientDocument[],
-      result: unknown[],
-      options: Document.OnCreateOptions<"Combatant"> & InexactPartial<{ combatTurn: number; turnEvents: boolean }>,
-      userId: string,
-    ): void;
+    /**
+     * @remarks To make it possible for narrowing one parameter to jointly narrow other parameters
+     * this method must be overriden like so:
+     * ```typescript
+     * class GurpsCombat extends Combat {
+     *   protected override _onCreateDescendantDocuments(...args: Combat.OnCreateDescendantDocumentsArgs) {
+     *     super._onCreateDescendantDocuments(...args);
+     *
+     *     const [parent, collection, documents, data, options, userId] = args;
+     *     if (collection === "combatants") {
+     *         options; // Will be narrowed.
+     *     }
+     *   }
+     * }
+     * ```
+     */
+    protected override _onCreateDescendantDocuments(...args: Combat.OnCreateDescendantDocumentsArgs): void;
 
-    protected override _onUpdateDescendantDocuments(
-      parent: ClientDocument,
-      collection: string,
-      documents: ClientDocument[],
-      changes: unknown[],
-      options: Document.OnUpdateOptions<"Combatant"> & InexactPartial<{ combatTurn: number; turnEvents: boolean }>,
-      userId: string,
-    ): void;
+    /**
+     * @remarks To make it possible for narrowing one parameter to jointly narrow other parameters
+     * this method must be overriden like so:
+     * ```typescript
+     * class Ptr2eCombat extends Combat {
+     *   protected override _onUpdateDescendantDocuments(...args: Combat.OnUpdateDescendantDocumentsArgs) {
+     *     super._onUpdateDescendantDocuments(...args);
+     *
+     *     const [parent, collection, documents, changes, options, userId] = args;
+     *     if (collection === "combatants") {
+     *         options; // Will be narrowed.
+     *     }
+     *   }
+     * }
+     * ```
+     */
+    protected override _onUpdateDescendantDocuments(...args: Combat.OnUpdateDescendantDocumentsArgs): void;
 
-    protected override _onDeleteDescendantDocuments(
-      parent: ClientDocument,
-      collection: string,
-      documents: ClientDocument[],
-      ids: string[],
-      options: Document.OnDeleteOptions<"Combatant"> & InexactPartial<{ combatTurn: number; turnEvents: boolean }>,
-      userId: string,
-    ): void;
+    /**
+     * @remarks To make it possible for narrowing one parameter to jointly narrow other parameters
+     * this method must be overriden like so:
+     * ```typescript
+     * class BladesCombat extends Combat {
+     *   protected override _onDeleteDescendantDocuments(...args: Combat.OnUpdateDescendantDocuments) {
+     *     super._onDeleteDescendantDocuments(...args);
+     *
+     *     const [parent, collection, documents, ids, options, userId] = args;
+     *     if (collection === "combatants") {
+     *         options; // Will be narrowed.
+     *     }
+     *   }
+     * }
+     * ```
+     */
+    protected override _onDeleteDescendantDocuments(...args: Combat.OnDeleteDescendantDocumentsArgs): void;
 
     #onModifyCombatants();
 
@@ -263,7 +810,7 @@ declare global {
      * Get the current history state of the Combat encounter.
      * @param combatant - The new active combatant
      */
-    protected _getCurrentState(combatant: Combatant): Combat.HistoryData;
+    protected _getCurrentState(combatant: Combatant.Implementation): Combat.HistoryData;
 
     /**
      * Manage the execution of Combat lifecycle events.
@@ -284,7 +831,7 @@ declare global {
      * This method only executes for one designated GM user. If no GM users are present this method will not be called.
      * @param combatant - The Combatant whose turn just ended
      */
-    protected _onEndTurn(combatant: Combatant): Promise<void>;
+    protected _onEndTurn(combatant: Combatant.Implementation): Promise<void>;
 
     /**
      * A workflow that occurs at the end of each Combat Round.
@@ -309,21 +856,104 @@ declare global {
      * This method only executes for one designated GM user. If no GM users are present this method will not be called.
      * @param combatant - The Combatant whose turn just started
      */
-    protected _onStartTurn(combatant: Combatant): Promise<void>;
+    protected _onStartTurn(combatant: Combatant.Implementation): Promise<void>;
 
     /**
-     * @deprecated Since v11 until v13. Use {@link Combat#updateCombatantActors} instead.
+     * @deprecated Since v11 until v13. Use {@link Combat.updateCombatantActors | `Combat#updateCombatantActors`} instead.
      */
     updateEffectDurations(): void;
 
     /**
-     * @deprecated Since v12. Use {@link Combat#getCombatantsByActor} instead.
+     * @deprecated Since v12. Use {@link Combat.getCombatantsByActor | `Combat#getCombatantsByActor`} instead.
      */
-    getCombatantByActor(actor: Actor): Combatant[];
+    getCombatantByActor(actor: Actor.Implementation): Combatant.Implementation[];
 
     /**
-     * @deprecated Since v12. Use {@link Combat#getCombatantsByActor} instead.
+     * @deprecated Since v12. Use {@link Combat.getCombatantsByActor | `Combat#getCombatantsByActor`} instead.
+     */
+    getCombatantByToken(token: Token.Implementation): Combatant.Implementation[];
+
+    /*
+     * After this point these are not really overridden methods.
+     * They are here because Foundry's documents are complex and have lots of edge cases.
+     * There are DRY ways of representing this but this ends up being harder to understand
+     * for end users extending these functions, especially for static methods. There are also a
+     * number of methods that don't make sense to call directly on `Document` like `createDocuments`,
+     * as there is no data that can safely construct every possible document. Finally keeping definitions
+     * separate like this helps against circularities.
      */
-    getCombatantByToken(token: Token): Combatant[];
+
+    // ClientDocument overrides
+
+    /**
+     * @remarks To make it possible for narrowing one parameter to jointly narrow other parameters
+     * this method must be overriden like so:
+     * ```typescript
+     * class SwadeCombat extends Combat {
+     *   protected override _preCreateDescendantDocuments(...args: Combat.PreCreateDescendantDocumentsArgs) {
+     *     super._preCreateDescendantDocuments(...args);
+     *
+     *     const [parent, collection, data, options, userId] = args;
+     *     if (collection === "combatants") {
+     *         options; // Will be narrowed.
+     *     }
+     *   }
+     * }
+     * ```
+     */
+    protected override _preCreateDescendantDocuments(...args: Combat.PreCreateDescendantDocumentsArgs): void;
+
+    /**
+     * @remarks To make it possible for narrowing one parameter to jointly narrow other parameters
+     * this method must be overriden like so:
+     * ```typescript
+     * class LancerCombat extends Combat {
+     *   protected override _preUpdateDescendantDocuments(...args: Combat.OnUpdateDescendantDocuments) {
+     *     super._preUpdateDescendantDocuments(...args);
+     *
+     *     const [parent, collection, changes, options, userId] = args;
+     *     if (collection === "combatants") {
+     *         options; // Will be narrowed.
+     *     }
+     *   }
+     * }
+     * ```
+     */
+    protected override _preUpdateDescendantDocuments(...args: Combat.PreUpdateDescendantDocumentsArgs): void;
+
+    /**
+     * @remarks To make it possible for narrowing one parameter to jointly narrow other parameters
+     * this method must be overriden like so:
+     * ```typescript
+     * class KultCombat extends Combat {
+     *   protected override _preDeleteDescendantDocuments(...args: Combat.PreDeleteDescendantDocumentsArgs) {
+     *     super._preDeleteDescendantDocuments(...args);
+     *
+     *     const [parent, collection, ids, options, userId] = args;
+     *     if (collection === "combatants") {
+     *         options; // Will be narrowed.
+     *     }
+     *   }
+     * }
+     * ```
+     */
+    protected override _preDeleteDescendantDocuments(...args: Combat.PreDeleteDescendantDocumentsArgs): void;
+
+    static override defaultName(context?: Document.DefaultNameContext<Combat.SubType, Combat.Parent>): string;
+
+    static override createDialog(
+      data?: Document.CreateDialogData<Combat.CreateData>,
+      context?: Document.CreateDialogContext<Combat.SubType, Combat.Parent>,
+    ): Promise<Combat.Stored | null | undefined>;
+
+    static override fromDropData(
+      data: Document.DropData<Combat.Implementation>,
+      options?: Document.FromDropDataOptions,
+    ): Promise<Combat.Implementation | undefined>;
+
+    static override fromImport(
+      source: Combat.Source,
+      context?: Document.FromImportContext<Combat.Parent>,
+    ): Promise<Combat.Implementation>;
   }
 }