@thomasfosterau/effect-rdf 0.0.0-stage → 0.1.0

package/dist/Bindings-Ck3m7JRC.mjs

@@ -0,0 +1,249 @@
+import { t as __exportAll } from "./rolldown-runtime-D8jQpDG7.mjs";
+import { n as empty$1, t as copy } from "./stringMap-D5YIpYtR.mjs";
+import * as Arr from "effect/Array";
+import * as Equal from "effect/Equal";
+import * as Hash from "effect/Hash";
+import { NodeInspectSymbol } from "effect/Inspectable";
+import * as Iterable from "effect/Iterable";
+import * as Option from "effect/Option";
+import { pipeArguments } from "effect/Pipeable";
+import { hasProperty } from "effect/Predicate";
+import * as Order from "effect/Order";
+import * as Record from "effect/Record";
+// src/sparql/Bindings.ts
+/**
+* Solution mappings: immutable maps from variable names to RDF terms.
+*
+* `Bindings` implement `Equal` and `Hash` (two solutions are equal when they
+* bind the same variables to the same terms) and `Iterable` over
+* `[name, term]` pairs.
+*
+* @since 0.1.0
+*/
+var Bindings_exports = /* @__PURE__ */ __exportAll({
+	Bindings: () => Bindings,
+	TypeId: () => TypeId,
+	compatible: () => compatible,
+	empty: () => empty,
+	fromEntries: () => fromEntries,
+	get: () => get,
+	getUndefined: () => getUndefined,
+	has: () => has,
+	isBindings: () => isBindings,
+	make: () => make,
+	merge: () => merge,
+	project: () => project,
+	remove: () => remove,
+	set: () => set,
+	sharesVariable: () => sharesVariable,
+	toRecord: () => toRecord,
+	variables: () => variables
+});
+/** Orders `[name, term]` entries by name. */
+const byName = Order.mapInput(Order.String, ([name]) => name);
+/**
+* @since 0.1.0
+* @category symbols
+*/
+const TypeId = Symbol.for("@thomasfosterau/effect-rdf/sparql/Bindings");
+/**
+* A solution mapping.
+*
+* @since 0.1.0
+* @category models
+*/
+var Bindings = class {
+	[TypeId] = TypeId;
+	#key = Option.none();
+	/** @internal */
+	map;
+	/**
+	* The solution this one was extended from (by `BIND` / select
+	* expressions), identifying the "same solution" for `BNODE(str)`.
+	*
+	* @internal
+	*/
+	origin;
+	constructor(map, origin) {
+		this.map = map;
+		this.origin = origin;
+	}
+	/** The number of bound variables. */
+	get size() {
+		return this.map.size;
+	}
+	/** A canonical string identifying this solution (used for hashing and DISTINCT). */
+	get key() {
+		if (Option.isSome(this.#key)) return this.#key.value;
+		const key = Arr.sort(this.map, byName).map(([n, t]) => `${n}=${t.key}`).join("\0");
+		this.#key = Option.some(key);
+		return key;
+	}
+	[Symbol.iterator]() {
+		return this.map.entries();
+	}
+	[Equal.symbol](that) {
+		return isEqualBindings(that) && that.key === this.key;
+	}
+	[Hash.symbol]() {
+		return Hash.string(this.key);
+	}
+	pipe() {
+		return pipeArguments(this, arguments);
+	}
+	toJSON() {
+		return Record.fromEntries(Array.from(this.map, ([k, v]) => [k, v.toString()]));
+	}
+	toString() {
+		return `{ ${Array.from(this.map, ([k, v]) => `?${k} → ${v.toString()}`).join(", ")} }`;
+	}
+	[NodeInspectSymbol]() {
+		return this.toJSON();
+	}
+};
+/**
+* @since 0.1.0
+* @category guards
+*/
+const isBindings = (u) => hasProperty(u, TypeId);
+const isEqualBindings = (that) => hasProperty(that, TypeId);
+/**
+* The empty solution mapping (the join identity).
+*
+* @since 0.1.0
+* @category constructors
+*/
+const empty = new Bindings(empty$1());
+/**
+* @since 0.1.0
+* @category constructors
+*/
+const fromEntries = (entries) => {
+	const map = empty$1();
+	Iterable.forEach(entries, ([k, v]) => {
+		if (v !== void 0) map.set(k, v);
+	});
+	return new Bindings(map);
+};
+/**
+* Creates bindings from a record of variable names (without `?`) to terms.
+* `undefined` values are left unbound.
+*
+* @since 0.1.0
+* @category constructors
+*/
+const make = (record) => fromEntries(Record.toEntries(record));
+/**
+* The term bound to a variable, if any.
+*
+* @since 0.1.0
+* @category getters
+*/
+const get = (self, name) => Option.fromNullishOr(self.map.get(name));
+/**
+* The term bound to a variable, or `undefined`.
+*
+* @since 0.1.0
+* @category getters
+*/
+const getUndefined = (self, name) => self.map.get(name);
+/**
+* @since 0.1.0
+* @category getters
+*/
+const has = (self, name) => self.map.has(name);
+/**
+* The names of the bound variables.
+*
+* @since 0.1.0
+* @category getters
+*/
+const variables = (self) => Array.from(self.map.keys());
+/**
+* Binds a variable (replacing any existing binding).
+*
+* @since 0.1.0
+* @category combinators
+*/
+const set = (self, name, term) => {
+	const map = copy(self.map);
+	map.set(name, term);
+	return new Bindings(map, self.origin ?? self);
+};
+/**
+* Removes a binding.
+*
+* @since 0.1.0
+* @category combinators
+*/
+const remove = (self, name) => {
+	if (!self.map.has(name)) return self;
+	const map = copy(self.map);
+	map.delete(name);
+	return new Bindings(map);
+};
+/**
+* Whether two solutions are compatible: every shared variable is bound to
+* the same term.
+*
+* @since 0.1.0
+* @category predicates
+*/
+const compatible = (a, b) => {
+	const [small, large] = a.map.size <= b.map.size ? [a, b] : [b, a];
+	return !Iterable.some(small.map, ([k, v]) => {
+		const w = large.map.get(k);
+		return w !== void 0 && w.key !== v.key;
+	});
+};
+/**
+* Whether two solutions share at least one variable.
+*
+* @since 0.1.0
+* @category predicates
+*/
+const sharesVariable = (a, b) => {
+	const [small, large] = a.map.size <= b.map.size ? [a, b] : [b, a];
+	return Iterable.some(small.map.keys(), (k) => large.map.has(k));
+};
+/**
+* Merges two solutions, returning `undefined` if they are not compatible.
+*
+* @since 0.1.0
+* @category combinators
+*/
+const merge = (a, b) => {
+	if (b.map.size === 0) return a;
+	if (a.map.size === 0) return b;
+	const map = copy(a.map);
+	return Iterable.some(b.map, ([k, v]) => {
+		const w = map.get(k);
+		if (w !== void 0) return w.key !== v.key;
+		map.set(k, v);
+		return false;
+	}) ? void 0 : new Bindings(map);
+};
+/**
+* Restricts a solution to the given variables.
+*
+* @since 0.1.0
+* @category combinators
+*/
+const project = (self, names) => {
+	const map = empty$1();
+	names.forEach((n) => {
+		const v = self.map.get(n);
+		if (v !== void 0) map.set(n, v);
+	});
+	return map.size === self.map.size ? self : new Bindings(map);
+};
+/**
+* Converts a solution to a plain record.
+*
+* @since 0.1.0
+* @category conversions
+*/
+const toRecord = (self) => Record.fromEntries(self.map);
+export { toRecord as _, empty as a, getUndefined as c, make as d, merge as f, sharesVariable as g, set as h, compatible as i, has as l, remove as m, Bindings_exports as n, fromEntries as o, project as p, TypeId as r, get as s, Bindings as t, isBindings as u, variables as v };
+
+//# sourceMappingURL=Bindings-Ck3m7JRC.mjs.map

package/dist/Bindings-Ck3m7JRC.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bindings-Ck3m7JRC.mjs","names":["StringMap.empty","StringMap.copy"],"sources":["../src/sparql/Bindings.ts"],"sourcesContent":["/**\n * Solution mappings: immutable maps from variable names to RDF terms.\n *\n * `Bindings` implement `Equal` and `Hash` (two solutions are equal when they\n * bind the same variables to the same terms) and `Iterable` over\n * `[name, term]` pairs.\n *\n * @since 0.1.0\n */\nimport * as Arr from 'effect/Array';\nimport * as Equal from 'effect/Equal';\nimport * as Hash from 'effect/Hash';\nimport { NodeInspectSymbol } from 'effect/Inspectable';\nimport * as Iterable from 'effect/Iterable';\nimport * as Option from 'effect/Option';\nimport * as Order from 'effect/Order';\nimport { pipeArguments, type Pipeable } from 'effect/Pipeable';\nimport { hasProperty } from 'effect/Predicate';\nimport * as Record from 'effect/Record';\nimport type * as Term from '../Term.ts';\nimport * as StringMap from './internal/stringMap.ts';\n\n/** Orders `[name, term]` entries by name. */\nconst byName = Order.mapInput(Order.String, ([name]: readonly [string, Term.GroundTerm]) => name);\n\n/**\n * @since 0.1.0\n * @category symbols\n */\nexport const TypeId: unique symbol = Symbol.for('@thomasfosterau/effect-rdf/sparql/Bindings');\n\n/**\n * @since 0.1.0\n * @category symbols\n */\nexport type TypeId = typeof TypeId;\n\n/**\n * A solution mapping.\n *\n * @since 0.1.0\n * @category models\n */\nexport class Bindings\n  implements Iterable<readonly [string, Term.GroundTerm]>, Equal.Equal, Pipeable\n{\n  readonly [TypeId]: TypeId = TypeId;\n  #key = Option.none<string>();\n  /** @internal */\n  readonly map: ReadonlyMap<string, Term.GroundTerm>;\n  /**\n   * The solution this one was extended from (by `BIND` / select\n   * expressions), identifying the \"same solution\" for `BNODE(str)`.\n   *\n   * @internal\n   */\n  readonly origin: Bindings | undefined;\n  constructor(map: ReadonlyMap<string, Term.GroundTerm>, origin?: Bindings) {\n    this.map = map;\n    this.origin = origin;\n  }\n\n  /** The number of bound variables. */\n  get size(): number {\n    return this.map.size;\n  }\n\n  /** A canonical string identifying this solution (used for hashing and DISTINCT). */\n  get key(): string {\n    if (Option.isSome(this.#key)) return this.#key.value;\n    const key = Arr.sort(this.map, byName)\n      .map(([n, t]) => `${n}=${t.key}`)\n      .join('\\u0000');\n    this.#key = Option.some(key);\n    return key;\n  }\n\n  [Symbol.iterator](): Iterator<readonly [string, Term.GroundTerm]> {\n    return this.map.entries();\n  }\n\n  [Equal.symbol](that: Equal.Equal): boolean {\n    return isEqualBindings(that) && that.key === this.key;\n  }\n\n  [Hash.symbol](): number {\n    return Hash.string(this.key);\n  }\n\n  pipe() {\n    return pipeArguments(this, arguments);\n  }\n\n  toJSON(): Readonly<Record<string, string>> {\n    return Record.fromEntries(Array.from(this.map, ([k, v]) => [k, v.toString()]));\n  }\n\n  toString(): string {\n    return `{ ${Array.from(this.map, ([k, v]) => `?${k} → ${v.toString()}`).join(', ')} }`;\n  }\n\n  [NodeInspectSymbol](): Readonly<Record<string, string>> {\n    return this.toJSON();\n  }\n}\n\n/**\n * @since 0.1.0\n * @category guards\n */\nexport const isBindings = (u: unknown): u is Bindings => hasProperty(u, TypeId);\n\nconst isEqualBindings = (that: Equal.Equal): that is Bindings => hasProperty(that, TypeId);\n\n/**\n * The empty solution mapping (the join identity).\n *\n * @since 0.1.0\n * @category constructors\n */\nexport const empty: Bindings = new Bindings(StringMap.empty());\n\n/**\n * @since 0.1.0\n * @category constructors\n */\nexport const fromEntries = (\n  entries: Iterable<readonly [string, Term.GroundTerm | undefined]>,\n): Bindings => {\n  const map = StringMap.empty<Term.GroundTerm>();\n  Iterable.forEach(entries, ([k, v]) => {\n    if (v !== undefined) map.set(k, v);\n  });\n  return new Bindings(map);\n};\n\n/**\n * Creates bindings from a record of variable names (without `?`) to terms.\n * `undefined` values are left unbound.\n *\n * @since 0.1.0\n * @category constructors\n */\nexport const make = (record: Readonly<Record<string, Term.GroundTerm | undefined>>): Bindings =>\n  fromEntries(Record.toEntries(record));\n\n/**\n * The term bound to a variable, if any.\n *\n * @since 0.1.0\n * @category getters\n */\nexport const get = (self: Bindings, name: string): Option.Option<Term.GroundTerm> =>\n  Option.fromNullishOr(self.map.get(name));\n\n/**\n * The term bound to a variable, or `undefined`.\n *\n * @since 0.1.0\n * @category getters\n */\nexport const getUndefined = (self: Bindings, name: string): Term.GroundTerm | undefined =>\n  self.map.get(name);\n\n/**\n * @since 0.1.0\n * @category getters\n */\nexport const has = (self: Bindings, name: string): boolean => self.map.has(name);\n\n/**\n * The names of the bound variables.\n *\n * @since 0.1.0\n * @category getters\n */\nexport const variables = (self: Bindings): ReadonlyArray<string> => Array.from(self.map.keys());\n\n/**\n * Binds a variable (replacing any existing binding).\n *\n * @since 0.1.0\n * @category combinators\n */\nexport const set = (self: Bindings, name: string, term: Term.GroundTerm): Bindings => {\n  const map = StringMap.copy(self.map);\n  map.set(name, term);\n  return new Bindings(map, self.origin ?? self);\n};\n\n/**\n * Removes a binding.\n *\n * @since 0.1.0\n * @category combinators\n */\nexport const remove = (self: Bindings, name: string): Bindings => {\n  if (!self.map.has(name)) return self;\n  const map = StringMap.copy(self.map);\n  map.delete(name);\n  return new Bindings(map);\n};\n\n/**\n * Whether two solutions are compatible: every shared variable is bound to\n * the same term.\n *\n * @since 0.1.0\n * @category predicates\n */\nexport const compatible = (a: Bindings, b: Bindings): boolean => {\n  const [small, large] = a.map.size <= b.map.size ? [a, b] : [b, a];\n  return !Iterable.some(small.map, ([k, v]) => {\n    const w = large.map.get(k);\n    return w !== undefined && w.key !== v.key;\n  });\n};\n\n/**\n * Whether two solutions share at least one variable.\n *\n * @since 0.1.0\n * @category predicates\n */\nexport const sharesVariable = (a: Bindings, b: Bindings): boolean => {\n  const [small, large] = a.map.size <= b.map.size ? [a, b] : [b, a];\n  return Iterable.some(small.map.keys(), (k) => large.map.has(k));\n};\n\n/**\n * Merges two solutions, returning `undefined` if they are not compatible.\n *\n * @since 0.1.0\n * @category combinators\n */\nexport const merge = (a: Bindings, b: Bindings): Bindings | undefined => {\n  if (b.map.size === 0) return a;\n  if (a.map.size === 0) return b;\n  const map = StringMap.copy(a.map);\n  // The first variable bound to different terms, if any (the others are merged in on the way).\n  const clash = Iterable.some(b.map, ([k, v]) => {\n    const w = map.get(k);\n    if (w !== undefined) return w.key !== v.key;\n    map.set(k, v);\n    return false;\n  });\n  return clash ? undefined : new Bindings(map);\n};\n\n/**\n * Restricts a solution to the given variables.\n *\n * @since 0.1.0\n * @category combinators\n */\nexport const project = (self: Bindings, names: ReadonlyArray<string>): Bindings => {\n  const map = StringMap.empty<Term.GroundTerm>();\n  names.forEach((n) => {\n    const v = self.map.get(n);\n    if (v !== undefined) map.set(n, v);\n  });\n  return map.size === self.map.size ? self : new Bindings(map);\n};\n\n/**\n * Converts a solution to a plain record.\n *\n * @since 0.1.0\n * @category conversions\n */\nexport const toRecord = (self: Bindings): Readonly<Record<string, Term.GroundTerm>> =>\n  Record.fromEntries(self.map);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBA,MAAM,SAAS,MAAM,SAAS,MAAM,SAAS,CAAC,UAA8C,IAAI;;;;;AAMhG,MAAa,SAAwB,OAAO,IAAI,4CAA4C;;;;;;;AAc5F,IAAa,WAAb,MAEA;CACE,CAAU,UAAkB;CAC5B,OAAO,OAAO,KAAa;;CAE3B;;;;;;;CAOA;CACA,YAAY,KAA2C,QAAmB;EACxE,KAAK,MAAM;EACX,KAAK,SAAS;CAChB;;CAGA,IAAI,OAAe;EACjB,OAAO,KAAK,IAAI;CAClB;;CAGA,IAAI,MAAc;EAChB,IAAI,OAAO,OAAO,KAAK,IAAI,GAAG,OAAO,KAAK,KAAK;EAC/C,MAAM,MAAM,IAAI,KAAK,KAAK,KAAK,MAAM,CAAC,CACnC,KAAK,CAAC,GAAG,OAAO,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAChC,KAAK,IAAQ;EAChB,KAAK,OAAO,OAAO,KAAK,GAAG;EAC3B,OAAO;CACT;CAEA,CAAC,OAAO,YAA0D;EAChE,OAAO,KAAK,IAAI,QAAQ;CAC1B;CAEA,CAAC,MAAM,QAAQ,MAA4B;EACzC,OAAO,gBAAgB,IAAI,KAAK,KAAK,QAAQ,KAAK;CACpD;CAEA,CAAC,KAAK,UAAkB;EACtB,OAAO,KAAK,OAAO,KAAK,GAAG;CAC7B;CAEA,OAAO;EACL,OAAO,cAAc,MAAM,SAAS;CACtC;CAEA,SAA2C;EACzC,OAAO,OAAO,YAAY,MAAM,KAAK,KAAK,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;CAC/E;CAEA,WAAmB;EACjB,OAAO,KAAK,MAAM,KAAK,KAAK,MAAM,CAAC,GAAG,OAAO,IAAI,EAAE,KAAK,EAAE,SAAS,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE;CACrF;CAEA,CAAC,qBAAuD;EACtD,OAAO,KAAK,OAAO;CACrB;AACF;;;;;AAMA,MAAa,cAAc,MAA8B,YAAY,GAAG,MAAM;AAE9E,MAAM,mBAAmB,SAAwC,YAAY,MAAM,MAAM;;;;;;;AAQzF,MAAa,QAAkB,IAAI,SAASA,QAAgB,CAAC;;;;;AAM7D,MAAa,eACX,YACa;CACb,MAAM,MAAMA,QAAiC;CAC7C,SAAS,QAAQ,UAAU,CAAC,GAAG,OAAO;EACpC,IAAI,MAAM,KAAA,GAAW,IAAI,IAAI,GAAG,CAAC;CACnC,CAAC;CACD,OAAO,IAAI,SAAS,GAAG;AACzB;;;;;;;;AASA,MAAa,QAAQ,WACnB,YAAY,OAAO,UAAU,MAAM,CAAC;;;;;;;AAQtC,MAAa,OAAO,MAAgB,SAClC,OAAO,cAAc,KAAK,IAAI,IAAI,IAAI,CAAC;;;;;;;AAQzC,MAAa,gBAAgB,MAAgB,SAC3C,KAAK,IAAI,IAAI,IAAI;;;;;AAMnB,MAAa,OAAO,MAAgB,SAA0B,KAAK,IAAI,IAAI,IAAI;;;;;;;AAQ/E,MAAa,aAAa,SAA0C,MAAM,KAAK,KAAK,IAAI,KAAK,CAAC;;;;;;;AAQ9F,MAAa,OAAO,MAAgB,MAAc,SAAoC;CACpF,MAAM,MAAMC,KAAe,KAAK,GAAG;CACnC,IAAI,IAAI,MAAM,IAAI;CAClB,OAAO,IAAI,SAAS,KAAK,KAAK,UAAU,IAAI;AAC9C;;;;;;;AAQA,MAAa,UAAU,MAAgB,SAA2B;CAChE,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,GAAG,OAAO;CAChC,MAAM,MAAMA,KAAe,KAAK,GAAG;CACnC,IAAI,OAAO,IAAI;CACf,OAAO,IAAI,SAAS,GAAG;AACzB;;;;;;;;AASA,MAAa,cAAc,GAAa,MAAyB;CAC/D,MAAM,CAAC,OAAO,SAAS,EAAE,IAAI,QAAQ,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;CAChE,OAAO,CAAC,SAAS,KAAK,MAAM,MAAM,CAAC,GAAG,OAAO;EAC3C,MAAM,IAAI,MAAM,IAAI,IAAI,CAAC;EACzB,OAAO,MAAM,KAAA,KAAa,EAAE,QAAQ,EAAE;CACxC,CAAC;AACH;;;;;;;AAQA,MAAa,kBAAkB,GAAa,MAAyB;CACnE,MAAM,CAAC,OAAO,SAAS,EAAE,IAAI,QAAQ,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;CAChE,OAAO,SAAS,KAAK,MAAM,IAAI,KAAK,IAAI,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC;AAChE;;;;;;;AAQA,MAAa,SAAS,GAAa,MAAsC;CACvE,IAAI,EAAE,IAAI,SAAS,GAAG,OAAO;CAC7B,IAAI,EAAE,IAAI,SAAS,GAAG,OAAO;CAC7B,MAAM,MAAMA,KAAe,EAAE,GAAG;CAQhC,OANc,SAAS,KAAK,EAAE,MAAM,CAAC,GAAG,OAAO;EAC7C,MAAM,IAAI,IAAI,IAAI,CAAC;EACnB,IAAI,MAAM,KAAA,GAAW,OAAO,EAAE,QAAQ,EAAE;EACxC,IAAI,IAAI,GAAG,CAAC;EACZ,OAAO;CACT,CACW,IAAI,KAAA,IAAY,IAAI,SAAS,GAAG;AAC7C;;;;;;;AAQA,MAAa,WAAW,MAAgB,UAA2C;CACjF,MAAM,MAAMD,QAAiC;CAC7C,MAAM,SAAS,MAAM;EACnB,MAAM,IAAI,KAAK,IAAI,IAAI,CAAC;EACxB,IAAI,MAAM,KAAA,GAAW,IAAI,IAAI,GAAG,CAAC;CACnC,CAAC;CACD,OAAO,IAAI,SAAS,KAAK,IAAI,OAAO,OAAO,IAAI,SAAS,GAAG;AAC7D;;;;;;;AAQA,MAAa,YAAY,SACvB,OAAO,YAAY,KAAK,GAAG"}

package/dist/Bindings-DiKpBd7f.d.mts

@@ -0,0 +1,153 @@
+import { s as GroundTerm } from "./Term-B_4ezyXq.mjs";
+import * as Equal from "effect/Equal";
+import * as Hash from "effect/Hash";
+import { NodeInspectSymbol } from "effect/Inspectable";
+import * as Option from "effect/Option";
+import { Pipeable } from "effect/Pipeable";
+declare namespace Bindings_d_exports {
+  export { Bindings, TypeId, compatible, empty, fromEntries, get, getUndefined, has, isBindings, make, merge, project, remove, set, sharesVariable, toRecord, variables };
+}
+/**
+ * @since 0.1.0
+ * @category symbols
+ */
+declare const TypeId: unique symbol;
+/**
+ * @since 0.1.0
+ * @category symbols
+ */
+type TypeId = typeof TypeId;
+/**
+ * A solution mapping.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+declare class Bindings implements Iterable<readonly [string, GroundTerm]>, Equal.Equal, Pipeable {
+  #private;
+  readonly [TypeId]: TypeId;
+  /** @internal */
+  readonly map: ReadonlyMap<string, GroundTerm>;
+  /**
+   * The solution this one was extended from (by `BIND` / select
+   * expressions), identifying the "same solution" for `BNODE(str)`.
+   *
+   * @internal
+   */
+  readonly origin: Bindings | undefined;
+  constructor(map: ReadonlyMap<string, GroundTerm>, origin?: Bindings);
+  /** The number of bound variables. */
+  get size(): number;
+  /** A canonical string identifying this solution (used for hashing and DISTINCT). */
+  get key(): string;
+  [Symbol.iterator](): Iterator<readonly [string, GroundTerm]>;
+  [Equal.symbol](that: Equal.Equal): boolean;
+  [Hash.symbol](): number;
+  pipe(): unknown;
+  toJSON(): Readonly<Record<string, string>>;
+  toString(): string;
+  [NodeInspectSymbol](): Readonly<Record<string, string>>;
+}
+/**
+ * @since 0.1.0
+ * @category guards
+ */
+declare const isBindings: (u: unknown) => u is Bindings;
+/**
+ * The empty solution mapping (the join identity).
+ *
+ * @since 0.1.0
+ * @category constructors
+ */
+declare const empty: Bindings;
+/**
+ * @since 0.1.0
+ * @category constructors
+ */
+declare const fromEntries: (entries: Iterable<readonly [string, GroundTerm | undefined]>) => Bindings;
+/**
+ * Creates bindings from a record of variable names (without `?`) to terms.
+ * `undefined` values are left unbound.
+ *
+ * @since 0.1.0
+ * @category constructors
+ */
+declare const make: (record: Readonly<Record<string, GroundTerm | undefined>>) => Bindings;
+/**
+ * The term bound to a variable, if any.
+ *
+ * @since 0.1.0
+ * @category getters
+ */
+declare const get: (self: Bindings, name: string) => Option.Option<GroundTerm>;
+/**
+ * The term bound to a variable, or `undefined`.
+ *
+ * @since 0.1.0
+ * @category getters
+ */
+declare const getUndefined: (self: Bindings, name: string) => GroundTerm | undefined;
+/**
+ * @since 0.1.0
+ * @category getters
+ */
+declare const has: (self: Bindings, name: string) => boolean;
+/**
+ * The names of the bound variables.
+ *
+ * @since 0.1.0
+ * @category getters
+ */
+declare const variables: (self: Bindings) => ReadonlyArray<string>;
+/**
+ * Binds a variable (replacing any existing binding).
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+declare const set: (self: Bindings, name: string, term: GroundTerm) => Bindings;
+/**
+ * Removes a binding.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+declare const remove: (self: Bindings, name: string) => Bindings;
+/**
+ * Whether two solutions are compatible: every shared variable is bound to
+ * the same term.
+ *
+ * @since 0.1.0
+ * @category predicates
+ */
+declare const compatible: (a: Bindings, b: Bindings) => boolean;
+/**
+ * Whether two solutions share at least one variable.
+ *
+ * @since 0.1.0
+ * @category predicates
+ */
+declare const sharesVariable: (a: Bindings, b: Bindings) => boolean;
+/**
+ * Merges two solutions, returning `undefined` if they are not compatible.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+declare const merge: (a: Bindings, b: Bindings) => Bindings | undefined;
+/**
+ * Restricts a solution to the given variables.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+declare const project: (self: Bindings, names: ReadonlyArray<string>) => Bindings;
+/**
+ * Converts a solution to a plain record.
+ *
+ * @since 0.1.0
+ * @category conversions
+ */
+declare const toRecord: (self: Bindings) => Readonly<Record<string, GroundTerm>>;
+export { toRecord as _, empty as a, getUndefined as c, make as d, merge as f, sharesVariable as g, set as h, compatible as i, has as l, remove as m, Bindings_d_exports as n, fromEntries as o, project as p, TypeId as r, get as s, Bindings as t, isBindings as u, variables as v };
+//# sourceMappingURL=Bindings-DiKpBd7f.d.mts.map

package/dist/ClientErrors-CpXdFX5u.mjs

@@ -0,0 +1,128 @@
+import { t as __exportAll } from "./rolldown-runtime-D8jQpDG7.mjs";
+import * as HashSet from "effect/HashSet";
+import * as Predicate from "effect/Predicate";
+import * as Schema from "effect/Schema";
+import * as Match from "effect/Match";
+// src/sparql/ClientErrors.ts
+/**
+* The errors of the SPARQL client. Every operation fails with a
+* `SparqlClientError`, one of:
+*
+* - `HttpStatusError`: the server answered with a non-success status (the
+*   response body is kept, e.g. a syntax error message);
+* - `MalformedResponseError`: the response could not be parsed;
+* - `UnsupportedMediaTypeError`: the response has a media type the client
+*   cannot read;
+* - `TransportError`: the request could not be sent or the response not
+*   received;
+* - `TimeoutError`: the request exceeded the configured timeout;
+* - `ConfigurationError`: the operation needs an endpoint that is not
+*   configured.
+*
+* @since 0.1.0
+*/
+var ClientErrors_exports = /* @__PURE__ */ __exportAll({
+	ConfigurationError: () => ConfigurationError,
+	HttpStatusError: () => HttpStatusError,
+	MalformedResponseError: () => MalformedResponseError,
+	TimeoutError: () => TimeoutError,
+	TransportError: () => TransportError,
+	UnsupportedMediaTypeError: () => UnsupportedMediaTypeError,
+	isSparqlClientError: () => isSparqlClientError,
+	isTransient: () => isTransient
+});
+/**
+* The server answered with a non-success HTTP status.
+*
+* @since 0.1.0
+* @category errors
+*/
+var HttpStatusError = class extends Schema.TaggedError()("HttpStatusError", {
+	method: Schema.String,
+	url: Schema.String,
+	status: Schema.Number,
+	/** The response body (truncated to 64 KiB). */
+	body: Schema.String
+}) {
+	get message() {
+		const body = this.body.trim();
+		return `${this.method} ${this.url} failed with status ${this.status}${body === "" ? "" : `: ${body.slice(0, 500)}`}`;
+	}
+};
+/**
+* The response could not be parsed.
+*
+* @since 0.1.0
+* @category errors
+*/
+var MalformedResponseError = class extends Schema.TaggedError()("MalformedResponseError", {
+	message: Schema.String,
+	contentType: Schema.optional(Schema.String),
+	cause: Schema.optional(Schema.Defect())
+}) {};
+/**
+* The response has a media type the client cannot read.
+*
+* @since 0.1.0
+* @category errors
+*/
+var UnsupportedMediaTypeError = class extends Schema.TaggedError()("UnsupportedMediaTypeError", {
+	contentType: Schema.String,
+	expected: Schema.Array(Schema.String)
+}) {
+	get message() {
+		return `Unsupported response media type '${this.contentType}' (expected one of ${this.expected.join(", ")})`;
+	}
+};
+/**
+* The request could not be sent or the response not received.
+*
+* @since 0.1.0
+* @category errors
+*/
+var TransportError = class extends Schema.TaggedError()("TransportError", {
+	message: Schema.String,
+	cause: Schema.optional(Schema.Defect())
+}) {};
+/**
+* The request exceeded the configured timeout.
+*
+* @since 0.1.0
+* @category errors
+*/
+var TimeoutError = class extends Schema.TaggedError()("TimeoutError", { message: Schema.String }) {};
+/**
+* The operation needs an endpoint that is not configured (e.g. a Graph
+* Store operation without `graphStoreEndpoint`).
+*
+* @since 0.1.0
+* @category errors
+*/
+var ConfigurationError = class extends Schema.TaggedError()("ConfigurationError", { message: Schema.String }) {};
+const TAGS = HashSet.make("HttpStatusError", "MalformedResponseError", "UnsupportedMediaTypeError", "TransportError", "TimeoutError", "ConfigurationError");
+/**
+* Whether a value is a `SparqlClientError`.
+*
+* @since 0.1.0
+* @category guards
+*/
+const isSparqlClientError = (u) => Predicate.isTagged(u, "HttpStatusError") || Predicate.hasProperty(u, "_tag") && Predicate.isString(u._tag) && HashSet.has(TAGS, u._tag);
+/**
+* Whether an error is worth retrying: transport failures, timeouts, and the
+* statuses `408`, `429`, `502`, `503` and `504`.
+*
+* @since 0.1.0
+* @category guards
+*/
+const isTransient = (error) => {
+	return Match.value(error).pipe(Match.tag("TransportError", "TimeoutError", () => true), Match.tag("HttpStatusError", (http) => [
+		408,
+		429,
+		502,
+		503,
+		504
+	].includes(http.status)), Match.orElse(() => false));
+};
+export { TimeoutError as a, isSparqlClientError as c, MalformedResponseError as i, isTransient as l, ConfigurationError as n, TransportError as o, HttpStatusError as r, UnsupportedMediaTypeError as s, ClientErrors_exports as t };
+
+//# sourceMappingURL=ClientErrors-CpXdFX5u.mjs.map

package/dist/ClientErrors-CpXdFX5u.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ClientErrors-CpXdFX5u.mjs","names":[],"sources":["../src/sparql/ClientErrors.ts"],"sourcesContent":["/**\n * The errors of the SPARQL client. Every operation fails with a\n * `SparqlClientError`, one of:\n *\n * - `HttpStatusError`: the server answered with a non-success status (the\n *   response body is kept, e.g. a syntax error message);\n * - `MalformedResponseError`: the response could not be parsed;\n * - `UnsupportedMediaTypeError`: the response has a media type the client\n *   cannot read;\n * - `TransportError`: the request could not be sent or the response not\n *   received;\n * - `TimeoutError`: the request exceeded the configured timeout;\n * - `ConfigurationError`: the operation needs an endpoint that is not\n *   configured.\n *\n * @since 0.1.0\n */\nimport * as HashSet from 'effect/HashSet';\nimport * as Match from 'effect/Match';\nimport * as Predicate from 'effect/Predicate';\nimport * as Schema from 'effect/Schema';\n\n/**\n * The server answered with a non-success HTTP status.\n *\n * @since 0.1.0\n * @category errors\n */\nexport class HttpStatusError extends Schema.TaggedError<HttpStatusError>()('HttpStatusError', {\n  method: Schema.String,\n  url: Schema.String,\n  status: Schema.Number,\n  /** The response body (truncated to 64 KiB). */\n  body: Schema.String,\n}) {\n  override get message(): string {\n    const body = this.body.trim();\n    return `${this.method} ${this.url} failed with status ${this.status}${body === '' ? '' : `: ${body.slice(0, 500)}`}`;\n  }\n}\n\n/**\n * The response could not be parsed.\n *\n * @since 0.1.0\n * @category errors\n */\nexport class MalformedResponseError extends Schema.TaggedError<MalformedResponseError>()(\n  'MalformedResponseError',\n  {\n    message: Schema.String,\n    contentType: Schema.optional(Schema.String),\n    cause: Schema.optional(Schema.Defect()),\n  },\n) {}\n\n/**\n * The response has a media type the client cannot read.\n *\n * @since 0.1.0\n * @category errors\n */\nexport class UnsupportedMediaTypeError extends Schema.TaggedError<UnsupportedMediaTypeError>()(\n  'UnsupportedMediaTypeError',\n  {\n    contentType: Schema.String,\n    expected: Schema.Array(Schema.String),\n  },\n) {\n  override get message(): string {\n    return `Unsupported response media type '${this.contentType}' (expected one of ${this.expected.join(', ')})`;\n  }\n}\n\n/**\n * The request could not be sent or the response not received.\n *\n * @since 0.1.0\n * @category errors\n */\nexport class TransportError extends Schema.TaggedError<TransportError>()('TransportError', {\n  message: Schema.String,\n  cause: Schema.optional(Schema.Defect()),\n}) {}\n\n/**\n * The request exceeded the configured timeout.\n *\n * @since 0.1.0\n * @category errors\n */\nexport class TimeoutError extends Schema.TaggedError<TimeoutError>()('TimeoutError', {\n  message: Schema.String,\n}) {}\n\n/**\n * The operation needs an endpoint that is not configured (e.g. a Graph\n * Store operation without `graphStoreEndpoint`).\n *\n * @since 0.1.0\n * @category errors\n */\nexport class ConfigurationError extends Schema.TaggedError<ConfigurationError>()(\n  'ConfigurationError',\n  {\n    message: Schema.String,\n  },\n) {}\n\n/**\n * Any error of the SPARQL client.\n *\n * @since 0.1.0\n * @category errors\n */\nexport type SparqlClientError =\n  | HttpStatusError\n  | MalformedResponseError\n  | UnsupportedMediaTypeError\n  | TransportError\n  | TimeoutError\n  | ConfigurationError;\n\nconst TAGS = HashSet.make(\n  'HttpStatusError',\n  'MalformedResponseError',\n  'UnsupportedMediaTypeError',\n  'TransportError',\n  'TimeoutError',\n  'ConfigurationError',\n);\n\n/**\n * Whether a value is a `SparqlClientError`.\n *\n * @since 0.1.0\n * @category guards\n */\nexport const isSparqlClientError = (u: unknown): u is SparqlClientError =>\n  Predicate.isTagged(u, 'HttpStatusError') ||\n  (Predicate.hasProperty(u, '_tag') && Predicate.isString(u._tag) && HashSet.has(TAGS, u._tag));\n\n/**\n * Whether an error is worth retrying: transport failures, timeouts, and the\n * statuses `408`, `429`, `502`, `503` and `504`.\n *\n * @since 0.1.0\n * @category guards\n */\nexport const isTransient = (error: SparqlClientError): boolean => {\n  return Match.value(error).pipe(\n    Match.tag('TransportError', 'TimeoutError', () => true),\n    Match.tag('HttpStatusError', (http) => [408, 429, 502, 503, 504].includes(http.status)),\n    Match.orElse(() => false),\n  );\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,IAAa,kBAAb,cAAqC,OAAO,YAA6B,CAAC,CAAC,mBAAmB;CAC5F,QAAQ,OAAO;CACf,KAAK,OAAO;CACZ,QAAQ,OAAO;;CAEf,MAAM,OAAO;AACf,CAAC,CAAC,CAAC;CACD,IAAa,UAAkB;EAC7B,MAAM,OAAO,KAAK,KAAK,KAAK;EAC5B,OAAO,GAAG,KAAK,OAAO,GAAG,KAAK,IAAI,sBAAsB,KAAK,SAAS,SAAS,KAAK,KAAK,KAAK,KAAK,MAAM,GAAG,GAAG;CACjH;AACF;;;;;;;AAQA,IAAa,yBAAb,cAA4C,OAAO,YAAoC,CAAC,CACtF,0BACA;CACE,SAAS,OAAO;CAChB,aAAa,OAAO,SAAS,OAAO,MAAM;CAC1C,OAAO,OAAO,SAAS,OAAO,OAAO,CAAC;AACxC,CACF,CAAC,CAAC,CAAC;;;;;;;AAQH,IAAa,4BAAb,cAA+C,OAAO,YAAuC,CAAC,CAC5F,6BACA;CACE,aAAa,OAAO;CACpB,UAAU,OAAO,MAAM,OAAO,MAAM;AACtC,CACF,CAAC,CAAC;CACA,IAAa,UAAkB;EAC7B,OAAO,oCAAoC,KAAK,YAAY,qBAAqB,KAAK,SAAS,KAAK,IAAI,EAAE;CAC5G;AACF;;;;;;;AAQA,IAAa,iBAAb,cAAoC,OAAO,YAA4B,CAAC,CAAC,kBAAkB;CACzF,SAAS,OAAO;CAChB,OAAO,OAAO,SAAS,OAAO,OAAO,CAAC;AACxC,CAAC,CAAC,CAAC,CAAC;;;;;;;AAQJ,IAAa,eAAb,cAAkC,OAAO,YAA0B,CAAC,CAAC,gBAAgB,EACnF,SAAS,OAAO,OAClB,CAAC,CAAC,CAAC,CAAC;;;;;;;;AASJ,IAAa,qBAAb,cAAwC,OAAO,YAAgC,CAAC,CAC9E,sBACA,EACE,SAAS,OAAO,OAClB,CACF,CAAC,CAAC,CAAC;AAgBH,MAAM,OAAO,QAAQ,KACnB,mBACA,0BACA,6BACA,kBACA,gBACA,oBACF;;;;;;;AAQA,MAAa,uBAAuB,MAClC,UAAU,SAAS,GAAG,iBAAiB,KACtC,UAAU,YAAY,GAAG,MAAM,KAAK,UAAU,SAAS,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,EAAE,IAAI;;;;;;;;AAS7F,MAAa,eAAe,UAAsC;CAChE,OAAO,MAAM,MAAM,KAAK,CAAC,CAAC,KACxB,MAAM,IAAI,kBAAkB,sBAAsB,IAAI,GACtD,MAAM,IAAI,oBAAoB,SAAS;EAAC;EAAK;EAAK;EAAK;EAAK;CAAG,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,GACtF,MAAM,aAAa,KAAK,CAC1B;AACF"}

package/dist/ClientErrors-D4IZHUM-.d.mts

@@ -0,0 +1,101 @@
+import * as Schema from "effect/Schema";
+declare namespace ClientErrors_d_exports {
+  export { ConfigurationError, HttpStatusError, MalformedResponseError, SparqlClientError, TimeoutError, TransportError, UnsupportedMediaTypeError, isSparqlClientError, isTransient };
+}
+declare const HttpStatusError_base: Schema.Class<HttpStatusError, Schema.TaggedStruct<"HttpStatusError", {
+  readonly method: Schema.String;
+  readonly url: Schema.String;
+  readonly status: Schema.Number;
+  /** The response body (truncated to 64 KiB). */
+  readonly body: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The server answered with a non-success HTTP status.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+declare class HttpStatusError extends HttpStatusError_base {
+  get message(): string;
+}
+declare const MalformedResponseError_base: Schema.Class<MalformedResponseError, Schema.TaggedStruct<"MalformedResponseError", {
+  readonly message: Schema.String;
+  readonly contentType: Schema.optional<Schema.String>;
+  readonly cause: Schema.optional<Schema.Defect>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The response could not be parsed.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+declare class MalformedResponseError extends MalformedResponseError_base {}
+declare const UnsupportedMediaTypeError_base: Schema.Class<UnsupportedMediaTypeError, Schema.TaggedStruct<"UnsupportedMediaTypeError", {
+  readonly contentType: Schema.String;
+  readonly expected: Schema.$Array<Schema.String>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The response has a media type the client cannot read.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+declare class UnsupportedMediaTypeError extends UnsupportedMediaTypeError_base {
+  get message(): string;
+}
+declare const TransportError_base: Schema.Class<TransportError, Schema.TaggedStruct<"TransportError", {
+  readonly message: Schema.String;
+  readonly cause: Schema.optional<Schema.Defect>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The request could not be sent or the response not received.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+declare class TransportError extends TransportError_base {}
+declare const TimeoutError_base: Schema.Class<TimeoutError, Schema.TaggedStruct<"TimeoutError", {
+  readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The request exceeded the configured timeout.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+declare class TimeoutError extends TimeoutError_base {}
+declare const ConfigurationError_base: Schema.Class<ConfigurationError, Schema.TaggedStruct<"ConfigurationError", {
+  readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * The operation needs an endpoint that is not configured (e.g. a Graph
+ * Store operation without `graphStoreEndpoint`).
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+declare class ConfigurationError extends ConfigurationError_base {}
+/**
+ * Any error of the SPARQL client.
+ *
+ * @since 0.1.0
+ * @category errors
+ */
+type SparqlClientError = HttpStatusError | MalformedResponseError | UnsupportedMediaTypeError | TransportError | TimeoutError | ConfigurationError;
+/**
+ * Whether a value is a `SparqlClientError`.
+ *
+ * @since 0.1.0
+ * @category guards
+ */
+declare const isSparqlClientError: (u: unknown) => u is SparqlClientError;
+/**
+ * Whether an error is worth retrying: transport failures, timeouts, and the
+ * statuses `408`, `429`, `502`, `503` and `504`.
+ *
+ * @since 0.1.0
+ * @category guards
+ */
+declare const isTransient: (error: SparqlClientError) => boolean;
+export { SparqlClientError as a, UnsupportedMediaTypeError as c, MalformedResponseError as i, isSparqlClientError as l, ConfigurationError as n, TimeoutError as o, HttpStatusError as r, TransportError as s, ClientErrors_d_exports as t, isTransient as u };
+//# sourceMappingURL=ClientErrors-D4IZHUM-.d.mts.map