toilscript 0.1.30 → 0.1.31

package/dist/web.js

@@ -1,8 +1,8 @@
-var ASSEMBLYSCRIPT_VERSION = "0.1.30";
+var ASSEMBLYSCRIPT_VERSION = "0.1.31";
   var ASSEMBLYSCRIPT_IMPORTMAP = {
   "imports": {
-    "toilscript": "https://cdn.jsdelivr.net/npm/toilscript@0.1.30/dist/toilscript.js",
-    "toilscript/cli": "https://cdn.jsdelivr.net/npm/toilscript@0.1.30/dist/cli.js",
+    "toilscript": "https://cdn.jsdelivr.net/npm/toilscript@0.1.31/dist/toilscript.js",
+    "toilscript/cli": "https://cdn.jsdelivr.net/npm/toilscript@0.1.31/dist/cli.js",
     "binaryen": "https://cdn.jsdelivr.net/npm/binaryen@129.0.0-nightly.20260428/index.js",
     "long": "https://cdn.jsdelivr.net/npm/long@5.3.2/index.js"
   }

package/package.json

@@ -8,7 +8,7 @@
     "toilscript",
     "wasm"
   ],
-  "version": "0.1.30",
+  "version": "0.1.31",
   "author": "Daniel Wirtz <dcode+assemblyscript@dcode.io>",
   "license": "Apache-2.0",
   "homepage": "https://github.com/dacely-cloud/toilscript",

package/std/assembly/toildb.ts

@@ -1,6 +1,6 @@
 // ToilDB: the developer-facing edge-database API.
 //
-// `@database class App { @collection(...) users!: Record<User, UserId>; ... }`
+// `@database class App { @collection(...) users!: Documents<UserId, User>; ... }`
 // declares logical collections; the compiler (see parser `injectDatabaseBinding`)
 // synthesizes a `@global App` singleton whose fields are these typed handles,
 // resolved to numeric host handles once at module init.
@@ -49,7 +49,7 @@ function __toildbTakeGrow(): Uint8Array {
 /// A mutable keyed-entity collection (spec 7.1). `V` is the `@data` value type,
 /// `K` the `@data` key type.
 @global
-export class Record<V, K> {
+export class Documents<K, V> {
   private __handle: u32;
 
   constructor(handle: u32) {
@@ -156,7 +156,7 @@ export class Record<V, K> {
 /// by a `@derive`/`@job` (the host kind gate enforces it). `V` is the `@data`
 /// value type, `K` the `@data` key type.
 @global
-export class View<V, K> {
+export class View<K, V> {
   private __handle: u32;
 
   constructor(handle: u32) {
@@ -202,7 +202,7 @@ export class ClaimResult<V> {
 /// A globally-unique claim collection (spec 7.6): username, email, slug, ...
 /// `V` is the `@data` OWNER value type, `K` the `@data` claim-key type.
 @global
-export class Unique<V, K> {
+export class Unique<K, V> {
   private __handle: u32;
 
   constructor(handle: u32) {
@@ -251,7 +251,7 @@ export class Unique<V, K> {
 /// An unordered set (spec 7.3): followers, tags, ACLs, room members. `M` is the
 /// `@data` member type, `K` the `@data` set-key type.
 @global
-export class Membership<M, K> {
+export class Membership<K, M> {
   private __handle: u32;
 
   constructor(handle: u32) {
@@ -394,7 +394,7 @@ export class Counter<K> {
 /// fact stream a `@derive` consumes. `V` is the `@data` event type, `K` the
 /// `@data` stream-key type.
 @global
-export class Events<V, K> {
+export class Events<K, V> {
   private __handle: u32;
 
   constructor(handle: u32) {

package/std/assembly/toilscript.d.ts

@@ -92,7 +92,7 @@ declare function user(target: Function): void;
  *  lazily-resolved collection handle (`App.users.get(...)`). */
 declare function database(target: Function): void;
 
-/** Declares a `@database` field as a collection - a `Record`/`View`/`Unique`/
+/** Declares a `@database` field as a collection - a `Documents`/`View`/`Unique`/
  *  `Counter`/`Events`/`Membership`/`Capacity` handle. */
 declare function collection(target: Object, propertyKey: string | symbol): void;
 
@@ -107,13 +107,14 @@ declare function job(target: Function): void;
 declare function derive(target: Function): void;
 declare function admin(target: Function): void;
 
-// The ToilDB collection HANDLES are ambient globals (no import) - the compiler
-// provides them (`std/assembly/toildb`, `@global`); these typings let editors
-// recognize `@collection users!: Record<User, UserId>` and `App.users.get(...)`.
-// `K`/`V`/`M` are `@data` types (the binary codec the host marshals).
+// The ToilDB collection HANDLES are ambient globals (NO import, like the bignum
+// natives below) - the compiler provides them (`std/assembly/toildb`, `@global`);
+// these typings let editors recognize `@collection users!: Documents<UserId,
+// User>` and `App.users.get(...)`. Every handle is KEY-FIRST (`<K, V>`, matching
+// `Map`/`Record`). `K`/`V`/`M` are `@data` types (the codec the host marshals).
 
 /** A mutable keyed-entity collection (spec 7.1): user profiles, items, sessions. */
-declare class Record<V, K> {
+declare class Documents<K, V> {
   get(key: K): V | null;
   require(key: K): V;
   exists(key: K): bool;
@@ -125,7 +126,7 @@ declare class Record<V, K> {
 }
 
 /** A precomputed, read-optimized projection (spec 7.2): pages, leaderboards. */
-declare class View<V, K> {
+declare class View<K, V> {
   get(key: K): V | null;
   require(key: K): V;
   publish(key: K, value: V): void;
@@ -139,14 +140,14 @@ declare class ClaimResult<V> {
 }
 
 /** A globally-unique claim collection (spec 7.6): usernames, emails, slugs. */
-declare class Unique<V, K> {
+declare class Unique<K, V> {
   lookup(key: K): V | null;
   claim(key: K, value: V): ClaimResult<V>;
   release(key: K, value: V): void;
 }
 
 /** An unordered set (spec 7.3): followers, tags, ACLs, room members. */
-declare class Membership<M, K> {
+declare class Membership<K, M> {
   contains(key: K, member: M): bool;
   add(key: K, member: M): void;
   remove(key: K, member: M): void;
@@ -169,18 +170,11 @@ declare class Counter<K> {
 }
 
 /** An append-only event log (spec 7.5): activity feeds, audit trails. */
-declare class Events<V, K> {
+declare class Events<K, V> {
   append(key: K, event: V): void;
   latest(key: K, limit: i32): V[];
 }
 
-// The handles are ambient (no import needed), but `import { Counter } from
-// 'toildb'` is also accepted for editors that prefer explicit imports - it just
-// re-exports the same globals.
-declare module 'toildb' {
-  export { Record, View, Unique, ClaimResult, Membership, Capacity, Counter, Events };
-}
-
 // Big integers, native globals implemented in std/assembly/bignum. The
 // arithmetic/bitwise/comparison operators
 // (+ - * / % & | ^ << >> == != < > <= >=) are operator overloads resolved by

package/std/ts-plugin.cjs

@@ -212,7 +212,7 @@ function init(modules) {
    * instance type-carrier field, so stock TS reports `AuthDb.users` as
    * TS2339. Merge a `namespace` onto the class (the standard way to add typed
    * statics) with one `const` per collection, typed as the field's handle type
-   * (`Record<User, UserId>`, `Capacity<DropId>`, ...). Returns "" when the file
+   * (`Documents<UserId, User>`, `Capacity<DropId>`, ...). Returns "" when the file
    * declares no `@database`.
    */
   function databaseAugmentation(text) {