@wildwinter/expr-editor 0.13.0 → 0.14.0

package/dist/index.d.cts

@@ -169,6 +169,16 @@ declare const choicesOf: (e: {
     enumValues?: string[];
     stages?: string[];
 } | null | undefined) => string[] | undefined;
+/** What a property PILL says on rollover: the purpose, and for a quality its
+ *  ladder (the one thing about a property whose order matters and which the
+ *  use site cannot otherwise show). The picker already displays purposes; this
+ *  is for the place an author actually meets a property, mid-expression.
+ *  Pure, so hosts and tests share one answer; the pill wires it as its title. */
+declare const propertyTip: (e: {
+    type: PropertyType;
+    purpose?: string;
+    stages?: string[];
+} | null | undefined) => string | undefined;
 interface Filter {
     acceptTypes?: PropertyType[];
     acceptScopes?: string[];
@@ -426,6 +436,16 @@ interface EffectsEditorOptions {
      *  inside a focus-trapping dialog so popovers do not dismiss it. Threaded to the
      *  target/event pickers here and to every inline value editor. */
     popoverContainer?: HTMLElement;
+    /** Host actions for a property pill, shown on right-click (e.g. go to
+     *  definition). Threaded to every inline value editor, and honoured by the
+     *  set rows' own target pills (resolved via the catalogue). */
+    propertyActions?(ref: {
+        scope: string;
+        name: string;
+    }): Array<{
+        label: string;
+        run: () => void;
+    }>;
     /** Emitted on every structural / value edit with the whole new list. */
     onChange: (effects: EditorEffect[]) => void;
 }
@@ -517,4 +537,4 @@ interface ValueWizardOptions {
 /** Build the wizard UI into a fresh element (drive it via the host's popover). */
 declare function valueWizard(opts: ValueWizardOptions): HTMLElement;
 
-export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
+export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };

package/dist/index.d.ts

@@ -169,6 +169,16 @@ declare const choicesOf: (e: {
     enumValues?: string[];
     stages?: string[];
 } | null | undefined) => string[] | undefined;
+/** What a property PILL says on rollover: the purpose, and for a quality its
+ *  ladder (the one thing about a property whose order matters and which the
+ *  use site cannot otherwise show). The picker already displays purposes; this
+ *  is for the place an author actually meets a property, mid-expression.
+ *  Pure, so hosts and tests share one answer; the pill wires it as its title. */
+declare const propertyTip: (e: {
+    type: PropertyType;
+    purpose?: string;
+    stages?: string[];
+} | null | undefined) => string | undefined;
 interface Filter {
     acceptTypes?: PropertyType[];
     acceptScopes?: string[];
@@ -426,6 +436,16 @@ interface EffectsEditorOptions {
      *  inside a focus-trapping dialog so popovers do not dismiss it. Threaded to the
      *  target/event pickers here and to every inline value editor. */
     popoverContainer?: HTMLElement;
+    /** Host actions for a property pill, shown on right-click (e.g. go to
+     *  definition). Threaded to every inline value editor, and honoured by the
+     *  set rows' own target pills (resolved via the catalogue). */
+    propertyActions?(ref: {
+        scope: string;
+        name: string;
+    }): Array<{
+        label: string;
+        run: () => void;
+    }>;
     /** Emitted on every structural / value edit with the whole new list. */
     onChange: (effects: EditorEffect[]) => void;
 }
@@ -517,4 +537,4 @@ interface ValueWizardOptions {
 /** Build the wizard UI into a fresh element (drive it via the host's popover). */
 declare function valueWizard(opts: ValueWizardOptions): HTMLElement;
 
-export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
+export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };

package/dist/index.js

@@ -286,6 +286,13 @@ var choicesOf = (e) => {
   if (e.type === "enum") return e.enumValues;
   return void 0;
 };
+var propertyTip = (e) => {
+  if (!e) return void 0;
+  const lines = [];
+  if (e.purpose) lines.push(e.purpose);
+  if (e.type === "quality" && e.stages?.length) lines.push(`Stages: ${e.stages.join(" \u2192 ")}`);
+  return lines.length ? lines.join("\n") : void 0;
+};
 var refOf = (e, defaultScope) => e.scope === defaultScope ? `@${e.name}` : `@${e.scope}.${e.name}`;
 var displayName = (e, defaultScope) => e.scope === defaultScope ? e.name : `${e.scope}.${e.name}`;
 function filterCatalogue(entries, filter = {}) {
@@ -457,7 +464,12 @@ function renderNode(node, path, ctx, parentOp, side) {
     case "scopedvar": {
       const entry = lookup(ctx.catalogue, node.scope, node.name);
       const label = displayName({ scope: node.scope, name: node.name }, ctx.defaultScope);
-      const varPill = pill("var", label, (b) => variableEditor(ctx, path, node, b), { issue: issue ?? (entry ? void 0 : `Unknown property ${label}`) });
+      const varPill = pill(
+        "var",
+        label,
+        (b) => variableEditor(ctx, path, node, b),
+        { issue: issue ?? (entry ? void 0 : `Unknown property ${label}`), title: propertyTip(entry) }
+      );
       attachPropertyMenu(ctx, node, varPill);
       return varPill;
     }
@@ -1543,8 +1555,14 @@ function mountEffectsEditor(host, opts) {
       scopeOrder: opts.scopeOrder,
       functions: opts.functions,
       mode: "flat",
+      // Every editor here holds a VALUE (a set's value, an emit's argument), never a condition. Say
+      // so, or emptying one falls back to the condition empty state and an outcome row reads
+      // "always / + Add your first condition" - condition vocabulary, offering clauses where a value
+      // belongs, and no way back to a value. `valueField` renders an editable empty literal instead.
+      valueField: true,
       ...addTerm ? { addTerm } : {},
       ...selfAdvanceRef ? { selfAdvanceRef } : {},
+      ...opts.propertyActions ? { propertyActions: opts.propertyActions } : {},
       ...opts.popoverContainer ? { popoverContainer: opts.popoverContainer } : {},
       text: textMode,
       onChange
@@ -1595,6 +1613,24 @@ function mountEffectsEditor(host, opts) {
         commit(updateAt(effects, i, { target: refOf(entry, defaultScope), value: initialValueFor(entry, defaultScope).src }));
       });
     }, "change the target property");
+    const targetEntry = opts.catalogue.find((e) => refOf(e, defaultScope) === eff.target);
+    const tip = propertyTip(targetEntry);
+    if (tip) targetBtn.title = tip;
+    if (targetEntry && opts.propertyActions) {
+      const actions = opts.propertyActions({ scope: targetEntry.scope, name: targetEntry.name });
+      if (actions.length) targetBtn.addEventListener("contextmenu", (e) => {
+        e.preventDefault();
+        closePopover();
+        popover = openPopover(targetBtn, (close) => {
+          const wrap = el("div", "exed-menu");
+          for (const a of actions) wrap.append(button("exed-opt", a.label, () => {
+            a.run();
+            close();
+          }));
+          return wrap;
+        }, { container: opts.popoverContainer });
+      });
+    }
     const advances = isSelfAdvance(eff, defaultScope, opts.dialect);
     row.append(targetBtn);
     if (!advances) row.append(el("span", "exed-effect-eq", ["="]));
@@ -1782,6 +1818,6 @@ function renderEffectsPreview(effects, o) {
   return wrap;
 }
 
-export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, EQUALITY_OPS, OP_WORD, UNARY_LABEL, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
+export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, EQUALITY_OPS, OP_WORD, UNARY_LABEL, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map