Interface TCoreChangeset<TExpr, TVar, TPremise, TArg>

Entity-typed changeset produced by every mutating operation. Only categories that were actually affected are present.

interface TCoreChangeset<
    TExpr extends
        TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
    TPremise extends TCorePremise = TCorePremise,
    TArg extends TCoreArgument = TCoreArgument,
> {
    argument?: TArg;
    expressions?: TCoreEntityChanges<TExpr>;
    premises?: TCoreEntityChanges<TPremise>;
    roles?: { conclusionPremiseId?: string };
    variables?: TCoreEntityChanges<TVar>;
}

Type Parameters

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

Index

Properties

argument? expressions? premises? roles? variables?

Properties

`Optional`argument

argument?: TArg

New argument metadata, present only when argument changed.

`Optional`expressions

expressions?: TCoreEntityChanges<TExpr>

`Optional`premises

premises?: TCoreEntityChanges<TPremise>

`Optional`roles

roles?: { conclusionPremiseId?: string }

New role state, present only when roles changed.

`Optional`variables

variables?: TCoreEntityChanges<TVar>