modality-ts 0.0.13 → 0.0.15

package/dist/extract/sources/jotai/discover.js.map

@@ -1 +1 @@
-{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/discover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAEtB,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,iBAAiB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,iBAAiB,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAC/C,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAClE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAiB;gBAC7B,EAAE,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC5B,MAAM;gBACN,MAAM;gBACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzB,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;aACvD,CAAC;YACF,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,QAAQ,CAAC,EAAE;gBACf,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,QAAQ;gBACb,MAAM;gBACN,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;aACvC,CAAC,CAAC;QACL,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC;YAEzC,SAAS;QACX,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACvD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC1C,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM;gBAClE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,eAA8B;IACnD,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,CACxE,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,IAAmB,EACnB,SAAsB;IAEtB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAqB,EACrB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"discover.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/discover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EACL,uBAAuB,EACvB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAS3D,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,OAAO,0BAA0B,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,mBAAmB,EAAE,CAAC;IAElE,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAiD,EAAE,CAAC;IAClE,MAAM,YAAY,GAAG,IAAI,GAAG,EAGzB,CAAC;IACJ,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,eAAe,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC7D,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,EACzD,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;YACxE,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;gBAC7B,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBAChD,MAAM,cAAc,GAAG,gBAAgB,CACrC,IAAI,CAAC,WAAW,EAChB,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACpD,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,cAAc,CAAC,OAAO;wBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;qBACvC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,cAAc,GAAG,gBAAgB,CACrC,IAAI,CAAC,WAAW,EAChB,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACxB,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACpD,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,cAAc,CAAC,OAAO;wBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;qBACvC,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,CAC3D,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EACzC,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,QAAQ;gBAAE,OAAO;YACtB,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAChD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,mDAAmD,UAAU,EAAE;oBACxE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBACnD,MAAM,WAAW,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAI,SAAwC,CAAC;gBAC7C,IACE,WAAW;oBACX,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;wBAC9B,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,EACvC,CAAC;oBACD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;oBAC9B,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;wBACzB,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,EAC7C,CAAC;wBACD,SAAS,GAAG,IAAI,CAAC;oBACnB,CAAC;yBAAM,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;4BACnC,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gCAC1B,IAAI,CAAC,UAAU;gCACf,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;gCACpC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,EACxD,CAAC;gCACD,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;gCAC5B,MAAM;4BACR,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,cAAc,GAAG,sBAAsB,CAC3C,UAAU,EACV,WAAW,EACX,SAAS,EACT,WAAW,CACZ,CAAC;oBACF,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;oBACnD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACrB,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;oBACjD,KAAK,CAAC,IAAI,CAAC;wBACT,EAAE,EAAE,KAAK;wBACT,IAAI,EAAE,mBAAmB;wBACzB,GAAG,EAAE;4BACH,EAAE,EAAE,KAAK;4BACT,MAAM,EAAE,cAAc,CAAC,MAAM;4BAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;4BACtC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACzB,OAAO,EAAE,cAAc,CAAC,OAAO;yBAChC;wBACD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;wBACtC,QAAQ,EAAE,gBAAgB,CAAC,cAAc,CAAC,QAAQ,CAAC;qBACpD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IAEd,MAAM,SAAS,GAAG,0BAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxE,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;IAE1E,MAAM,oBAAoB,GAAG,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,gBAAgB,GAAiB,EAAE,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,IAAI,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAChE,gBAAgB,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,gBAAgB,CAAC;QAC9C,QAAQ;QACR,SAAS;QACT,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,IAA4B,EAC5B,QAAgB,EAChB,cAAmD,EACnD,QAAgB,EAChB,MAAqB;IAErB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAiB;QAC7B,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC;QACvB,MAAM,EAAE,cAAc,CAAC,MAAM;QAC7B,MAAM;QACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,OAAO,EAAE,cAAc,CAAC,OAAO;KAChC,CAAC;IACF,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,YAAY;QAClB,GAAG,EAAE,QAAQ;QACb,MAAM;QACN,QAAQ,EAAE,gBAAgB,CAAC,cAAc,CAAC,QAAQ,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,MAAqB,EACrB,QAAgB,EAChB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO;QACL,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,IAAI,GAAG,EAAE;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAA4B,EAC5B,UAAkB;IAElB,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,QAAQ,GACZ,OAAO,IAAI,CAAC,QAAQ,EAAE,QAAQ,KAAK,QAAQ;YACzC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ;YACxB,CAAC,CAAC,IAAI,CAAC,GAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9C,OAAO;YACL,GAAG,IAAI;YACP,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAI,EAAE,EAAE,EAAE,KAAK,EAAE;YAChC,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,IAAmB,EACnB,YAAyC;IAEzC,OAAO,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC/C,CAAC;AAED,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC"}

package/dist/extract/sources/jotai/domains.d.ts

@@ -1,7 +1,20 @@
 import * as ts from "typescript";
+import type { AbstractDomain, Value } from "modality-ts/core";
 import { typeAliasDeclarations } from "modality-ts/extract/engine/spi";
-import { type AbstractDomain, type Value } from "modality-ts/core";
+import { type JotaiResolvedImports } from "./imports.js";
+import type { AtomConfigKind, JotaiAtomMetadata } from "./types.js";
 export { typeAliasDeclarations };
+export interface AtomClassification {
+    configKind: AtomConfigKind;
+    domain: AbstractDomain;
+    initial: Value;
+    metadata: JotaiAtomMetadata;
+    emitVar: boolean;
+    warning?: string;
+}
+export declare function classifyAtomCall(call: ts.CallExpression, atomName: string, imports: JotaiResolvedImports, typeAliases: ReadonlyMap<string, ts.TypeNode>): AtomClassification;
+export declare function classifyFamilyInstance(familyName: string, param: string, innerCall: ts.CallExpression, typeAliases: ReadonlyMap<string, ts.TypeNode>): AtomClassification;
 export declare function inferAtomDomain(call: ts.CallExpression, typeAliases?: ReadonlyMap<string, ts.TypeNode>): AbstractDomain;
 export declare function initialValueForAtom(call: ts.CallExpression, domain: AbstractDomain): Value;
+export declare function staticFamilyParam(expression: ts.Expression): string | undefined;
 //# sourceMappingURL=domains.d.ts.map

package/dist/extract/sources/jotai/domains.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAGL,qBAAqB,EACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,KAAK,EACX,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAa,GACxD,cAAc,CAwBhB;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,MAAM,EAAE,cAAc,GACrB,KAAK,CAyBP"}
+{"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAGL,qBAAqB,EACtB,MAAM,gCAAgC,CAAC;AAMxC,OAAO,EAAmB,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAM1E,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,cAAc,CAAC;IAC3B,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;IACf,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,oBAAoB,EAC7B,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAC5C,kBAAkB,CAwBpB;AAoZD,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,EAAE,CAAC,cAAc,EAC5B,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAC5C,kBAAkB,CAgBpB;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAa,GACxD,cAAc,CAMhB;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,MAAM,EAAE,cAAc,GACrB,KAAK,CAIP;AAuHD,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,MAAM,GAAG,SAAS,CAiBpB"}

package/dist/extract/sources/jotai/domains.js

@@ -1,70 +1,425 @@
 import * as ts from "typescript";
 import { firstValue, inferDomainFromTypeNode, typeAliasDeclarations, } from "modality-ts/extract/engine/spi";
+import { literalValue, propertyName } from "../../engine/ts/ast.js";
 import { validateValue, } from "modality-ts/core";
+import { atomCreatorName } from "./imports.js";
+import { getCallsInReadFunction, isAsyncReadFunction, isReadFunction, } from "./derived-writes.js";
 export { typeAliasDeclarations };
+export function classifyAtomCall(call, atomName, imports, typeAliases) {
+    const creator = atomCreatorName(call, imports.atomCreators) ?? "atom";
+    switch (creator) {
+        case "atomWithStorage":
+            return classifyStorageAtom(call, atomName, typeAliases);
+        case "atomWithLazy":
+            return classifyLazyAtom(call, atomName, typeAliases);
+        case "atomWithReset":
+            return classifyResetAtom(call, atomName, typeAliases);
+        case "atomWithDefault":
+            return classifyDefaultAtom(call, atomName, typeAliases);
+        case "atomWithRefresh":
+            return classifyRefreshAtom(call, atomName, typeAliases);
+        case "loadable":
+            return classifyLoadableAtom(call, atomName);
+        case "unwrap":
+            return classifyUnwrapAtom(call, atomName);
+        case "atomWithObservable":
+            return classifyObservableAtom(call, atomName, typeAliases);
+        case "atomFamily":
+            return classifyFamilyAtom(atomName);
+        default:
+            return classifyCoreAtom(call, atomName, typeAliases);
+    }
+}
+function classifyCoreAtom(call, atomName, typeAliases) {
+    const args = call.arguments;
+    const first = args[0];
+    const second = args[1];
+    if (first && isReadFunction(first)) {
+        if (isAsyncReadFunction(first)) {
+            return {
+                configKind: "readOnlyDerived",
+                domain: { kind: "tokens", count: 1 },
+                initial: "tok1",
+                emitVar: true,
+                metadata: {
+                    atomName,
+                    configKind: "readOnlyDerived",
+                    creator: "atom",
+                    asyncDerived: true,
+                    readDependencies: getCallsInReadFunction(first),
+                    warning: "Jotai async derived atom read abstracted",
+                },
+                warning: "Jotai async derived atom read abstracted",
+            };
+        }
+        if (second && isReadFunction(second)) {
+            return {
+                configKind: "readWriteDerived",
+                domain: inferAtomDomain(call, typeAliases),
+                initial: firstValue(inferAtomDomain(call, typeAliases)),
+                emitVar: false,
+                metadata: {
+                    atomName,
+                    configKind: "readWriteDerived",
+                    creator: "atom",
+                    readDependencies: getCallsInReadFunction(first),
+                },
+            };
+        }
+        return {
+            configKind: "readOnlyDerived",
+            domain: { kind: "tokens", count: 1 },
+            initial: "tok1",
+            emitVar: true,
+            metadata: {
+                atomName,
+                configKind: "readOnlyDerived",
+                creator: "atom",
+                readDependencies: getCallsInReadFunction(first),
+                warning: "Jotai derived read-only atom uses token domain",
+            },
+            warning: "Jotai derived read-only atom uses token domain",
+        };
+    }
+    if ((first === undefined ||
+        first.kind === ts.SyntaxKind.NullKeyword ||
+        !isReadFunction(first)) &&
+        second &&
+        isReadFunction(second)) {
+        return {
+            configKind: "writeOnlyDerived",
+            domain: { kind: "tokens", count: 1 },
+            initial: "tok1",
+            emitVar: false,
+            metadata: {
+                atomName,
+                configKind: "writeOnlyDerived",
+                creator: "atom",
+            },
+        };
+    }
+    const domain = inferAtomDomain(call, typeAliases);
+    return {
+        configKind: "primitive",
+        domain,
+        initial: initialValueForAtom(call, domain),
+        emitVar: true,
+        metadata: { atomName, configKind: "primitive", creator: "atom" },
+    };
+}
+function classifyStorageAtom(call, atomName, typeAliases) {
+    const keyArg = call.arguments[0];
+    const initialArg = call.arguments[1];
+    const optionsArg = call.arguments[3];
+    const storageKey = keyArg && ts.isStringLiteral(keyArg) ? keyArg.text : undefined;
+    const domain = initialArg
+        ? domainFromExpression(initialArg, typeAliases, call.typeArguments?.[0])
+        : { kind: "tokens", count: 1 };
+    const initial = initialArg
+        ? valueFromExpression(initialArg, domain)
+        : firstValue(domain);
+    let getOnInit = false;
+    let storageKind;
+    if (optionsArg && ts.isObjectLiteralExpression(optionsArg)) {
+        for (const prop of optionsArg.properties) {
+            if (!ts.isPropertyAssignment(prop))
+                continue;
+            const name = propertyName(prop.name);
+            if (name === "getOnInit" &&
+                prop.initializer.kind === ts.SyntaxKind.TrueKeyword) {
+                getOnInit = true;
+            }
+        }
+    }
+    const storageArg = call.arguments[2];
+    if (storageArg) {
+        const text = storageArg.getText();
+        if (text.includes("localStorage"))
+            storageKind = "localStorage";
+        else if (text.includes("sessionStorage"))
+            storageKind = "sessionStorage";
+    }
+    const warning = getOnInit
+        ? "Jotai atomWithStorage getOnInit may read unknown stored value"
+        : undefined;
+    return {
+        configKind: "storage",
+        domain,
+        initial,
+        emitVar: true,
+        warning,
+        metadata: {
+            atomName,
+            configKind: "storage",
+            creator: "atomWithStorage",
+            ...(storageKey ? { storageKey } : {}),
+            ...(storageKind ? { storageKind } : {}),
+            getOnInit,
+            resettableInitial: initial,
+            ...(warning ? { warning } : {}),
+        },
+    };
+}
+function classifyLazyAtom(call, atomName, typeAliases) {
+    const initArg = call.arguments[0];
+    if (initArg &&
+        (ts.isArrowFunction(initArg) || ts.isFunctionExpression(initArg))) {
+        if (!ts.isBlock(initArg.body)) {
+            const domain = domainFromExpression(initArg.body, typeAliases);
+            const initial = valueFromExpression(initArg.body, domain);
+            return {
+                configKind: "lazy",
+                domain,
+                initial,
+                emitVar: true,
+                metadata: { atomName, configKind: "lazy", creator: "atomWithLazy" },
+            };
+        }
+    }
+    const warning = `Jotai lazy initializer ${atomName} not statically evaluated`;
+    return {
+        configKind: "lazy",
+        domain: { kind: "tokens", count: 1 },
+        initial: "tok1",
+        emitVar: true,
+        warning,
+        metadata: {
+            atomName,
+            configKind: "lazy",
+            creator: "atomWithLazy",
+            warning,
+        },
+    };
+}
+function classifyResetAtom(call, atomName, typeAliases) {
+    const domain = inferAtomDomain(call, typeAliases);
+    const initial = initialValueForAtom(call, domain);
+    return {
+        configKind: "resettable",
+        domain,
+        initial,
+        emitVar: true,
+        metadata: {
+            atomName,
+            configKind: "resettable",
+            creator: "atomWithReset",
+            resettableInitial: initial,
+        },
+    };
+}
+function classifyDefaultAtom(call, atomName, typeAliases) {
+    const readArg = call.arguments[0];
+    if (readArg && isReadFunction(readArg)) {
+        const deps = getCallsInReadFunction(readArg);
+        if (deps.length > 0) {
+            const warning = `Jotai atomWithDefault ${atomName} read not statically inlined`;
+            return {
+                configKind: "defaultResettable",
+                domain: { kind: "tokens", count: 1 },
+                initial: "tok1",
+                emitVar: true,
+                warning,
+                metadata: {
+                    atomName,
+                    configKind: "defaultResettable",
+                    creator: "atomWithDefault",
+                    readDependencies: deps,
+                    warning,
+                },
+            };
+        }
+    }
+    const domain = inferAtomDomain(call, typeAliases);
+    return {
+        configKind: "defaultResettable",
+        domain,
+        initial: initialValueForAtom(call, domain),
+        emitVar: true,
+        metadata: {
+            atomName,
+            configKind: "defaultResettable",
+            creator: "atomWithDefault",
+        },
+    };
+}
+function classifyRefreshAtom(call, atomName, typeAliases) {
+    const readArg = call.arguments[0];
+    const warning = readArg && isReadFunction(readArg)
+        ? `Jotai atomWithRefresh ${atomName} re-evaluation abstracted`
+        : undefined;
+    const domain = inferAtomDomain(call, typeAliases);
+    return {
+        configKind: "refreshable",
+        domain,
+        initial: initialValueForAtom(call, domain),
+        emitVar: true,
+        warning,
+        metadata: {
+            atomName,
+            configKind: "refreshable",
+            creator: "atomWithRefresh",
+            ...(warning ? { warning } : {}),
+        },
+    };
+}
+function classifyLoadableAtom(call, atomName) {
+    return {
+        configKind: "asyncWrapper",
+        domain: {
+            kind: "tagged",
+            tag: "state",
+            variants: {
+                loading: { kind: "record", fields: {} },
+                hasData: {
+                    kind: "record",
+                    fields: { data: { kind: "tokens", count: 1 } },
+                },
+                hasError: {
+                    kind: "record",
+                    fields: { error: { kind: "tokens", count: 1 } },
+                },
+            },
+        },
+        initial: { state: "loading" },
+        emitVar: true,
+        metadata: {
+            atomName,
+            configKind: "asyncWrapper",
+            creator: "loadable",
+            loadableState: true,
+        },
+    };
+}
+function classifyUnwrapAtom(call, atomName) {
+    const fallback = call.arguments[1];
+    let warning;
+    let domain = {
+        kind: "option",
+        inner: { kind: "tokens", count: 1 },
+    };
+    let initial = null;
+    if (fallback &&
+        (ts.isArrowFunction(fallback) || ts.isFunctionExpression(fallback))) {
+        if (!ts.isBlock(fallback.body)) {
+            const lit = literalValue(fallback.body);
+            if (lit !== undefined) {
+                domain = { kind: "enum", values: [String(lit)] };
+                initial = lit;
+            }
+            else {
+                warning = `Jotai unwrap fallback for ${atomName} not statically evaluated`;
+            }
+        }
+        else {
+            warning = `Jotai unwrap fallback for ${atomName} not statically evaluated`;
+        }
+    }
+    else {
+        warning = `Jotai unwrap ${atomName} pending value abstracted`;
+    }
+    return {
+        configKind: "asyncWrapper",
+        domain,
+        initial,
+        emitVar: true,
+        warning,
+        metadata: {
+            atomName,
+            configKind: "asyncWrapper",
+            creator: "unwrap",
+            ...(warning ? { warning } : {}),
+        },
+    };
+}
+function classifyObservableAtom(call, atomName, typeAliases) {
+    const optionsArg = call.arguments[1];
+    let initialArg;
+    if (optionsArg && ts.isObjectLiteralExpression(optionsArg)) {
+        for (const prop of optionsArg.properties) {
+            if (!ts.isPropertyAssignment(prop))
+                continue;
+            if (propertyName(prop.name) === "initialValue") {
+                initialArg = prop.initializer;
+            }
+        }
+    }
+    if (initialArg) {
+        const domain = domainFromExpression(initialArg, typeAliases);
+        return {
+            configKind: "asyncWrapper",
+            domain,
+            initial: valueFromExpression(initialArg, domain),
+            emitVar: true,
+            metadata: {
+                atomName,
+                configKind: "asyncWrapper",
+                creator: "atomWithObservable",
+            },
+        };
+    }
+    const warning = `Jotai atomWithObservable ${atomName} may suspend before first value`;
+    return {
+        configKind: "asyncWrapper",
+        domain: { kind: "tokens", count: 1 },
+        initial: "tok1",
+        emitVar: true,
+        warning,
+        metadata: {
+            atomName,
+            configKind: "asyncWrapper",
+            creator: "atomWithObservable",
+            warning,
+        },
+    };
+}
+function classifyFamilyAtom(atomName) {
+    return {
+        configKind: "family",
+        domain: { kind: "tokens", count: 1 },
+        initial: "tok1",
+        emitVar: false,
+        metadata: {
+            atomName,
+            configKind: "family",
+            creator: "atomFamily",
+        },
+    };
+}
+export function classifyFamilyInstance(familyName, param, innerCall, typeAliases) {
+    const domain = inferAtomDomain(innerCall, typeAliases);
+    const initial = initialValueForAtom(innerCall, domain);
+    return {
+        configKind: "familyInstance",
+        domain,
+        initial,
+        emitVar: true,
+        metadata: {
+            atomName: familyName,
+            configKind: "familyInstance",
+            creator: "atomFamily",
+            familyFactory: familyName,
+            familyParam: param,
+        },
+    };
+}
 export function inferAtomDomain(call, typeAliases = new Map()) {
     const typeArg = call.typeArguments?.[0];
     if (typeArg)
         return inferDomainFromTypeNode(typeArg, typeAliases);
     const initial = call.arguments[0];
-    if (!initial)
+    if (!initial || isReadFunction(initial))
         return { kind: "tokens", count: 1 };
-    if (initial.kind === ts.SyntaxKind.TrueKeyword ||
-        initial.kind === ts.SyntaxKind.FalseKeyword)
-        return { kind: "bool" };
-    if (ts.isStringLiteral(initial))
-        return { kind: "enum", values: [initial.text] };
-    if (ts.isNumericLiteral(initial))
-        return {
-            kind: "boundedInt",
-            min: Number(initial.text),
-            max: Number(initial.text),
-        };
-    if (initial.kind === ts.SyntaxKind.NullKeyword)
-        return { kind: "option", inner: { kind: "tokens", count: 1 } };
-    if (ts.isArrayLiteralExpression(initial))
-        return { kind: "lengthCat" };
-    if (ts.isObjectLiteralExpression(initial))
-        return domainFromObjectLiteral(initial);
-    return { kind: "tokens", count: 1 };
+    return domainFromExpression(initial, typeAliases);
 }
 export function initialValueForAtom(call, domain) {
     const initial = call.arguments[0];
-    if (!initial)
+    if (!initial || isReadFunction(initial))
         return firstValue(domain);
-    if (initial.kind === ts.SyntaxKind.TrueKeyword)
-        return validInitialOrFirst(domain, true);
-    if (initial.kind === ts.SyntaxKind.FalseKeyword)
-        return validInitialOrFirst(domain, false);
-    if (ts.isStringLiteral(initial))
-        return validInitialOrFirst(domain, initial.text);
-    if (ts.isNumericLiteral(initial))
-        return validInitialOrFirst(domain, Number(initial.text));
-    if (initial.kind === ts.SyntaxKind.NullKeyword)
-        return validInitialOrFirst(domain, null);
-    if (ts.isArrayLiteralExpression(initial))
-        return validInitialOrFirst(domain, initial.elements.length === 0
-            ? "0"
-            : initial.elements.length === 1
-                ? "1"
-                : "many");
-    if (ts.isObjectLiteralExpression(initial))
-        return valueFromObjectLiteral(initial, domain);
-    return firstValue(domain);
+    return valueFromExpression(initial, domain);
 }
-function validInitialOrFirst(domain, value) {
-    return validateValue(domain, value) ? value : firstValue(domain);
-}
-function domainFromObjectLiteral(node) {
-    const fields = {};
-    for (const prop of node.properties) {
-        if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name))
-            continue;
-        fields[prop.name.text] = domainFromExpression(prop.initializer);
-    }
-    return { kind: "record", fields };
-}
-function domainFromExpression(expr) {
+function domainFromExpression(expr, typeAliases, typeArg) {
+    if (typeArg)
+        return inferDomainFromTypeNode(typeArg, typeAliases);
     if (expr.kind === ts.SyntaxKind.TrueKeyword ||
         expr.kind === ts.SyntaxKind.FalseKeyword)
         return { kind: "bool" };
@@ -84,38 +439,94 @@ function domainFromExpression(expr) {
         return domainFromObjectLiteral(expr);
     return { kind: "tokens", count: 1 };
 }
-function valueFromObjectLiteral(node, domain) {
-    const values = {};
+function domainFromObjectLiteral(node) {
+    const fields = {};
     for (const prop of node.properties) {
         if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name))
             continue;
-        values[prop.name.text] = valueFromExpression(prop.initializer);
+        fields[prop.name.text] = domainFromExpression(prop.initializer, new Map());
     }
-    if (domain.kind === "tagged" && !(domain.tag in values)) {
-        const tag = Object.keys(domain.variants)[0] ?? "unknown";
-        return { ...values, [domain.tag]: tag };
-    }
-    return values;
+    return { kind: "record", fields };
 }
-function valueFromExpression(expr) {
+function valueFromExpression(expr, domain) {
     if (expr.kind === ts.SyntaxKind.TrueKeyword)
-        return true;
+        return validInitialOrFirst(domain, true);
     if (expr.kind === ts.SyntaxKind.FalseKeyword)
-        return false;
+        return validInitialOrFirst(domain, false);
     if (ts.isStringLiteral(expr))
-        return expr.text;
+        return validInitialOrFirst(domain, expr.text);
     if (ts.isNumericLiteral(expr))
-        return Number(expr.text);
+        return validInitialOrFirst(domain, Number(expr.text));
     if (expr.kind === ts.SyntaxKind.NullKeyword)
-        return null;
+        return validInitialOrFirst(domain, null);
     if (ts.isArrayLiteralExpression(expr))
-        return expr.elements.length === 0
+        return validInitialOrFirst(domain, expr.elements.length === 0
             ? "0"
             : expr.elements.length === 1
                 ? "1"
-                : "many";
+                : "many");
     if (ts.isObjectLiteralExpression(expr))
-        return valueFromObjectLiteral(expr, domainFromObjectLiteral(expr));
-    return "tok1";
+        return valueFromObjectLiteral(expr, domain);
+    return firstValue(domain);
+}
+function validInitialOrFirst(domain, value) {
+    return validateValue(domain, value)
+        ? value
+        : firstValue(domain);
+}
+function valueFromObjectLiteral(node, domain) {
+    const values = {};
+    for (const prop of node.properties) {
+        if (!ts.isPropertyAssignment(prop) || !ts.isIdentifier(prop.name))
+            continue;
+        const fieldDomain = domain.kind === "record"
+            ? domain.fields[prop.name.text]
+            : domain.kind === "tagged"
+                ? taggedFieldDomain(domain, prop.name.text)
+                : undefined;
+        values[prop.name.text] = valueFromExpression(prop.initializer, fieldDomain ?? { kind: "tokens", count: 1 });
+    }
+    if (domain.kind === "tagged") {
+        const tagField = domain.tag;
+        if (!(tagField in values)) {
+            const tag = Object.keys(domain.variants)[0] ?? "unknown";
+            return { ...values, [tagField]: tag };
+        }
+    }
+    return values;
+}
+function taggedFieldDomain(domain, field) {
+    if (field === domain.tag) {
+        return {
+            kind: "enum",
+            values: Object.keys(domain.variants),
+        };
+    }
+    const variants = Object.values(domain.variants).filter((variant) => variant.kind === "record");
+    const fieldDomains = variants
+        .map((variant) => variant.fields[field])
+        .filter((candidate) => Boolean(candidate));
+    return fieldDomains[0];
+}
+export function staticFamilyParam(expression) {
+    if (ts.isStringLiteral(expression) || ts.isNumericLiteral(expression)) {
+        return expression.text;
+    }
+    if (ts.isObjectLiteralExpression(expression)) {
+        const fields = {};
+        for (const prop of expression.properties) {
+            if (!ts.isPropertyAssignment(prop))
+                return undefined;
+            const name = propertyName(prop.name);
+            if (!name)
+                return undefined;
+            const lit = literalValue(prop.initializer);
+            if (lit === undefined || typeof lit !== "string")
+                return undefined;
+            fields[name] = lit;
+        }
+        return JSON.stringify(fields);
+    }
+    return undefined;
 }
 //# sourceMappingURL=domains.js.map