@suss/recognize 0.18.0 → 0.20.0

package/README.md

@@ -76,6 +76,15 @@ ioredis, and the declaration behind `redis.get` says everything.
 `constructed` asks the receiver itself, so it still works where the
 method is untyped.
 
+A chain can also match a bare call of the tracked value itself, with
+`.calls(meaning)` beside its methods table. A store hook is the case:
+`useAppStore((s) => s.bears)` reaches for no method, so there is no
+name for the table to list; the call matches when its callee is a
+bound name whose written value came from the chain's origin. The
+fields such a call reads are usually stated in a selector lambda, and
+`fields: { selectorParam: 0 }` picks them off the lambda's parameter,
+one per distinct first segment.
+
 ## The gradient
 
 Expressiveness is bought link by link, and the price is printed.
@@ -111,6 +120,8 @@ result on the recognizer context under `ops`.
 | `receiver()` | the call the receiver is, as ops of its own |
 | `argument(index)` | the call that argument is, as ops of its own |
 | `callee()` | the call the callee itself was written as |
+| `namedCallee()` | whether the call goes to a name the program bound (optional) |
+| `parameterReadsAt(index)` | the fields a selector lambda in that position reads off its parameter (optional) |
 | `propertyAt(index, property, unsettled)` | what a named property of that argument says |
 | `valueAt(index)` | the value that argument states, as `ValueOps` |
 

package/dist/ast.d.cts

@@ -1,5 +1,5 @@
 import { CallOps } from '@suss/extractor';
-import { L as LinkFunction } from './chain-C7w99UMv.cjs';
+import { L as LinkFunction } from './chain-_S93eC3O.cjs';
 import '@suss/behavioral-ir';
 
 /**

package/dist/ast.d.ts

@@ -1,5 +1,5 @@
 import { CallOps } from '@suss/extractor';
-import { L as LinkFunction } from './chain-C7w99UMv.js';
+import { L as LinkFunction } from './chain-_S93eC3O.js';
 import '@suss/behavioral-ir';
 
 /**

package/dist/{chain-C7w99UMv.d.cts → chain-_S93eC3O.d.cts}

@@ -165,12 +165,30 @@ interface InterpolatesLink {
     readonly from?: ReceiverOrigin;
 }
 /** One question in a chain, and the answer the pack gave for it. */
-type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | CallsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+/**
+ * The meaning of a bare call of the tracked client itself. A store
+ * hook is the case: `useAppStore((s) => s.bears)` reaches for no
+ * method, so there is no name for a methods table to list; the call
+ * matches by what its callee was written as.
+ */
+interface CallsLink<TMeaning> {
+    readonly asks: "calls";
+    readonly meaning: TMeaning;
+}
 /**
  * Which argument or arguments say what a call reached, and where to go
  * looking. Without `of` the argument belongs to the chain's subject.
  */
 type ArgumentPick = OneArgument | ArgumentsFrom;
+/**
+ * The fields a selector lambda reads off its parameter, one per
+ * distinct first segment: `(s) => s.bears.count` reads `bears`. The
+ * value says which argument the lambda is passed as.
+ */
+interface SelectorParamPick {
+    readonly selectorParam: number;
+}
 /** The argument in one position. */
 interface OneArgument {
     /** The steps to the call the argument belongs to. */
@@ -261,13 +279,13 @@ interface StorageMethod {
      * wrote, or the plain list a method whose own name settles it states
      * outright: `findById` picks by `_id` however the id is spelt.
      */
-    readonly selector?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly selector?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
     /**
      * Which fields the call touched, said the same three ways. A delete
      * touches the whole document and states `["*"]`, since nothing in its
      * arguments says so.
      */
-    readonly fields?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly fields?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
 }
 /**
  * What one method of a client that takes a statement written as SQL
@@ -418,4 +436,4 @@ interface Chain<TMeaning = MethodMeaning> {
     readonly example: string | null;
 }
 
-export type { ArgumentPick as A, ToReceiver as B, Chain as C, Ending as E, FromReceiver as F, InterpolatesLink as I, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, ContainerArgument as i, ContainerLink as j, ContainerRule as k, ContainersLink as l, InputLink as m, InputRule as n, Link as o, ManyIn as p, MatchStart as q, MessageSendEnding as r, MethodsLink as s, OneMessage as t, SqlEnding as u, StartLink as v, StatedInputs as w, StatedRule as x, StorageEnding as y, SubjectLink as z };
+export type { ArgumentPick as A, StorageEnding as B, Chain as C, SubjectLink as D, Ending as E, FromReceiver as F, ToReceiver as G, InterpolatesLink as I, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, CallsLink as i, ContainerArgument as j, ContainerLink as k, ContainerRule as l, ContainersLink as m, InputLink as n, InputRule as o, Link as p, ManyIn as q, MatchStart as r, MessageSendEnding as s, MethodsLink as t, OneMessage as u, SelectorParamPick as v, SqlEnding as w, StartLink as x, StatedInputs as y, StatedRule as z };

package/dist/{chain-C7w99UMv.d.ts → chain-_S93eC3O.d.ts}

@@ -165,12 +165,30 @@ interface InterpolatesLink {
     readonly from?: ReceiverOrigin;
 }
 /** One question in a chain, and the answer the pack gave for it. */
-type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | CallsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+/**
+ * The meaning of a bare call of the tracked client itself. A store
+ * hook is the case: `useAppStore((s) => s.bears)` reaches for no
+ * method, so there is no name for a methods table to list; the call
+ * matches by what its callee was written as.
+ */
+interface CallsLink<TMeaning> {
+    readonly asks: "calls";
+    readonly meaning: TMeaning;
+}
 /**
  * Which argument or arguments say what a call reached, and where to go
  * looking. Without `of` the argument belongs to the chain's subject.
  */
 type ArgumentPick = OneArgument | ArgumentsFrom;
+/**
+ * The fields a selector lambda reads off its parameter, one per
+ * distinct first segment: `(s) => s.bears.count` reads `bears`. The
+ * value says which argument the lambda is passed as.
+ */
+interface SelectorParamPick {
+    readonly selectorParam: number;
+}
 /** The argument in one position. */
 interface OneArgument {
     /** The steps to the call the argument belongs to. */
@@ -261,13 +279,13 @@ interface StorageMethod {
      * wrote, or the plain list a method whose own name settles it states
      * outright: `findById` picks by `_id` however the id is spelt.
      */
-    readonly selector?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly selector?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
     /**
      * Which fields the call touched, said the same three ways. A delete
      * touches the whole document and states `["*"]`, since nothing in its
      * arguments says so.
      */
-    readonly fields?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly fields?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
 }
 /**
  * What one method of a client that takes a statement written as SQL
@@ -418,4 +436,4 @@ interface Chain<TMeaning = MethodMeaning> {
     readonly example: string | null;
 }
 
-export type { ArgumentPick as A, ToReceiver as B, Chain as C, Ending as E, FromReceiver as F, InterpolatesLink as I, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, ContainerArgument as i, ContainerLink as j, ContainerRule as k, ContainersLink as l, InputLink as m, InputRule as n, Link as o, ManyIn as p, MatchStart as q, MessageSendEnding as r, MethodsLink as s, OneMessage as t, SqlEnding as u, StartLink as v, StatedInputs as w, StatedRule as x, StorageEnding as y, SubjectLink as z };
+export type { ArgumentPick as A, StorageEnding as B, Chain as C, SubjectLink as D, Ending as E, FromReceiver as F, ToReceiver as G, InterpolatesLink as I, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, CallsLink as i, ContainerArgument as j, ContainerLink as k, ContainerRule as l, ContainersLink as m, InputLink as n, InputRule as o, Link as p, ManyIn as q, MatchStart as r, MessageSendEnding as s, MethodsLink as t, OneMessage as u, SelectorParamPick as v, SqlEnding as w, StartLink as x, StatedInputs as y, StatedRule as z };

package/dist/index.cjs

@@ -64,8 +64,22 @@ var MAX_RECEIVER_HOPS = 8;
 function compile(chain, recognition) {
   return (_call, ctx) => {
     const ops = opsIn(ctx);
+    if (ops === null) {
+      return null;
+    }
+    const bare = bareCall(chain, ops);
+    if (bare !== null) {
+      return YIELD[chain.ending.yields]({
+        ops,
+        subject: ops,
+        method: bare.method,
+        meaning: bare.meaning,
+        chain,
+        recognition
+      });
+    }
     const methods = methodsIn(chain);
-    if (ops === null || methods === null) {
+    if (methods === null) {
       return null;
     }
     for (const subject of subjectsOf(chain, ops)) {
@@ -90,6 +104,21 @@ function linkIn(chain, asks) {
   const link = chain.links.find((candidate) => candidate.asks === asks);
   return link ?? null;
 }
+function bareCall(chain, ops) {
+  const link = linkIn(chain, "calls");
+  const start = linkIn(chain, "start");
+  if (link === null || start === null || start.at.starts !== "receiver") {
+    return null;
+  }
+  if (ops.method() !== null || ops.namedCallee?.() !== true) {
+    return null;
+  }
+  const written = ops.callee();
+  if (written === null || !written.isFrom(start.at.origin)) {
+    return null;
+  }
+  return { method: ops.calleeText(), meaning: link.meaning };
+}
 function methodsIn(chain) {
   return linkIn(chain, "methods");
 }
@@ -278,6 +307,9 @@ function namesFor(says, subject, stated, unsettled) {
     const input2 = stated.input;
     return input2 === null ? [] : [...says({ ...stated, input: input2 })];
   }
+  if ("selectorParam" in says) {
+    return [...subject.parameterReadsAt?.(says.selectorParam) ?? []];
+  }
   const pointed = says;
   if (!("by" in pointed)) {
     return namesAt(subject, pointed, unsettled);
@@ -591,8 +623,15 @@ function rulesIn(chain) {
   const link = chain.links.find(
     (candidate) => candidate.asks === "methods"
   );
+  const calls = chain.links.find(
+    (candidate) => candidate.asks === "calls"
+  );
+  const meanings = [
+    ...Object.values(link?.table ?? {}),
+    ...calls === void 0 ? [] : [calls.meaning]
+  ];
   const written = /* @__PURE__ */ new Map();
-  for (const method of Object.values(link?.table ?? {})) {
+  for (const method of meanings) {
     for (const asks of ["selector", "fields"]) {
       const rule = ruleFor(method[asks]);
       if (rule !== null) {
@@ -672,6 +711,7 @@ function chainFrom3(declared) {
       table,
       ignoringCase: options?.ignoringCase ?? false
     }),
+    calls: (meaning) => adding({ asks: "calls", meaning }),
     container: (says) => adding(
       typeof says === "function" ? { asks: "container", from: says } : { asks: "container", argument: says }
     ),

package/dist/index.d.cts

@@ -1,7 +1,7 @@
 import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, PackDeclarations } from '@suss/extractor';
 export { CallOps, ConstructedFrom, DeclaredBy, DeclaredMatch, OpsCarrier, PackDeclarations, PatternPack, ReceiverOrigin, UnsettledName, ValueEntry, ValueOps } from '@suss/extractor';
-import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-C7w99UMv.cjs';
-export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as ContainerArgument, j as ContainerLink, k as ContainerRule, l as ContainersLink, E as Ending, F as FromReceiver, m as InputLink, n as InputRule, K as KindAsAsked, o as Link, p as ManyIn, q as MatchStart, r as MessageSendEnding, s as MethodsLink, t as OneMessage, u as SqlEnding, v as StartLink, w as StatedInputs, x as StatedRule, y as StorageEnding, z as SubjectLink, T as ToArgument, B as ToReceiver } from './chain-C7w99UMv.cjs';
+import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-_S93eC3O.cjs';
+export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as CallsLink, j as ContainerArgument, k as ContainerLink, l as ContainerRule, m as ContainersLink, E as Ending, F as FromReceiver, n as InputLink, o as InputRule, K as KindAsAsked, p as Link, q as ManyIn, r as MatchStart, s as MessageSendEnding, t as MethodsLink, u as OneMessage, v as SelectorParamPick, w as SqlEnding, x as StartLink, y as StatedInputs, z as StatedRule, B as StorageEnding, D as SubjectLink, T as ToArgument, G as ToReceiver } from './chain-_S93eC3O.cjs';
 import { Effect, MessageBusSemantics } from '@suss/behavioral-ir';
 
 /**
@@ -287,6 +287,12 @@ interface StorageCalls {
     methods(table: Readonly<Record<string, StorageMethod>>, options?: {
         ignoringCase?: boolean;
     }): StorageCalls;
+    /**
+     * What a bare call of the client itself does. A store hook is the
+     * case: `useAppStore((s) => s.bears)` reaches for no method, so the
+     * one meaning here is the whole answer.
+     */
+    calls(meaning: StorageMethod): StorageCalls;
     /**
      * Which container a call's selector belongs to, as an argument or as
      * the pack's own rule. Without this the first name a call reached is

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, PackDeclarations } from '@suss/extractor';
 export { CallOps, ConstructedFrom, DeclaredBy, DeclaredMatch, OpsCarrier, PackDeclarations, PatternPack, ReceiverOrigin, UnsettledName, ValueEntry, ValueOps } from '@suss/extractor';
-import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-C7w99UMv.js';
-export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as ContainerArgument, j as ContainerLink, k as ContainerRule, l as ContainersLink, E as Ending, F as FromReceiver, m as InputLink, n as InputRule, K as KindAsAsked, o as Link, p as ManyIn, q as MatchStart, r as MessageSendEnding, s as MethodsLink, t as OneMessage, u as SqlEnding, v as StartLink, w as StatedInputs, x as StatedRule, y as StorageEnding, z as SubjectLink, T as ToArgument, B as ToReceiver } from './chain-C7w99UMv.js';
+import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-_S93eC3O.js';
+export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as CallsLink, j as ContainerArgument, k as ContainerLink, l as ContainerRule, m as ContainersLink, E as Ending, F as FromReceiver, n as InputLink, o as InputRule, K as KindAsAsked, p as Link, q as ManyIn, r as MatchStart, s as MessageSendEnding, t as MethodsLink, u as OneMessage, v as SelectorParamPick, w as SqlEnding, x as StartLink, y as StatedInputs, z as StatedRule, B as StorageEnding, D as SubjectLink, T as ToArgument, G as ToReceiver } from './chain-_S93eC3O.js';
 import { Effect, MessageBusSemantics } from '@suss/behavioral-ir';
 
 /**
@@ -287,6 +287,12 @@ interface StorageCalls {
     methods(table: Readonly<Record<string, StorageMethod>>, options?: {
         ignoringCase?: boolean;
     }): StorageCalls;
+    /**
+     * What a bare call of the client itself does. A store hook is the
+     * case: `useAppStore((s) => s.bears)` reaches for no method, so the
+     * one meaning here is the whole answer.
+     */
+    calls(meaning: StorageMethod): StorageCalls;
     /**
      * Which container a call's selector belongs to, as an argument or as
      * the pack's own rule. Without this the first name a call reached is

package/dist/index.js

@@ -28,8 +28,22 @@ var MAX_RECEIVER_HOPS = 8;
 function compile(chain, recognition) {
   return (_call, ctx) => {
     const ops = opsIn(ctx);
+    if (ops === null) {
+      return null;
+    }
+    const bare = bareCall(chain, ops);
+    if (bare !== null) {
+      return YIELD[chain.ending.yields]({
+        ops,
+        subject: ops,
+        method: bare.method,
+        meaning: bare.meaning,
+        chain,
+        recognition
+      });
+    }
     const methods = methodsIn(chain);
-    if (ops === null || methods === null) {
+    if (methods === null) {
       return null;
     }
     for (const subject of subjectsOf(chain, ops)) {
@@ -54,6 +68,21 @@ function linkIn(chain, asks) {
   const link = chain.links.find((candidate) => candidate.asks === asks);
   return link ?? null;
 }
+function bareCall(chain, ops) {
+  const link = linkIn(chain, "calls");
+  const start = linkIn(chain, "start");
+  if (link === null || start === null || start.at.starts !== "receiver") {
+    return null;
+  }
+  if (ops.method() !== null || ops.namedCallee?.() !== true) {
+    return null;
+  }
+  const written = ops.callee();
+  if (written === null || !written.isFrom(start.at.origin)) {
+    return null;
+  }
+  return { method: ops.calleeText(), meaning: link.meaning };
+}
 function methodsIn(chain) {
   return linkIn(chain, "methods");
 }
@@ -242,6 +271,9 @@ function namesFor(says, subject, stated, unsettled) {
     const input2 = stated.input;
     return input2 === null ? [] : [...says({ ...stated, input: input2 })];
   }
+  if ("selectorParam" in says) {
+    return [...subject.parameterReadsAt?.(says.selectorParam) ?? []];
+  }
   const pointed = says;
   if (!("by" in pointed)) {
     return namesAt(subject, pointed, unsettled);
@@ -555,8 +587,15 @@ function rulesIn(chain) {
   const link = chain.links.find(
     (candidate) => candidate.asks === "methods"
   );
+  const calls = chain.links.find(
+    (candidate) => candidate.asks === "calls"
+  );
+  const meanings = [
+    ...Object.values(link?.table ?? {}),
+    ...calls === void 0 ? [] : [calls.meaning]
+  ];
   const written = /* @__PURE__ */ new Map();
-  for (const method of Object.values(link?.table ?? {})) {
+  for (const method of meanings) {
     for (const asks of ["selector", "fields"]) {
       const rule = ruleFor(method[asks]);
       if (rule !== null) {
@@ -636,6 +675,7 @@ function chainFrom3(declared) {
       table,
       ignoringCase: options?.ignoringCase ?? false
     }),
+    calls: (meaning) => adding({ asks: "calls", meaning }),
     container: (says) => adding(
       typeof says === "function" ? { asks: "container", from: says } : { asks: "container", argument: says }
     ),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/recognize",
-  "version": "0.18.0",
+  "version": "0.20.0",
   "type": "module",
   "description": "Write a pack as data: a chain of named links that any language adapter with the executor ops can run.",
   "keywords": [
@@ -49,9 +49,9 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.18.0",
-    "@suss/extractor": "0.18.0",
-    "@suss/sql": "0.18.0"
+    "@suss/behavioral-ir": "0.20.0",
+    "@suss/extractor": "0.20.0",
+    "@suss/sql": "0.20.0"
   },
   "devDependencies": {
     "tsup": "*",