Interface TArgumentIdentity<TArg, TPremise, TExpr, TVar>

Argument entity access and extras mutation.

interface TArgumentIdentity<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> {
    getArgument(): TArg;
    getExtras(): Record<string, unknown>;
    setExtras(
        extras: Record<string, unknown>,
    ): TCoreMutationResult<
        Record<string, unknown>,
        TExpr,
        TVar,
        TPremise,
        TArg,
    >;
    updateExtras(
        updates: Record<string, unknown>,
    ): TCoreMutationResult<
        Record<string, unknown>,
        TExpr,
        TVar,
        TPremise,
        TArg,
    >;
}

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable

Implemented by

ArgumentEngine

Index

Methods

getArgument getExtras setExtras updateExtras

Methods

getArgument

getArgument(): TArg
Returns a shallow copy of the argument metadata with checksum attached.

Returns TArg
The argument entity.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:617

getExtras

getExtras(): Record<string, unknown>
Returns the argument's extra metadata record (all fields except id, version, and checksums).

Returns Record<string, unknown>
The extras record.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:624

setExtras

setExtras(
extras: Record<string, unknown>,
): TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
Replaces the argument's extra metadata record.
Parameters
- extras: Record<string, unknown>
  The new extras record.
Returns TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
The new extras record and a changeset with the modified argument.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:631

updateExtras

updateExtras(
updates: Record<string, unknown>,
): TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
Shallow-merges updates into the argument's existing extras.
Parameters
- updates: Record<string, unknown>
  Key-value pairs to merge into the current extras.
Returns TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
The merged extras record and a changeset with the modified argument.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:640