jazz-tools 0.7.1 → 0.7.3

package/dist/tests/groupsAndAccounts.test.js

@@ -52,7 +52,7 @@ describe("Custom accounts and groups", async () => {
         ]);
         expect(group.nMembers).toBe(2);
         await new Promise((resolve) => {
-            CustomGroup.subscribe(group, {}, (update) => {
+            group.subscribe({}, (update) => {
                 const meAsMember = update.members.find((member) => {
                     return member.id === me.id && member.account?.profile;
                 });
@@ -71,13 +71,13 @@ describe("Custom accounts and groups", async () => {
         }
         const map = MyMap.create({ name: "test" }, { owner: group });
         const meAsCastMember = map._owner
-            .as(CustomGroup)
+            .castAs(CustomGroup)
             .members.find((member) => member.id === me.id);
         expect(meAsCastMember?.account?.profile?.name).toBe("Hermes Puggington");
         expect(meAsCastMember?.account?.profile?.color).toBe("blue");
         // eslint-disable-next-line @typescript-eslint/no-explicit-any
         expect(map._owner.nMembers).toBeUndefined();
-        expect(map._owner.as(CustomGroup).nMembers).toBe(2);
+        expect(map._owner.castAs(CustomGroup).nMembers).toBe(2);
     });
 });
 //# sourceMappingURL=groupsAndAccounts.test.js.map

package/dist/tests/groupsAndAccounts.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"groupsAndAccounts.test.js","sourceRoot":"","sources":["../../src/tests/groupsAndAccounts.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEpE,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,EAAE,CAAC;AAEzC,QAAQ,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;;IAC9C,MAAM,aAAc,SAAQ,KAAK;QAAjC;;YACI,SAAI,GAAG,EAAE,CAAC,MAAM,CAAC;YACjB,UAAK,GAAG,EAAE,CAAC,MAAM,CAAC;QACtB,CAAC;KAAA;IAED,MAAM,aAAc,SAAQ,OAAO;QAAnC;;YACI,YAAO,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAChC,SAAI,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAYzB,CAAC;QAVG,OAAO,CAAC,aAAgC;YACpC,IAAI,aAAa,EAAE,CAAC;gBAChB,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnD,YAAY,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;gBAC7C,IAAI,CAAC,OAAO,GAAG,aAAa,CAAC,MAAM,CAC/B,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAC3C,EAAE,KAAK,EAAE,IAAI,EAAE,CAClB,CAAC;YACN,CAAC;QACL,CAAC;KACJ;IAED,MAAM,WAAY,SAAQ,KAAK;QAA/B;;YACI,YAAO,GAAG,EAAE,CAAC,IAAI,CAAC;YAClB,SAAI,GAAG,EAAE,CAAC,IAAI,CAAC;YACf,QAAY,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAKzC,CAAC;QAHG,IAAI,QAAQ;YACR,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/B,CAAC;KACJ;SALI,EAAE,CAAC,OAAO;IAOf,IAAI,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC;YAClC,aAAa,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE;YAC5C,MAAM,EAAE,MAAM;SACjB,CAAC,CAAC;QAEH,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAEvC,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7C,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC;YAChC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YAC5B,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrC,CAAC,CAAC;QAEH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE/B,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;YAChC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE;gBACxC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;oBAC9C,OAAO,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;gBAC1D,CAAC,CAAC,CAAC;gBACH,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAC1C,mBAAmB,CACtB,CAAC;oBACF,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACxD,OAAO,EAAE,CAAC;gBACd,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,MAAM,KAAM,SAAQ,KAAK;YAAzB;;gBACI,SAAI,GAAG,EAAE,CAAC,MAAM,CAAC;YACrB,CAAC;SAAA;QAED,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAE7D,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM;aAC5B,EAAE,CAAC,WAAW,CAAC;aACf,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAC/C,mBAAmB,CACtB,CAAC;QACF,MAAM,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAE7D,8DAA8D;QAC9D,MAAM,CAAE,GAAG,CAAC,MAAc,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACrD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}
+{"version":3,"file":"groupsAndAccounts.test.js","sourceRoot":"","sources":["../../src/tests/groupsAndAccounts.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEpE,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,EAAE,CAAC;AAEzC,QAAQ,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;;IAC9C,MAAM,aAAc,SAAQ,KAAK;QAAjC;;YACI,SAAI,GAAG,EAAE,CAAC,MAAM,CAAC;YACjB,UAAK,GAAG,EAAE,CAAC,MAAM,CAAC;QACtB,CAAC;KAAA;IAED,MAAM,aAAc,SAAQ,OAAO;QAAnC;;YACI,YAAO,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAChC,SAAI,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAYzB,CAAC;QAVG,OAAO,CAAsB,aAAgC;YACzD,IAAI,aAAa,EAAE,CAAC;gBAChB,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnD,YAAY,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;gBAC7C,IAAI,CAAC,OAAO,GAAG,aAAa,CAAC,MAAM,CAC/B,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAC3C,EAAE,KAAK,EAAE,IAAI,EAAE,CAClB,CAAC;YACN,CAAC;QACL,CAAC;KACJ;IAED,MAAM,WAAY,SAAQ,KAAK;QAA/B;;YACI,YAAO,GAAG,EAAE,CAAC,IAAI,CAAC;YAClB,SAAI,GAAG,EAAE,CAAC,IAAI,CAAC;YACf,QAAY,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAKzC,CAAC;QAHG,IAAI,QAAQ;YACR,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/B,CAAC;KACJ;SALI,EAAE,CAAC,OAAO;IAOf,IAAI,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC;YAClC,aAAa,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE;YAC5C,MAAM,EAAE,MAAM;SACjB,CAAC,CAAC;QAEH,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAEvC,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7C,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAEtC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC;YAChC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YAC5B,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrC,CAAC,CAAC;QAEH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE/B,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;YAChC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE;gBAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;oBAC9C,OAAO,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;gBAC1D,CAAC,CAAC,CAAC;gBACH,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAC1C,mBAAmB,CACtB,CAAC;oBACF,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACxD,OAAO,EAAE,CAAC;gBACd,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,MAAM,KAAM,SAAQ,KAAK;YAAzB;;gBACI,SAAI,GAAG,EAAE,CAAC,MAAM,CAAC;YACrB,CAAC;SAAA;QAED,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAE7D,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM;aAC5B,MAAM,CAAC,WAAW,CAAC;aACnB,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAC/C,mBAAmB,CACtB,CAAC;QACF,MAAM,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAE7D,8DAA8D;QAC9D,MAAM,CAAE,GAAG,CAAC,MAAc,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACrD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/package.json

@@ -5,7 +5,7 @@
   "types": "./src/index.ts",
   "type": "module",
   "license": "MIT",
-  "version": "0.7.1",
+  "version": "0.7.3",
   "dependencies": {
     "@effect/schema": "^0.66.16",
     "effect": "^3.1.5",

package/src/coValues/account.ts

@@ -11,7 +11,7 @@ import type {
     RawControlledAccount,
     SessionID,
 } from "cojson";
-import { Context } from "effect";
+import { Context, Effect, Stream } from "effect";
 import type {
     CoMap,
     CoValue,
@@ -19,8 +19,10 @@ import type {
     Schema,
     ID,
     RefEncoded,
-    ClassOf,
     RefIfCoValue,
+    DeeplyLoaded,
+    DepthsIn,
+    UnavailableError,
 } from "../internal.js";
 import {
     Group,
@@ -31,13 +33,16 @@ import {
     SchemaInit,
     inspect,
     subscriptionsScopes,
+    loadCoValue,
+    loadCoValueEf,
+    subscribeToCoValue,
+    subscribeToCoValueEf,
+    ensureCoValueLoaded,
+    subscribeToExistingCoValue,
 } from "../internal.js";
 
 /** @category Identity & Permissions */
-export class Account
-    extends CoValueBase
-    implements CoValue<"Account", RawAccount | RawControlledAccount>
-{
+export class Account extends CoValueBase implements CoValue {
     declare id: ID<this>;
     declare _type: "Account";
     declare _raw: RawAccount | RawControlledAccount;
@@ -52,7 +57,10 @@ export class Account
     }
     static {
         this._schema = {
-            profile: { ref: () => Profile, optional: false } satisfies Schema,
+            profile: {
+                ref: () => Profile,
+                optional: false,
+            } satisfies RefEncoded<Profile>,
             root: "json" satisfies Schema,
             // eslint-disable-next-line @typescript-eslint/no-explicit-any
         } as any;
@@ -151,12 +159,12 @@ export class Account
             inviteSecret,
         );
 
-        return coValueClass.load(valueID, this as Account, []);
+        return loadCoValue(coValueClass, valueID, this as Account, []);
         // eslint-disable-next-line @typescript-eslint/no-explicit-any
     }
 
     static async create<A extends Account>(
-        this: ClassOf<A> & typeof Account,
+        this: CoValueClass<A> & typeof Account,
         options: {
             creationProps: { name: string };
             initialAgentSecret?: AgentSecret;
@@ -179,7 +187,7 @@ export class Account
     }
 
     static async become<A extends Account>(
-        this: ClassOf<A> & typeof Account,
+        this: CoValueClass<A> & typeof Account,
         options: {
             accountID: ID<Account>;
             accountSecret: AgentSecret;
@@ -206,7 +214,10 @@ export class Account
         return this.fromNode(node) as A;
     }
 
-    static fromNode<A extends Account>(this: ClassOf<A>, node: LocalNode): A {
+    static fromNode<A extends Account>(
+        this: CoValueClass<A>,
+        node: LocalNode,
+    ): A {
         return new this({
             fromRaw: node.account as RawControlledAccount,
         }) as A;
@@ -224,7 +235,10 @@ export class Account
         return this.toJSON();
     }
 
-    migrate(creationProps?: { name: string }): void | Promise<void> {
+    migrate(
+        this: Account,
+        creationProps?: { name: string },
+    ): void | Promise<void> {
         if (creationProps) {
             const profileGroup = Group.create({ owner: this });
             profileGroup.addMember("everyone", "reader");
@@ -234,6 +248,62 @@ export class Account
             );
         }
     }
+
+    /** @category Subscription & Loading */
+    static load<A extends Account, Depth>(
+        this: CoValueClass<A>,
+        id: ID<A>,
+        as: Account,
+        depth: Depth & DepthsIn<A>,
+    ): Promise<DeeplyLoaded<A, Depth> | undefined> {
+        return loadCoValue(this, id, as, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static loadEf<A extends Account, Depth>(
+        this: CoValueClass<A>,
+        id: ID<A>,
+        depth: Depth & DepthsIn<A>,
+    ): Effect.Effect<DeeplyLoaded<A, Depth>, UnavailableError, AccountCtx> {
+        return loadCoValueEf<A, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribe<A extends Account, Depth>(
+        this: CoValueClass<A>,
+        id: ID<A>,
+        as: Account,
+        depth: Depth & DepthsIn<A>,
+        listener: (value: DeeplyLoaded<A, Depth>) => void,
+    ): () => void {
+        return subscribeToCoValue<A, Depth>(this, id, as, depth, listener);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribeEf<A extends Account, Depth>(
+        this: CoValueClass<A>,
+        id: ID<A>,
+        depth: Depth & DepthsIn<A>,
+    ): Stream.Stream<DeeplyLoaded<A, Depth>, UnavailableError, AccountCtx> {
+        return subscribeToCoValueEf<A, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    ensureLoaded<A extends Account, Depth>(
+        this: A,
+        depth: Depth & DepthsIn<A>,
+    ): Promise<DeeplyLoaded<A, Depth> | undefined> {
+        return ensureCoValueLoaded(this, depth);
+    }
+
+    /** @category Subscription & Loading */
+    subscribe<A extends Account, Depth>(
+        this: A,
+        depth: Depth & DepthsIn<A>,
+        listener: (value: DeeplyLoaded<A, Depth>) => void,
+    ): () => void {
+        return subscribeToExistingCoValue(this, depth, listener);
+    }
 }
 
 export const AccountAndGroupProxyHandler: ProxyHandler<Account | Group> = {

package/src/coValues/coList.ts

@@ -6,31 +6,38 @@ import type {
     SchemaFor,
     ID,
     RefEncoded,
-    ClassOf,
     UnCo,
     CoValueClass,
+    DepthsIn,
+    DeeplyLoaded,
+    UnavailableError,
+    AccountCtx,
+    CoValueFromRaw,
 } from "../internal.js";
 import {
     Account,
-    CoValueBase,
     Group,
     InitValues,
     ItemsSym,
     Ref,
     SchemaInit,
     co,
+    ensureCoValueLoaded,
     inspect,
     isRefEncoded,
+    loadCoValue,
+    loadCoValueEf,
     makeRefs,
+    subscribeToCoValue,
+    subscribeToCoValueEf,
+    subscribeToExistingCoValue,
 } from "../internal.js";
 import { encodeSync, decodeSync } from "@effect/schema/Schema";
+import { Effect, Stream } from "effect";
 
 /** @category CoValues */
 // eslint-disable-next-line @typescript-eslint/no-explicit-any
-export class CoList<Item = any>
-    extends Array<Item>
-    implements CoValue<"CoList", RawCoList>
-{
+export class CoList<Item = any> extends Array<Item> implements CoValue {
     static Of<Item>(item: Item): typeof CoList<Item> {
         // TODO: cache superclass for item class
         return class CoListOf extends CoList<Item> {
@@ -146,7 +153,7 @@ export class CoList<Item = any>
     }
 
     static create<L extends CoList>(
-        this: ClassOf<L>,
+        this: CoValueClass<L>,
         items: UnCo<L[number]>[],
         options: { owner: Account | Group },
     ) {
@@ -241,17 +248,12 @@ export class CoList<Item = any>
     }
 
     static fromRaw<V extends CoList>(
-        this: ClassOf<V> & typeof CoList,
+        this: CoValueClass<V> & typeof CoList,
         raw: RawCoList,
     ) {
         return new this({ fromRaw: raw });
     }
 
-    static load = CoValueBase.load as CoValueClass["load"];
-    static loadEf = CoValueBase.loadEf as CoValueClass["loadEf"];
-    static subscribe = CoValueBase.subscribe as CoValueClass["subscribe"];
-    static subscribeEf = CoValueBase.subscribeEf as CoValueClass["subscribeEf"];
-
     static schema<V extends CoList>(
         // eslint-disable-next-line @typescript-eslint/no-explicit-any
         this: { new (...args: any): V } & typeof CoList,
@@ -260,6 +262,69 @@ export class CoList<Item = any>
         this._schema ||= {};
         Object.assign(this._schema, def);
     }
+
+    /** @category Subscription & Loading */
+    static load<L extends CoList, Depth>(
+        this: CoValueClass<L>,
+        id: ID<L>,
+        as: Account,
+        depth: Depth & DepthsIn<L>,
+    ): Promise<DeeplyLoaded<L, Depth> | undefined> {
+        return loadCoValue(this, id, as, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static loadEf<L extends CoList, Depth>(
+        this: CoValueClass<L>,
+        id: ID<L>,
+        depth: Depth & DepthsIn<L>,
+    ): Effect.Effect<DeeplyLoaded<L, Depth>, UnavailableError, AccountCtx> {
+        return loadCoValueEf<L, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribe<L extends CoList, Depth>(
+        this: CoValueClass<L>,
+        id: ID<L>,
+        as: Account,
+        depth: Depth & DepthsIn<L>,
+        listener: (value: DeeplyLoaded<L, Depth>) => void,
+    ): () => void {
+        return subscribeToCoValue<L, Depth>(this, id, as, depth, listener);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribeEf<L extends CoList, Depth>(
+        this: CoValueClass<L>,
+        id: ID<L>,
+        depth: Depth & DepthsIn<L>,
+    ): Stream.Stream<DeeplyLoaded<L, Depth>, UnavailableError, AccountCtx> {
+        return subscribeToCoValueEf<L, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    ensureLoaded<L extends CoList, Depth>(
+        this: L,
+        depth: Depth & DepthsIn<L>,
+    ): Promise<DeeplyLoaded<L, Depth> | undefined> {
+        return ensureCoValueLoaded(this, depth);
+    }
+
+    /** @category Subscription & Loading */
+    subscribe<L extends CoList, Depth>(
+        this: L,
+        depth: Depth & DepthsIn<L>,
+        listener: (value: DeeplyLoaded<L, Depth>) => void,
+    ): () => void {
+        return subscribeToExistingCoValue(this, depth, listener);
+    }
+
+    /** @category Type Helpers */
+    castAs<Cl extends CoValueClass & CoValueFromRaw<CoValue>>(
+        cl: Cl,
+    ): InstanceType<Cl> {
+        return cl.fromRaw(this._raw) as InstanceType<Cl>;
+    }
 }
 
 function toRawItems<Item>(items: Item[], itemDescriptor: Schema) {

package/src/coValues/coMap.ts

@@ -9,7 +9,11 @@ import type {
     RefEncoded,
     IfCo,
     RefIfCoValue,
-    ClassOf,
+    DepthsIn,
+    DeeplyLoaded,
+    UnavailableError,
+    AccountCtx,
+    CoValueClass,
 } from "../internal.js";
 import {
     Account,
@@ -22,7 +26,14 @@ import {
     ItemsSym,
     InitValues,
     isRefEncoded,
+    loadCoValue,
+    loadCoValueEf,
+    subscribeToCoValue,
+    subscribeToCoValueEf,
+    ensureCoValueLoaded,
+    subscribeToExistingCoValue,
 } from "../internal.js";
+import { Effect, Stream } from "effect";
 
 type CoMapEdit<V> = {
     value?: V;
@@ -66,7 +77,7 @@ type InitValuesFor<C extends CoMap> = {
  *
  * @category CoValues
  *  */
-export class CoMap extends CoValueBase implements CoValue<"CoMap", RawCoMap> {
+export class CoMap extends CoValueBase implements CoValue {
     /**
      * The ID of this `CoMap`
      * @category Content */
@@ -161,10 +172,14 @@ export class CoMap extends CoValueBase implements CoValue<"CoMap", RawCoMap> {
                             : undefined,
                     by:
                         rawEdit.by &&
-                        new Ref(rawEdit.by as ID<Account>, target._loadedAs, {
-                            ref: Account,
-                            optional: false,
-                        }).accessFrom(
+                        new Ref<Account>(
+                            rawEdit.by as ID<Account>,
+                            target._loadedAs,
+                            {
+                                ref: Account,
+                                optional: false,
+                            },
+                        ).accessFrom(
                             target,
                             "_edits." + key.toString() + ".by",
                         ),
@@ -214,7 +229,7 @@ export class CoMap extends CoValueBase implements CoValue<"CoMap", RawCoMap> {
 
     /** @category Creation */
     static create<M extends CoMap>(
-        this: ClassOf<M>,
+        this: CoValueClass<M>,
         init: Simplify<CoMapInit<M>>,
         options: { owner: Account | Group },
     ) {
@@ -297,6 +312,62 @@ export class CoMap extends CoValueBase implements CoValue<"CoMap", RawCoMap> {
 
         return RecordLikeCoMap;
     }
+
+    /** @category Subscription & Loading */
+    static load<M extends CoMap, Depth>(
+        this: CoValueClass<M>,
+        id: ID<M>,
+        as: Account,
+        depth: Depth & DepthsIn<M>,
+    ): Promise<DeeplyLoaded<M, Depth> | undefined> {
+        return loadCoValue(this, id, as, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static loadEf<M extends CoMap, Depth>(
+        this: CoValueClass<M>,
+        id: ID<M>,
+        depth: Depth & DepthsIn<M>,
+    ): Effect.Effect<DeeplyLoaded<M, Depth>, UnavailableError, AccountCtx> {
+        return loadCoValueEf<M, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribe<M extends CoMap, Depth>(
+        this: CoValueClass<M>,
+        id: ID<M>,
+        as: Account,
+        depth: Depth & DepthsIn<M>,
+        listener: (value: DeeplyLoaded<M, Depth>) => void,
+    ): () => void {
+        return subscribeToCoValue<M, Depth>(this, id, as, depth, listener);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribeEf<M extends CoMap, Depth>(
+        this: CoValueClass<M>,
+        id: ID<M>,
+        depth: Depth & DepthsIn<M>,
+    ): Stream.Stream<DeeplyLoaded<M, Depth>, UnavailableError, AccountCtx> {
+        return subscribeToCoValueEf<M, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    ensureLoaded<M extends CoMap, Depth>(
+        this: M,
+        depth: Depth & DepthsIn<M>,
+    ): Promise<DeeplyLoaded<M, Depth> | undefined> {
+        return ensureCoValueLoaded(this, depth);
+    }
+
+    /** @category Subscription & Loading */
+    subscribe<M extends CoMap, Depth>(
+        this: M,
+        depth: Depth & DepthsIn<M>,
+        listener: (value: DeeplyLoaded<M, Depth>) => void,
+    ): () => void {
+        return subscribeToExistingCoValue(this, depth, listener);
+    }
 }
 
 export type CoKeys<Map extends object> = Exclude<

package/src/coValues/coStream.ts

@@ -16,8 +16,12 @@ import type {
     Group,
     ID,
     IfCo,
-    ClassOf,
     UnCo,
+    AccountCtx,
+    CoValueClass,
+    DeeplyLoaded,
+    DepthsIn,
+    UnavailableError,
 } from "../internal.js";
 import {
     ItemsSym,
@@ -29,8 +33,15 @@ import {
     InitValues,
     SchemaInit,
     isRefEncoded,
+    loadCoValue,
+    loadCoValueEf,
+    subscribeToCoValue,
+    subscribeToCoValueEf,
+    ensureCoValueLoaded,
+    subscribeToExistingCoValue,
 } from "../internal.js";
 import { encodeSync, decodeSync } from "@effect/schema/Schema";
+import { Effect, Stream } from "effect";
 
 export type CoStreamEntry<Item> = SingleCoStreamEntry<Item> & {
     all: IterableIterator<SingleCoStreamEntry<Item>>;
@@ -46,10 +57,7 @@ export type SingleCoStreamEntry<Item> = {
 
 /** @category CoValues */
 // eslint-disable-next-line @typescript-eslint/no-explicit-any
-export class CoStream<Item = any>
-    extends CoValueBase
-    implements CoValue<"CoStream", RawCoStream>
-{
+export class CoStream<Item = any> extends CoValueBase implements CoValue {
     static Of<Item>(item: IfCo<Item, Item>): typeof CoStream<Item> {
         return class CoStreamOf extends CoStream<Item> {
             [co.items] = item;
@@ -114,7 +122,7 @@ export class CoStream<Item = any>
     }
 
     static create<S extends CoStream>(
-        this: ClassOf<S>,
+        this: CoValueClass<S>,
         init: S extends CoStream<infer Item> ? UnCo<Item>[] : never,
         options: { owner: Account | Group },
     ) {
@@ -178,6 +186,62 @@ export class CoStream<Item = any>
         this._schema ||= {};
         Object.assign(this._schema, def);
     }
+
+    /** @category Subscription & Loading */
+    static load<S extends CoStream, Depth>(
+        this: CoValueClass<S>,
+        id: ID<S>,
+        as: Account,
+        depth: Depth & DepthsIn<S>,
+    ): Promise<DeeplyLoaded<S, Depth> | undefined> {
+        return loadCoValue(this, id, as, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static loadEf<S extends CoStream, Depth>(
+        this: CoValueClass<S>,
+        id: ID<S>,
+        depth: Depth & DepthsIn<S>,
+    ): Effect.Effect<DeeplyLoaded<S, Depth>, UnavailableError, AccountCtx> {
+        return loadCoValueEf<S, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribe<S extends CoStream, Depth>(
+        this: CoValueClass<S>,
+        id: ID<S>,
+        as: Account,
+        depth: Depth & DepthsIn<S>,
+        listener: (value: DeeplyLoaded<S, Depth>) => void,
+    ): () => void {
+        return subscribeToCoValue<S, Depth>(this, id, as, depth, listener);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribeEf<S extends CoStream, Depth>(
+        this: CoValueClass<S>,
+        id: ID<S>,
+        depth: Depth & DepthsIn<S>,
+    ): Stream.Stream<DeeplyLoaded<S, Depth>, UnavailableError, AccountCtx> {
+        return subscribeToCoValueEf<S, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    ensureLoaded<S extends CoStream, Depth>(
+        this: S,
+        depth: Depth & DepthsIn<S>,
+    ): Promise<DeeplyLoaded<S, Depth> | undefined> {
+        return ensureCoValueLoaded(this, depth);
+    }
+
+    /** @category Subscription & Loading */
+    subscribe<S extends CoStream, Depth>(
+        this: S,
+        depth: Depth & DepthsIn<S>,
+        listener: (value: DeeplyLoaded<S, Depth>) => void,
+    ): () => void {
+        return subscribeToExistingCoValue(this, depth, listener);
+    }
 }
 
 function entryFromRawEntry<Item>(
@@ -437,10 +501,7 @@ const CoStreamPerSessionProxyHandler = (
 });
 
 /** @category CoValues */
-export class BinaryCoStream
-    extends CoValueBase
-    implements CoValue<"BinaryCoStream", RawBinaryCoStream>
-{
+export class BinaryCoStream extends CoValueBase implements CoValue {
     declare id: ID<this>;
     declare _type: "BinaryCoStream";
     declare _raw: RawBinaryCoStream;
@@ -476,7 +537,7 @@ export class BinaryCoStream
     }
 
     static create<S extends BinaryCoStream>(
-        this: ClassOf<S>,
+        this: CoValueClass<S>,
         options: { owner: Account | Group },
     ) {
         return new this(options);
@@ -584,4 +645,60 @@ export class BinaryCoStream
     [inspect]() {
         return this.toJSON();
     }
+
+    /** @category Subscription & Loading */
+    static load<B extends BinaryCoStream, Depth>(
+        this: CoValueClass<B>,
+        id: ID<B>,
+        as: Account,
+        depth: Depth & DepthsIn<B>,
+    ): Promise<DeeplyLoaded<B, Depth> | undefined> {
+        return loadCoValue(this, id, as, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static loadEf<B extends BinaryCoStream, Depth>(
+        this: CoValueClass<B>,
+        id: ID<B>,
+        depth: Depth & DepthsIn<B>,
+    ): Effect.Effect<DeeplyLoaded<B, Depth>, UnavailableError, AccountCtx> {
+        return loadCoValueEf<B, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribe<B extends BinaryCoStream, Depth>(
+        this: CoValueClass<B>,
+        id: ID<B>,
+        as: Account,
+        depth: Depth & DepthsIn<B>,
+        listener: (value: DeeplyLoaded<B, Depth>) => void,
+    ): () => void {
+        return subscribeToCoValue<B, Depth>(this, id, as, depth, listener);
+    }
+
+    /** @category Subscription & Loading */
+    static subscribeEf<B extends BinaryCoStream, Depth>(
+        this: CoValueClass<B>,
+        id: ID<B>,
+        depth: Depth & DepthsIn<B>,
+    ): Stream.Stream<DeeplyLoaded<B, Depth>, UnavailableError, AccountCtx> {
+        return subscribeToCoValueEf<B, Depth>(this, id, depth);
+    }
+
+    /** @category Subscription & Loading */
+    ensureLoaded<B extends BinaryCoStream, Depth>(
+        this: B,
+        depth: Depth & DepthsIn<B>,
+    ): Promise<DeeplyLoaded<B, Depth> | undefined> {
+        return ensureCoValueLoaded(this, depth);
+    }
+
+    /** @category Subscription & Loading */
+    subscribe<B extends BinaryCoStream, Depth>(
+        this: B,
+        depth: Depth & DepthsIn<B>,
+        listener: (value: DeeplyLoaded<B, Depth>) => void,
+    ): () => void {
+        return subscribeToExistingCoValue(this, depth, listener);
+    }
 }