@nielspeter/eess-ts 0.1.0

package/dist/conditions/cross-layer.js

@@ -0,0 +1,105 @@
+/**
+ * Every element in the left layer must have at least one match in the right layer.
+ *
+ * Produces a violation for each left-layer file that has no matching pair.
+ * "Match" is determined by the mapping function provided via `.mapping()`.
+ *
+ * @param layers - The resolved layers, needed to identify unmatched left files
+ */
+export function haveMatchingCounterpart(layers) {
+    return {
+        description: 'have a matching counterpart in the paired layer',
+        evaluate(pairs, context) {
+            if (layers.length < 2)
+                return [];
+            const violations = [];
+            // Check consecutive layer pairs
+            for (let i = 0; i < layers.length - 1; i++) {
+                const leftLayer = layers[i];
+                const rightLayer = layers[i + 1];
+                if (!leftLayer || !rightLayer)
+                    continue;
+                // Collect all left files that appear in at least one pair
+                const matchedLeftFiles = new Set();
+                for (const pair of pairs) {
+                    if (pair.leftLayer === leftLayer.name && pair.rightLayer === rightLayer.name) {
+                        matchedLeftFiles.add(pair.left.getFilePath());
+                    }
+                }
+                // Find unmatched left files
+                for (const file of leftLayer.files) {
+                    if (!matchedLeftFiles.has(file.getFilePath())) {
+                        violations.push({
+                            rule: context.rule,
+                            element: file.getBaseName(),
+                            file: file.getFilePath(),
+                            line: 1,
+                            message: `File "${file.getBaseName()}" in layer "${leftLayer.name}" has no matching counterpart in layer "${rightLayer.name}"`,
+                            because: context.because,
+                            ruleId: context.ruleId,
+                            suggestion: context.suggestion,
+                            docs: context.docs,
+                        });
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * The matched pair must have consistent exported symbol names.
+ *
+ * Takes two extractor functions that pull symbol names from each side.
+ * Every symbol extracted from the left file must appear in the right file.
+ */
+export function haveConsistentExports(extractLeft, extractRight) {
+    return {
+        description: 'have consistent exports between paired layers',
+        evaluate(pairs, context) {
+            const violations = [];
+            for (const pair of pairs) {
+                const leftSymbols = extractLeft(pair.left);
+                const rightSymbols = new Set(extractRight(pair.right));
+                for (const symbol of leftSymbols) {
+                    if (!rightSymbols.has(symbol)) {
+                        violations.push({
+                            rule: context.rule,
+                            element: pair.left.getBaseName(),
+                            file: pair.left.getFilePath(),
+                            line: 1,
+                            message: `Symbol "${symbol}" in "${pair.left.getBaseName()}" (${pair.leftLayer}) has no counterpart in "${pair.right.getBaseName()}" (${pair.rightLayer})`,
+                            because: context.because,
+                            ruleId: context.ruleId,
+                            suggestion: context.suggestion,
+                            docs: context.docs,
+                        });
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Custom pair assertion — shorthand for inline PairCondition.
+ *
+ * The provided function is called for each pair. Return an `ArchViolation`
+ * to signal failure, or `null` if the pair is consistent.
+ */
+export function satisfyPairCondition(description, fn) {
+    return {
+        description,
+        evaluate(pairs, _context) {
+            const violations = [];
+            for (const pair of pairs) {
+                const result = fn(pair);
+                if (result !== null) {
+                    violations.push(result);
+                }
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=cross-layer.js.map

package/dist/conditions/cross-layer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-layer.js","sourceRoot":"","sources":["../../src/conditions/cross-layer.ts"],"names":[],"mappings":"AAMA;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAe;IACrD,OAAO;QACL,WAAW,EAAE,iDAAiD;QAC9D,QAAQ,CAAC,KAAkB,EAAE,OAAyB;YACpD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,EAAE,CAAA;YAEhC,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,gCAAgC;YAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;gBAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBAChC,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;oBAAE,SAAQ;gBAEvC,0DAA0D;gBAC1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;gBAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;wBAC7E,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;oBAC/C,CAAC;gBACH,CAAC;gBAED,4BAA4B;gBAC5B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;wBAC9C,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE;4BAC3B,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;4BACxB,IAAI,EAAE,CAAC;4BACP,OAAO,EAAE,SAAS,IAAI,CAAC,WAAW,EAAE,eAAe,SAAS,CAAC,IAAI,2CAA2C,UAAU,CAAC,IAAI,GAAG;4BAC9H,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,MAAM,EAAE,OAAO,CAAC,MAAM;4BACtB,UAAU,EAAE,OAAO,CAAC,UAAU;4BAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;yBACnB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAA2C,EAC3C,YAA4C;IAE5C,OAAO;QACL,WAAW,EAAE,+CAA+C;QAC5D,QAAQ,CAAC,KAAkB,EAAE,OAAyB;YACpD,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;gBAEtD,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;oBACjC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC9B,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;4BAChC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;4BAC7B,IAAI,EAAE,CAAC;4BACP,OAAO,EAAE,WAAW,MAAM,SAAS,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,SAAS,4BAA4B,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,UAAU,GAAG;4BAC1J,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,MAAM,EAAE,OAAO,CAAC,MAAM;4BACtB,UAAU,EAAE,OAAO,CAAC,UAAU;4BAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;yBACnB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAAmB,EACnB,EAA6C;IAE7C,OAAO;QACL,WAAW;QACX,QAAQ,CAAC,KAAkB,EAAE,QAA0B;YACrD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;gBACvB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/dependency.d.ts

@@ -0,0 +1,73 @@
+import type { SourceFile } from 'ts-morph';
+import type { Condition } from '@nielspeter/eess';
+export type { ImportOptions } from '../core/import-options.js';
+import type { ImportOptions } from '../core/import-options.js';
+/**
+ * Every import in the module must resolve to a path matching at least one of the globs.
+ * Imports that don't match any glob produce violations.
+ *
+ * @example
+ * modules(p)
+ *   .that().resideInFolder('** /domain/** ')
+ *   .should().onlyImportFrom('** /domain/** ', '** /shared/** ')
+ *   .check()
+ */
+export declare function onlyImportFrom(globs: string[], options: ImportOptions): Condition<SourceFile>;
+export declare function onlyImportFrom(...globs: string[]): Condition<SourceFile>;
+/**
+ * No import in the module may resolve to a path matching any of the globs.
+ * Imports that match a glob produce violations.
+ *
+ * @example
+ * modules(p)
+ *   .that().resideInFolder('** /features/** ')
+ *   .should().notImportFrom('** /legacy/** ')
+ *   .check()
+ */
+export declare function notImportFrom(globs: string[], options: ImportOptions): Condition<SourceFile>;
+export declare function notImportFrom(...globs: string[]): Condition<SourceFile>;
+/**
+ * Module must import from at least one path matching a glob.
+ * Completes the import-condition family: onlyImportFrom (all),
+ * notImportFrom (none), dependOn (at least one).
+ *
+ * Only considers static `import` declarations. Dynamic `import()`
+ * expressions are not checked — use `beImported()` for import-graph
+ * analysis that includes dynamic imports.
+ *
+ * @example
+ * modules(p)
+ *   .that().resideInFolder('** /services/** ')
+ *   .should().satisfy(dependOn('** /logging/** '))
+ *   .check()
+ */
+export declare function dependOn(globs: string[], options: ImportOptions): Condition<SourceFile>;
+export declare function dependOn(...globs: string[]): Condition<SourceFile>;
+/**
+ * No import in the module may use an aliased named specifier (`import { x as y }`).
+ * Each aliased specifier produces a violation.
+ * Does not flag namespace imports (`import * as Foo`) — only named specifier aliases.
+ *
+ * To scope the check to specific import sources, filter with
+ * `.that().importFrom(...)` predicates.
+ *
+ * @example
+ * modules(p)
+ *   .that().resideInFolder('** /src/** ')
+ *   .should().notHaveAliasedImports()
+ *   .because('aliases hide API design problems')
+ *   .check()
+ */
+export declare function notHaveAliasedImports(): Condition<SourceFile>;
+/**
+ * Imports from paths matching the given globs must use `import type`, not `import`.
+ * Non-matching imports are ignored. Matching imports that are not type-only produce violations.
+ *
+ * @example
+ * modules(p)
+ *   .that().resideInFolder('** /api/** ')
+ *   .should().onlyHaveTypeImportsFrom('** /domain/entities/** ')
+ *   .check()
+ */
+export declare function onlyHaveTypeImportsFrom(...globs: string[]): Condition<SourceFile>;
+//# sourceMappingURL=dependency.d.ts.map

package/dist/conditions/dependency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency.d.ts","sourceRoot":"","sources":["../../src/conditions/dependency.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAqB,MAAM,UAAU,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAUnE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AA8B9D;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC9F,wBAAgB,cAAc,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAqCzE;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC7F,wBAAgB,aAAa,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAqCxE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AACxF,wBAAgB,QAAQ,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAqCnE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,IAAI,SAAS,CAAC,UAAU,CAAC,CAyB7D;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAyBjF"}

package/dist/conditions/dependency.js

@@ -0,0 +1,177 @@
+import picomatch from 'picomatch';
+import { isTypeOnlyImport } from '../core/import-options.js';
+import { getDependencyDecls, resolveDependencyPath, isTypeOnlyDependency, } from '../core/module-dependencies.js';
+/**
+ * Resolve an import declaration to an absolute path or raw specifier.
+ */
+function resolveImportPath(decl) {
+    const resolved = decl.getModuleSpecifierSourceFile();
+    return resolved ? resolved.getFilePath() : decl.getModuleSpecifierValue();
+}
+/**
+ * Create a violation for a source file with a specific offending dependency edge
+ * (an `import … from` or an `export … from` re-export).
+ */
+function importViolation(sourceFile, importDecl, message, context) {
+    return {
+        rule: context.rule,
+        element: sourceFile.getBaseName(),
+        file: sourceFile.getFilePath(),
+        line: importDecl.getStartLineNumber(),
+        message,
+        because: context.because,
+    };
+}
+export function onlyImportFrom(...args) {
+    // ADR-005: as casts required — TS cannot narrow tuple union rest params after Array.isArray
+    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — TS cannot narrow [string[], ImportOptions] | string[] to string[] from Array.isArray(args[0])
+    const globs = Array.isArray(args[0]) ? args[0] : args;
+    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — args[1] is ImportOptions only in the [globs, options] overload
+    const options = Array.isArray(args[0]) && args.length > 1 ? args[1] : undefined;
+    const ignoreType = options?.ignoreTypeImports === true;
+    const matchers = globs.map((g) => picomatch(g));
+    const quotedGlobs = globs.map((g) => `"${g}"`).join(', ');
+    return {
+        description: `only import from ${quotedGlobs}`,
+        evaluate(sourceFiles, context) {
+            const violations = [];
+            for (const sf of sourceFiles) {
+                for (const decl of getDependencyDecls(sf)) {
+                    if (ignoreType && isTypeOnlyDependency(decl))
+                        continue;
+                    const importPath = resolveDependencyPath(decl);
+                    if (!matchers.some((m) => m(importPath))) {
+                        violations.push(importViolation(sf, decl, `${sf.getBaseName()} imports "${importPath}" which does not match any of [${globs.join(', ')}]`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+export function notImportFrom(...args) {
+    // ADR-005: as casts required — TS cannot narrow tuple union rest params after Array.isArray
+    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — TS cannot narrow [string[], ImportOptions] | string[] to string[] from Array.isArray(args[0])
+    const globs = Array.isArray(args[0]) ? args[0] : args;
+    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — args[1] is ImportOptions only in the [globs, options] overload
+    const options = Array.isArray(args[0]) && args.length > 1 ? args[1] : undefined;
+    const ignoreType = options?.ignoreTypeImports === true;
+    const matchers = globs.map((g) => picomatch(g));
+    const quotedGlobs = globs.map((g) => `"${g}"`).join(', ');
+    return {
+        description: `not import from ${quotedGlobs}`,
+        evaluate(sourceFiles, context) {
+            const violations = [];
+            for (const sf of sourceFiles) {
+                for (const decl of getDependencyDecls(sf)) {
+                    if (ignoreType && isTypeOnlyDependency(decl))
+                        continue;
+                    const importPath = resolveDependencyPath(decl);
+                    if (matchers.some((m) => m(importPath))) {
+                        violations.push(importViolation(sf, decl, `${sf.getBaseName()} imports "${importPath}" which matches forbidden [${globs.join(', ')}]`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+export function dependOn(...args) {
+    // ADR-005: as casts required — TS cannot narrow tuple union rest params after Array.isArray
+    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — TS cannot narrow [string[], ImportOptions] | string[] to string[] from Array.isArray(args[0])
+    const globs = Array.isArray(args[0]) ? args[0] : args;
+    // eess-exclude eess/adr005-no-type-assertions: tuple-union rest param — args[1] is ImportOptions only in the [globs, options] overload
+    const options = Array.isArray(args[0]) && args.length > 1 ? args[1] : undefined;
+    const ignoreType = options?.ignoreTypeImports === true;
+    const matchers = globs.map((g) => picomatch(g));
+    const quotedGlobs = globs.map((g) => `"${g}"`).join(', ');
+    return {
+        description: globs.length === 1 ? `depend on ${quotedGlobs}` : `depend on at least one of ${quotedGlobs}`,
+        evaluate(sourceFiles, context) {
+            const violations = [];
+            for (const sf of sourceFiles) {
+                const hasMatch = getDependencyDecls(sf).some((decl) => {
+                    if (ignoreType && isTypeOnlyDependency(decl))
+                        return false;
+                    const importPath = resolveDependencyPath(decl);
+                    return matchers.some((m) => m(importPath));
+                });
+                if (!hasMatch) {
+                    violations.push({
+                        rule: context.rule,
+                        element: sf.getBaseName(),
+                        file: sf.getFilePath(),
+                        line: 1,
+                        message: `${sf.getBaseName()} does not import from any path matching [${globs.join(', ')}]`,
+                        because: context.because,
+                    });
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * No import in the module may use an aliased named specifier (`import { x as y }`).
+ * Each aliased specifier produces a violation.
+ * Does not flag namespace imports (`import * as Foo`) — only named specifier aliases.
+ *
+ * To scope the check to specific import sources, filter with
+ * `.that().importFrom(...)` predicates.
+ *
+ * @example
+ * modules(p)
+ *   .that().resideInFolder('** /src/** ')
+ *   .should().notHaveAliasedImports()
+ *   .because('aliases hide API design problems')
+ *   .check()
+ */
+export function notHaveAliasedImports() {
+    return {
+        description: 'not have aliased imports',
+        evaluate(sourceFiles, context) {
+            const violations = [];
+            for (const sf of sourceFiles) {
+                for (const decl of sf.getImportDeclarations()) {
+                    for (const specifier of decl.getNamedImports()) {
+                        const alias = specifier.getAliasNode();
+                        if (alias) {
+                            violations.push(importViolation(sf, decl, `${sf.getBaseName()} aliases "${specifier.getName()}" as "${alias.getText()}"`, context));
+                        }
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Imports from paths matching the given globs must use `import type`, not `import`.
+ * Non-matching imports are ignored. Matching imports that are not type-only produce violations.
+ *
+ * @example
+ * modules(p)
+ *   .that().resideInFolder('** /api/** ')
+ *   .should().onlyHaveTypeImportsFrom('** /domain/entities/** ')
+ *   .check()
+ */
+export function onlyHaveTypeImportsFrom(...globs) {
+    const matchers = globs.map((g) => picomatch(g));
+    const quotedGlobs = globs.map((g) => `"${g}"`).join(', ');
+    return {
+        description: `only have type imports from ${quotedGlobs}`,
+        evaluate(sourceFiles, context) {
+            const violations = [];
+            for (const sf of sourceFiles) {
+                for (const decl of sf.getImportDeclarations()) {
+                    const importPath = resolveImportPath(decl);
+                    if (matchers.some((m) => m(importPath)) && !isTypeOnlyImport(decl)) {
+                        violations.push(importViolation(sf, decl, `${sf.getBaseName()} has a value import from "${importPath}" which should be a type-only import`, context));
+                    }
+                }
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=dependency.js.map

package/dist/conditions/dependency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency.js","sourceRoot":"","sources":["../../src/conditions/dependency.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AAIjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AAC5D,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,oBAAoB,GAErB,MAAM,gCAAgC,CAAA;AAKvC;;GAEG;AACH,SAAS,iBAAiB,CAAC,IAAuB;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAA;IACpD,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAA;AAC3E,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,UAAsB,EACtB,UAA0B,EAC1B,OAAe,EACf,OAAyB;IAEzB,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,UAAU,CAAC,WAAW,EAAE;QACjC,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE;QAC9B,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE;QACrC,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAA;AACH,CAAC;AAcD,MAAM,UAAU,cAAc,CAC5B,GAAG,IAA0C;IAE7C,4FAA4F;IAC5F,sKAAsK;IACtK,MAAM,KAAK,GAAa,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,IAAiB,CAAA;IAC7E,uIAAuI;IACvI,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;IAClG,MAAM,UAAU,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,WAAW,EAAE,oBAAoB,WAAW,EAAE;QAC9C,QAAQ,CAAC,WAAyB,EAAE,OAAyB;YAC3D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC1C,IAAI,UAAU,IAAI,oBAAoB,CAAC,IAAI,CAAC;wBAAE,SAAQ;oBACtD,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;oBAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;wBACzC,UAAU,CAAC,IAAI,CACb,eAAe,CACb,EAAE,EACF,IAAI,EACJ,GAAG,EAAE,CAAC,WAAW,EAAE,aAAa,UAAU,kCAAkC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC/F,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAcD,MAAM,UAAU,aAAa,CAC3B,GAAG,IAA0C;IAE7C,4FAA4F;IAC5F,sKAAsK;IACtK,MAAM,KAAK,GAAa,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,IAAiB,CAAA;IAC7E,uIAAuI;IACvI,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;IAClG,MAAM,UAAU,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,WAAW,EAAE,mBAAmB,WAAW,EAAE;QAC7C,QAAQ,CAAC,WAAyB,EAAE,OAAyB;YAC3D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC1C,IAAI,UAAU,IAAI,oBAAoB,CAAC,IAAI,CAAC;wBAAE,SAAQ;oBACtD,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;oBAC9C,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;wBACxC,UAAU,CAAC,IAAI,CACb,eAAe,CACb,EAAE,EACF,IAAI,EACJ,GAAG,EAAE,CAAC,WAAW,EAAE,aAAa,UAAU,8BAA8B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC3F,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAmBD,MAAM,UAAU,QAAQ,CAAC,GAAG,IAA0C;IACpE,4FAA4F;IAC5F,sKAAsK;IACtK,MAAM,KAAK,GAAa,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,IAAiB,CAAA;IAC7E,uIAAuI;IACvI,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;IAClG,MAAM,UAAU,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,WAAW,EACT,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,WAAW,EAAE,CAAC,CAAC,CAAC,6BAA6B,WAAW,EAAE;QAC9F,QAAQ,CAAC,WAAyB,EAAE,OAAyB;YAC3D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;oBACpD,IAAI,UAAU,IAAI,oBAAoB,CAAC,IAAI,CAAC;wBAAE,OAAO,KAAK,CAAA;oBAC1D,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;oBAC9C,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;gBAC5C,CAAC,CAAC,CAAA;gBACF,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;wBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,4CAA4C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;wBAC3F,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,WAAW,EAAE,0BAA0B;QACvC,QAAQ,CAAC,WAAyB,EAAE,OAAyB;YAC3D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,qBAAqB,EAAE,EAAE,CAAC;oBAC9C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;wBAC/C,MAAM,KAAK,GAAG,SAAS,CAAC,YAAY,EAAE,CAAA;wBACtC,IAAI,KAAK,EAAE,CAAC;4BACV,UAAU,CAAC,IAAI,CACb,eAAe,CACb,EAAE,EACF,IAAI,EACJ,GAAG,EAAE,CAAC,WAAW,EAAE,aAAa,SAAS,CAAC,OAAO,EAAE,SAAS,KAAK,CAAC,OAAO,EAAE,GAAG,EAC9E,OAAO,CACR,CACF,CAAA;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB,CAAC,GAAG,KAAe;IACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,WAAW,EAAE,+BAA+B,WAAW,EAAE;QACzD,QAAQ,CAAC,WAAyB,EAAE,OAAyB;YAC3D,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,qBAAqB,EAAE,EAAE,CAAC;oBAC9C,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;oBAC1C,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;wBACnE,UAAU,CAAC,IAAI,CACb,eAAe,CACb,EAAE,EACF,IAAI,EACJ,GAAG,EAAE,CAAC,WAAW,EAAE,6BAA6B,UAAU,sCAAsC,EAChG,OAAO,CACR,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/exports.d.ts

@@ -0,0 +1,33 @@
+import type { SourceFile } from 'ts-morph';
+import type { Condition } from '@nielspeter/eess';
+/**
+ * Module must NOT have a default export.
+ *
+ * @example
+ * modules(p).that().resideInFolder('** /src/** ')
+ *   .should().notHaveDefaultExport()
+ *   .check()
+ */
+export declare function notHaveDefaultExport(): Condition<SourceFile>;
+/**
+ * Module must have a default export.
+ *
+ * @example
+ * modules(p).that().resideInFolder('** /pages/** ')
+ *   .should().haveDefaultExport()
+ *   .check()
+ */
+export declare function haveDefaultExport(): Condition<SourceFile>;
+/**
+ * Module must have at most `max` named exports.
+ *
+ * Counts distinct export names (not declarations — a re-export counts as one).
+ * Default exports are not counted.
+ *
+ * @example
+ * modules(p).that().resideInFolder('** /domain/** ')
+ *   .should().haveMaxExports(1)
+ *   .check()
+ */
+export declare function haveMaxExports(max: number): Condition<SourceFile>;
+//# sourceMappingURL=exports.d.ts.map

package/dist/conditions/exports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exports.d.ts","sourceRoot":"","sources":["../../src/conditions/exports.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAGnE;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,IAAI,SAAS,CAAC,UAAU,CAAC,CAoB5D;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,IAAI,SAAS,CAAC,UAAU,CAAC,CAoBzD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,CA6BjE"}

package/dist/conditions/exports.js

@@ -0,0 +1,101 @@
+/**
+ * Module must NOT have a default export.
+ *
+ * @example
+ * modules(p).that().resideInFolder('** /src/** ')
+ *   .should().notHaveDefaultExport()
+ *   .check()
+ */
+export function notHaveDefaultExport() {
+    return {
+        description: 'not have a default export',
+        evaluate(elements, context) {
+            const violations = [];
+            for (const sf of elements) {
+                if (sf.getDefaultExportSymbol()) {
+                    violations.push({
+                        rule: context.rule,
+                        element: sf.getBaseName(),
+                        file: sf.getFilePath(),
+                        line: 1,
+                        message: `${sf.getBaseName()} has a default export`,
+                        because: context.because,
+                    });
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Module must have a default export.
+ *
+ * @example
+ * modules(p).that().resideInFolder('** /pages/** ')
+ *   .should().haveDefaultExport()
+ *   .check()
+ */
+export function haveDefaultExport() {
+    return {
+        description: 'have a default export',
+        evaluate(elements, context) {
+            const violations = [];
+            for (const sf of elements) {
+                if (!sf.getDefaultExportSymbol()) {
+                    violations.push({
+                        rule: context.rule,
+                        element: sf.getBaseName(),
+                        file: sf.getFilePath(),
+                        line: 1,
+                        message: `${sf.getBaseName()} does not have a default export`,
+                        because: context.because,
+                    });
+                }
+            }
+            return violations;
+        },
+    };
+}
+/**
+ * Module must have at most `max` named exports.
+ *
+ * Counts distinct export names (not declarations — a re-export counts as one).
+ * Default exports are not counted.
+ *
+ * @example
+ * modules(p).that().resideInFolder('** /domain/** ')
+ *   .should().haveMaxExports(1)
+ *   .check()
+ */
+export function haveMaxExports(max) {
+    if (!Number.isInteger(max) || max < 0) {
+        throw new Error(`haveMaxExports: max must be a non-negative integer, got ${String(max)}`);
+    }
+    return {
+        description: `have at most ${String(max)} export(s)`,
+        evaluate(elements, context) {
+            const violations = [];
+            for (const sf of elements) {
+                const exportMap = sf.getExportedDeclarations();
+                // Count named exports — exclude 'default' key
+                let count = 0;
+                for (const key of exportMap.keys()) {
+                    if (key !== 'default')
+                        count++;
+                }
+                if (count > max) {
+                    violations.push({
+                        rule: context.rule,
+                        element: sf.getBaseName(),
+                        file: sf.getFilePath(),
+                        line: 1,
+                        message: `${sf.getBaseName()} has ${String(count)} named export(s), exceeding the limit of ${String(max)}`,
+                        because: context.because,
+                    });
+                }
+            }
+            return violations;
+        },
+    };
+}
+//# sourceMappingURL=exports.js.map

package/dist/conditions/exports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exports.js","sourceRoot":"","sources":["../../src/conditions/exports.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB;IAClC,OAAO;QACL,WAAW,EAAE,2BAA2B;QACxC,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,IAAI,EAAE,CAAC,sBAAsB,EAAE,EAAE,CAAC;oBAChC,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;wBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,uBAAuB;wBACnD,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB;IAC/B,OAAO;QACL,WAAW,EAAE,uBAAuB;QACpC,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,EAAE,CAAC,sBAAsB,EAAE,EAAE,CAAC;oBACjC,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;wBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,iCAAiC;wBAC7D,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,2DAA2D,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC3F,CAAC;IACD,OAAO;QACL,WAAW,EAAE,gBAAgB,MAAM,CAAC,GAAG,CAAC,YAAY;QACpD,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,EAAE,CAAC,uBAAuB,EAAE,CAAA;gBAC9C,8CAA8C;gBAC9C,IAAI,KAAK,GAAG,CAAC,CAAA;gBACb,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;oBACnC,IAAI,GAAG,KAAK,SAAS;wBAAE,KAAK,EAAE,CAAA;gBAChC,CAAC;gBACD,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;oBAChB,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;wBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,QAAQ,MAAM,CAAC,KAAK,CAAC,4CAA4C,MAAM,CAAC,GAAG,CAAC,EAAE;wBAC1G,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/conditions/function.d.ts

@@ -0,0 +1,79 @@
+import type { Condition } from '@nielspeter/eess';
+import type { ArchFunction } from '../models/arch-function.js';
+import type { TypeMatcher } from '../helpers/type-matchers.js';
+/**
+ * The predicate set must be empty — no functions should match.
+ *
+ * If ANY functions exist after predicate filtering, each one
+ * becomes a violation.
+ *
+ * @example
+ * functions(project)
+ *   .that().haveNameMatching(/^parse\w+Order$/)
+ *   .should(notExist())
+ *   .because('use shared parseOrder() utility instead')
+ */
+export declare function notExist(): Condition<ArchFunction>;
+/**
+ * Functions must be exported from their module.
+ */
+export declare function beExported(): Condition<ArchFunction>;
+/**
+ * Functions must be async.
+ */
+export declare function beAsync(): Condition<ArchFunction>;
+/**
+ * Functions must have a name matching the given pattern.
+ */
+export declare function haveNameMatching(pattern: RegExp): Condition<ArchFunction>;
+/**
+ * Assert that at least one parameter of the function has a type matching
+ * the given matcher.
+ *
+ * Passes when at least one parameter satisfies `matcher`.
+ * Reports one violation per function that has no matching parameter.
+ *
+ * **Scope note:** This operates on the function's own parameter list only.
+ * Unlike the class-level counterpart, it does NOT scan set accessors
+ * because `collectFunctions()` excludes them.
+ */
+export declare function acceptParameterOfType(matcher: TypeMatcher): Condition<ArchFunction>;
+/**
+ * Assert that NO parameter of the function has a type matching the given
+ * matcher.
+ *
+ * Reports one violation **per parameter** whose type satisfies `matcher`,
+ * with actionable messages including the parameter name and type.
+ *
+ * **Scope note:** This operates on the function's own parameter list only.
+ * Unlike the class-level counterpart, it does NOT scan set accessors
+ * because `collectFunctions()` excludes them.
+ */
+export declare function notAcceptParameterOfType(matcher: TypeMatcher): Condition<ArchFunction>;
+/**
+ * Functions must have a return type that satisfies the given TypeMatcher.
+ *
+ * Unlike the `haveReturnType` predicate (which filters with RegExp),
+ * this is a condition (assertion in `.should()`) that uses TypeMatcher
+ * for composability with `isString()`, `matching()`, `not()`, `exactly()`, etc.
+ *
+ * @example
+ * functions(project)
+ *   .that().haveNameMatching(/^list/)
+ *   .should().haveReturnTypeMatching(matching(/Collection/))
+ *   .check()
+ */
+export declare function haveReturnTypeMatching(matcher: TypeMatcher): Condition<ArchFunction>;
+/**
+ * Functions must reside in a file matching the glob.
+ * ArchFunction is not a ts-morph Node, so the generic structural condition
+ * cannot be used — this is the ArchFunction-specific equivalent.
+ */
+export declare function resideInFile(glob: string): Condition<ArchFunction>;
+/**
+ * Functions must reside in a folder matching the glob.
+ * ArchFunction is not a ts-morph Node, so the generic structural condition
+ * cannot be used — this is the ArchFunction-specific equivalent.
+ */
+export declare function resideInFolder(glob: string): Condition<ArchFunction>;
+//# sourceMappingURL=function.d.ts.map

package/dist/conditions/function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../src/conditions/function.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAEnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AA+B9D;;;;;;;;;;;GAWG;AACH,wBAAgB,QAAQ,IAAI,SAAS,CAAC,YAAY,CAAC,CAclD;AAED;;GAEG;AACH,wBAAgB,UAAU,IAAI,SAAS,CAAC,YAAY,CAAC,CAMpD;AAED;;GAEG;AACH,wBAAgB,OAAO,IAAI,SAAS,CAAC,YAAY,CAAC,CAMjD;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,CASzE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC,YAAY,CAAC,CAMnF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC,YAAY,CAAC,CAyBtF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC,YAAY,CAAC,CAOpF;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,CAQlE;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,CAepE"}