@bitstillery/mithril 3.8.0 → 3.9.0

package/index.ts

@@ -12,7 +12,15 @@ import censor from './util/censor'
 import nextTick from './util/next_tick'
 import domFor from './render/domFor'
 import {signal, computed, effect, Signal, ComputedSignal, setSignalRedrawCallback, getSignalComponents} from './signal'
-import {state, watch, registerState, getRegisteredStates, clearStateRegistry, copyGlobalStatesToContext} from './state'
+import {
+    state,
+    watch,
+    registerState,
+    getRegisteredStates,
+    clearStateRegistry,
+    copyGlobalStatesToContext,
+    allowComputed,
+} from './state'
 
 import type {Vnode, Children, ComponentType} from './render/vnode'
 import type {Hyperscript} from './render/hyperscript'
@@ -101,8 +109,20 @@ setSignalRedrawCallback((sig: Signal<any>) => {
 })
 
 // Export signals API
-export {signal, computed, effect, Signal, ComputedSignal, state, watch, registerState, getRegisteredStates, clearStateRegistry}
-export type {State, StateArray, StateOptions, StateSignals, Unwatch} from './state'
+export {
+    signal,
+    computed,
+    effect,
+    Signal,
+    ComputedSignal,
+    state,
+    watch,
+    registerState,
+    getRegisteredStates,
+    clearStateRegistry,
+    allowComputed,
+}
+export type {DeepPartial, State, StateArray, StateOptions, StateSignals, Unwatch} from './state'
 
 // Export Store class
 export {Store} from './store'

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@bitstillery/mithril",
-    "version": "3.8.0",
+    "version": "3.9.0",
     "description": "Mithril + Signals, Store and SSR",
     "license": "MIT",
     "author": "Bitstillery",
@@ -52,7 +52,7 @@
         "lint:ts": "bun run lint:ts-format && bun run lint:ts-syntax && bun run lint:ts-types",
         "lint:ts-format": "oxfmt",
         "lint:ts-syntax": "oxlint -c .oxlintrc.json",
-        "lint:ts-types": "tsgo --noEmit",
+        "lint:ts-types": "tsc --noEmit",
         "test": "bun test",
         "bench": "NODE_ENV=production bun run bench/index.ts",
         "bench:hyperscript": "NODE_ENV=production bun run bench/index.ts hyperscript",
@@ -78,7 +78,6 @@
         "@codemirror/theme-one-dark": "^6.1.2",
         "@codemirror/view": "^6.39.1",
         "@types/bun": "^1.3.9",
-        "@typescript/native-preview": "^7.0.0-dev.20260120.1",
         "codemirror": "^6.0.1",
         "marked": "^15.0.4",
         "marked-gfm-heading-id": "^4.0.0",
@@ -86,6 +85,7 @@
         "oxfmt": "^0.32.0",
         "oxlint": "^1.30.0",
         "standard-version": "^9.5.0",
-        "tippy.js": "^6.3.7"
+        "tippy.js": "^6.3.7",
+        "typescript": "^7.0.2"
     }
 }

package/render/vnode.ts

@@ -55,7 +55,7 @@ export type ComponentType<Attrs = Record<string, any>, State = any> =
  */
 export abstract class MithrilComponent<Attrs = Record<string, any>> {
     /** Required for JSX attribute type-checking - do not use directly */
-    private readonly __tsx_attrs!: (unknown extends Attrs ? Record<string, any> : Attrs) & {key?: string | number}
+    private readonly __tsx_attrs!: (unknown extends Attrs ? Record<string, any> : Attrs) & {key?: string | number | null}
 
     oninit?(vnode: ComponentVnode<Attrs>): void
     oncreate?(vnode: ComponentVnode<Attrs>): void

package/ssrContext.ts

@@ -5,6 +5,8 @@
  * request's context. No globals, safe under concurrent requests.
  * In the browser, getSSRContext() returns undefined and runWithContext just runs fn.
  */
+import type {Store} from './store'
+
 type StorageLike = {
     getStore(): SSRAccessContext | undefined
     run<T>(context: SSRAccessContext, fn: () => T): T
@@ -28,7 +30,7 @@ try {
  * that runs inside the same runWithContext() call.
  */
 export interface SSRAccessContext {
-    store?: any
+    store?: Store
     /** Per-request state registry for serialization; fresh Map per request. */
     stateRegistry: Map<string, {state: any; initial: any}>
     sessionId?: string

package/state.ts

@@ -871,11 +871,13 @@ export function state<T extends Record<string, any>>(initial: T, name?: string,
  * Mapped type that adds $prop for each key, returning the Signal for that property.
  * - Primitives: $prop => Signal<T[K]>
  * - Nested objects: $prop => Signal<State<T[K]>>
- * - Functions: $prop => ComputedSignal (computed from getter)
+ * - Functions: $prop => ComputedSignal of the getter's return type
  */
 export type StateSignals<T extends Record<string, any>> = {
-    [K in keyof T as K extends string ? `$${K}` : never]: T[K] extends (...args: any[]) => any
-        ? ComputedSignal<any>
+    // Only for declared keys: a record's index signature would otherwise gain a `$${string}` twin, and every
+    // lookup by a `string` key would read as `Value | Signal<Value>`.
+    [K in keyof T as K extends string ? (string extends K ? never : `$${K}`) : never]: T[K] extends (...args: any[]) => infer R
+        ? ComputedSignal<R>
         : T[K] extends object
           ? Signal<State<T[K]>>
           : Signal<T[K]>
@@ -895,6 +897,27 @@ export type State<T extends Record<string, any>> = T extends (infer Elem)[]
           [K in keyof T]: T[K] extends (...args: any[]) => infer R ? R : T[K] extends Record<string, any> ? State<T[K]> : T[K]
       } & StateSignals<T>
 
+/**
+ * A partial of a state shape at every depth, for the persistence tiers of a Store: each tier fills in
+ * part of a nested object (`saved` some keys of `exact`, `temporary` the rest). Arrays and computed
+ * getters are replaced wholesale, never merged element-wise.
+ */
+export type DeepPartial<T> = T extends (...args: any[]) => any
+    ? T
+    : T extends readonly unknown[]
+      ? T
+      : T extends object
+        ? {[K in keyof T]?: DeepPartial<T[K]>}
+        : T
+
+/**
+ * Opens the deferred-computed gate of a state built with `deferComputed` (ADR-0013) and marks its
+ * computeds dirty. The gate is a proxy trap rather than a key of the state, so it isn't on `State<T>`.
+ */
+export function allowComputed(stateInstance: State<any>): void {
+    ;(stateInstance as unknown as {allowComputed?: () => void}).allowComputed?.()
+}
+
 /** Function returned by watch() to remove the watcher */
 export type Unwatch = () => void
 

package/store.ts

@@ -1,4 +1,4 @@
-import {state, State, updateStateRegistry} from './state'
+import {allowComputed, state, State, updateStateRegistry, type DeepPartial} from './state'
 import {serializeStore, deserializeStore} from './render/ssrState'
 
 // Helper function to restore computed properties (same as in ssrState.ts)
@@ -143,11 +143,11 @@ let storeInstanceCounter = 0
 export class Store<T extends Record<string, any> = Record<string, any>> {
     private stateInstance: State<T>
     private templates = {
-        saved: {} as Partial<T>,
-        temporary: {} as Partial<T>,
-        tab: {} as Partial<T>,
-        session: {} as Partial<T>,
-        cookie: {} as Partial<T>,
+        saved: {} as DeepPartial<T>,
+        temporary: {} as DeepPartial<T>,
+        tab: {} as DeepPartial<T>,
+        session: {} as DeepPartial<T>,
+        cookie: {} as DeepPartial<T>,
     }
     private lookup_verify_interval: number | null = null
     private lookup_ttl: number
@@ -193,15 +193,15 @@ export class Store<T extends Record<string, any> = Record<string, any>> {
      * (e.g. after $s, context, or route are ready) so computeds that depend on them can run.
      */
     ready(): void {
-        ;(this.stateInstance as any).allowComputed?.()
+        allowComputed(this.stateInstance)
     }
 
     /**
      * Merge deep on object `state`, but only the key/values in `blueprint`.
      */
-    blueprint(state: T, blueprint: Partial<T>): Partial<T> {
+    blueprint(state: T, blueprint: DeepPartial<T>): DeepPartial<T> {
         if (state == null || typeof state !== 'object') {
-            return {} as Partial<T>
+            return {} as DeepPartial<T>
         }
         const result: any = {}
         for (const key of Object.keys(blueprint)) {
@@ -227,7 +227,7 @@ export class Store<T extends Record<string, any> = Record<string, any>> {
                 result[key] = stateValue
             }
         }
-        return result as Partial<T>
+        return result as DeepPartial<T>
     }
 
     clean_lookup() {
@@ -297,11 +297,11 @@ export class Store<T extends Record<string, any> = Record<string, any>> {
     }
 
     load(
-        saved: Partial<T>,
-        temporary: Partial<T>,
-        tab: Partial<T> = {} as Partial<T>,
-        session: Partial<T> = {} as Partial<T>,
-        cookie: Partial<T> = {} as Partial<T>,
+        saved: DeepPartial<T>,
+        temporary: DeepPartial<T>,
+        tab: DeepPartial<T> = {} as DeepPartial<T>,
+        session: DeepPartial<T> = {} as DeepPartial<T>,
+        cookie: DeepPartial<T> = {} as DeepPartial<T>,
     ) {
         const restored_state = {
             tab: this.get_tab_storage(this.tabStorageKey),