@zeix/cause-effect 0.15.1 → 0.15.2

package/index.js

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

@@ -16,10 +16,19 @@ 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 {
@@ -35,13 +44,11 @@ export {
 	watch,
 } from './src/scheduler'
 export {
+	isMutableSignal,
 	isSignal,
-	type MaybeSignal,
 	type Signal,
 	type SignalValues,
-	toMutableSignal,
 	toSignal,
-	UNSET,
 	type UnknownSignalRecord,
 } from './src/signal'
 export { isState, type State, state, TYPE_STATE } from './src/state'
@@ -52,15 +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.1",
+	"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,12 +1,14 @@
-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 UnknownRecordOrArray = {
-	[x: string | number]: 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 UnknownRecordOrArray = UnknownRecord> = {
 	changed: boolean
@@ -69,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)
@@ -88,61 +92,70 @@ const diff = <T extends UnknownRecordOrArray>(
 	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
-			}
+	// 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 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 === */
 

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

@@ -5,7 +5,7 @@ import { toError } from './util'
 /* === Types === */
 
 type MatchHandlers<S extends UnknownSignalRecord> = {
-	ok?: (values: SignalValues<S>) => void
+	ok: (values: SignalValues<S>) => void
 	err?: (errors: readonly Error[]) => void
 	nil?: () => void
 }
@@ -31,7 +31,7 @@ function match<S extends UnknownSignalRecord>(
 	try {
 		if (result.pending) handlers.nil?.()
 		else if (result.errors) handlers.err?.(result.errors)
-		else handlers.ok?.(result.values as SignalValues<S>)
+		else if (result.ok) handlers.ok(result.values)
 	} catch (error) {
 		// If handler throws, try error handler, otherwise rethrow
 		if (

package/src/resolve.ts

@@ -1,6 +1,6 @@
 import type { UnknownRecord } from './diff'
-import { type SignalValues, UNSET, type UnknownSignalRecord } from './signal'
-import { toError } from './util'
+import type { SignalValues, UnknownSignalRecord } from './signal'
+import { toError, UNSET } from './util'
 
 /* === Types === */
 

package/src/signal.ts

@@ -14,7 +14,6 @@ import { isRecord } from './util'
 type Signal<T extends {}> = {
 	get(): T
 }
-type MaybeSignal<T extends {}> = T | Signal<T> | ComputedCallback<T>
 
 type UnknownSignalRecord = Record<string, Signal<unknown & {}>>
 
@@ -22,15 +21,10 @@ 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
@@ -40,6 +34,17 @@ const isSignal = /*#__PURE__*/ <T extends {}>(
 	value: unknown,
 ): value is Signal<T> => isState(value) || isComputed(value) || isStore(value)
 
+/**
+ * Check whether a value is a State or Store
+ *
+ * @since 0.15.2
+ * @param {unknown} value - value to check
+ * @returns {boolean} - true if value is a State or Store, false otherwise
+ */
+const isMutableSignal = /*#__PURE__*/ <T extends {}>(
+	value: unknown,
+): value is State<T> | Store<T> => isState(value) || isStore(value)
+
 /**
  * Convert a value to a Signal if it's not already a Signal
  *
@@ -47,10 +52,6 @@ const isSignal = /*#__PURE__*/ <T extends {}>(
  * @param {T} value - value to convert
  * @returns {Signal<T>} - Signal instance
  */
-function toSignal<T extends {}>(value: T[]): Store<Record<string, T>>
-function toSignal<T extends {}>(
-	value: (() => T) | ((abort: AbortSignal) => Promise<T>),
-): Computed<T>
 function toSignal<T extends {}>(
 	value: T,
 ): T extends Store<infer U>
@@ -61,50 +62,27 @@ function toSignal<T extends {}>(
 			? Computed<U>
 			: T extends Signal<infer U>
 				? Signal<U>
-				: T extends Record<string, unknown & {}>
-					? Store<{ [K in keyof T]: T[K] }>
-					: State<T>
-function toSignal<T extends {}>(value: MaybeSignal<T>): Signal<T> {
+				: 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)) return store(value as T)
 	if (Array.isArray(value) || isRecord(value)) return store(value)
 	return state(value)
 }
 
-/**
- * Convert a value to a mutable Signal if it's not already a Signal
- *
- * @since 0.15.0
- * @param {T} value - value to convert
- * @returns {State<T> | Store<T>} - Signal instance
- */
-function toMutableSignal<T extends {}>(value: T[]): Store<Record<string, T>>
-function toMutableSignal<T extends {}>(
-	value: T,
-): T extends Store<infer U>
-	? Store<U>
-	: T extends State<infer U>
-		? State<U>
-		: T extends Record<string, unknown & {}>
-			? Store<{ [K in keyof T]: T[K] }>
-			: State<T>
-function toMutableSignal<T extends {}>(value: T): State<T> | Store<T> {
-	if (isState<T>(value) || isStore<T>(value)) return value
-	if (Array.isArray(value)) return store(value as T)
-	if (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)