@bjornpagen/bumbledb 0.1.0 → 0.3.0

package/src/index.ts

@@ -1,23 +1,28 @@
 /**
  * @bjornpagen/bumbledb — the type-theoretic TypeScript SDK for the
- * bumbledb embedded relational engine. Public surface: the type kernel
- * (brands, fields, `relation()`, `closed()` — PRD-05), the statement
- * algebra with `schema()` and `SchemaSpec` lowering (PRD-06), the `Db`
+ * bumbledb embedded relational engine. Public surface: the structural type
+ * kernel (fields as pure structure, `relation()`, `closed()` — domains are
+ * never declared: THE LAWS TYPE THE COLUMNS, `schema()` computing every
+ * field's equivalence class FROM the statement list at both tiers), the
+ * statement algebra with `schema()` and `SchemaSpec` lowering (PRD-06), the `Db`
  * runtime (path-cached stores, transactions, typed violations, scoped
  * snapshot reads, the witnessed write loop with `abandon` — PRD-07, zero
- * closables), the query surface (Datalog as values: scoped vars/params,
- * atoms, negation, conditions, aggregates, engine recursion via predicates,
- * `db.prepare` as a plain value — PRD-08), and the exhume surface
+ * closables), the query surface (Datalog as values, kysely-shaped:
+ * `query(S).rule(r => r.match(...).where(...).select(...))` with
+ * string-named domain-typed vars, params typed by use, negation,
+ * conditions, aggregates, and stratified recursion via `program()`/`rec` —
+ * `db.prepare` as a plain value; the comparison/connective builders are
+ * also free exports, and the free names `eq`/`not`/`and`/`or` collide with
+ * common host identifiers — import aliasing is the answer; the SDK does
+ * not rename for collision-avoidance), and the exhume surface
  * (`Db.exhume` — the one schema-independent read path: the store's
- * self-described shapes and raw facts by name, deliberately untyped —
- * course-serialization PRD-02). The raw native bridge is not exported (the
- * PRD-03 stub died here as scheduled).
+ * self-described shapes and raw facts by name, typed at bare structural
+ * values, deliberately schema-free). The raw native bridge is not exported.
  */
 
-export type { Brand, Interval, IntervalValue } from "#brand.ts"
-export { span } from "#brand.ts"
 export type {
 	AnyClosed,
+	AnySelectedClosed,
 	AxiomRow,
 	Axioms,
 	Closed,
@@ -25,7 +30,9 @@ export type {
 	ClosedCore,
 	ClosedData,
 	ClosedRow,
-	PayloadField
+	ClosedSelectionInput,
+	PayloadField,
+	SelectedClosed
 } from "#closed.ts"
 export { closed } from "#closed.ts"
 export type { Count } from "#count.ts"
@@ -43,7 +50,7 @@ export type {
 	WitnessedWriteResult,
 	WriteResult
 } from "#db.ts"
-export { abandon, Db } from "#db.ts"
+export { abandon, Db, ErrNewtypeMismatch } from "#db.ts"
 export type {
 	Exhumed,
 	ExhumedAxiom,
@@ -65,32 +72,31 @@ export type {
 	FaceData,
 	FaceFields,
 	FaceOwner,
+	FaceShapeMismatch,
+	FaceShapes,
 	FaceSource,
 	OneOf,
-	SameArity
+	OwnerOf,
+	SameArity,
+	SameShapes
 } from "#face.ts"
 export { on, oneOf } from "#face.ts"
 export type {
 	AnyField,
 	BoolField,
 	BytesField,
-	BytesNewtype,
 	ClosedIdField,
 	ClosedRoster,
-	Field,
-	FieldData,
-	FieldValue,
-	FreshU64Newtype,
+	FreshU64Field,
 	I64Field,
-	I64Newtype,
 	Infer,
 	IntervalField,
-	IntervalNewtype,
+	IntervalValue,
 	StrField,
-	U64Field,
-	U64Newtype
+	U64Field
 } from "#fields.ts"
-export { bool, bytes, i64, interval, str, u64 } from "#fields.ts"
+export { bool, bytes, i64, interval, span, str, u64 } from "#fields.ts"
+export type { ClassesOf, ClassWall, LawfulStatements, RelationClasses, SchemaClasses } from "#law.ts"
 export { lower, lowerClosed, lowerRelation } from "#lower.ts"
 export type { KeyFact, Minted } from "#marshal.ts"
 export type {
@@ -102,51 +108,53 @@ export type {
 } from "#native.ts"
 
 export type {
-	AnyBodyItem,
-	AnyCondition,
-	ComparisonItem,
-	ConditionTreeItem,
-	Duration,
-	MatchAtom,
-	MatchInput,
-	TermInput
-} from "#query/atom.ts"
-
-export {
-	ALLEN,
-	allen,
-	and,
-	covers,
-	duration,
-	ge,
-	gt,
-	is,
-	le,
-	lt,
-	match,
-	ne,
-	not,
-	or
+	AnyCond,
+	BindingInput,
+	Cmp,
+	MatchFields,
+	MatchOwner,
+	MatchShape,
+	NotAtom,
+	RecData,
+	RuleData,
+	SelectColumn,
+	Tree
 } from "#query/atom.ts"
-
+export { ALLEN, allen, and, covers, eq, ge, gt, le, lt, ne, not, or, pointIn } from "#query/atom.ts"
 export type {
 	AnyQuery,
+	AnyRuleValue,
+	OutputRuleChain,
+	OutputRuleScope,
 	Query,
-	QueryBuild,
+	QueryData,
 	QueryParams,
+	QueryRelation,
 	QueryRow,
-	Scope
+	QueryRuleChain,
+	QueryRuleScope,
+	QueryStart,
+	RecRef,
+	RecRuleChain,
+	RecRuleScope,
+	RuleValue,
+	TermOps
 } from "#query/lower.ts"
 export { lowerQuery, query } from "#query/lower.ts"
+export type { ProgramScope, Rec } from "#query/predicate.ts"
+export { program } from "#query/predicate.ts"
 export type {
-	Predicate,
-	PredicateBindings,
-	PredicateRuleInput,
-	PredicateSelf
-} from "#query/predicate.ts"
-export type { MaskParam, Param, ParamSet, ParamsRecord, Var } from "#query/scope.ts"
-export type { Aggregate, RowOf, SelectShape } from "#query/select.ts"
-export { argmax, argmin, count, countDistinct, max, min, pack, sum } from "#query/select.ts"
+	ClassedField,
+	Duration,
+	MaskParam,
+	Param,
+	ParamEntry,
+	ParamsRecord,
+	SetParam,
+	Var,
+	VarsRecord
+} from "#query/scope.ts"
+export type { Agg, SelectEntry } from "#query/select.ts"
 export type {
 	AnyRelation,
 	AnySelected,
@@ -181,5 +189,14 @@ export type {
 	WindowSpec
 } from "#spec.ts"
 export { renderLiteral, renderLiteralSet, renderWindow } from "#spec.ts"
-export type { KeyStatement, Statement, StatementData } from "#statements.ts"
+export type {
+	ContainedStatement,
+	ContainmentData,
+	KeyData,
+	KeyStatement,
+	Statement,
+	StatementData,
+	WindowData,
+	WindowStatement
+} from "#statements.ts"
 export { contained, key, mirrors, renderStatement, window } from "#statements.ts"