Function mergeChangesets

mergeChangesets<
    TExpr extends
        TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            symbol: string;
        }
        | {
            argumentId: string;
            argumentVersion: number;
            boundArgumentId: string;
            boundArgumentVersion: number;
            boundPremiseId: string;
            checksum: string;
            id: string;
            symbol: string;
        }
        | {
            argumentId: string;
            argumentVersion: number;
            boundArgumentId: string;
            boundArgumentVersion: number;
            boundAspect: "statement"
            | "inference";
            boundExpressionId: string;
            checksum: string;
            id: string;
            symbol: string;
        } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        symbol: string;
    }
    | {
        argumentId: string;
        argumentVersion: number;
        boundArgumentId: string;
        boundArgumentVersion: number;
        boundPremiseId: string;
        checksum: string;
        id: string;
        symbol: string;
    }
    | {
        argumentId: string;
        argumentVersion: number;
        boundArgumentId: string;
        boundArgumentVersion: number;
        boundAspect: "statement"
        | "inference";
        boundExpressionId: string;
        checksum: string;
        id: string;
        symbol: string;
    },
    TPremise extends
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            combinedChecksum: string;
            descendantChecksum: string
            | null;
            id: string;
            type: "freeform";
        }
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            combinedChecksum: string;
            derivedClaimId: string;
            descendantChecksum: string
            | null;
            id: string;
            type: "derivation";
        } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        combinedChecksum: string;
        descendantChecksum: string
        | null;
        id: string;
        type: "freeform";
    }
    | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        combinedChecksum: string;
        derivedClaimId: string;
        descendantChecksum: string
        | null;
        id: string;
        type: "derivation";
    },
    TArg extends
        {
            checksum: string;
            combinedChecksum: string;
            descendantChecksum: string
            | null;
            id: string;
            respondsTo?: { argumentId: string; argumentVersion: number };
            version: number;
        } = {
        checksum: string;
        combinedChecksum: string;
        descendantChecksum: string
        | null;
        id: string;
        respondsTo?: { argumentId: string; argumentVersion: number };
        version: number;
    },
>(
    a: TCoreChangeset<TExpr, TVar, TPremise, TArg>,
    b: TCoreChangeset<TExpr, TVar, TPremise, TArg>,
): TCoreChangeset<TExpr, TVar, TPremise, TArg>
Merges two changesets into one, deduplicating entities by id within each bucket (added/modified/removed) with last-write-wins semantics.

Use this for changesets that never change one entity in different ways. For the changesets of successive calls on one engine, where a later call can modify or remove what an earlier one added or modified, use composeChangesets: this function throws in that case.
Type Parameters
- TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
- TVar extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundAspect: "statement"
          | "inference";
          boundExpressionId: string;
          checksum: string;
          id: string;
          symbol: string;
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundAspect: "statement"
          | "inference";
          boundExpressionId: string;
          checksum: string;
          id: string;
          symbol: string;
      }
- TPremise extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "freeform";
      }
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          derivedClaimId: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "derivation";
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "freeform";
      }
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          derivedClaimId: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "derivation";
      }
- TArg extends {
      checksum: string;
      combinedChecksum: string;
      descendantChecksum: string | null;
      id: string;
      respondsTo?: { argumentId: string; argumentVersion: number };
      version: number;
  } = {
      checksum: string;
      combinedChecksum: string;
      descendantChecksum: string | null;
      id: string;
      respondsTo?: { argumentId: string; argumentVersion: number };
      version: number;
  }
Parameters
- a: TCoreChangeset<TExpr, TVar, TPremise, TArg>
  The first changeset.
- b: TCoreChangeset<TExpr, TVar, TPremise, TArg>
  The second changeset. Its entries take precedence when both changesets contain the same entity ID in the same bucket.
Returns TCoreChangeset<TExpr, TVar, TPremise, TArg>
A merged changeset. Entity categories that are empty after merge are omitted from the result.

Throws
If any entity ID appears in more than one bucket (added/modified/removed) within the same category after merge. This indicates a logic error in the caller.
- Defined in src/lib/utils/changeset-merge.ts:67

Function mergeChangesets

Type Parameters

Parameters

Returns TCoreChangeset<TExpr, TVar, TPremise, TArg>

Throws

Settings