Interface TCoreMutationResult<T, TExpr, TVar, TPremise, TArg>

Every mutating method returns this wrapper. result is the direct answer (e.g. the removed expression). changes is the full set of DB-level side effects.

interface TCoreMutationResult<
    T,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
    TPremise extends TCorePremise = TCorePremise,
    TArg extends TCoreArgument = TCoreArgument,
> {
    changes: TCoreChangeset<TExpr, TVar, TPremise, TArg>;
    result: T;
}

Type Parameters

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

Index

Properties

Properties

changes

changes: TCoreChangeset<TExpr, TVar, TPremise, TArg>

result

result: T