proposit-core
    Preparing search index...

    Interface TCoreDiffOptions<TArg, TVar, TPremise, TExpr>

    Per-entity comparator overrides for diffArguments.

    interface TCoreDiffOptions<
        TArg extends TCoreArgument = TCoreArgument,
        TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
        TPremise extends TCorePremise = TCorePremise,
        TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    > {
        compareArgument?: TCoreFieldComparator<TArg>;
        compareExpression?: TCoreFieldComparator<TExpr>;
        comparePremise?: TCoreFieldComparator<TPremise>;
        compareVariable?: TCoreFieldComparator<TVar>;
        expressionMatcher?: (a: TExpr, b: TExpr) => boolean;
        premiseMatcher?: (a: TPremise, b: TPremise) => boolean;
        variableMatcher?: (a: TVar, b: TVar) => boolean;
    }

    Type Parameters

    Index

    Properties

    compareArgument? compareExpression? comparePremise? compareVariable? expressionMatcher? premiseMatcher? variableMatcher?

    Properties

    compareArgument?: TCoreFieldComparator<TArg>
    compareExpression?: TCoreFieldComparator<TExpr>
    comparePremise?: TCoreFieldComparator<TPremise>
    compareVariable?: TCoreFieldComparator<TVar>
    expressionMatcher?: (a: TExpr, b: TExpr) => boolean

    Custom entity matcher for pairing expressions. Default: match by ID.

    premiseMatcher?: (a: TPremise, b: TPremise) => boolean

    Custom entity matcher for pairing premises. Default: match by ID.

    variableMatcher?: (a: TVar, b: TVar) => boolean

    Custom entity matcher for pairing variables. Default: match by ID.

    Settings

    Member Visibility

    On This Page

    Properties