@zeix/cause-effect 0.15.0 → 0.15.2

package/index.js

@@ -1 +1 @@
-var q,f=new Set,p=0,h=new Map,k,l=()=>{k=void 0;let $=Array.from(h.values());h.clear();for(let B of $)B()},B$=()=>{if(k)cancelAnimationFrame(k);k=requestAnimationFrame(l)};queueMicrotask(l);var m=($)=>{let B=new Set,W=$;return W.off=(x)=>{B.add(x)},W.cleanup=()=>{for(let x of B)x();B.clear()},W},U=($)=>{if(q&&!$.has(q)){let B=q;$.add(B),q.off(()=>{$.delete(B)})}},M=($)=>{for(let B of $)if(p)f.add(B);else B()},w=()=>{while(f.size){let $=Array.from(f);f.clear();for(let B of $)B()}},v=($)=>{p++;try{$()}finally{w(),p--}},y=($,B)=>{let W=q;q=B;try{$()}finally{q=W}},W$=($,B)=>new Promise((W,x)=>{h.set(B||Symbol(),()=>{try{W($())}catch(J){x(J)}}),B$()});var A=($)=>typeof $==="function",E=($)=>A($)&&$.constructor.name==="AsyncFunction",O=($,B)=>Object.prototype.toString.call($)===`[object ${B}]`,V=($)=>O($,"Object");var d=($)=>{let B={};for(let W=0;W<$.length;W++)if(W in $)B[String(W)]=$[W];return B},a=($,B)=>(B in $)&&A($[B]),R=($)=>$ instanceof DOMException&&$.name==="AbortError",Y=($)=>$ instanceof Error?$:Error(String($));class D extends Error{constructor($){super(`Circular dependency in ${$} detected`);this.name="CircularDependencyError"}}var o="State",S=($)=>{let B=new Set,W=$,x={[Symbol.toStringTag]:o,get:()=>{return U(B),W},set:(J)=>{if(P(W,J))return;if(W=J,M(B),C===W)B.clear()},update:(J)=>{x.set(J(W))}};return x},b=($)=>O($,o);var c=($)=>{let B=E($),W=!1,x,J=m(()=>y(()=>{if(W)throw new D("effect");W=!0,x?.abort(),x=void 0;let F;try{if(B){x=new AbortController;let H=x;$(x.signal).then((z)=>{if(A(z)&&x===H)J.off(z)}).catch((z)=>{if(!R(z))console.error("Async effect error:",z)})}else if(F=$(),A(F))J.off(F)}catch(H){if(!R(H))console.error("Effect callback error:",H)}W=!1},J));return J(),()=>{x?.abort(),J.cleanup()}};var n="Store",T=($)=>{let B=new Set,W=new EventTarget,x=new Map,J=new Map,F=S(0),H=()=>{let Z={};for(let[L,Q]of x)Z[L]=Q.get();return Z},z=(Z,L)=>W.dispatchEvent(new CustomEvent(Z,{detail:L})),K=(Z,L)=>{let Q=e(L);x.set(Z,Q);let G=c(()=>{let X=Q.get();if(X!=null)z("store-change",{[Z]:X})});J.set(Z,G)},N=(Z)=>{x.delete(Z);let L=J.get(Z);if(L)L();J.delete(Z)},j=(Z,L)=>{let Q=u(Z,L);return v(()=>{if(Object.keys(Q.add).length){for(let G in Q.add){let X=Q.add[G];if(X!=null)K(G,X)}z("store-add",Q.add)}if(Object.keys(Q.change).length){for(let G in Q.change){let X=x.get(G),I=Q.change[G];if(X&&I!=null&&a(X,"set"))X.set(I)}z("store-change",Q.change)}if(Object.keys(Q.remove).length){for(let G in Q.remove)N(G);z("store-remove",Q.remove)}F.set(x.size)}),Q.changed};j({},$),setTimeout(()=>{let Z=new CustomEvent("store-add",{detail:$});W.dispatchEvent(Z)},0);let _=["add","get","remove","set","update","addEventListener","removeEventListener","dispatchEvent","size"];return new Proxy({},{get(Z,L){let Q=String(L);switch(L){case"add":return(G,X)=>{if(!x.has(G))K(G,X),M(B),z("store-add",{[G]:X}),F.set(x.size)};case"get":return()=>{return U(B),H()};case"remove":return(G)=>{if(x.has(G))N(G),M(B),z("store-remove",{[G]:C}),F.set(x.size)};case"set":return(G)=>{if(j(H(),G)){if(M(B),C===G)B.clear()}};case"update":return(G)=>{let X=H(),I=G(X);if(j(X,I)){if(M(B),C===I)B.clear()}};case"addEventListener":return W.addEventListener.bind(W);case"removeEventListener":return W.removeEventListener.bind(W);case"dispatchEvent":return W.dispatchEvent.bind(W);case"size":return F}if(L===Symbol.toStringTag)return n;if(L===Symbol.iterator)return function*(){for(let[G,X]of x)yield[G,X]};return x.get(Q)},has(Z,L){let Q=String(L);return x.has(Q)||_.includes(Q)||L===Symbol.toStringTag||L===Symbol.iterator},ownKeys(){return Array.from(x.keys())},getOwnPropertyDescriptor(Z,L){let Q=x.get(String(L));return Q?{enumerable:!0,configurable:!0,writable:!0,value:Q}:void 0}})},g=($)=>O($,n);var C=Symbol(),$$=($)=>b($)||t($)||g($);function x$($){if($$($))return $;if(s($))return i($);if(Array.isArray($))return T(d($));if(V($))return T($);return S($)}function e($){if(b($)||g($))return $;if(Array.isArray($))return T(d($));if(V($))return T($);return S($)}var P=($,B,W)=>{if(Object.is($,B))return!0;if(typeof $!==typeof B)return!1;if(typeof $!=="object"||$===null||B===null)return!1;if(!W)W=new WeakSet;if(W.has($)||W.has(B))throw new D("isEqual");W.add($),W.add(B);try{if(Array.isArray($)&&Array.isArray(B)){if($.length!==B.length)return!1;for(let x=0;x<$.length;x++)if(!P($[x],B[x],W))return!1;return!0}if(Array.isArray($)!==Array.isArray(B))return!1;if(V($)&&V(B)){let x=Object.keys($),J=Object.keys(B);if(x.length!==J.length)return!1;for(let F of x){if(!(F in B))return!1;if(!P($[F],B[F],W))return!1}return!0}return!1}finally{W.delete($),W.delete(B)}},u=($,B)=>{let W=new WeakSet;return((J,F)=>{let H={},z={},K={},N=Object.keys(J),j=Object.keys(F),_=new Set([...N,...j]);for(let L of _){let Q=L in J,G=L in F;if(!Q&&G){H[L]=F[L];continue}else if(Q&&!G){K[L]=C;continue}let X=J[L],I=F[L];if(!P(X,I,W))z[L]=I}return{changed:Object.keys(H).length>0||Object.keys(z).length>0||Object.keys(K).length>0,add:H,change:z,remove:K}})($,B)};var r="Computed",i=($)=>{let B=new Set,W=C,x,J,F=!0,H=!1,z=!1,K=(G)=>{if(!P(G,W))W=G,H=!0;x=void 0,F=!1},N=()=>{H=C!==W,W=C,x=void 0},j=(G)=>{let X=Y(G);H=!x||X.name!==x.name||X.message!==x.message,W=C,x=X},_=(G)=>(X)=>{if(z=!1,J=void 0,G(X),H)M(B)},Z=m(()=>{if(F=!0,J?.abort(),B.size)M(B);else Z.cleanup()});Z.off(()=>{J?.abort()});let L=()=>y(()=>{if(z)throw new D("computed");if(H=!1,E($)){if(J)return W;J=new AbortController,J.signal.addEventListener("abort",()=>{z=!1,J=void 0,L()},{once:!0})}let G;z=!0;try{G=J?$(J.signal):$()}catch(X){if(R(X))N();else j(X);z=!1;return}if(G instanceof Promise)G.then(_(K),_(j));else if(G==null||C===G)N();else K(G);z=!1},Z);return{[Symbol.toStringTag]:r,get:()=>{if(U(B),w(),F)L();if(x)throw x;return W}}},t=($)=>O($,r),s=($)=>A($)&&$.length<2;function G$($,B){try{if($.pending)B.nil?.();else if($.errors)B.err?.($.errors);else B.ok?.($.values)}catch(W){if(B.err&&(!$.errors||!$.errors.includes(Y(W)))){let x=$.errors?[...$.errors,Y(W)]:[Y(W)];B.err(x)}else throw W}}function J$($){let B=[],W=!1,x={};for(let[J,F]of Object.entries($))try{let H=F.get();if(H===C)W=!0;else x[J]=H}catch(H){B.push(Y(H))}if(W)return{ok:!1,pending:!0};if(B.length>0)return{ok:!1,errors:B};return{ok:!0,values:x}}export{m as watch,x$ as toSignal,Y as toError,U as subscribe,T as store,S as state,J$ as resolve,y as observe,M as notify,G$ as match,g as isStore,b as isState,$$ as isSignal,A as isFunction,P as isEqual,s as isComputedCallback,t as isComputed,E as isAsyncFunction,R as isAbortError,w as flush,W$ as enqueue,c as effect,u as diff,i as computed,v as batch,C as UNSET,n as TYPE_STORE,o as TYPE_STATE,r as TYPE_COMPUTED,D as CircularDependencyError};
+class A extends Error{constructor($){super(`Circular dependency detected in ${$}`);this.name="CircularDependencyError"}}class c extends TypeError{constructor($,B){super(`Invalid signal value ${B} in ${$}`);this.name="InvalidSignalValueError"}}class V extends TypeError{constructor($){super(`Nullish signal values are not allowed in ${$}`);this.name="NullishSignalValueError"}}class n extends Error{constructor($,B){super(`Could not add store key "${$}" with value ${B} because it already exists`);this.name="StoreKeyExistsError"}}class v extends RangeError{constructor($){super(`Could not remove store index ${String($)} because it is out of range`);this.name="StoreKeyRangeError"}}class t extends Error{constructor($,B){super(`Could not set store key "${$}" to ${B} because it is readonly`);this.name="StoreKeyReadonlyError"}}var z=Symbol(),$$=($)=>typeof $==="string",M$=($)=>typeof $==="number",w=($)=>typeof $==="symbol",q=($)=>typeof $==="function",g=($)=>q($)&&$.constructor.name==="AsyncFunction",U$=($)=>!!$&&typeof $==="object",f=($,B)=>Object.prototype.toString.call($)===`[object ${B}]`,L=($)=>f($,"Object"),u=($)=>L($)||Array.isArray($),q$=($)=>{if(!$.length)return null;let B=$.map((Q)=>$$(Q)?parseInt(Q,10):M$(Q)?Q:NaN);return B.every((Q)=>Number.isFinite(Q)&&Q>=0)?B.sort((Q,X)=>Q-X):null};var O=($)=>$ instanceof DOMException&&$.name==="AbortError",N=($)=>$ instanceof Error?$:Error(String($));var s=($)=>{let B=q$(Object.keys($));if(B===null)return $;let Q=[];for(let X of B)Q.push($[String(X)]);return Q},i=($)=>$$($)?`"${$}"`:U$($)?JSON.stringify($):String($);var P=($,B,Q)=>{if(Object.is($,B))return!0;if(typeof $!==typeof B)return!1;if(typeof $!=="object"||$===null||B===null)return!1;if(!Q)Q=new WeakSet;if(Q.has($)||Q.has(B))throw new A("isEqual");Q.add($),Q.add(B);try{if(Array.isArray($)&&Array.isArray(B)){if($.length!==B.length)return!1;for(let X=0;X<$.length;X++)if(!P($[X],B[X],Q))return!1;return!0}if(Array.isArray($)!==Array.isArray(B))return!1;if(L($)&&L(B)){let X=Object.keys($),Z=Object.keys(B);if(X.length!==Z.length)return!1;for(let R of X){if(!(R in B))return!1;if(!P($[R],B[R],Q))return!1}return!0}return!1}finally{Q.delete($),Q.delete(B)}},B$=($,B)=>{let Q=u($),X=u(B);if(!Q||!X){let M=!Object.is($,B);return{changed:M,add:M&&X?B:{},change:{},remove:M&&Q?$:{}}}let Z=new WeakSet,R={},K={},H={},Y=Object.keys($),m=Object.keys(B),S=new Set([...Y,...m]);for(let M of S){let D=M in $,U=M in B;if(!D&&U){R[M]=B[M];continue}else if(D&&!U){H[M]=z;continue}let W=$[M],J=B[M];if(!P(W,J,Z))K[M]=J}return{changed:Object.keys(R).length>0||Object.keys(K).length>0||Object.keys(H).length>0,add:R,change:K,remove:H}};var T,r=new Set,J$=0,W$=new Map,l,z$=()=>{l=void 0;let $=Array.from(W$.values());W$.clear();for(let B of $)B()},L$=()=>{if(l)cancelAnimationFrame(l);l=requestAnimationFrame(z$)};queueMicrotask(z$);var b=($)=>{let B=new Set,Q=$;return Q.off=(X)=>{B.add(X)},Q.cleanup=()=>{for(let X of B)X();B.clear()},Q},j=($)=>{if(T&&!$.has(T)){let B=T;$.add(B),T.off(()=>{$.delete(B)})}},I=($)=>{for(let B of $)if(J$)r.add(B);else B()},a=()=>{while(r.size){let $=Array.from(r);r.clear();for(let B of $)B()}},Q$=($)=>{J$++;try{$()}finally{a(),J$--}},k=($,B)=>{let Q=T;T=B;try{$()}finally{T=Q}},N$=($,B)=>new Promise((Q,X)=>{W$.set(B||Symbol(),()=>{try{Q($())}catch(Z){X(Z)}}),L$()});var X$="Computed",Z$=($)=>{let B=new Set,Q=z,X,Z,R=!0,K=!1,H=!1,Y=(W)=>{if(!P(W,Q))Q=W,K=!0;X=void 0,R=!1},m=()=>{K=z!==Q,Q=z,X=void 0},S=(W)=>{let J=N(W);K=!X||J.name!==X.name||J.message!==X.message,Q=z,X=J},_=(W)=>(J)=>{if(H=!1,Z=void 0,W(J),K)I(B)},M=b(()=>{if(R=!0,Z?.abort(),B.size)I(B);else M.cleanup()});M.off(()=>{Z?.abort()});let D=()=>k(()=>{if(H)throw new A("computed");if(K=!1,g($)){if(Z)return Q;Z=new AbortController,Z.signal.addEventListener("abort",()=>{H=!1,Z=void 0,D()},{once:!0})}let W;H=!0;try{W=Z?$(Z.signal):$()}catch(J){if(O(J))m();else S(J);H=!1;return}if(W instanceof Promise)W.then(_(Y),_(S));else if(W==null||z===W)m();else Y(W);H=!1},M);return{[Symbol.toStringTag]:X$,get:()=>{if(j(B),a(),R)D();if(X)throw X;return Q}}},h=($)=>f($,X$),x$=($)=>q($)&&$.length<2;var C$=($)=>{let B=g($),Q=!1,X,Z=b(()=>k(()=>{if(Q)throw new A("effect");Q=!0,X?.abort(),X=void 0;let R;try{if(B){X=new AbortController;let K=X;$(X.signal).then((H)=>{if(q(H)&&X===K)Z.off(H)}).catch((H)=>{if(!O(H))console.error("Async effect error:",H)})}else if(R=$(),q(R))Z.off(R)}catch(K){if(!O(K))console.error("Effect callback error:",K)}Q=!1},Z));return Z(),()=>{X?.abort(),Z.cleanup()}};function A$($,B){try{if($.pending)B.nil?.();else if($.errors)B.err?.($.errors);else if($.ok)B.ok($.values)}catch(Q){if(B.err&&(!$.errors||!$.errors.includes(N(Q))))B.err($.errors?[...$.errors,N(Q)]:[N(Q)]);else throw Q}}function P$($){let B=[],Q=!1,X={};for(let[Z,R]of Object.entries($))try{let K=R.get();if(K===z)Q=!0;else X[Z]=K}catch(K){B.push(N(K))}if(Q)return{ok:!1,pending:!0};if(B.length>0)return{ok:!1,errors:B};return{ok:!0,values:X}}var G$="State",y=($)=>{let B=new Set,Q=$,X={[Symbol.toStringTag]:G$,get:()=>{return j(B),Q},set:(Z)=>{if(Z==null)throw new V("state");if(P(Q,Z))return;if(Q=Z,I(B),z===Q)B.clear()},update:(Z)=>{X.set(Z(Q))}};return X},E=($)=>f($,G$);var e="Store",R$="store-add",F$="store-change",Y$="store-remove",j$="store-sort",p=($)=>{let B=new Set,Q=new EventTarget,X=new Map,Z=new Map,R=Array.isArray($),K=y(0),H=()=>{let W={};for(let[J,C]of X)W[J]=C.get();return W},Y=(W,J)=>Q.dispatchEvent(new CustomEvent(W,{detail:J})),m=()=>Array.from(X.keys()).map((W)=>Number(W)).filter((W)=>Number.isInteger(W)).sort((W,J)=>W-J),S=(W,J)=>{if(J==null)throw new V(`store for key "${W}"`);if(J===z)return!0;if(w(J)||q(J)||h(J))throw new c(`store for key "${W}"`,i(J));return!0},_=(W,J,C=!1)=>{if(!S(W,J))return!1;let x=E(J)||o(J)?J:L(J)?p(J):Array.isArray(J)?p(J):y(J);X.set(W,x);let G=C$(()=>{let F=x.get();if(F!=null)Y(F$,{[W]:F})});if(Z.set(W,G),C)K.set(X.size),I(B),Y(R$,{[W]:J});return!0},M=(W,J=!1)=>{let C=X.delete(W);if(C){let x=Z.get(W);if(x)x();Z.delete(W)}if(J)K.set(X.size),I(B),Y(Y$,{[W]:z});return C},D=(W,J,C)=>{let x=B$(W,J);return Q$(()=>{if(Object.keys(x.add).length){for(let G in x.add){let F=x.add[G]??z;_(G,F)}if(C)setTimeout(()=>{Y(R$,x.add)},0);else Y(R$,x.add)}if(Object.keys(x.change).length){for(let G in x.change){let F=x.change[G];if(!S(G,F))continue;let d=X.get(G);if(K$(d))d.set(F);else throw new t(G,i(F))}Y(F$,x.change)}if(Object.keys(x.remove).length){for(let G in x.remove)M(G);Y(Y$,x.remove)}K.set(X.size)}),x.changed};D({},$,!0);let U={add:R?(W)=>{let J=X.size,C=String(J);_(C,W,!0)}:(W,J)=>{if(!X.has(W))_(W,J,!0);else throw new n(W,i(J))},get:()=>{return j(B),s(H())},remove:R?(W)=>{let J=s(H()),C=X.size;if(!Array.isArray(J)||W<=-C||W>=C)throw new v(W);let x=[...J];if(x.splice(W,1),D(J,x))I(B)}:(W)=>{if(X.has(W))M(W,!0)},set:(W)=>{if(D(H(),W)){if(I(B),z===W)B.clear()}},update:(W)=>{let J=H(),C=W(s(J));if(D(J,C)){if(I(B),z===C)B.clear()}},sort:(W)=>{let J=Array.from(X.entries()).map(([G,F])=>[G,F.get()]).sort(W?(G,F)=>W(G[1],F[1]):(G,F)=>String(G[1]).localeCompare(String(F[1]))),C=J.map(([G])=>String(G)),x=new Map;J.forEach(([G],F)=>{let d=String(G),D$=R?String(F):String(G),H$=X.get(d);if(H$)x.set(D$,H$)}),X.clear(),x.forEach((G,F)=>X.set(F,G)),I(B),Y(j$,C)},addEventListener:Q.addEventListener.bind(Q),removeEventListener:Q.removeEventListener.bind(Q),dispatchEvent:Q.dispatchEvent.bind(Q),size:K};return new Proxy({},{get(W,J){if(J===Symbol.toStringTag)return e;if(J===Symbol.isConcatSpreadable)return R;if(J===Symbol.iterator)return R?function*(){let C=m();for(let x of C){let G=X.get(String(x));if(G)yield G}}:function*(){for(let[C,x]of X)yield[C,x]};if(w(J))return;if(J in U)return U[J];if(J==="length"&&R)return j(B),K.get();return X.get(J)},has(W,J){let C=String(J);return C&&X.has(C)||Object.keys(U).includes(C)||J===Symbol.toStringTag||J===Symbol.iterator||J===Symbol.isConcatSpreadable||J==="length"&&R},ownKeys(){return R?m().map((W)=>String(W)).concat(["length"]):Array.from(X.keys()).map((W)=>String(W))},getOwnPropertyDescriptor(W,J){let C=(G)=>({enumerable:!1,configurable:!0,writable:!1,value:G});if(J==="length"&&R)return{enumerable:!0,configurable:!0,writable:!1,value:K.get()};if(J===Symbol.isConcatSpreadable)return C(R);if(J===Symbol.toStringTag)return C(e);if(w(J))return;if(Object.keys(U).includes(J))return C(U[J]);let x=X.get(J);return x?{enumerable:!0,configurable:!0,writable:!0,value:x}:void 0}})},o=($)=>f($,e);var I$=($)=>E($)||h($)||o($),K$=($)=>E($)||o($);function m$($){if(I$($))return $;if(x$($))return Z$($);if(Array.isArray($)||L($))return p($);return y($)}export{b as watch,m$ as toSignal,N as toError,j as subscribe,p as store,y as state,P$ as resolve,k as observe,I as notify,A$ as match,w as isSymbol,$$ as isString,o as isStore,E as isState,I$ as isSignal,u as isRecordOrArray,L as isRecord,M$ as isNumber,K$ as isMutableSignal,q as isFunction,P as isEqual,x$ as isComputedCallback,h as isComputed,g as isAsyncFunction,O as isAbortError,a as flush,N$ as enqueue,C$ as effect,B$ as diff,Z$ as computed,Q$ as batch,z as UNSET,e as TYPE_STORE,G$ as TYPE_STATE,X$ as TYPE_COMPUTED,t as StoreKeyReadonlyError,v as StoreKeyRangeError,n as StoreKeyExistsError,V as NullishSignalValueError,c as InvalidSignalValueError,A as CircularDependencyError};

package/index.ts

@@ -1,6 +1,6 @@
 /**
  * @name Cause & Effect
- * @version 0.15.0
+ * @version 0.15.1
  * @author Esther Brunner
  */
 
@@ -12,8 +12,23 @@ export {
 	isComputedCallback,
 	TYPE_COMPUTED,
 } from './src/computed'
-export { type DiffResult, diff, isEqual, type UnknownRecord } from './src/diff'
+export {
+	type DiffResult,
+	diff,
+	isEqual,
+	type UnknownArray,
+	type UnknownRecord,
+	type UnknownRecordOrArray,
+} from './src/diff'
 export { type EffectCallback, effect, type MaybeCleanup } from './src/effect'
+export {
+	CircularDependencyError,
+	InvalidSignalValueError,
+	NullishSignalValueError,
+	StoreKeyExistsError,
+	StoreKeyRangeError,
+	StoreKeyReadonlyError,
+} from './src/errors'
 export { type MatchHandlers, match } from './src/match'
 export { type ResolveResult, resolve } from './src/resolve'
 export {
@@ -29,12 +44,12 @@ export {
 	watch,
 } from './src/scheduler'
 export {
+	isMutableSignal,
 	isSignal,
-	type MaybeSignal,
 	type Signal,
 	type SignalValues,
 	toSignal,
-	UNSET,
+	type UnknownSignalRecord,
 } from './src/signal'
 export { isState, type State, state, TYPE_STATE } from './src/state'
 export {
@@ -44,13 +59,19 @@ export {
 	type StoreChangeEvent,
 	type StoreEventMap,
 	type StoreRemoveEvent,
+	type StoreSortEvent,
 	store,
 	TYPE_STORE,
 } from './src/store'
 export {
-	CircularDependencyError,
 	isAbortError,
 	isAsyncFunction,
 	isFunction,
+	isNumber,
+	isRecord,
+	isRecordOrArray,
+	isString,
+	isSymbol,
 	toError,
+	UNSET,
 } from './src/util'

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@zeix/cause-effect",
-	"version": "0.15.0",
+	"version": "0.15.2",
 	"author": "Esther Brunner",
 	"main": "index.js",
 	"module": "index.ts",

package/src/computed.ts

@@ -1,4 +1,5 @@
 import { isEqual } from './diff'
+import { CircularDependencyError } from './errors'
 import {
 	flush,
 	notify,
@@ -7,14 +8,13 @@ import {
 	type Watcher,
 	watch,
 } from './scheduler'
-import { UNSET } from './signal'
 import {
-	CircularDependencyError,
 	isAbortError,
 	isAsyncFunction,
 	isFunction,
 	isObjectOfType,
 	toError,
+	UNSET,
 } from './util'
 
 /* === Types === */

package/src/diff.ts

@@ -1,11 +1,16 @@
-import { UNSET } from './signal'
-import { CircularDependencyError, isRecord } from './util'
+import { CircularDependencyError } from './errors'
+import { isRecord, isRecordOrArray, UNSET } from './util'
 
 /* === Types === */
 
 type UnknownRecord = Record<string, unknown & {}>
+type UnknownArray = ReadonlyArray<unknown & {}>
+type ArrayToRecord<T extends UnknownArray> = {
+	[key: string]: T extends Array<infer U extends {}> ? U : never
+}
+type UnknownRecordOrArray = UnknownRecord | ArrayToRecord<UnknownArray>
 
-type DiffResult<T extends UnknownRecord = UnknownRecord> = {
+type DiffResult<T extends UnknownRecordOrArray = UnknownRecord> = {
 	changed: boolean
 	add: Partial<T>
 	change: Partial<T>
@@ -66,6 +71,8 @@ const isEqual = <T>(a: T, b: T, visited?: WeakSet<object>): boolean => {
 			return true
 		}
 
+		// For non-records/non-arrays, they are only equal if they are the same reference
+		// (which would have been caught by Object.is at the beginning)
 		return false
 	} finally {
 		visited.delete(a as object)
@@ -81,56 +88,74 @@ const isEqual = <T>(a: T, b: T, visited?: WeakSet<object>): boolean => {
  * @param {T} newObj - The new record to compare
  * @returns {DiffResult<T>} The result of the comparison
  */
-const diff = <T extends UnknownRecord>(oldObj: T, newObj: T): DiffResult<T> => {
-	const visited = new WeakSet<object>()
-
-	const diffRecords = (
-		oldRecord: Record<string, unknown>,
-		newRecord: Record<string, unknown>,
-	): DiffResult<T> => {
-		const add: Partial<T> = {}
-		const change: Partial<T> = {}
-		const remove: Partial<T> = {}
-
-		const oldKeys = Object.keys(oldRecord)
-		const newKeys = Object.keys(newRecord)
-		const allKeys = new Set([...oldKeys, ...newKeys])
-
-		for (const key of allKeys) {
-			const oldHas = key in oldRecord
-			const newHas = key in newRecord
-
-			if (!oldHas && newHas) {
-				add[key as keyof T] = newRecord[key] as T[keyof T]
-				continue
-			} else if (oldHas && !newHas) {
-				remove[key as keyof T] = UNSET
-				continue
-			}
+const diff = <T extends UnknownRecordOrArray>(
+	oldObj: T,
+	newObj: T,
+): DiffResult<T> => {
+	// Guard against non-objects that can't be diffed properly with Object.keys and 'in' operator
+	const oldValid = isRecordOrArray(oldObj)
+	const newValid = isRecordOrArray(newObj)
+	if (!oldValid || !newValid) {
+		// For non-objects or non-plain objects, treat as complete change if different
+		const changed = !Object.is(oldObj, newObj)
+		return {
+			changed,
+			add: changed && newValid ? newObj : {},
+			change: {},
+			remove: changed && oldValid ? oldObj : {},
+		}
+	}
 
-			const oldValue = oldRecord[key] as T[keyof T]
-			const newValue = newRecord[key] as T[keyof T]
+	const visited = new WeakSet()
 
-			if (!isEqual(oldValue, newValue, visited))
-				change[key as keyof T] = newValue
-		}
+	const add: Partial<T> = {}
+	const change: Partial<T> = {}
+	const remove: Partial<T> = {}
 
-		const changed =
-			Object.keys(add).length > 0 ||
-			Object.keys(change).length > 0 ||
-			Object.keys(remove).length > 0
+	const oldKeys = Object.keys(oldObj)
+	const newKeys = Object.keys(newObj)
+	const allKeys = new Set([...oldKeys, ...newKeys])
 
-		return {
-			changed,
-			add,
-			change,
-			remove,
+	for (const key of allKeys) {
+		const oldHas = key in oldObj
+		const newHas = key in newObj
+
+		if (!oldHas && newHas) {
+			add[key as keyof T] = newObj[key] as T[keyof T]
+			continue
+		} else if (oldHas && !newHas) {
+			remove[key as keyof T] = UNSET
+			continue
 		}
+
+		const oldValue = oldObj[key] as T[keyof T]
+		const newValue = newObj[key] as T[keyof T]
+
+		if (!isEqual(oldValue, newValue, visited))
+			change[key as keyof T] = newValue
 	}
 
-	return diffRecords(oldObj, newObj)
+	const changed =
+		Object.keys(add).length > 0 ||
+		Object.keys(change).length > 0 ||
+		Object.keys(remove).length > 0
+
+	return {
+		changed,
+		add,
+		change,
+		remove,
+	}
 }
 
 /* === Exports === */
 
-export { type DiffResult, diff, isEqual, type UnknownRecord }
+export {
+	type ArrayToRecord,
+	type DiffResult,
+	diff,
+	isEqual,
+	type UnknownRecord,
+	type UnknownArray,
+	type UnknownRecordOrArray,
+}

package/src/effect.ts

@@ -1,10 +1,6 @@
+import { CircularDependencyError } from './errors'
 import { type Cleanup, observe, watch } from './scheduler'
-import {
-	CircularDependencyError,
-	isAbortError,
-	isAsyncFunction,
-	isFunction,
-} from './util'
+import { isAbortError, isAsyncFunction, isFunction } from './util'
 
 /* === Types === */
 
@@ -55,9 +51,8 @@ const effect = (callback: EffectCallback): Cleanup => {
 							if (
 								isFunction(cleanup) &&
 								controller === currentController
-							) {
+							)
 								run.off(cleanup)
-							}
 						})
 						.catch(error => {
 							if (!isAbortError(error))

package/src/errors.ts

@@ -0,0 +1,56 @@
+class CircularDependencyError extends Error {
+	constructor(where: string) {
+		super(`Circular dependency detected in ${where}`)
+		this.name = 'CircularDependencyError'
+	}
+}
+
+class InvalidSignalValueError extends TypeError {
+	constructor(where: string, value: string) {
+		super(`Invalid signal value ${value} in ${where}`)
+		this.name = 'InvalidSignalValueError'
+	}
+}
+
+class NullishSignalValueError extends TypeError {
+	constructor(where: string) {
+		super(`Nullish signal values are not allowed in ${where}`)
+		this.name = 'NullishSignalValueError'
+	}
+}
+
+class StoreKeyExistsError extends Error {
+	constructor(key: string, value: string) {
+		super(
+			`Could not add store key "${key}" with value ${value} because it already exists`,
+		)
+		this.name = 'StoreKeyExistsError'
+	}
+}
+
+class StoreKeyRangeError extends RangeError {
+	constructor(index: number) {
+		super(
+			`Could not remove store index ${String(index)} because it is out of range`,
+		)
+		this.name = 'StoreKeyRangeError'
+	}
+}
+
+class StoreKeyReadonlyError extends Error {
+	constructor(key: string, value: string) {
+		super(
+			`Could not set store key "${key}" to ${value} because it is readonly`,
+		)
+		this.name = 'StoreKeyReadonlyError'
+	}
+}
+
+export {
+	CircularDependencyError,
+	InvalidSignalValueError,
+	NullishSignalValueError,
+	StoreKeyExistsError,
+	StoreKeyRangeError,
+	StoreKeyReadonlyError,
+}

package/src/match.ts

@@ -1,11 +1,11 @@
 import type { ResolveResult } from './resolve'
-import type { Signal, SignalValues } from './signal'
+import type { SignalValues, UnknownSignalRecord } from './signal'
 import { toError } from './util'
 
 /* === Types === */
 
-type MatchHandlers<S extends Record<string, Signal<unknown & {}>>> = {
-	ok?: (values: SignalValues<S>) => void
+type MatchHandlers<S extends UnknownSignalRecord> = {
+	ok: (values: SignalValues<S>) => void
 	err?: (errors: readonly Error[]) => void
 	nil?: () => void
 }
@@ -24,31 +24,26 @@ type MatchHandlers<S extends Record<string, Signal<unknown & {}>>> = {
  * @param {MatchHandlers<S>} handlers - Handlers for different states (side effects only)
  * @returns {void} - Always returns void
  */
-function match<S extends Record<string, Signal<unknown & {}>>>(
+function match<S extends UnknownSignalRecord>(
 	result: ResolveResult<S>,
 	handlers: MatchHandlers<S>,
 ): void {
 	try {
-		if (result.pending) {
-			handlers.nil?.()
-		} else if (result.errors) {
-			handlers.err?.(result.errors)
-		} else {
-			handlers.ok?.(result.values as SignalValues<S>)
-		}
+		if (result.pending) handlers.nil?.()
+		else if (result.errors) handlers.err?.(result.errors)
+		else if (result.ok) handlers.ok(result.values)
 	} catch (error) {
 		// If handler throws, try error handler, otherwise rethrow
 		if (
 			handlers.err &&
 			(!result.errors || !result.errors.includes(toError(error)))
-		) {
-			const allErrors = result.errors
-				? [...result.errors, toError(error)]
-				: [toError(error)]
-			handlers.err(allErrors)
-		} else {
-			throw error
-		}
+		)
+			handlers.err(
+				result.errors
+					? [...result.errors, toError(error)]
+					: [toError(error)],
+			)
+		else throw error
 	}
 }
 

package/src/resolve.ts

@@ -1,10 +1,10 @@
 import type { UnknownRecord } from './diff'
-import { type Signal, type SignalValues, UNSET } from './signal'
-import { toError } from './util'
+import type { SignalValues, UnknownSignalRecord } from './signal'
+import { toError, UNSET } from './util'
 
 /* === Types === */
 
-type ResolveResult<S extends Record<string, Signal<unknown & {}>>> =
+type ResolveResult<S extends UnknownSignalRecord> =
 	| { ok: true; values: SignalValues<S>; errors?: never; pending?: never }
 	| { ok: false; errors: readonly Error[]; values?: never; pending?: never }
 	| { ok: false; pending: true; values?: never; errors?: never }
@@ -21,9 +21,7 @@ type ResolveResult<S extends Record<string, Signal<unknown & {}>>> =
  * @param {S} signals - Signals to resolve
  * @returns {ResolveResult<S>} - Discriminated union result
  */
-function resolve<S extends Record<string, Signal<unknown & {}>>>(
-	signals: S,
-): ResolveResult<S> {
+function resolve<S extends UnknownSignalRecord>(signals: S): ResolveResult<S> {
 	const errors: Error[] = []
 	let pending = false
 	const values: UnknownRecord = {}
@@ -32,24 +30,16 @@ function resolve<S extends Record<string, Signal<unknown & {}>>>(
 	for (const [key, signal] of Object.entries(signals)) {
 		try {
 			const value = signal.get()
-
-			if (value === UNSET) {
-				pending = true
-			} else {
-				values[key] = value
-			}
+			if (value === UNSET) pending = true
+			else values[key] = value
 		} catch (e) {
 			errors.push(toError(e))
 		}
 	}
 
 	// Return discriminated union
-	if (pending) {
-		return { ok: false, pending: true }
-	}
-	if (errors.length > 0) {
-		return { ok: false, errors }
-	}
+	if (pending) return { ok: false, pending: true }
+	if (errors.length > 0) return { ok: false, errors }
 	return { ok: true, values: values as SignalValues<S> }
 }
 

package/src/signal.ts

@@ -7,28 +7,24 @@ import {
 } from './computed'
 import { isState, type State, state } from './state'
 import { isStore, type Store, store } from './store'
-import { arrayToRecord, isRecord } from './util'
+import { isRecord } from './util'
 
 /* === Types === */
 
 type Signal<T extends {}> = {
 	get(): T
 }
-type MaybeSignal<T extends {}> = T | Signal<T> | ComputedCallback<T>
 
-type SignalValues<S extends Record<string, Signal<unknown & {}>>> = {
+type UnknownSignalRecord = Record<string, Signal<unknown & {}>>
+
+type SignalValues<S extends UnknownSignalRecord> = {
 	[K in keyof S]: S[K] extends Signal<infer T> ? T : never
 }
 
-/* === Constants === */
-
-// biome-ignore lint/suspicious/noExplicitAny: Deliberately using any to be used as a placeholder value in any signal
-const UNSET: any = Symbol()
-
 /* === Functions === */
 
 /**
- * Check whether a value is a Signal or not
+ * Check whether a value is a Signal
  *
  * @since 0.9.0
  * @param {unknown} value - value to check
@@ -39,58 +35,54 @@ const isSignal = /*#__PURE__*/ <T extends {}>(
 ): value is Signal<T> => isState(value) || isComputed(value) || isStore(value)
 
 /**
- * Convert a value to a Signal if it's not already a Signal
+ * Check whether a value is a State or Store
  *
- * @since 0.9.6
+ * @since 0.15.2
+ * @param {unknown} value - value to check
+ * @returns {boolean} - true if value is a State or Store, false otherwise
  */
-function toSignal<T extends Array<unknown & {}>>(
-	value: T[],
-): Store<Record<string, T>>
-function toSignal<T extends Record<keyof T, T[keyof T]>>(value: T): Store<T>
-function toSignal<T extends {}>(value: ComputedCallback<T>): Computed<T>
-function toSignal<T extends {}>(value: Signal<T>): Signal<T>
-function toSignal<T extends {}>(value: T): State<T>
-function toSignal<T extends {}>(
-	value: MaybeSignal<T> | T[],
-): Signal<T> | Store<Record<string, T>> {
-	if (isSignal<T>(value)) return value
-	if (isComputedCallback<T>(value)) return computed(value)
-	if (Array.isArray(value)) return store(arrayToRecord(value))
-	if (isRecord(value)) return store(value as T)
-	return state(value as T)
-}
+const isMutableSignal = /*#__PURE__*/ <T extends {}>(
+	value: unknown,
+): value is State<T> | Store<T> => isState(value) || isStore(value)
 
 /**
- * Convert a value to a mutable Signal if it's not already a Signal
+ * Convert a value to a Signal if it's not already a Signal
  *
  * @since 0.9.6
+ * @param {T} value - value to convert
+ * @returns {Signal<T>} - Signal instance
  */
-function toMutableSignal<T extends Array<unknown & {}>>(
-	value: T[],
-): Store<Record<string, T>>
-function toMutableSignal<T extends Record<keyof T, T[keyof T]>>(
+function toSignal<T extends {}>(
 	value: T,
-): Store<T>
-function toMutableSignal<T extends State<T>>(value: State<T>): State<T>
-function toMutableSignal<T extends Store<T>>(value: Store<T>): Store<T>
-function toMutableSignal<T extends {}>(value: T): State<T>
-function toMutableSignal<T extends {}>(
-	value: T | State<T> | Store<T> | T[],
-): Signal<T> | Store<Record<string, T>> {
-	if (isState<T>(value) || isStore<T>(value)) return value
-	if (Array.isArray(value)) return store(arrayToRecord(value))
-	if (isRecord(value)) return store(value as T)
-	return state(value as T)
+): T extends Store<infer U>
+	? Store<U>
+	: T extends State<infer U>
+		? State<U>
+		: T extends Computed<infer U>
+			? Computed<U>
+			: T extends Signal<infer U>
+				? Signal<U>
+				: T extends ReadonlyArray<infer U extends {}>
+					? Store<U[]>
+					: T extends Record<string, unknown & {}>
+						? Store<{ [K in keyof T]: T[K] }>
+						: T extends ComputedCallback<infer U extends {}>
+							? Computed<U>
+							: State<T>
+function toSignal<T extends {}>(value: T) {
+	if (isSignal<T>(value)) return value
+	if (isComputedCallback(value)) return computed(value)
+	if (Array.isArray(value) || isRecord(value)) return store(value)
+	return state(value)
 }
 
 /* === Exports === */
 
 export {
 	type Signal,
-	type MaybeSignal,
+	type UnknownSignalRecord,
 	type SignalValues,
-	UNSET,
 	isSignal,
+	isMutableSignal,
 	toSignal,
-	toMutableSignal,
 }

package/src/state.ts

@@ -1,7 +1,7 @@
 import { isEqual } from './diff'
+import { NullishSignalValueError } from './errors'
 import { notify, subscribe, type Watcher } from './scheduler'
-import { UNSET } from './signal'
-import { isObjectOfType } from './util'
+import { isObjectOfType, UNSET } from './util'
 
 /* === Types === */
 
@@ -51,6 +51,7 @@ const state = /*#__PURE__*/ <T extends {}>(initialValue: T): State<T> => {
 		 * @returns {void}
 		 */
 		set: (v: T): void => {
+			if (v == null) throw new NullishSignalValueError('state')
 			if (isEqual(value, v)) return
 			value = v
 			notify(watchers)