@nmnmcc/ability 0.2.0 → 0.3.0

package/dist/internal/condition.js

@@ -0,0 +1,393 @@
+import { __exportAll } from "../_virtual/_rolldown/runtime.js";
+import * as Effect from "effect/Effect";
+import * as Equal from "effect/Equal";
+import * as Schema from "effect/Schema";
+import * as Predicate from "effect/Predicate";
+import { dual } from "effect/Function";
+// src/internal/condition.ts
+var condition_exports = /* @__PURE__ */ __exportAll({
+	Untranslatable: () => Untranslatable,
+	always: () => always,
+	and: () => and,
+	builder: () => builder,
+	evaluate: () => evaluate,
+	evaluateOf: () => evaluateOf,
+	evaluateSync: () => evaluateSync,
+	evaluateSyncOf: () => evaluateSyncOf,
+	fields: () => fields,
+	fold: () => fold,
+	getField: () => getField,
+	hasPredicate: () => hasPredicate,
+	never: () => never,
+	not: () => not,
+	or: () => or,
+	partial: () => partial,
+	partialOf: () => partialOf,
+	schema: () => schema,
+	simplify: () => simplify
+});
+/** @internal */
+const always = Object.freeze({ _tag: "True" });
+/** @internal */
+const never = Object.freeze({ _tag: "False" });
+const literal = (value) => Object.freeze({
+	_tag: "Literal",
+	value
+});
+const isOperand = (u) => Predicate.hasProperty(u, "_tag") && (u._tag === "Literal" || u._tag === "Principal");
+const toOperand = (value) => isOperand(value) ? value : literal(value);
+const compare = (op) => (field, value) => Object.freeze({
+	_tag: "Compare",
+	op,
+	field,
+	value: toOperand(value)
+});
+/** @internal */
+const and = (...conditions) => Object.freeze({
+	_tag: "And",
+	conditions: Object.freeze([...conditions])
+});
+/** @internal */
+const or = (...conditions) => Object.freeze({
+	_tag: "Or",
+	conditions: Object.freeze([...conditions])
+});
+/** @internal */
+const not = (condition) => Object.freeze({
+	_tag: "Not",
+	condition
+});
+/** @internal */
+const builder = () => Object.freeze({
+	eq: compare("eq"),
+	ne: compare("ne"),
+	lt: compare("lt"),
+	lte: compare("lte"),
+	gt: compare("gt"),
+	gte: compare("gte"),
+	in: (field, values) => Object.freeze({
+		_tag: "In",
+		field,
+		values: Object.freeze(values.map(toOperand))
+	}),
+	exists: (field) => Object.freeze({
+		_tag: "Exists",
+		field
+	}),
+	under: (...prefix) => Object.freeze({
+		_tag: "Under",
+		prefix: Object.freeze(prefix.map(toOperand))
+	}),
+	principal: (path) => Object.freeze({
+		_tag: "Principal",
+		path
+	}),
+	and,
+	or,
+	not,
+	predicate: (name, test) => Object.freeze({
+		_tag: "Predicate",
+		name,
+		run: (value, principal) => Effect.suspend(() => {
+			const result = test(value, principal);
+			return Effect.isEffect(result) ? result : Effect.succeed(result);
+		})
+	})
+});
+/**
+* Gets a field of an object by a path with dots. A missing field, or a field
+* under a value that is not an object, gives `null`.
+*
+* @internal
+*/
+const getField = (value, path) => {
+	let cursor = value;
+	for (const key of path.split(".")) {
+		if (!Predicate.isObject(cursor) || !Object.hasOwn(cursor, key)) return null;
+		cursor = cursor[key];
+	}
+	return cursor === void 0 ? null : cursor;
+};
+/**
+* Gives the value of an operand. A principal field that is `null` or missing
+* gives `undefined`. No field of a resource is `undefined`, so a test with it
+* is never true. This keeps the check closed: a principal with no id never
+* matches a resource with no owner.
+*/
+const resolve = (operand, principal) => operand._tag === "Literal" ? operand.value : getField(principal, operand.path) ?? void 0;
+const testCompare = (op, left, right) => {
+	if (right === void 0) return false;
+	switch (op) {
+		case "eq": return left === right;
+		case "ne": return left !== right;
+		default: {
+			if (!(typeof left === "number" && typeof right === "number" || typeof left === "string" && typeof right === "string")) return false;
+			const a = left;
+			const b = right;
+			switch (op) {
+				case "lt": return a < b;
+				case "lte": return a <= b;
+				case "gt": return a > b;
+				case "gte": return a >= b;
+			}
+		}
+	}
+};
+/**
+* Gives the values of a resource path. It gives `undefined` when the resource
+* has no path.
+*/
+const pathValues = (value, path) => path?.map((segment) => typeof segment === "string" ? segment : getField(value, segment.field));
+const testUnder = (prefix, input) => {
+	const values = pathValues(input.value, input.path);
+	if (values === void 0 || prefix.length > values.length) return false;
+	return prefix.every((operand, index) => resolve(operand, input.principal) === values[index]);
+};
+/** @internal */
+const hasPredicate = (ast) => {
+	switch (ast._tag) {
+		case "Predicate": return true;
+		case "And":
+		case "Or": return ast.conditions.some(hasPredicate);
+		case "Not": return hasPredicate(ast.condition);
+		default: return false;
+	}
+};
+/** @internal */
+const evaluateSyncOf = (ast, input) => {
+	switch (ast._tag) {
+		case "True": return true;
+		case "False": return false;
+		case "Compare": return testCompare(ast.op, getField(input.value, ast.field), resolve(ast.value, input.principal));
+		case "In": {
+			const field = getField(input.value, ast.field);
+			return ast.values.some((operand) => resolve(operand, input.principal) === field);
+		}
+		case "Exists": return getField(input.value, ast.field) !== null;
+		case "Under": return testUnder(ast.prefix, input);
+		case "And": return ast.conditions.every((child) => evaluateSyncOf(child, input));
+		case "Or": return ast.conditions.some((child) => evaluateSyncOf(child, input));
+		case "Not": return !evaluateSyncOf(ast.condition, input);
+		case "Predicate": throw new Error(`The predicate "${ast.name}" needs an Effect. Use Condition.evaluate.`);
+	}
+};
+/** @internal */
+const evaluateOf = (ast, input) => {
+	if (!hasPredicate(ast)) return Effect.sync(() => evaluateSyncOf(ast, input));
+	switch (ast._tag) {
+		case "Predicate": return ast.run(input.value, input.principal);
+		case "Not": return Effect.map(evaluateOf(ast.condition, input), (value) => !value);
+		case "And": return Effect.gen(function* () {
+			for (const child of ast.conditions) if (!(yield* evaluateOf(child, input))) return false;
+			return true;
+		});
+		case "Or": return Effect.gen(function* () {
+			for (const child of ast.conditions) if (yield* evaluateOf(child, input)) return true;
+			return false;
+		});
+		default: return Effect.sync(() => evaluateSyncOf(ast, input));
+	}
+};
+const dedupe = (conditions) => {
+	const output = [];
+	for (const condition of conditions) if (!output.some((other) => Equal.equals(other, condition))) output.push(condition);
+	return output;
+};
+/**
+* Removes the children that the other children make useless. In an `Or`,
+* `a OR (a AND b)` is `a`. In an `And`, `a AND (a OR b)` is `a`.
+*/
+const absorb = (inner, conditions) => conditions.filter((condition) => condition._tag !== inner || !conditions.some((other) => other !== condition && condition.conditions.some((part) => Equal.equals(part, other))));
+const flatten = (tag, conditions) => conditions.flatMap((child) => {
+	const simple = simplify(child);
+	return simple._tag === tag ? simple.conditions : [simple];
+});
+/** @internal */
+const simplify = (ast) => {
+	switch (ast._tag) {
+		case "And": {
+			const children = flatten("And", ast.conditions).filter((child) => child._tag !== "True");
+			if (children.some((child) => child._tag === "False")) return never;
+			const unique = absorb("Or", dedupe(children));
+			if (unique.length === 0) return always;
+			return unique.length === 1 ? unique[0] : and(...unique);
+		}
+		case "Or": {
+			const children = flatten("Or", ast.conditions).filter((child) => child._tag !== "False");
+			if (children.some((child) => child._tag === "True")) return always;
+			const unique = absorb("And", dedupe(children));
+			if (unique.length === 0) return never;
+			return unique.length === 1 ? unique[0] : or(...unique);
+		}
+		case "Not": {
+			const child = simplify(ast.condition);
+			switch (child._tag) {
+				case "True": return never;
+				case "False": return always;
+				case "Not": return child.condition;
+				case "Compare":
+					if (child.value._tag === "Literal" && (child.op === "eq" || child.op === "ne")) return Object.freeze({
+						...child,
+						op: child.op === "eq" ? "ne" : "eq"
+					});
+					return not(child);
+				default: return not(child);
+			}
+		}
+		case "In": return ast.values.length === 0 ? never : ast;
+		default: return ast;
+	}
+};
+/**
+* Puts the value of the principal into an operand. It gives `undefined` for a
+* principal field with no value. See {@link resolve}.
+*/
+const bindOperand = (operand, principal) => {
+	if (operand._tag === "Literal") return operand;
+	const value = resolve(operand, principal);
+	return value === void 0 ? void 0 : literal(value);
+};
+const expandUnder = (prefix, principal, path) => {
+	if (path === void 0 || prefix.length > path.length) return never;
+	const parts = [];
+	prefix.forEach((operand, index) => {
+		const value = resolve(operand, principal);
+		const segment = path[index];
+		if (value === void 0) parts.push(never);
+		else if (typeof segment === "string") parts.push(segment === value ? always : never);
+		else parts.push(Object.freeze({
+			_tag: "Compare",
+			op: "eq",
+			field: segment.field,
+			value: literal(value)
+		}));
+	});
+	return and(...parts);
+};
+const bind = (ast, principal, path) => {
+	switch (ast._tag) {
+		case "Compare": {
+			const value = bindOperand(ast.value, principal);
+			return value === void 0 ? never : Object.freeze({
+				...ast,
+				value
+			});
+		}
+		case "In": return Object.freeze({
+			...ast,
+			values: Object.freeze(ast.values.flatMap((operand) => {
+				const value = bindOperand(operand, principal);
+				return value === void 0 ? [] : [value];
+			}))
+		});
+		case "Under": return expandUnder(ast.prefix, principal, path);
+		case "And": return and(...ast.conditions.map((child) => bind(child, principal, path)));
+		case "Or": return or(...ast.conditions.map((child) => bind(child, principal, path)));
+		case "Not": return not(bind(ast.condition, principal, path));
+		case "Predicate": return Object.freeze({
+			_tag: "Predicate",
+			name: ast.name,
+			run: (value) => ast.run(value, principal)
+		});
+		default: return ast;
+	}
+};
+/** @internal */
+const partialOf = (ast, input) => simplify(bind(ast, input.principal, input.path));
+/** @internal */
+const evaluate = dual(2, evaluateOf);
+/** @internal */
+const evaluateSync = dual(2, evaluateSyncOf);
+/** @internal */
+const partial = dual(2, partialOf);
+/** @internal */
+var Untranslatable = class extends Schema.TaggedError("@nmnmcc/ability/Condition/Untranslatable")("Untranslatable", { reason: Schema.String }) {};
+const foldNode = (ast, interpreter) => {
+	switch (ast._tag) {
+		case "True": return interpreter.true();
+		case "False": return interpreter.false();
+		case "Compare":
+			if (ast.value._tag !== "Literal") throw Untranslatable.make({ reason: `The field "${ast.field}" is compared with a principal field. Call Condition.partial first.` });
+			return interpreter.compare(ast.op, ast.field, ast.value.value);
+		case "In": return interpreter.in(ast.field, ast.values.map((operand) => {
+			if (operand._tag !== "Literal") throw Untranslatable.make({ reason: `The field "${ast.field}" uses a principal field. Call Condition.partial first.` });
+			return operand.value;
+		}));
+		case "Exists": return interpreter.exists(ast.field);
+		case "Under": throw Untranslatable.make({ reason: "An Under node needs the resource path. Call Condition.partial first." });
+		case "And": return interpreter.and(ast.conditions.map((child) => foldNode(child, interpreter)));
+		case "Or": return interpreter.or(ast.conditions.map((child) => foldNode(child, interpreter)));
+		case "Not": return interpreter.not(foldNode(ast.condition, interpreter));
+		case "Predicate":
+			if (interpreter.predicate === void 0) throw Untranslatable.make({ reason: `The predicate "${ast.name}" can not become a query` });
+			return interpreter.predicate(ast.name);
+	}
+};
+/** @internal */
+const fold = dual(2, (ast, interpreter) => Effect.try({
+	try: () => foldNode(ast, interpreter),
+	catch: (cause) => {
+		if (cause instanceof Untranslatable) return cause;
+		throw cause;
+	}
+}));
+/** @internal */
+const fields = (ast) => {
+	const output = /* @__PURE__ */ new Set();
+	const visit = (node) => {
+		switch (node._tag) {
+			case "Compare":
+			case "In":
+			case "Exists":
+				output.add(node.field);
+				return;
+			case "And":
+			case "Or":
+				node.conditions.forEach(visit);
+				return;
+			case "Not":
+				visit(node.condition);
+				return;
+			default: return;
+		}
+	};
+	visit(ast);
+	return Object.freeze(Array.from(output));
+};
+const ScalarSchema = Schema.Union([
+	Schema.String,
+	Schema.Finite,
+	Schema.Boolean,
+	Schema.Null
+]);
+const OperandSchema = Schema.Union([Schema.TaggedStruct("Literal", { value: ScalarSchema }), Schema.TaggedStruct("Principal", { path: Schema.String })]);
+const Recursive = Schema.suspend(() => schema);
+/** @internal */
+const schema = Schema.Union([
+	Schema.TaggedStruct("True", {}),
+	Schema.TaggedStruct("False", {}),
+	Schema.TaggedStruct("Compare", {
+		op: Schema.Literals([
+			"eq",
+			"ne",
+			"lt",
+			"lte",
+			"gt",
+			"gte"
+		]),
+		field: Schema.String,
+		value: OperandSchema
+	}),
+	Schema.TaggedStruct("In", {
+		field: Schema.String,
+		values: Schema.Array(OperandSchema)
+	}),
+	Schema.TaggedStruct("Exists", { field: Schema.String }),
+	Schema.TaggedStruct("Under", { prefix: Schema.Array(OperandSchema) }),
+	Schema.TaggedStruct("And", { conditions: Schema.Array(Recursive) }),
+	Schema.TaggedStruct("Or", { conditions: Schema.Array(Recursive) }),
+	Schema.TaggedStruct("Not", { condition: Recursive })
+]);
+export { Untranslatable, always, and, builder, condition_exports, evaluate, evaluateOf, evaluateSync, evaluateSyncOf, fields, fold, getField, hasPredicate, never, not, or, partial, partialOf, schema, simplify };
+
+//# sourceMappingURL=condition.js.map

package/dist/internal/condition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"condition.js","names":[],"sources":["../../src/internal/condition.ts"],"sourcesContent":["// A predicate keeps its error type and service type only in the public types.\n// Inside this file they are erased to `unknown`, so the language service check\n// for `unknown` in an Effect is off here.\n// @effect-diagnostics anyUnknownInErrorContext:off\nimport * as Effect from \"effect/Effect\"\nimport * as Equal from \"effect/Equal\"\nimport { dual } from \"effect/Function\"\nimport * as Predicate from \"effect/Predicate\"\nimport * as Schema from \"effect/Schema\"\nimport type * as Condition from \"../Condition.ts\"\nimport type * as Resource from \"../Resource.ts\"\n\ntype Ast = Condition.Ast\ntype Scalar = Condition.Scalar\n\n/** @internal */\nexport const always: Condition.True = Object.freeze({ _tag: \"True\" })\n\n/** @internal */\nexport const never: Condition.False = Object.freeze({ _tag: \"False\" })\n\nconst literal = (value: Scalar): Condition.Literal =>\n\tObject.freeze({ _tag: \"Literal\", value })\n\nconst isOperand = (u: unknown): u is Condition.Operand =>\n\tPredicate.hasProperty(u, \"_tag\") &&\n\t(u._tag === \"Literal\" || u._tag === \"Principal\")\n\nconst toOperand = (value: unknown): Condition.Operand =>\n\tisOperand(value) ? value : literal(value as Scalar)\n\nconst compare =\n\t(op: Condition.CompareOperator) =>\n\t(field: string, value: unknown): Condition.Compare =>\n\t\tObject.freeze({ _tag: \"Compare\", op, field, value: toOperand(value) })\n\n/** @internal */\nexport const and = (...conditions: ReadonlyArray<Ast>): Condition.And =>\n\tObject.freeze({ _tag: \"And\", conditions: Object.freeze([...conditions]) })\n\n/** @internal */\nexport const or = (...conditions: ReadonlyArray<Ast>): Condition.Or =>\n\tObject.freeze({ _tag: \"Or\", conditions: Object.freeze([...conditions]) })\n\n/** @internal */\nexport const not = (condition: Ast): Condition.Not =>\n\tObject.freeze({ _tag: \"Not\", condition })\n\n/** @internal */\nexport const builder = (): any =>\n\tObject.freeze({\n\t\teq: compare(\"eq\"),\n\t\tne: compare(\"ne\"),\n\t\tlt: compare(\"lt\"),\n\t\tlte: compare(\"lte\"),\n\t\tgt: compare(\"gt\"),\n\t\tgte: compare(\"gte\"),\n\t\tin: (field: string, values: ReadonlyArray<unknown>): Condition.In =>\n\t\t\tObject.freeze({\n\t\t\t\t_tag: \"In\",\n\t\t\t\tfield,\n\t\t\t\tvalues: Object.freeze(values.map(toOperand)),\n\t\t\t}),\n\t\texists: (field: string): Condition.Exists =>\n\t\t\tObject.freeze({ _tag: \"Exists\", field }),\n\t\tunder: (...prefix: ReadonlyArray<unknown>): Condition.Under =>\n\t\t\tObject.freeze({\n\t\t\t\t_tag: \"Under\",\n\t\t\t\tprefix: Object.freeze(prefix.map(toOperand)),\n\t\t\t}),\n\t\tprincipal: (path: string): Condition.PrincipalRef =>\n\t\t\tObject.freeze({ _tag: \"Principal\", path }),\n\t\tand,\n\t\tor,\n\t\tnot,\n\t\tpredicate: (\n\t\t\tname: string,\n\t\t\ttest: (\n\t\t\t\tvalue: unknown,\n\t\t\t\tprincipal: unknown,\n\t\t\t) => boolean | Effect.Effect<boolean, unknown, unknown>,\n\t\t): Condition.Predicate =>\n\t\t\tObject.freeze({\n\t\t\t\t_tag: \"Predicate\",\n\t\t\t\tname,\n\t\t\t\trun: (value: unknown, principal: unknown) =>\n\t\t\t\t\tEffect.suspend(() => {\n\t\t\t\t\t\tconst result = test(value, principal)\n\t\t\t\t\t\treturn Effect.isEffect(result) ? result : Effect.succeed(result)\n\t\t\t\t\t}),\n\t\t\t}),\n\t})\n\n/**\n * Gets a field of an object by a path with dots. A missing field, or a field\n * under a value that is not an object, gives `null`.\n *\n * @internal\n */\nexport const getField = (value: unknown, path: string): unknown => {\n\tlet cursor: unknown = value\n\tfor (const key of path.split(\".\")) {\n\t\tif (!Predicate.isObject(cursor) || !Object.hasOwn(cursor, key)) {\n\t\t\treturn null\n\t\t}\n\t\tcursor = (cursor as Record<string, unknown>)[key]\n\t}\n\treturn cursor === undefined ? null : cursor\n}\n\n/**\n * Gives the value of an operand. A principal field that is `null` or missing\n * gives `undefined`. No field of a resource is `undefined`, so a test with it\n * is never true. This keeps the check closed: a principal with no id never\n * matches a resource with no owner.\n */\nconst resolve = (operand: Condition.Operand, principal: unknown): unknown =>\n\toperand._tag === \"Literal\"\n\t\t? operand.value\n\t\t: (getField(principal, operand.path) ?? undefined)\n\nconst testCompare = (\n\top: Condition.CompareOperator,\n\tleft: unknown,\n\tright: unknown,\n): boolean => {\n\tif (right === undefined) {\n\t\treturn false\n\t}\n\tswitch (op) {\n\t\tcase \"eq\":\n\t\t\treturn left === right\n\t\tcase \"ne\":\n\t\t\treturn left !== right\n\t\tdefault: {\n\t\t\tconst ordered =\n\t\t\t\t(typeof left === \"number\" && typeof right === \"number\") ||\n\t\t\t\t(typeof left === \"string\" && typeof right === \"string\")\n\t\t\tif (!ordered) {\n\t\t\t\treturn false\n\t\t\t}\n\t\t\tconst a = left as number | string\n\t\t\tconst b = right as number | string\n\t\t\tswitch (op) {\n\t\t\t\tcase \"lt\":\n\t\t\t\t\treturn a < b\n\t\t\t\tcase \"lte\":\n\t\t\t\t\treturn a <= b\n\t\t\t\tcase \"gt\":\n\t\t\t\t\treturn a > b\n\t\t\t\tcase \"gte\":\n\t\t\t\t\treturn a >= b\n\t\t\t}\n\t\t}\n\t}\n}\n\n/**\n * Gives the values of a resource path. It gives `undefined` when the resource\n * has no path.\n */\nconst pathValues = (\n\tvalue: unknown,\n\tpath: ReadonlyArray<Resource.PathSegment> | undefined,\n): ReadonlyArray<unknown> | undefined =>\n\tpath?.map((segment) =>\n\t\ttypeof segment === \"string\" ? segment : getField(value, segment.field),\n\t)\n\nconst testUnder = (\n\tprefix: ReadonlyArray<Condition.Operand>,\n\tinput: Condition.Input,\n): boolean => {\n\tconst values = pathValues(input.value, input.path)\n\tif (values === undefined || prefix.length > values.length) {\n\t\treturn false\n\t}\n\treturn prefix.every(\n\t\t(operand, index) => resolve(operand, input.principal) === values[index],\n\t)\n}\n\n/** @internal */\nexport const hasPredicate = (ast: Ast): boolean => {\n\tswitch (ast._tag) {\n\t\tcase \"Predicate\":\n\t\t\treturn true\n\t\tcase \"And\":\n\t\tcase \"Or\":\n\t\t\treturn ast.conditions.some(hasPredicate)\n\t\tcase \"Not\":\n\t\t\treturn hasPredicate(ast.condition)\n\t\tdefault:\n\t\t\treturn false\n\t}\n}\n\n/** @internal */\nexport const evaluateSyncOf = (ast: Ast, input: Condition.Input): boolean => {\n\tswitch (ast._tag) {\n\t\tcase \"True\":\n\t\t\treturn true\n\t\tcase \"False\":\n\t\t\treturn false\n\t\tcase \"Compare\":\n\t\t\treturn testCompare(\n\t\t\t\tast.op,\n\t\t\t\tgetField(input.value, ast.field),\n\t\t\t\tresolve(ast.value, input.principal),\n\t\t\t)\n\t\tcase \"In\": {\n\t\t\tconst field = getField(input.value, ast.field)\n\t\t\treturn ast.values.some(\n\t\t\t\t(operand) => resolve(operand, input.principal) === field,\n\t\t\t)\n\t\t}\n\t\tcase \"Exists\":\n\t\t\treturn getField(input.value, ast.field) !== null\n\t\tcase \"Under\":\n\t\t\treturn testUnder(ast.prefix, input)\n\t\tcase \"And\":\n\t\t\treturn ast.conditions.every((child) => evaluateSyncOf(child, input))\n\t\tcase \"Or\":\n\t\t\treturn ast.conditions.some((child) => evaluateSyncOf(child, input))\n\t\tcase \"Not\":\n\t\t\treturn !evaluateSyncOf(ast.condition, input)\n\t\tcase \"Predicate\":\n\t\t\t// The types stop this. A predicate needs `evaluate`.\n\t\t\tthrow new Error(\n\t\t\t\t`The predicate \"${ast.name}\" needs an Effect. Use Condition.evaluate.`,\n\t\t\t)\n\t}\n}\n\n/** @internal */\nexport const evaluateOf = (\n\tast: Ast,\n\tinput: Condition.Input,\n): Effect.Effect<boolean, unknown, unknown> => {\n\tif (!hasPredicate(ast)) {\n\t\treturn Effect.sync(() => evaluateSyncOf(ast, input))\n\t}\n\tswitch (ast._tag) {\n\t\tcase \"Predicate\":\n\t\t\treturn ast.run(input.value, input.principal)\n\t\tcase \"Not\":\n\t\t\treturn Effect.map(evaluateOf(ast.condition, input), (value) => !value)\n\t\tcase \"And\":\n\t\t\treturn Effect.gen(function* () {\n\t\t\t\tfor (const child of ast.conditions) {\n\t\t\t\t\tif (!(yield* evaluateOf(child, input))) {\n\t\t\t\t\t\treturn false\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\treturn true\n\t\t\t})\n\t\tcase \"Or\":\n\t\t\treturn Effect.gen(function* () {\n\t\t\t\tfor (const child of ast.conditions) {\n\t\t\t\t\tif (yield* evaluateOf(child, input)) {\n\t\t\t\t\t\treturn true\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\treturn false\n\t\t\t})\n\t\tdefault:\n\t\t\treturn Effect.sync(() => evaluateSyncOf(ast, input))\n\t}\n}\n\nconst dedupe = (conditions: ReadonlyArray<Ast>): ReadonlyArray<Ast> => {\n\tconst output: Array<Ast> = []\n\tfor (const condition of conditions) {\n\t\tif (!output.some((other) => Equal.equals(other, condition))) {\n\t\t\toutput.push(condition)\n\t\t}\n\t}\n\treturn output\n}\n\n/**\n * Removes the children that the other children make useless. In an `Or`,\n * `a OR (a AND b)` is `a`. In an `And`, `a AND (a OR b)` is `a`.\n */\nconst absorb = (\n\tinner: \"And\" | \"Or\",\n\tconditions: ReadonlyArray<Ast>,\n): ReadonlyArray<Ast> =>\n\tconditions.filter(\n\t\t(condition) =>\n\t\t\tcondition._tag !== inner ||\n\t\t\t!conditions.some(\n\t\t\t\t(other) =>\n\t\t\t\t\tother !== condition &&\n\t\t\t\t\tcondition.conditions.some((part) => Equal.equals(part, other)),\n\t\t\t),\n\t)\n\nconst flatten = (\n\ttag: \"And\" | \"Or\",\n\tconditions: ReadonlyArray<Ast>,\n): ReadonlyArray<Ast> =>\n\tconditions.flatMap((child) => {\n\t\tconst simple = simplify(child)\n\t\treturn simple._tag === tag ? simple.conditions : [simple]\n\t})\n\n/** @internal */\nexport const simplify = (ast: Ast): Ast => {\n\tswitch (ast._tag) {\n\t\tcase \"And\": {\n\t\t\tconst children = flatten(\"And\", ast.conditions).filter(\n\t\t\t\t(child) => child._tag !== \"True\",\n\t\t\t)\n\t\t\tif (children.some((child) => child._tag === \"False\")) {\n\t\t\t\treturn never\n\t\t\t}\n\t\t\tconst unique = absorb(\"Or\", dedupe(children))\n\t\t\tif (unique.length === 0) {\n\t\t\t\treturn always\n\t\t\t}\n\t\t\treturn unique.length === 1 ? unique[0]! : and(...unique)\n\t\t}\n\t\tcase \"Or\": {\n\t\t\tconst children = flatten(\"Or\", ast.conditions).filter(\n\t\t\t\t(child) => child._tag !== \"False\",\n\t\t\t)\n\t\t\tif (children.some((child) => child._tag === \"True\")) {\n\t\t\t\treturn always\n\t\t\t}\n\t\t\tconst unique = absorb(\"And\", dedupe(children))\n\t\t\tif (unique.length === 0) {\n\t\t\t\treturn never\n\t\t\t}\n\t\t\treturn unique.length === 1 ? unique[0]! : or(...unique)\n\t\t}\n\t\tcase \"Not\": {\n\t\t\tconst child = simplify(ast.condition)\n\t\t\tswitch (child._tag) {\n\t\t\t\tcase \"True\":\n\t\t\t\t\treturn never\n\t\t\t\tcase \"False\":\n\t\t\t\t\treturn always\n\t\t\t\tcase \"Not\":\n\t\t\t\t\treturn child.condition\n\t\t\t\tcase \"Compare\":\n\t\t\t\t\t// A principal field with no value makes `eq` and `ne` both false,\n\t\t\t\t\t// so only a fixed value lets `not eq` become `ne`.\n\t\t\t\t\tif (\n\t\t\t\t\t\tchild.value._tag === \"Literal\" &&\n\t\t\t\t\t\t(child.op === \"eq\" || child.op === \"ne\")\n\t\t\t\t\t) {\n\t\t\t\t\t\treturn Object.freeze({\n\t\t\t\t\t\t\t...child,\n\t\t\t\t\t\t\top: child.op === \"eq\" ? \"ne\" : \"eq\",\n\t\t\t\t\t\t})\n\t\t\t\t\t}\n\t\t\t\t\treturn not(child)\n\t\t\t\tdefault:\n\t\t\t\t\treturn not(child)\n\t\t\t}\n\t\t}\n\t\tcase \"In\":\n\t\t\treturn ast.values.length === 0 ? never : ast\n\t\tdefault:\n\t\t\treturn ast\n\t}\n}\n\n/**\n * Puts the value of the principal into an operand. It gives `undefined` for a\n * principal field with no value. See {@link resolve}.\n */\nconst bindOperand = (\n\toperand: Condition.Operand,\n\tprincipal: unknown,\n): Condition.Literal | undefined => {\n\tif (operand._tag === \"Literal\") {\n\t\treturn operand\n\t}\n\tconst value = resolve(operand, principal)\n\treturn value === undefined ? undefined : literal(value as Scalar)\n}\n\nconst expandUnder = (\n\tprefix: ReadonlyArray<Condition.Operand>,\n\tprincipal: unknown,\n\tpath: ReadonlyArray<Resource.PathSegment> | undefined,\n): Ast => {\n\tif (path === undefined || prefix.length > path.length) {\n\t\treturn never\n\t}\n\tconst parts: Array<Ast> = []\n\tprefix.forEach((operand, index) => {\n\t\tconst value = resolve(operand, principal)\n\t\tconst segment = path[index]!\n\t\tif (value === undefined) {\n\t\t\tparts.push(never)\n\t\t} else if (typeof segment === \"string\") {\n\t\t\tparts.push(segment === value ? always : never)\n\t\t} else {\n\t\t\tparts.push(\n\t\t\t\tObject.freeze({\n\t\t\t\t\t_tag: \"Compare\",\n\t\t\t\t\top: \"eq\",\n\t\t\t\t\tfield: segment.field,\n\t\t\t\t\tvalue: literal(value as Scalar),\n\t\t\t\t}),\n\t\t\t)\n\t\t}\n\t})\n\treturn and(...parts)\n}\n\nconst bind = (\n\tast: Ast,\n\tprincipal: unknown,\n\tpath: ReadonlyArray<Resource.PathSegment> | undefined,\n): Ast => {\n\tswitch (ast._tag) {\n\t\tcase \"Compare\": {\n\t\t\tconst value = bindOperand(ast.value, principal)\n\t\t\treturn value === undefined ? never : Object.freeze({ ...ast, value })\n\t\t}\n\t\tcase \"In\":\n\t\t\treturn Object.freeze({\n\t\t\t\t...ast,\n\t\t\t\tvalues: Object.freeze(\n\t\t\t\t\tast.values.flatMap((operand) => {\n\t\t\t\t\t\tconst value = bindOperand(operand, principal)\n\t\t\t\t\t\treturn value === undefined ? [] : [value]\n\t\t\t\t\t}),\n\t\t\t\t),\n\t\t\t})\n\t\tcase \"Under\":\n\t\t\treturn expandUnder(ast.prefix, principal, path)\n\t\tcase \"And\":\n\t\t\treturn and(...ast.conditions.map((child) => bind(child, principal, path)))\n\t\tcase \"Or\":\n\t\t\treturn or(...ast.conditions.map((child) => bind(child, principal, path)))\n\t\tcase \"Not\":\n\t\t\treturn not(bind(ast.condition, principal, path))\n\t\tcase \"Predicate\":\n\t\t\treturn Object.freeze({\n\t\t\t\t_tag: \"Predicate\",\n\t\t\t\tname: ast.name,\n\t\t\t\trun: (value: unknown) => ast.run(value, principal),\n\t\t\t})\n\t\tdefault:\n\t\t\treturn ast\n\t}\n}\n\n/** @internal */\nexport const partialOf = (\n\tast: Ast,\n\tinput: {\n\t\treadonly principal?: object | undefined\n\t\treadonly path?: ReadonlyArray<Resource.PathSegment> | undefined\n\t},\n): Ast => simplify(bind(ast, input.principal, input.path))\n\n/** @internal */\nexport const evaluate = dual(2, evaluateOf)\n\n/** @internal */\nexport const evaluateSync = dual(2, evaluateSyncOf)\n\n/** @internal */\nexport const partial = dual(2, partialOf)\n\n/** @internal */\nexport class Untranslatable extends Schema.TaggedError<Untranslatable>(\n\t\"@nmnmcc/ability/Condition/Untranslatable\",\n)(\"Untranslatable\", { reason: Schema.String }) {}\n\nconst foldNode = <A>(ast: Ast, interpreter: Condition.Interpreter<A>): A => {\n\tswitch (ast._tag) {\n\t\tcase \"True\":\n\t\t\treturn interpreter.true()\n\t\tcase \"False\":\n\t\t\treturn interpreter.false()\n\t\tcase \"Compare\":\n\t\t\tif (ast.value._tag !== \"Literal\") {\n\t\t\t\tthrow Untranslatable.make({\n\t\t\t\t\treason: `The field \"${ast.field}\" is compared with a principal field. Call Condition.partial first.`,\n\t\t\t\t})\n\t\t\t}\n\t\t\treturn interpreter.compare(ast.op, ast.field, ast.value.value)\n\t\tcase \"In\":\n\t\t\treturn interpreter.in(\n\t\t\t\tast.field,\n\t\t\t\tast.values.map((operand) => {\n\t\t\t\t\tif (operand._tag !== \"Literal\") {\n\t\t\t\t\t\tthrow Untranslatable.make({\n\t\t\t\t\t\t\treason: `The field \"${ast.field}\" uses a principal field. Call Condition.partial first.`,\n\t\t\t\t\t\t})\n\t\t\t\t\t}\n\t\t\t\t\treturn operand.value\n\t\t\t\t}),\n\t\t\t)\n\t\tcase \"Exists\":\n\t\t\treturn interpreter.exists(ast.field)\n\t\tcase \"Under\":\n\t\t\tthrow Untranslatable.make({\n\t\t\t\treason:\n\t\t\t\t\t\"An Under node needs the resource path. Call Condition.partial first.\",\n\t\t\t})\n\t\tcase \"And\":\n\t\t\treturn interpreter.and(\n\t\t\t\tast.conditions.map((child) => foldNode(child, interpreter)),\n\t\t\t)\n\t\tcase \"Or\":\n\t\t\treturn interpreter.or(\n\t\t\t\tast.conditions.map((child) => foldNode(child, interpreter)),\n\t\t\t)\n\t\tcase \"Not\":\n\t\t\treturn interpreter.not(foldNode(ast.condition, interpreter))\n\t\tcase \"Predicate\":\n\t\t\tif (interpreter.predicate === undefined) {\n\t\t\t\tthrow Untranslatable.make({\n\t\t\t\t\treason: `The predicate \"${ast.name}\" can not become a query`,\n\t\t\t\t})\n\t\t\t}\n\t\t\treturn interpreter.predicate(ast.name)\n\t}\n}\n\n/** @internal */\nexport const fold = dual(\n\t2,\n\t<A>(\n\t\tast: Ast,\n\t\tinterpreter: Condition.Interpreter<A>,\n\t): Effect.Effect<A, Untranslatable> =>\n\t\tEffect.try({\n\t\t\ttry: () => foldNode(ast, interpreter),\n\t\t\tcatch: (cause) => {\n\t\t\t\tif (cause instanceof Untranslatable) {\n\t\t\t\t\treturn cause\n\t\t\t\t}\n\t\t\t\tthrow cause\n\t\t\t},\n\t\t}),\n)\n\n/** @internal */\nexport const fields = (ast: Ast): ReadonlyArray<string> => {\n\tconst output = new Set<string>()\n\tconst visit = (node: Ast): void => {\n\t\tswitch (node._tag) {\n\t\t\tcase \"Compare\":\n\t\t\tcase \"In\":\n\t\t\tcase \"Exists\":\n\t\t\t\toutput.add(node.field)\n\t\t\t\treturn\n\t\t\tcase \"And\":\n\t\t\tcase \"Or\":\n\t\t\t\tnode.conditions.forEach(visit)\n\t\t\t\treturn\n\t\t\tcase \"Not\":\n\t\t\t\tvisit(node.condition)\n\t\t\t\treturn\n\t\t\tdefault:\n\t\t\t\treturn\n\t\t}\n\t}\n\tvisit(ast)\n\treturn Object.freeze(Array.from(output))\n}\n\nconst ScalarSchema = Schema.Union([\n\tSchema.String,\n\tSchema.Finite,\n\tSchema.Boolean,\n\tSchema.Null,\n])\n\nconst OperandSchema = Schema.Union([\n\tSchema.TaggedStruct(\"Literal\", { value: ScalarSchema }),\n\tSchema.TaggedStruct(\"Principal\", { path: Schema.String }),\n])\n\nconst Recursive = Schema.suspend(\n\t(): Schema.Codec<Condition.Condition, Condition.Encoded> => schema,\n)\n\n/** @internal */\nexport const schema: Schema.Codec<Condition.Condition, Condition.Encoded> =\n\tSchema.Union([\n\t\tSchema.TaggedStruct(\"True\", {}),\n\t\tSchema.TaggedStruct(\"False\", {}),\n\t\tSchema.TaggedStruct(\"Compare\", {\n\t\t\top: Schema.Literals([\"eq\", \"ne\", \"lt\", \"lte\", \"gt\", \"gte\"]),\n\t\t\tfield: Schema.String,\n\t\t\tvalue: OperandSchema,\n\t\t}),\n\t\tSchema.TaggedStruct(\"In\", {\n\t\t\tfield: Schema.String,\n\t\t\tvalues: Schema.Array(OperandSchema),\n\t\t}),\n\t\tSchema.TaggedStruct(\"Exists\", { field: Schema.String }),\n\t\tSchema.TaggedStruct(\"Under\", { prefix: Schema.Array(OperandSchema) }),\n\t\tSchema.TaggedStruct(\"And\", { conditions: Schema.Array(Recursive) }),\n\t\tSchema.TaggedStruct(\"Or\", { conditions: Schema.Array(Recursive) }),\n\t\tSchema.TaggedStruct(\"Not\", { condition: Recursive }),\n\t]) as never\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgBA,MAAa,SAAyB,OAAO,OAAO,EAAE,MAAM,OAAO,CAAC;;AAGpE,MAAa,QAAyB,OAAO,OAAO,EAAE,MAAM,QAAQ,CAAC;AAErE,MAAM,WAAW,UAChB,OAAO,OAAO;CAAE,MAAM;CAAW;AAAM,CAAC;AAEzC,MAAM,aAAa,MAClB,UAAU,YAAY,GAAG,MAAM,MAC9B,EAAE,SAAS,aAAa,EAAE,SAAS;AAErC,MAAM,aAAa,UAClB,UAAU,KAAK,IAAI,QAAQ,QAAQ,KAAe;AAEnD,MAAM,WACJ,QACA,OAAe,UACf,OAAO,OAAO;CAAE,MAAM;CAAW;CAAI;CAAO,OAAO,UAAU,KAAK;AAAE,CAAC;;AAGvE,MAAa,OAAO,GAAG,eACtB,OAAO,OAAO;CAAE,MAAM;CAAO,YAAY,OAAO,OAAO,CAAC,GAAG,UAAU,CAAC;AAAE,CAAC;;AAG1E,MAAa,MAAM,GAAG,eACrB,OAAO,OAAO;CAAE,MAAM;CAAM,YAAY,OAAO,OAAO,CAAC,GAAG,UAAU,CAAC;AAAE,CAAC;;AAGzE,MAAa,OAAO,cACnB,OAAO,OAAO;CAAE,MAAM;CAAO;AAAU,CAAC;;AAGzC,MAAa,gBACZ,OAAO,OAAO;CACb,IAAI,QAAQ,IAAI;CAChB,IAAI,QAAQ,IAAI;CAChB,IAAI,QAAQ,IAAI;CAChB,KAAK,QAAQ,KAAK;CAClB,IAAI,QAAQ,IAAI;CAChB,KAAK,QAAQ,KAAK;CAClB,KAAK,OAAe,WACnB,OAAO,OAAO;EACb,MAAM;EACN;EACA,QAAQ,OAAO,OAAO,OAAO,IAAI,SAAS,CAAC;CAC5C,CAAC;CACF,SAAS,UACR,OAAO,OAAO;EAAE,MAAM;EAAU;CAAM,CAAC;CACxC,QAAQ,GAAG,WACV,OAAO,OAAO;EACb,MAAM;EACN,QAAQ,OAAO,OAAO,OAAO,IAAI,SAAS,CAAC;CAC5C,CAAC;CACF,YAAY,SACX,OAAO,OAAO;EAAE,MAAM;EAAa;CAAK,CAAC;CAC1C;CACA;CACA;CACA,YACC,MACA,SAKA,OAAO,OAAO;EACb,MAAM;EACN;EACA,MAAM,OAAgB,cACrB,OAAO,cAAc;GACpB,MAAM,SAAS,KAAK,OAAO,SAAS;GACpC,OAAO,OAAO,SAAS,MAAM,IAAI,SAAS,OAAO,QAAQ,MAAM;EAChE,CAAC;CACH,CAAC;AACH,CAAC;;;;;;;AAQF,MAAa,YAAY,OAAgB,SAA0B;CAClE,IAAI,SAAkB;CACtB,KAAK,MAAM,OAAO,KAAK,MAAM,GAAG,GAAG;EAClC,IAAI,CAAC,UAAU,SAAS,MAAM,KAAK,CAAC,OAAO,OAAO,QAAQ,GAAG,GAC5D,OAAO;EAER,SAAU,OAAmC;CAC9C;CACA,OAAO,WAAW,KAAA,IAAY,OAAO;AACtC;;;;;;;AAQA,MAAM,WAAW,SAA4B,cAC5C,QAAQ,SAAS,YACd,QAAQ,QACP,SAAS,WAAW,QAAQ,IAAI,KAAK,KAAA;AAE1C,MAAM,eACL,IACA,MACA,UACa;CACb,IAAI,UAAU,KAAA,GACb,OAAO;CAER,QAAQ,IAAR;EACC,KAAK,MACJ,OAAO,SAAS;EACjB,KAAK,MACJ,OAAO,SAAS;EACjB,SAAS;GAIR,IAAI,EAFF,OAAO,SAAS,YAAY,OAAO,UAAU,YAC7C,OAAO,SAAS,YAAY,OAAO,UAAU,WAE9C,OAAO;GAER,MAAM,IAAI;GACV,MAAM,IAAI;GACV,QAAQ,IAAR;IACC,KAAK,MACJ,OAAO,IAAI;IACZ,KAAK,OACJ,OAAO,KAAK;IACb,KAAK,MACJ,OAAO,IAAI;IACZ,KAAK,OACJ,OAAO,KAAK;GACd;EACD;CACD;AACD;;;;;AAMA,MAAM,cACL,OACA,SAEA,MAAM,KAAK,YACV,OAAO,YAAY,WAAW,UAAU,SAAS,OAAO,QAAQ,KAAK,CACtE;AAED,MAAM,aACL,QACA,UACa;CACb,MAAM,SAAS,WAAW,MAAM,OAAO,MAAM,IAAI;CACjD,IAAI,WAAW,KAAA,KAAa,OAAO,SAAS,OAAO,QAClD,OAAO;CAER,OAAO,OAAO,OACZ,SAAS,UAAU,QAAQ,SAAS,MAAM,SAAS,MAAM,OAAO,MAClE;AACD;;AAGA,MAAa,gBAAgB,QAAsB;CAClD,QAAQ,IAAI,MAAZ;EACC,KAAK,aACJ,OAAO;EACR,KAAK;EACL,KAAK,MACJ,OAAO,IAAI,WAAW,KAAK,YAAY;EACxC,KAAK,OACJ,OAAO,aAAa,IAAI,SAAS;EAClC,SACC,OAAO;CACT;AACD;;AAGA,MAAa,kBAAkB,KAAU,UAAoC;CAC5E,QAAQ,IAAI,MAAZ;EACC,KAAK,QACJ,OAAO;EACR,KAAK,SACJ,OAAO;EACR,KAAK,WACJ,OAAO,YACN,IAAI,IACJ,SAAS,MAAM,OAAO,IAAI,KAAK,GAC/B,QAAQ,IAAI,OAAO,MAAM,SAAS,CACnC;EACD,KAAK,MAAM;GACV,MAAM,QAAQ,SAAS,MAAM,OAAO,IAAI,KAAK;GAC7C,OAAO,IAAI,OAAO,MAChB,YAAY,QAAQ,SAAS,MAAM,SAAS,MAAM,KACpD;EACD;EACA,KAAK,UACJ,OAAO,SAAS,MAAM,OAAO,IAAI,KAAK,MAAM;EAC7C,KAAK,SACJ,OAAO,UAAU,IAAI,QAAQ,KAAK;EACnC,KAAK,OACJ,OAAO,IAAI,WAAW,OAAO,UAAU,eAAe,OAAO,KAAK,CAAC;EACpE,KAAK,MACJ,OAAO,IAAI,WAAW,MAAM,UAAU,eAAe,OAAO,KAAK,CAAC;EACnE,KAAK,OACJ,OAAO,CAAC,eAAe,IAAI,WAAW,KAAK;EAC5C,KAAK,aAEJ,MAAM,IAAI,MACT,kBAAkB,IAAI,KAAK,2CAC5B;CACF;AACD;;AAGA,MAAa,cACZ,KACA,UAC8C;CAC9C,IAAI,CAAC,aAAa,GAAG,GACpB,OAAO,OAAO,WAAW,eAAe,KAAK,KAAK,CAAC;CAEpD,QAAQ,IAAI,MAAZ;EACC,KAAK,aACJ,OAAO,IAAI,IAAI,MAAM,OAAO,MAAM,SAAS;EAC5C,KAAK,OACJ,OAAO,OAAO,IAAI,WAAW,IAAI,WAAW,KAAK,IAAI,UAAU,CAAC,KAAK;EACtE,KAAK,OACJ,OAAO,OAAO,IAAI,aAAa;GAC9B,KAAK,MAAM,SAAS,IAAI,YACvB,IAAI,EAAE,OAAO,WAAW,OAAO,KAAK,IACnC,OAAO;GAGT,OAAO;EACR,CAAC;EACF,KAAK,MACJ,OAAO,OAAO,IAAI,aAAa;GAC9B,KAAK,MAAM,SAAS,IAAI,YACvB,IAAI,OAAO,WAAW,OAAO,KAAK,GACjC,OAAO;GAGT,OAAO;EACR,CAAC;EACF,SACC,OAAO,OAAO,WAAW,eAAe,KAAK,KAAK,CAAC;CACrD;AACD;AAEA,MAAM,UAAU,eAAuD;CACtE,MAAM,SAAqB,CAAC;CAC5B,KAAK,MAAM,aAAa,YACvB,IAAI,CAAC,OAAO,MAAM,UAAU,MAAM,OAAO,OAAO,SAAS,CAAC,GACzD,OAAO,KAAK,SAAS;CAGvB,OAAO;AACR;;;;;AAMA,MAAM,UACL,OACA,eAEA,WAAW,QACT,cACA,UAAU,SAAS,SACnB,CAAC,WAAW,MACV,UACA,UAAU,aACV,UAAU,WAAW,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,CAAC,CAC/D,CACF;AAED,MAAM,WACL,KACA,eAEA,WAAW,SAAS,UAAU;CAC7B,MAAM,SAAS,SAAS,KAAK;CAC7B,OAAO,OAAO,SAAS,MAAM,OAAO,aAAa,CAAC,MAAM;AACzD,CAAC;;AAGF,MAAa,YAAY,QAAkB;CAC1C,QAAQ,IAAI,MAAZ;EACC,KAAK,OAAO;GACX,MAAM,WAAW,QAAQ,OAAO,IAAI,UAAU,CAAC,CAAC,QAC9C,UAAU,MAAM,SAAS,MAC3B;GACA,IAAI,SAAS,MAAM,UAAU,MAAM,SAAS,OAAO,GAClD,OAAO;GAER,MAAM,SAAS,OAAO,MAAM,OAAO,QAAQ,CAAC;GAC5C,IAAI,OAAO,WAAW,GACrB,OAAO;GAER,OAAO,OAAO,WAAW,IAAI,OAAO,KAAM,IAAI,GAAG,MAAM;EACxD;EACA,KAAK,MAAM;GACV,MAAM,WAAW,QAAQ,MAAM,IAAI,UAAU,CAAC,CAAC,QAC7C,UAAU,MAAM,SAAS,OAC3B;GACA,IAAI,SAAS,MAAM,UAAU,MAAM,SAAS,MAAM,GACjD,OAAO;GAER,MAAM,SAAS,OAAO,OAAO,OAAO,QAAQ,CAAC;GAC7C,IAAI,OAAO,WAAW,GACrB,OAAO;GAER,OAAO,OAAO,WAAW,IAAI,OAAO,KAAM,GAAG,GAAG,MAAM;EACvD;EACA,KAAK,OAAO;GACX,MAAM,QAAQ,SAAS,IAAI,SAAS;GACpC,QAAQ,MAAM,MAAd;IACC,KAAK,QACJ,OAAO;IACR,KAAK,SACJ,OAAO;IACR,KAAK,OACJ,OAAO,MAAM;IACd,KAAK;KAGJ,IACC,MAAM,MAAM,SAAS,cACpB,MAAM,OAAO,QAAQ,MAAM,OAAO,OAEnC,OAAO,OAAO,OAAO;MACpB,GAAG;MACH,IAAI,MAAM,OAAO,OAAO,OAAO;KAChC,CAAC;KAEF,OAAO,IAAI,KAAK;IACjB,SACC,OAAO,IAAI,KAAK;GAClB;EACD;EACA,KAAK,MACJ,OAAO,IAAI,OAAO,WAAW,IAAI,QAAQ;EAC1C,SACC,OAAO;CACT;AACD;;;;;AAMA,MAAM,eACL,SACA,cACmC;CACnC,IAAI,QAAQ,SAAS,WACpB,OAAO;CAER,MAAM,QAAQ,QAAQ,SAAS,SAAS;CACxC,OAAO,UAAU,KAAA,IAAY,KAAA,IAAY,QAAQ,KAAe;AACjE;AAEA,MAAM,eACL,QACA,WACA,SACS;CACT,IAAI,SAAS,KAAA,KAAa,OAAO,SAAS,KAAK,QAC9C,OAAO;CAER,MAAM,QAAoB,CAAC;CAC3B,OAAO,SAAS,SAAS,UAAU;EAClC,MAAM,QAAQ,QAAQ,SAAS,SAAS;EACxC,MAAM,UAAU,KAAK;EACrB,IAAI,UAAU,KAAA,GACb,MAAM,KAAK,KAAK;OACV,IAAI,OAAO,YAAY,UAC7B,MAAM,KAAK,YAAY,QAAQ,SAAS,KAAK;OAE7C,MAAM,KACL,OAAO,OAAO;GACb,MAAM;GACN,IAAI;GACJ,OAAO,QAAQ;GACf,OAAO,QAAQ,KAAe;EAC/B,CAAC,CACF;CAEF,CAAC;CACD,OAAO,IAAI,GAAG,KAAK;AACpB;AAEA,MAAM,QACL,KACA,WACA,SACS;CACT,QAAQ,IAAI,MAAZ;EACC,KAAK,WAAW;GACf,MAAM,QAAQ,YAAY,IAAI,OAAO,SAAS;GAC9C,OAAO,UAAU,KAAA,IAAY,QAAQ,OAAO,OAAO;IAAE,GAAG;IAAK;GAAM,CAAC;EACrE;EACA,KAAK,MACJ,OAAO,OAAO,OAAO;GACpB,GAAG;GACH,QAAQ,OAAO,OACd,IAAI,OAAO,SAAS,YAAY;IAC/B,MAAM,QAAQ,YAAY,SAAS,SAAS;IAC5C,OAAO,UAAU,KAAA,IAAY,CAAC,IAAI,CAAC,KAAK;GACzC,CAAC,CACF;EACD,CAAC;EACF,KAAK,SACJ,OAAO,YAAY,IAAI,QAAQ,WAAW,IAAI;EAC/C,KAAK,OACJ,OAAO,IAAI,GAAG,IAAI,WAAW,KAAK,UAAU,KAAK,OAAO,WAAW,IAAI,CAAC,CAAC;EAC1E,KAAK,MACJ,OAAO,GAAG,GAAG,IAAI,WAAW,KAAK,UAAU,KAAK,OAAO,WAAW,IAAI,CAAC,CAAC;EACzE,KAAK,OACJ,OAAO,IAAI,KAAK,IAAI,WAAW,WAAW,IAAI,CAAC;EAChD,KAAK,aACJ,OAAO,OAAO,OAAO;GACpB,MAAM;GACN,MAAM,IAAI;GACV,MAAM,UAAmB,IAAI,IAAI,OAAO,SAAS;EAClD,CAAC;EACF,SACC,OAAO;CACT;AACD;;AAGA,MAAa,aACZ,KACA,UAIS,SAAS,KAAK,KAAK,MAAM,WAAW,MAAM,IAAI,CAAC;;AAGzD,MAAa,WAAW,KAAK,GAAG,UAAU;;AAG1C,MAAa,eAAe,KAAK,GAAG,cAAc;;AAGlD,MAAa,UAAU,KAAK,GAAG,SAAS;;AAGxC,IAAa,iBAAb,cAAoC,OAAO,YAC1C,0CACD,CAAC,CAAC,kBAAkB,EAAE,QAAQ,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AAEhD,MAAM,YAAe,KAAU,gBAA6C;CAC3E,QAAQ,IAAI,MAAZ;EACC,KAAK,QACJ,OAAO,YAAY,KAAK;EACzB,KAAK,SACJ,OAAO,YAAY,MAAM;EAC1B,KAAK;GACJ,IAAI,IAAI,MAAM,SAAS,WACtB,MAAM,eAAe,KAAK,EACzB,QAAQ,cAAc,IAAI,MAAM,qEACjC,CAAC;GAEF,OAAO,YAAY,QAAQ,IAAI,IAAI,IAAI,OAAO,IAAI,MAAM,KAAK;EAC9D,KAAK,MACJ,OAAO,YAAY,GAClB,IAAI,OACJ,IAAI,OAAO,KAAK,YAAY;GAC3B,IAAI,QAAQ,SAAS,WACpB,MAAM,eAAe,KAAK,EACzB,QAAQ,cAAc,IAAI,MAAM,yDACjC,CAAC;GAEF,OAAO,QAAQ;EAChB,CAAC,CACF;EACD,KAAK,UACJ,OAAO,YAAY,OAAO,IAAI,KAAK;EACpC,KAAK,SACJ,MAAM,eAAe,KAAK,EACzB,QACC,uEACF,CAAC;EACF,KAAK,OACJ,OAAO,YAAY,IAClB,IAAI,WAAW,KAAK,UAAU,SAAS,OAAO,WAAW,CAAC,CAC3D;EACD,KAAK,MACJ,OAAO,YAAY,GAClB,IAAI,WAAW,KAAK,UAAU,SAAS,OAAO,WAAW,CAAC,CAC3D;EACD,KAAK,OACJ,OAAO,YAAY,IAAI,SAAS,IAAI,WAAW,WAAW,CAAC;EAC5D,KAAK;GACJ,IAAI,YAAY,cAAc,KAAA,GAC7B,MAAM,eAAe,KAAK,EACzB,QAAQ,kBAAkB,IAAI,KAAK,0BACpC,CAAC;GAEF,OAAO,YAAY,UAAU,IAAI,IAAI;CACvC;AACD;;AAGA,MAAa,OAAO,KACnB,IAEC,KACA,gBAEA,OAAO,IAAI;CACV,WAAW,SAAS,KAAK,WAAW;CACpC,QAAQ,UAAU;EACjB,IAAI,iBAAiB,gBACpB,OAAO;EAER,MAAM;CACP;AACD,CAAC,CACH;;AAGA,MAAa,UAAU,QAAoC;CAC1D,MAAM,yBAAS,IAAI,IAAY;CAC/B,MAAM,SAAS,SAAoB;EAClC,QAAQ,KAAK,MAAb;GACC,KAAK;GACL,KAAK;GACL,KAAK;IACJ,OAAO,IAAI,KAAK,KAAK;IACrB;GACD,KAAK;GACL,KAAK;IACJ,KAAK,WAAW,QAAQ,KAAK;IAC7B;GACD,KAAK;IACJ,MAAM,KAAK,SAAS;IACpB;GACD,SACC;EACF;CACD;CACA,MAAM,GAAG;CACT,OAAO,OAAO,OAAO,MAAM,KAAK,MAAM,CAAC;AACxC;AAEA,MAAM,eAAe,OAAO,MAAM;CACjC,OAAO;CACP,OAAO;CACP,OAAO;CACP,OAAO;AACR,CAAC;AAED,MAAM,gBAAgB,OAAO,MAAM,CAClC,OAAO,aAAa,WAAW,EAAE,OAAO,aAAa,CAAC,GACtD,OAAO,aAAa,aAAa,EAAE,MAAM,OAAO,OAAO,CAAC,CACzD,CAAC;AAED,MAAM,YAAY,OAAO,cACoC,MAC7D;;AAGA,MAAa,SACZ,OAAO,MAAM;CACZ,OAAO,aAAa,QAAQ,CAAC,CAAC;CAC9B,OAAO,aAAa,SAAS,CAAC,CAAC;CAC/B,OAAO,aAAa,WAAW;EAC9B,IAAI,OAAO,SAAS;GAAC;GAAM;GAAM;GAAM;GAAO;GAAM;EAAK,CAAC;EAC1D,OAAO,OAAO;EACd,OAAO;CACR,CAAC;CACD,OAAO,aAAa,MAAM;EACzB,OAAO,OAAO;EACd,QAAQ,OAAO,MAAM,aAAa;CACnC,CAAC;CACD,OAAO,aAAa,UAAU,EAAE,OAAO,OAAO,OAAO,CAAC;CACtD,OAAO,aAAa,SAAS,EAAE,QAAQ,OAAO,MAAM,aAAa,EAAE,CAAC;CACpE,OAAO,aAAa,OAAO,EAAE,YAAY,OAAO,MAAM,SAAS,EAAE,CAAC;CAClE,OAAO,aAAa,MAAM,EAAE,YAAY,OAAO,MAAM,SAAS,EAAE,CAAC;CACjE,OAAO,aAAa,OAAO,EAAE,WAAW,UAAU,CAAC;AACpD,CAAC"}

package/dist/internal/domain.js

@@ -0,0 +1,34 @@
+import { descriptor } from "./resource.js";
+import * as Predicate from "effect/Predicate";
+// src/internal/domain.ts
+/** @internal */
+const TypeId = "~@nmnmcc/ability/Domain";
+/** @internal */
+const make = (options) => {
+	const resources = /* @__PURE__ */ new Map();
+	for (const resource of options.resources) {
+		const value = descriptor(resource);
+		if (resources.has(value.kind)) throw new Error(`Two resources have the kind name "${value.kind}"`);
+		if (value.kind === "*") throw new Error(`A resource may not have the kind name "*"`);
+		resources.set(value.kind, value);
+	}
+	return Object.freeze({
+		[TypeId]: TypeId,
+		principal: options.principal,
+		resources,
+		meta: options.meta
+	});
+};
+/** @internal */
+const isDomain = (u) => Predicate.hasProperty(u, TypeId);
+/** @internal */
+const getDescriptor = (domain, kind) => domain.resources.get(kind);
+/**
+* Gives the kind name of a resource value, from its `_tag` field.
+*
+* @internal
+*/
+const kindOf = (value) => Predicate.hasProperty(value, "_tag") && typeof value._tag === "string" ? value._tag : void 0;
+export { TypeId, getDescriptor, isDomain, kindOf, make };
+
+//# sourceMappingURL=domain.js.map

package/dist/internal/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","names":[],"sources":["../../src/internal/domain.ts"],"sourcesContent":["import * as Predicate from \"effect/Predicate\"\nimport type * as Schema from \"effect/Schema\"\nimport type * as Domain from \"../Domain.ts\"\nimport type * as Principal from \"../Principal.ts\"\nimport type * as Resource from \"../Resource.ts\"\nimport { descriptor } from \"./resource.ts\"\n\n/** @internal */\nexport const TypeId = \"~@nmnmcc/ability/Domain\" as const\n\n/** @internal */\nexport const make = (options: {\n\treadonly principal: Principal.Any\n\treadonly resources: ReadonlyArray<Resource.Any>\n\treadonly meta?: Schema.Top\n}): any => {\n\tconst resources = new Map<string, Resource.Descriptor>()\n\tfor (const resource of options.resources) {\n\t\tconst value = descriptor(resource)\n\t\tif (resources.has(value.kind)) {\n\t\t\t// Two resources with one kind name is a mistake in the code, not in the\n\t\t\t// data, so it is a defect.\n\t\t\tthrow new Error(`Two resources have the kind name \"${value.kind}\"`)\n\t\t}\n\t\tif (value.kind === \"*\") {\n\t\t\tthrow new Error(`A resource may not have the kind name \"*\"`)\n\t\t}\n\t\tresources.set(value.kind, value)\n\t}\n\treturn Object.freeze({\n\t\t[TypeId]: TypeId,\n\t\tprincipal: options.principal,\n\t\tresources,\n\t\tmeta: options.meta,\n\t})\n}\n\n/** @internal */\nexport const isDomain = (u: unknown): u is Domain.Any =>\n\tPredicate.hasProperty(u, TypeId)\n\n/** @internal */\nexport const getDescriptor = (\n\tdomain: Domain.Any,\n\tkind: string,\n): Resource.Descriptor | undefined => domain.resources.get(kind)\n\n/**\n * Gives the kind name of a resource value, from its `_tag` field.\n *\n * @internal\n */\nexport const kindOf = (value: unknown): string | undefined =>\n\tPredicate.hasProperty(value, \"_tag\") && typeof value._tag === \"string\"\n\t\t? value._tag\n\t\t: undefined\n"],"mappings":";;;;AAQA,MAAa,SAAS;;AAGtB,MAAa,QAAQ,YAIV;CACV,MAAM,4BAAY,IAAI,IAAiC;CACvD,KAAK,MAAM,YAAY,QAAQ,WAAW;EACzC,MAAM,QAAQ,WAAW,QAAQ;EACjC,IAAI,UAAU,IAAI,MAAM,IAAI,GAG3B,MAAM,IAAI,MAAM,qCAAqC,MAAM,KAAK,EAAE;EAEnE,IAAI,MAAM,SAAS,KAClB,MAAM,IAAI,MAAM,2CAA2C;EAE5D,UAAU,IAAI,MAAM,MAAM,KAAK;CAChC;CACA,OAAO,OAAO,OAAO;GACnB,SAAS;EACV,WAAW,QAAQ;EACnB;EACA,MAAM,QAAQ;CACf,CAAC;AACF;;AAGA,MAAa,YAAY,MACxB,UAAU,YAAY,GAAG,MAAM;;AAGhC,MAAa,iBACZ,QACA,SACqC,OAAO,UAAU,IAAI,IAAI;;;;;;AAO/D,MAAa,UAAU,UACtB,UAAU,YAAY,OAAO,MAAM,KAAK,OAAO,MAAM,SAAS,WAC3D,MAAM,OACN,KAAA"}

package/dist/internal/httpApi.js

@@ -0,0 +1,41 @@
+import { GroupRequired, Required } from "../HttpApi.js";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
+import { HttpRouter } from "effect/http";
+// src/internal/httpApi.ts
+/** @internal */
+const requires = (_authorizer, action, kind, load) => Object.freeze(load === void 0 ? {
+	action,
+	kind
+} : {
+	action,
+	kind,
+	load
+});
+/** @internal */
+const layer = (middleware, authorizer) => Layer.effect(middleware, Effect.gen(function* () {
+	const service = yield* authorizer;
+	const services = yield* Effect.context();
+	return Effect.fnUntraced(function* (httpEffect, options) {
+		const requirements = Option.orElse(Context.getOption(options.endpoint.annotations, Required), () => Option.map(Context.getOption(options.group.annotations, GroupRequired), (rules) => options.endpoint.method === "GET" ? rules.read : rules.write));
+		if (Option.isNone(requirements)) return yield* Effect.die(/* @__PURE__ */ new Error(`The endpoint ${options.group.identifier}.${options.endpoint.name} does not say what it needs. Give it the HttpApi.Required annotation.`));
+		for (const requirement of requirements.value) if (requirement.load === void 0) yield* service.check({
+			action: requirement.action,
+			kind: requirement.kind
+		});
+		else {
+			const params = yield* HttpRouter.params;
+			const value = yield* Effect.provideContext(requirement.load(params), services);
+			yield* service.check({
+				action: requirement.action,
+				resource: value
+			});
+		}
+		return yield* httpEffect;
+	});
+}));
+export { layer, requires };
+
+//# sourceMappingURL=httpApi.js.map

package/dist/internal/httpApi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"httpApi.js","names":[],"sources":["../../src/internal/httpApi.ts"],"sourcesContent":["// A `load` function of a requirement is kept in an annotation, so its error\n// type and its service type are erased to `unknown`. The language service\n// check for `unknown` in an Effect is off here.\n// @effect-diagnostics anyUnknownInErrorContext:off\nimport * as Context from \"effect/Context\"\nimport * as Effect from \"effect/Effect\"\nimport * as Layer from \"effect/Layer\"\nimport * as Option from \"effect/Option\"\nimport { HttpRouter } from \"effect/http\"\nimport type * as Authorizer from \"../Authorizer.ts\"\nimport type * as HttpApi from \"../HttpApi.ts\"\nimport { GroupRequired, Required } from \"../HttpApi.ts\"\n\n/** @internal */\nexport const requires = (\n\t_authorizer: unknown,\n\taction: string,\n\tkind: string,\n\tload?: HttpApi.Requirement[\"load\"],\n): HttpApi.Requirement =>\n\tObject.freeze(load === undefined ? { action, kind } : { action, kind, load })\n\n/** @internal */\nexport const layer = (\n\tmiddleware: Context.ServiceClass<any, string, any>,\n\tauthorizer: Authorizer.AnyServiceClass,\n) =>\n\tLayer.effect(\n\t\tmiddleware,\n\t\tEffect.gen(function* () {\n\t\t\tconst service = yield* authorizer\n\t\t\tconst services = yield* Effect.context<never>()\n\t\t\treturn Effect.fnUntraced(function* (\n\t\t\t\thttpEffect: Effect.Effect<unknown, unknown, unknown>,\n\t\t\t\toptions: {\n\t\t\t\t\treadonly endpoint: {\n\t\t\t\t\t\treadonly name: string\n\t\t\t\t\t\treadonly method: string\n\t\t\t\t\t\treadonly annotations: Context.Context<never>\n\t\t\t\t\t}\n\t\t\t\t\treadonly group: {\n\t\t\t\t\t\treadonly identifier: string\n\t\t\t\t\t\treadonly annotations: Context.Context<never>\n\t\t\t\t\t}\n\t\t\t\t},\n\t\t\t) {\n\t\t\t\tconst requirements = Option.orElse(\n\t\t\t\t\tContext.getOption(options.endpoint.annotations, Required),\n\t\t\t\t\t() =>\n\t\t\t\t\t\tOption.map(\n\t\t\t\t\t\t\tContext.getOption(options.group.annotations, GroupRequired),\n\t\t\t\t\t\t\t(rules) =>\n\t\t\t\t\t\t\t\toptions.endpoint.method === \"GET\" ? rules.read : rules.write,\n\t\t\t\t\t\t),\n\t\t\t\t)\n\t\t\t\tif (Option.isNone(requirements)) {\n\t\t\t\t\treturn yield* Effect.die(\n\t\t\t\t\t\tnew Error(\n\t\t\t\t\t\t\t`The endpoint ${options.group.identifier}.${options.endpoint.name} does not say what it needs. Give it the HttpApi.Required annotation.`,\n\t\t\t\t\t\t),\n\t\t\t\t\t)\n\t\t\t\t}\n\t\t\t\tfor (const requirement of requirements.value) {\n\t\t\t\t\tif (requirement.load === undefined) {\n\t\t\t\t\t\tyield* service.check({\n\t\t\t\t\t\t\taction: requirement.action,\n\t\t\t\t\t\t\tkind: requirement.kind,\n\t\t\t\t\t\t} as never)\n\t\t\t\t\t} else {\n\t\t\t\t\t\tconst params = yield* HttpRouter.params\n\t\t\t\t\t\tconst value = yield* Effect.provideContext(\n\t\t\t\t\t\t\trequirement.load(params),\n\t\t\t\t\t\t\tservices,\n\t\t\t\t\t\t)\n\t\t\t\t\t\tyield* service.check({\n\t\t\t\t\t\t\taction: requirement.action,\n\t\t\t\t\t\t\tresource: value,\n\t\t\t\t\t\t} as never)\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\treturn yield* httpEffect\n\t\t\t})\n\t\t}),\n\t)\n"],"mappings":";;;;;;;;AAcA,MAAa,YACZ,aACA,QACA,MACA,SAEA,OAAO,OAAO,SAAS,KAAA,IAAY;CAAE;CAAQ;AAAK,IAAI;CAAE;CAAQ;CAAM;AAAK,CAAC;;AAG7E,MAAa,SACZ,YACA,eAEA,MAAM,OACL,YACA,OAAO,IAAI,aAAa;CACvB,MAAM,UAAU,OAAO;CACvB,MAAM,WAAW,OAAO,OAAO,QAAe;CAC9C,OAAO,OAAO,WAAW,WACxB,YACA,SAWC;EACD,MAAM,eAAe,OAAO,OAC3B,QAAQ,UAAU,QAAQ,SAAS,aAAa,QAAQ,SAEvD,OAAO,IACN,QAAQ,UAAU,QAAQ,MAAM,aAAa,aAAa,IACzD,UACA,QAAQ,SAAS,WAAW,QAAQ,MAAM,OAAO,MAAM,KACzD,CACF;EACA,IAAI,OAAO,OAAO,YAAY,GAC7B,OAAO,OAAO,OAAO,oBACpB,IAAI,MACH,gBAAgB,QAAQ,MAAM,WAAW,GAAG,QAAQ,SAAS,KAAK,sEACnE,CACD;EAED,KAAK,MAAM,eAAe,aAAa,OACtC,IAAI,YAAY,SAAS,KAAA,GACxB,OAAO,QAAQ,MAAM;GACpB,QAAQ,YAAY;GACpB,MAAM,YAAY;EACnB,CAAU;OACJ;GACN,MAAM,SAAS,OAAO,WAAW;GACjC,MAAM,QAAQ,OAAO,OAAO,eAC3B,YAAY,KAAK,MAAM,GACvB,QACD;GACA,OAAO,QAAQ,MAAM;IACpB,QAAQ,YAAY;IACpB,UAAU;GACX,CAAU;EACX;EAED,OAAO,OAAO;CACf,CAAC;AACF,CAAC,CACF"}