ctx-core 5.22.1 → 5.24.0

package/all/be_/index.d.ts

@@ -17,7 +17,34 @@ export declare function be_<
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 >(
 	val__new:be__val__new_T<val_T, ns_T, ctx_T>,
-	config?:be_config_T<ns_T>
+	...config:
+		ns_T extends ''
+			? []|[config:be_config_T<ns_T>]
+			: [config:be_config_T<ns_T>]
+):Be<val_T, ns_T, ctx_T>
+export declare function ns_be_<
+	val_T,
+	ns_T extends string,
+	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
+>(
+	ns:ns_T,
+	val__new:be__val__new_T<val_T, ns_T, ctx_T>
+):Be<val_T, ns_T, ctx_T>
+export declare function id_be_<
+	val_T,
+	ctx_T extends Ctx_wide_T<''> = Ctx_wide_T<''>,
+>(
+	id:string,
+	val__new:be__val__new_T<val_T, '', ctx_T>
+):Be<val_T, '', ctx_T>
+export declare function ns_id_be_<
+	val_T,
+	ns_T extends string,
+	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
+>(
+	ns:ns_T,
+	id:string,
+	val__new:be__val__new_T<val_T, ns_T, ctx_T>
 ):Be<val_T, ns_T, ctx_T>
 export declare function ctx__set<
 	val_T,
@@ -88,10 +115,10 @@ export type be_o_T<
 	ns:ns_T
 	is_be:true
 }
-export type be_config_T<ns_T extends string = string> = {
-	id?:string
-	ns?:ns_T
-}
+export type be_config_T<ns_T extends string = string> =
+	ns_T extends ''
+		? { id?:string, ns?:ns_T }
+		: { id?:string, ns:ns_T }
 export type BeMap<
 	ns_T extends string = ''
 > =

package/all/be_/index.js

@@ -40,6 +40,34 @@ export function be_(val__new, config) {
 	be.is_be = true
 	return be
 }
+/**
+ * @param {string}ns
+ * @param {be__val__new_T}val__new
+ * @returns {Be}
+ * @private
+ */
+export function ns_be_(ns, val__new) {
+	return be_(val__new, { ns })
+}
+/**
+ * @param {string}id
+ * @param {be__val__new_T}val__new
+ * @returns {Be}
+ * @private
+ */
+export function id_be_(id, val__new) {
+	return be_(val__new, { id })
+}
+/**
+ * @param {string}ns
+ * @param {string}id
+ * @param {be__val__new_T}val__new
+ * @returns {Be}
+ * @private
+ */
+export function ns_id_be_(ns, id, val__new) {
+	return be_(val__new, { ns, id })
+}
 /**
  * Auto-memoization function for the Ctx.
  * Memoized on globalThis to allow packages being loaded multiple times, which can happen during bundling.

package/all/be_/index.test.ts

@@ -19,7 +19,7 @@ import {
 	type Ctx_s_T,
 	type Ctx_s_wide_T,
 	type Ctx_wide_T,
-	globalThis__be_,
+	globalThis__be_, id_be_, ns_be_, ns_id_be_,
 	ondelete_be_
 } from '../be_/index.js'
 import { ctx__new, ns_ctx__new } from '../ctx/index.js'
@@ -88,7 +88,9 @@ test('be_|ns_ctx__new', ()=>{
 	equal(ctx1.s[''].has(root_.id), false)
 	equal(ctx2.s[''].has(root_.id), false)
 	equal(ctx3.s[''].has(root_.id), true)
-	const child_ = be_(ctx=>root_(ctx) + 1, { id: 'child_' })
+	const child_ = be_(
+		ctx=>root_(ctx) + 1,
+		{ id: 'child_' })
 	equal(child_(ctx), 2)
 	equal(ctx0.s[''].has(child_.id), true)
 	equal(ctx1.s[''].has(child_.id), false)
@@ -101,13 +103,14 @@ test('be_|ns', ()=>{
 	const ctx1 = ns_ctx__new('ctx1')
 	const ctx = ns_ctx__new(ctx0, ctx1)
 	const be__ctx_a:Ctx_wide_T<'ctx1'>[] = []
-	const root_ = be_(ctx=>{
-		be__ctx_a.push(ctx)
-		return 1
-	}, {
-		ns: 'ctx1',
-		id: 'root_'
-	})
+	const root_ = be_<number, 'ctx1'>(
+		ctx=>{
+			be__ctx_a.push(ctx)
+			return 1
+		}, {
+			id: 'root_',
+			ns: 'ctx1',
+		})
 	equal(root_(ctx), 1)
 	equal(be__ctx_a, [ctx])
 	// @ts-expect-error TS2322
@@ -148,7 +151,7 @@ test('be_|ns|types', ()=>{
 		? typeof ctx
 		: never>>
 	type test_ctx_Ctx = Expect<Equal<typeof ctx, Ctx<''|'ctx1'>>>
-	const root_ = be_(
+	const root_ = be_<number, 'ctx1'>(
 		ctx=>{
 			type test_be_ctx_argument = Expect<Equal<typeof ctx, Ctx_wide_T<'ctx1'>>>
 			return 1
@@ -207,6 +210,29 @@ test('be_|circular dependency|DEBUG=1', async ()=>{
 		await unlink(tempfile)
 	}
 })
+test('ns_be_', ()=>{
+	const valid_ctx = ns_ctx__new('test_ns')
+	const val_ = ns_be_('test_ns', ()=>true)
+	equal(val_(valid_ctx), true)
+	// @ts-expect-error TS2322
+	throws(()=>val_(ctx__new()))
+})
+test('id_be_', ()=>{
+	const valid_ctx = ctx__new()
+	const val_ = id_be_('test_id', ()=>true)
+	equal(val_(valid_ctx), true)
+	equal(val_.id, 'test_id')
+	// @ts-expect-error TS2322
+	throws(()=>val_(ns_ctx__new('test_ns')))
+})
+test('ns_id_be_', ()=>{
+	const valid_ctx = ns_ctx__new('test_ns')
+	const val_ = ns_id_be_('test_ns', 'test_id', ()=>true)
+	equal(val_(valid_ctx), true)
+	equal(val_.id, 'test_id')
+	// @ts-expect-error TS2322
+	throws(()=>val_(ctx__new()))
+})
 test('ctx__set', ()=>{
 	const ctx0 = ns_ctx__new('ctx0')
 	const ctx1 = ctx__new()
@@ -288,8 +314,7 @@ test('ctx__delete|be', ()=>{
 	// @ts-expect-error TS7053
 	equal(ctx1.s[''], undefined)
 	const ns__num_ =
-		be_(()=>1,
-			{ ns: 'ctx1' })
+		ns_be_('ctx1', ()=>1)
 	ns__num_(ns_ctx)
 	// @ts-expect-error TS2345
 	equal(ctx0.s[''].has(ns__num_.id), false)

package/all/be_lock_memosig_triple/index.d.ts

@@ -3,29 +3,29 @@ import type { lock_memosig_T } from '../rmemo/index.js'
 export declare function be_lock_memosig_triple_<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends lock_memosig_T<val_T> = lock_memosig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
->(be:Be<_sig_T, ns_T, ctx_T>):be_lock_memosig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+>(be:Be<lock_memosig_T<val_T, E>, ns_T, ctx_T>):be_lock_memosig_triple_T<val_T, ns_T, E, ctx_T>
 export declare function be_lock_memosig_triple_<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends lock_memosig_T<val_T> = lock_memosig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 >(
-	rmemo__new:(ctx:ctx_T, memosig:_sig_T)=>val_T,
+	rmemo__new:(ctx:ctx_T, memosig:lock_memosig_T<val_T, E>)=>val_T,
 	config?:be_config_T<ns_T>
-):be_lock_memosig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+):be_lock_memosig_triple_T<val_T, ns_T, E, ctx_T>
 export type be_lock_memosig_triple_T<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends lock_memosig_T<val_T> = lock_memosig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 > = [
-	ctx__be_T<_sig_T, ns_T, ctx_T>,
+	ctx__be_T<lock_memosig_T<val_T, E>, ns_T, ctx_T>,
 	ctx__get_T<val_T, ns_T, ctx_T>,
 	ctx__set_T<val_T, ns_T, ctx_T>,
 ]&{
 	add<add_val_T>(
-		add_def:(ctx:ctx_T, sig:_sig_T)=>add_val_T
-	):be_lock_memosig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+		add_def:(ctx:ctx_T, sig:lock_memosig_T<val_T, E>)=>add_val_T
+	):be_lock_memosig_triple_T<val_T, ns_T, E, ctx_T>
 }

package/all/be_lock_memosig_triple/index.test.ts

@@ -16,9 +16,7 @@ test('be_lock_memosig_triple_', ()=>{
 		foobar$_,
 		foobar_,
 		foobar__set,
-	] = be_lock_memosig_triple_<number, '', sig_T<number>&{
-		count:number
-	}>((
+	] = be_lock_memosig_triple_<number, '', { count:number }>((
 		_ctx,
 		foobar$
 	)=>{
@@ -110,19 +108,19 @@ test('be_lock_memosig_triple_|+be', ()=>{
 		foobar$_,
 		foobar_,
 		foobar__set,
-	] = be_lock_memosig_triple_<number, 'test_ns', custom_sig_T>(
+	] = be_lock_memosig_triple_<number, 'test_ns', { custom: string }>(
 		be_(ctx=>{
 			/* eslint-disable @typescript-eslint/no-unused-vars */
 			type test_ctx = Expect<Equal<typeof ctx, Ctx_wide_T<'test_ns'>>>
 			/* eslint-enable @typescript-eslint/no-unused-vars */
 			const foobar$ =
-				memosig_(
+				memosig_<number, { custom: string }>(
 					()=>base_(ctx) + 1
 				).add(foobar$=>
 					memo_(()=>{
 						foobar$()
 						add_count++
-					})) as custom_sig_T
+					}))
 			foobar$.custom = 'custom-val'
 			return foobar$
 		}, { id: 'foobar', ns: 'test_ns' }))
@@ -152,6 +150,3 @@ test('be_lock_memosig_triple_|+be', ()=>{
 	equal(add_count, 3)
 })
 test.run()
-type custom_sig_T = sig_T<number>&{
-	custom:string
-}

package/all/be_memo_pair/index.d.ts

@@ -3,28 +3,27 @@ import type { memo_T, sig_T } from '../rmemo/index.js'
 export declare function be_memo_pair_<
 	val_T,
 	ns_T extends string = '',
-	_memo_T extends memo_T<val_T> = memo_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
->(be:Be<_memo_T, ns_T, ctx_T>):be_memo_pair_T<val_T, ns_T, _memo_T, ctx_T>
+>(be:Be<memo_T<val_T, E>, ns_T, ctx_T>):be_memo_pair_T<val_T, ns_T, E, ctx_T>
 export declare function be_memo_pair_<
 	val_T,
 	ns_T extends string = '',
-	_memo_T extends memo_T<val_T> = memo_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 >(
-	rmemo__new:(ctx:ctx_T, memo:_memo_T&{ _:val_T })=>val_T,
-	config?:be_config_T
-):be_memo_pair_T<val_T, ns_T, _memo_T, ctx_T>
+	rmemo__new:(ctx:ctx_T, memo:sig_T<val_T, E>)=>val_T, config?:be_config_T<ns_T>
+):be_memo_pair_T<val_T, ns_T, E, ctx_T>
 export type be_memo_pair_T<
 	val_T,
 	ns_T extends string = '',
-	_memo_T extends memo_T<val_T> = memo_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 > = [
-	ctx__be_T<_memo_T, ns_T, ctx_T>,
+	ctx__be_T<memo_T<val_T, E>, ns_T, ctx_T>,
 	ctx__get_T<val_T, ns_T, ctx_T>,
 ]&{
 	add<add_val_T>(
-		add_def:(ctx:ctx_T, sig:sig_T<val_T>)=>add_val_T
-	):be_memo_pair_T<val_T, ns_T, _memo_T, ctx_T>
+		add_def:(ctx:ctx_T, sig:sig_T<val_T, E>)=>add_val_T
+	):be_memo_pair_T<val_T, ns_T, E, ctx_T>
 }

package/all/be_memo_pair/index.test.ts

@@ -117,14 +117,14 @@ test('be_memo_pair_|be', ()=>{
 	const [
 		foobar$_,
 		foobar_,
-	] = be_memo_pair_<number, 'test_ns', custom_memo_T>(
+	] = be_memo_pair_<number, 'test_ns', { custom: string }>(
 		be_(_ctx=>{
 			/* eslint-disable @typescript-eslint/no-unused-vars */
 			type test__ctx = Expect<Equal<typeof _ctx, Ctx_wide_T<'test_ns'>>>
 			/* eslint-enable @typescript-eslint/no-unused-vars */
-			const foobar$ = memo_(
+			const foobar$ = memo_<number, { custom: string }>(
 				()=>base_(ctx) + 1
-			).add(()=>add_count++) as custom_memo_T
+			).add(()=>add_count++)
 			equal(_ctx.s.test_ns, ctx.s.test_ns)
 			foobar$.custom = 'custom-val'
 			return foobar$
@@ -150,4 +150,3 @@ test('be_memo_pair_|be', ()=>{
 	equal(add_count, 1)
 })
 test.run()
-type custom_memo_T = memo_T<number>&{ custom:string }

package/all/be_memosig_triple/index.d.ts

@@ -3,29 +3,29 @@ import type { sig_T } from '../rmemo/index.js'
 export declare function be_memosig_triple_<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends sig_T<val_T> = sig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
->(be:Be<_sig_T, ns_T, ctx_T>):be_memosig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+>(be:Be<sig_T<val_T, E>, ns_T, ctx_T>):be_memosig_triple_T<val_T, ns_T, E, ctx_T>
 export declare function be_memosig_triple_<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends sig_T<val_T> = sig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 >(
-	rmemo__new:(ctx:ctx_T, memosig:_sig_T)=>val_T,
+	rmemo__new:(ctx:ctx_T, memosig:sig_T<val_T, E>)=>val_T,
 	config?:be_config_T<ns_T>
-):be_memosig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+):be_memosig_triple_T<val_T, ns_T, E, ctx_T>
 export type be_memosig_triple_T<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends sig_T<val_T> = sig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 > = [
-	ctx__be_T<_sig_T, ns_T, ctx_T>,
+	ctx__be_T<sig_T<val_T, E>, ns_T, ctx_T>,
 	ctx__get_T<val_T, ns_T, ctx_T>,
 	ctx__set_T<val_T, ns_T, ctx_T>,
 ]&{
 	add<add_val_T>(
-		add_def:(ctx:ctx_T, sig:_sig_T)=>add_val_T
-	):be_memosig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+		add_def:(ctx:ctx_T, sig:sig_T<val_T, E>)=>add_val_T
+	):be_memosig_triple_T<val_T, ns_T, E, ctx_T>
 }

package/all/be_memosig_triple/index.test.ts

@@ -60,7 +60,7 @@ test('be_memosig_triple_|+id|+ns', ()=>{
 		foobar$_,
 		foobar_,
 		foobar__set,
-	] = be_memosig_triple_(
+	] = be_memosig_triple_<number, 'test_ns'>(
 		ctx=>{
 			/* eslint-disable @typescript-eslint/no-unused-vars */
 			type test_ctx = Expect<Equal<typeof ctx, Ctx_wide_T<'test_ns'>>>
@@ -113,19 +113,19 @@ test('be_memosig_triple_|+be', ()=>{
 		foobar$_,
 		foobar_,
 		foobar__set,
-	] = be_memosig_triple_<number, 'test_ns', custom_sig_T>(
+	] = be_memosig_triple_<number, 'test_ns', { custom: string }>(
 		be_(ctx=>{
 			/* eslint-disable @typescript-eslint/no-unused-vars */
 			type test_ctx = Expect<Equal<typeof ctx, Ctx_wide_T<'test_ns'>>>
 			/* eslint-enable @typescript-eslint/no-unused-vars */
 			const foobar$ =
-				memosig_(
+				memosig_<number, { custom: string }>(
 					()=>base_(ctx) + 1
 				).add(foobar$=>
 					memo_(()=>{
 						foobar$()
 						add_count++
-					})) as custom_sig_T
+					}))
 			foobar$.custom = 'custom-val'
 			return foobar$
 		}, { id: 'foobar', ns: 'test_ns' }))
@@ -155,6 +155,3 @@ test('be_memosig_triple_|+be', ()=>{
 	equal(add_count, 3)
 })
 test.run()
-type custom_sig_T = sig_T<number>&{
-	custom:string
-}

package/all/be_sig_triple/index.d.ts

@@ -3,29 +3,29 @@ import type { sig_T } from '../rmemo/index.js'
 export declare function be_sig_triple_<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends sig_T<val_T> = sig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
->(be:Be<_sig_T, ns_T, ctx_T>):be_sig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+>(be:Be<sig_T<val_T, E>, ns_T, ctx_T>):be_sig_triple_T<val_T, ns_T, E, ctx_T>
 export declare function be_sig_triple_<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends sig_T<val_T> = sig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 >(
 	val__new:(ctx:ctx_T)=>val_T,
 	config?:be_config_T<ns_T>
-):be_sig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+):be_sig_triple_T<val_T, ns_T, E, ctx_T>
 export type be_sig_triple_T<
 	val_T,
 	ns_T extends string = '',
-	_sig_T extends sig_T<val_T> = sig_T<val_T>,
+	E = unknown,
 	ctx_T extends Ctx_wide_T<ns_T> = Ctx_wide_T<ns_T>,
 > = [
-	ctx__be_T<_sig_T, ns_T, ctx_T>,
+	ctx__be_T<sig_T<val_T, E>, ns_T, ctx_T>,
 	ctx__get_T<val_T, ns_T, ctx_T>,
 	ctx__set_T<val_T, ns_T, ctx_T>,
 ]&{
 	add<add_val_T>(
-		add_def:(ctx:ctx_T, sig:_sig_T)=>add_val_T
-	):be_sig_triple_T<val_T, ns_T, _sig_T, ctx_T>
+		add_def:(ctx:ctx_T, sig:sig_T<val_T, E>)=>add_val_T
+	):be_sig_triple_T<val_T, ns_T, E, ctx_T>
 }

package/all/be_sig_triple/index.test.ts

@@ -72,17 +72,17 @@ test('be_sig_triple_|+be', ()=>{
 		foobar$_,
 		foobar_,
 		foobar__set,
-	] = be_sig_triple_<number, 'test_ns', custom_sig_T>(
+	] = be_sig_triple_<number, 'test_ns', { custom: string }>(
 		be_(ctx=>{
 			/* eslint-disable @typescript-eslint/no-unused-vars */
 			type test_ctx = Expect<Equal<typeof ctx, Ctx_wide_T<'test_ns'>>>
 			/* eslint-enable @typescript-eslint/no-unused-vars */
 			const foobar$ =
-				sig_(
+				sig_<number, { custom: string }>(
 					1
-				).add(()=>add_count++) as custom_sig_T
+				).add(()=>add_count++)
 			foobar$.custom = 'custom-val'
-			return foobar$ as custom_sig_T
+			return foobar$
 		}, { id: 'foobar', ns: 'test_ns' }))
 	equal(add_count, 0)
 	equal(foobar$_(ns_ctx__new(ctx__new(), ctx))._, 1)
@@ -102,6 +102,3 @@ test('be_sig_triple_|+be', ()=>{
 	equal(add_count, 1)
 })
 test.run()
-type custom_sig_T = sig_T<number>&{
-	custom:string
-}

package/all/ctx/index.d.ts

@@ -2,8 +2,12 @@ import type { Ctx } from '../be_/index.js'
 import type { TupleToUnion } from '../tuple/index.js'
 export declare function ctx__new():Ctx<''>
 export { ctx__new as ctx_ }
-export declare function ns_ctx__new<ns0_T extends string|Ctx, ns_a_T extends (string|Ctx)[]>(
-	ns0:ns0_T, ...ns_a:ns_a_T
+export declare function ns_ctx__new<
+	ns0_T extends string|Ctx,
+	ns_a_T extends (string|Ctx)[]
+>(
+	ns0:ns0_T,
+	...ns_a:ns_a_T
 ):Ctx<Exclude<TupleToUnion<ns_a__flat_T<[ns0_T]>>|TupleToUnion<ns_a__flat_T<ns_a_T>>, undefined>>
 export { ns_ctx__new as ns_ctx_ }
 export declare function is_ctx_(val:unknown):boolean

package/all/rmemo/index.d.ts

@@ -1,23 +1,24 @@
 /// <reference lib="es2021" />
-export declare function memo_<val_T>(def:memo_def_T<val_T>):memo_T<val_T>
-export declare function sig_<val_T>(init_val:val_T):sig_T<val_T>
-export declare function memosig_<val_T>(def:memo_def_T<val_T>):sig_T<val_T>
-export declare function lock_memosig_<val_T>(def:memo_def_T<val_T>):sig_T<val_T>
-export declare function memo__bind<A extends unknown[], R>(
+export declare function memo_<val_T, E = unknown>(def:memo_def_T<val_T, E>):memo_T<val_T, E>
+export declare function sig_<val_T, E = unknown>(init_val:val_T):sig_T<val_T, E>
+export declare function memosig_<val_T, E = unknown>(def:memo_def_T<val_T, E>):sig_T<val_T, E>
+export declare function lock_memosig_<val_T, E = unknown>(def:memo_def_T<val_T, E>):sig_T<val_T, E>
+export declare function memo__bind<A extends unknown[], R, E = unknown>(
 	fn:(...arg_a:A)=>R
 ):((...arg_a:A)=>R)&{
-	memo_<val_T>(def:memo_def_T<val_T>):memo_T<val_T>
+	memo_<val_T>(def:memo_def_T<val_T, E>):memo_T<val_T>
 }
-export declare function rmemo__on<val_T>(rmemo:rmemo_T<val_T>, off_fn?:(rmemo:rmemo_T<val_T>)=>unknown):void
-export declare function rmemo__off<val_T>(rmemo:rmemo_T<val_T>):void
-export declare function rmemo__off__add<val_T>(rmemo:rmemo_T<val_T>, off_fn:(rmemo:rmemo_T<val_T>)=>unknown):void
-export declare function rmemo__add<val_T, listener_val_T>(
-	rmemo:rmemo_T<val_T>,
-	listener:(sig:sig_T<val_T>)=>listener_val_T
+export declare function rmemo__on<val_T, E = unknown>(rmemo:rmemo_T<val_T, E>, off_fn?:(rmemo:rmemo_T<val_T, E>)=>unknown):void
+export declare function rmemo__off<val_T, E = unknown>(rmemo:rmemo_T<val_T, E>):void
+export declare function rmemo__off__add<val_T, E = unknown>(rmemo:rmemo_T<val_T>, off_fn:(rmemo:rmemo_T<val_T, E>)=>unknown):void
+export declare function rmemo__add<val_T, listener_val_T, E = unknown>(
+	rmemo:rmemo_T<val_T, E>,
+	listener:(sig:sig_T<val_T, E>)=>listener_val_T
 ):()=>void
-export type rmemo_T<val_T> = memo_T<val_T>|sig_T<val_T>|lock_memosig_T<val_T>
-export type circular_rmemo_T = circular_memo_T|circular_sig_T|circular_lock_memosig_T
-export type memo_T<val_T> = (()=>val_T)&{
+export type rmemo_T<val_T, E = unknown> = memo_T<val_T, E>|sig_T<val_T, E>|lock_memosig_T<val_T, E>
+export type circular_rmemo_T<E = unknown> =
+	(circular_memo_T|circular_sig_T|circular_lock_memosig_T)&E
+export type memo_T<val_T, E = unknown> = (()=>val_T)&{
 	readonly _:val_T
 	readonly a?:rmemo_a_T[]
 	readonly f?:rmemo_f_T
@@ -27,12 +28,13 @@ export type memo_T<val_T> = (()=>val_T)&{
 	readonly u:rmemo_T<unknown>[]
 	readonly v:rmemo_T<unknown>[]
 	readonly val:val_T
-	add<add_val_T>(add_def:rmemo_add_def_T<val_T, add_val_T>):memo_T<val_T>
-	memo_<_val_T>(def:memo_def_T<_val_T>):memo_T<_val_T>
+	add<add_val_T>(add_def:rmemo_add_def_T<val_T, add_val_T>):memo_T<val_T, E>
+	memo_<_val_T, E = unknown>(def:memo_def_T<_val_T>):memo_T<_val_T, E>
+}&E
+interface _circular_memo_T extends memo_T<_circular_memo_T> {
 }
-export interface circular_memo_T extends memo_T<circular_memo_T> {
-}
-export type sig_T<val_T> = (()=>val_T)&{
+export type circular_memo_T<E = unknown> = _circular_memo_T&E
+export type sig_T<val_T, E = unknown> = (()=>val_T)&{
 	_:val_T
 	readonly a?:rmemo_a_T
 	readonly f?:rmemo_f_T
@@ -42,22 +44,24 @@ export type sig_T<val_T> = (()=>val_T)&{
 	readonly u:rmemo_T<unknown>[]
 	readonly v:rmemo_T<unknown>[]
 	readonly val:val_T
-	add<add_val_T>(fn:rmemo_add_def_T<val_T, add_val_T>):sig_T<val_T>
-	memo_<_val_T>(def:memo_def_T<_val_T>):memo_T<_val_T>
-}
-export interface circular_sig_T extends sig_T<circular_sig_T> {
+	add<add_val_T>(fn:rmemo_add_def_T<val_T, add_val_T>):sig_T<val_T, E>
+	memo_<_val_T, E = unknown>(def:memo_def_T<_val_T>):memo_T<_val_T, E>
+}&E
+interface _circular_sig_T extends sig_T<_circular_sig_T> {
 }
-export type lock_memosig_T<val_T> = sig_T<val_T>&{
+export type circular_sig_T<E = unknown> = _circular_memo_T&E
+export type lock_memosig_T<val_T, E = unknown> = sig_T<val_T, {
 	lock?:0|1
+}&E>
+interface _circular_lock_memosig_T extends lock_memosig_T<_circular_lock_memosig_T> {
 }
-export interface circular_lock_memosig_T extends lock_memosig_T<circular_lock_memosig_T> {
-}
+export type circular_lock_memosig_T<E = unknown> = _circular_lock_memosig_T&E
 export type rmemo_val_T<sig_T> = sig_T extends { ():infer val_T }
 	? val_T
 	: unknown
-export type memo_def_T<val_T> = (sig:sig_T<val_T>)=>val_T
+export type memo_def_T<val_T, E = unknown> = (sig:sig_T<val_T, E>)=>val_T
 export type rmemo_a_T = unknown[]
-export type rmemo_add_def_T<val_T, add_val_T> = (sig:sig_T<val_T>)=>add_val_T
+export type rmemo_add_def_T<val_T, add_val_T, E = unknown> = (sig:sig_T<val_T, E>)=>add_val_T
 export type rmemo_f_T = (()=>void)&{
 	// readonly l:number
 	// readonly s:rmemo_T<unknown>[]

package/all/rmemo/index.test.ts

@@ -31,8 +31,9 @@ test('memo_|static value', ()=>{
 })
 test('memo_|def function|rmemo argument', ()=>{
 	const sig = sig_('val0')
-	const memo:memo_T<string>&{ custom?:string } = memo_<string>((_rmemo$:sig_T<string>&{ custom?:string })=>
-		`${_rmemo$.custom}-${sig()}`)
+	const memo =
+		memo_<string, { custom?:string }>(memo=>
+			`${memo.custom}-${sig()}`)
 	memo.custom = 'custom_val0'
 	equal(memo(), 'custom_val0-val0')
 	memo.custom = 'custom_val1'

package/package.json

@@ -1,253 +1,254 @@
 {
-  "name": "ctx-core",
-  "version": "5.22.1",
-  "description": "ctx-core core library",
-  "keywords": [
-    "ctx-core",
-    "array",
-    "combinators",
-    "function",
-    "object",
-    "set"
-  ],
-  "homepage": "https://github.com/ctx-core/ctx-core#readme",
-  "bugs": {
-    "url": "https://github.com/ctx-core/ctx-core/issues"
-  },
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/ctx-core/ctx-core.git"
-  },
-  "license": "Apache-2.0",
-  "author": "Brian Takita",
-  "type": "module",
-  "files": [
-    "*.d.ts",
-    "*.js",
-    "*.json",
-    "all",
-    "array",
-    "atob",
-    "base16",
-    "be",
-    "btoa",
-    "buffer",
-    "chain",
-    "class",
-    "cli-args",
-    "color",
-    "combinators",
-    "crypto",
-    "currency",
-    "data",
-    "date",
-    "debounce",
-    "deep_equal",
-    "env",
-    "error",
-    "event_log",
-    "falsy",
-    "fetch",
-    "fibonacci",
-    "fs",
-    "function",
-    "functional",
-    "html",
-    "http",
-    "math",
-    "matrix",
-    "nullish",
-    "number",
-    "object",
-    "promise",
-    "queue",
-    "random",
-    "regex",
-    "rmemo",
-    "run",
-    "set",
-    "sleep",
-    "stream",
-    "string",
-    "tempfile",
-    "test",
-    "time",
-    "tuple",
-    "types",
-    "uri",
-    "uuid",
-    "package.json"
-  ],
-  "exports": {
-    ".": "./index.js",
-    "./all": "./all/index.js",
-    "./array": "./array/index.js",
-    "./atob": "./atob/index.js",
-    "./base16": "./base16/index.js",
-    "./be": "./be/index.js",
-    "./btoa": "./btoa/index.js",
-    "./buffer": "./buffer/index.js",
-    "./chain": "./chain/index.js",
-    "./class": "./class/index.js",
-    "./cli-args": "./cli-args/index.js",
-    "./color": "./color/index.js",
-    "./combinators": "./combinators/index.js",
-    "./crypto": "./crypto/index.js",
-    "./currency": "./currency/index.js",
-    "./data": "./data/index.js",
-    "./date": "./date/index.js",
-    "./debounce": "./debounce/index.js",
-    "./deep_equal": "./deep_equal/index.js",
-    "./env": "./env/index.js",
-    "./error": "./error/index.js",
-    "./event_log": "./event_log/index.js",
-    "./falsy": "./falsy/index.js",
-    "./fetch": "./fetch/index.js",
-    "./fibonacci": "./fibonacci/index.js",
-    "./fs": "./fs/index.js",
-    "./function": "./function/index.js",
-    "./functional": "./functional/index.js",
-    "./html": "./html/index.js",
-    "./http": "./http/index.js",
-    "./math": "./math/index.js",
-    "./matrix": "./matrix/index.js",
-    "./nullish": "./nullish/index.js",
-    "./number": "./number/index.js",
-    "./object": "./object/index.js",
-    "./promise": "./promise/index.js",
-    "./queue": "./queue/index.js",
-    "./random": "./random/index.js",
-    "./regex": "./regex/index.js",
-    "./rmemo": "./rmemo/index.js",
-    "./run": "./run/index.js",
-    "./set": "./set/index.js",
-    "./sleep": "./sleep/index.js",
-    "./stream": "./stream/index.js",
-    "./string": "./string/index.js",
-    "./tempfile": "./tempfile/index.js",
-    "./test": "./test/index.js",
-    "./time": "./time/index.js",
-    "./tuple": "./tuple/index.js",
-    "./types": "./types/index.js",
-    "./uri": "./uri/index.js",
-    "./uuid": "./uuid/index.js",
-    "./package.json": "./package.json"
-  },
-  "devDependencies": {
-    "@arethetypeswrong/cli": "^0.13.5",
-    "@ctx-core/preprocess": "^0.1.1",
-    "@size-limit/preset-small-lib": "^11.0.2",
-    "@types/node": "^20.11.5",
-    "@types/sinon": "^17.0.3",
-    "c8": "^9.1.0",
-    "check-dts": "^0.7.2",
-    "esbuild": "^0.19.11",
-    "esmock": "^2.6.2",
-    "sinon": "^17.0.1",
-    "size-limit": "^11.0.2",
-    "tsx": "^4.7.0",
-    "typescript": "next",
-    "uvu": "^0.5.6"
-  },
-  "publishConfig": {
-    "access": "public",
-    "cache": "~/.npm"
-  },
-  "sideEffects": false,
-  "size-limit": [
-    {
-      "name": "ctx_",
-      "import": {
-        "./be": "{ ctx_ }"
-      },
-      "limit": "33 B"
-    },
-    {
-      "name": "ns_ctx_",
-      "import": {
-        "./be": "{ ns_ctx_ }"
-      },
-      "limit": "85 B"
-    },
-    {
-      "name": "be_",
-      "import": {
-        "./be": "{ be_ }"
-      },
-      "limit": "99 B"
-    },
-    {
-      "name": "be_ ctx_",
-      "import": {
-        "./be": "{ be_, ctx_ }"
-      },
-      "limit": "131 B"
-    },
-    {
-      "name": "be_ ns_ctx_",
-      "import": {
-        "./be": "{ be_, ctx_, ns_ctx_ }"
-      },
-      "limit": "190 B"
-    },
-    {
-      "name": "be_ ctx_ ns_ctx_",
-      "import": {
-        "./be": "{ be_, ctx_, ns_ctx_ }"
-      },
-      "limit": "190 B"
-    },
-    {
-      "name": "memo_",
-      "import": {
-        "./rmemo": "{ memo_ }"
-      },
-      "limit": "352 B"
-    },
-    {
-      "name": "memo_ sig_",
-      "import": {
-        "./rmemo": "{ sig_, memo_ }"
-      },
-      "limit": "370 B"
-    },
-    {
-      "name": "memo_ sig_ be_ ctx_",
-      "import": {
-        "./rmemo": "{ sig_, memo_, be_, ctx_ }"
-      },
-      "limit": "471 B"
-    },
-    {
-      "name": "memo_ sig_ be_ ctx_ be_memo_pair_ be_sig_triple_",
-      "import": {
-        "./rmemo": "{ sig_, memo_, be_, ctx_, be_memo_pair_, be_sig_triple_ }"
-      },
-      "limit": "576 B"
-    },
-    {
-      "name": "uuid",
-      "import": {
-        "./uuid": "{ uuid_ }"
-      },
-      "limit": "39 B"
-    },
-    {
-      "name": "short uuid",
-      "import": {
-        "./uuid": "{ short_uuid_ }"
-      },
-      "limit": "116 B"
-    }
-  ],
-  "scripts": {
-    "build": ":",
-    "clean": ":",
-    "exec": "$@",
-    "test": "pnpm run /^test:/",
-    "test:size": "size-limit",
-    "test:type": "check-dts",
-    "test:unit": "NODE_OPTIONS=--loader=esmock tsx node_modules/uvu/bin.js . '\\.test\\.(ts|js)$'",
-    "disable:test:coverage": "c8 pnpm test:unit"
-  }
-}
+	"name": "ctx-core",
+	"version": "5.24.0",
+	"description": "ctx-core core library",
+	"keywords": [
+		"ctx-core",
+		"array",
+		"combinators",
+		"function",
+		"object",
+		"set"
+	],
+	"homepage": "https://github.com/ctx-core/ctx-core#readme",
+	"bugs": {
+		"url": "https://github.com/ctx-core/ctx-core/issues"
+	},
+	"repository": {
+		"type": "git",
+		"url": "https://github.com/ctx-core/ctx-core.git"
+	},
+	"license": "Apache-2.0",
+	"author": "Brian Takita",
+	"type": "module",
+	"files": [
+		"*.d.ts",
+		"*.js",
+		"*.json",
+		"all",
+		"array",
+		"atob",
+		"base16",
+		"be",
+		"btoa",
+		"buffer",
+		"chain",
+		"class",
+		"cli-args",
+		"color",
+		"combinators",
+		"crypto",
+		"currency",
+		"data",
+		"date",
+		"debounce",
+		"deep_equal",
+		"env",
+		"error",
+		"event_log",
+		"falsy",
+		"fetch",
+		"fibonacci",
+		"fs",
+		"function",
+		"functional",
+		"html",
+		"http",
+		"math",
+		"matrix",
+		"nullish",
+		"number",
+		"object",
+		"promise",
+		"queue",
+		"random",
+		"regex",
+		"rmemo",
+		"run",
+		"set",
+		"sleep",
+		"stream",
+		"string",
+		"tempfile",
+		"test",
+		"time",
+		"tuple",
+		"types",
+		"uri",
+		"uuid",
+		"package.json"
+	],
+	"exports": {
+		".": "./index.js",
+		"./all": "./all/index.js",
+		"./array": "./array/index.js",
+		"./atob": "./atob/index.js",
+		"./base16": "./base16/index.js",
+		"./be": "./be/index.js",
+		"./btoa": "./btoa/index.js",
+		"./buffer": "./buffer/index.js",
+		"./chain": "./chain/index.js",
+		"./class": "./class/index.js",
+		"./cli-args": "./cli-args/index.js",
+		"./color": "./color/index.js",
+		"./combinators": "./combinators/index.js",
+		"./crypto": "./crypto/index.js",
+		"./currency": "./currency/index.js",
+		"./data": "./data/index.js",
+		"./date": "./date/index.js",
+		"./debounce": "./debounce/index.js",
+		"./deep_equal": "./deep_equal/index.js",
+		"./env": "./env/index.js",
+		"./error": "./error/index.js",
+		"./event_log": "./event_log/index.js",
+		"./falsy": "./falsy/index.js",
+		"./fetch": "./fetch/index.js",
+		"./fibonacci": "./fibonacci/index.js",
+		"./fs": "./fs/index.js",
+		"./function": "./function/index.js",
+		"./functional": "./functional/index.js",
+		"./html": "./html/index.js",
+		"./http": "./http/index.js",
+		"./math": "./math/index.js",
+		"./matrix": "./matrix/index.js",
+		"./nullish": "./nullish/index.js",
+		"./number": "./number/index.js",
+		"./object": "./object/index.js",
+		"./promise": "./promise/index.js",
+		"./queue": "./queue/index.js",
+		"./random": "./random/index.js",
+		"./regex": "./regex/index.js",
+		"./rmemo": "./rmemo/index.js",
+		"./run": "./run/index.js",
+		"./set": "./set/index.js",
+		"./sleep": "./sleep/index.js",
+		"./stream": "./stream/index.js",
+		"./string": "./string/index.js",
+		"./tempfile": "./tempfile/index.js",
+		"./test": "./test/index.js",
+		"./time": "./time/index.js",
+		"./tuple": "./tuple/index.js",
+		"./types": "./types/index.js",
+		"./uri": "./uri/index.js",
+		"./uuid": "./uuid/index.js",
+		"./package.json": "./package.json"
+	},
+	"scripts": {
+		"build": ":",
+		"clean": ":",
+		"exec": "$@",
+		"prepublishOnly": "pnpm clean && pnpm build && pnpm test",
+		"test": "pnpm run /^test:/",
+		"test:size": "size-limit",
+		"test:type": "check-dts",
+		"test:unit": "NODE_OPTIONS=--loader=esmock tsx node_modules/uvu/bin.js . '\\.test\\.(ts|js)$'",
+		"disable:test:coverage": "c8 pnpm test:unit"
+	},
+	"devDependencies": {
+		"@arethetypeswrong/cli": "^0.13.5",
+		"@ctx-core/preprocess": "^0.1.1",
+		"@size-limit/preset-small-lib": "^11.0.2",
+		"@types/node": "^20.11.5",
+		"@types/sinon": "^17.0.3",
+		"c8": "^9.1.0",
+		"check-dts": "^0.7.2",
+		"esbuild": "^0.19.11",
+		"esmock": "^2.6.2",
+		"sinon": "^17.0.1",
+		"size-limit": "^11.0.2",
+		"tsx": "^4.7.0",
+		"typescript": "next",
+		"uvu": "^0.5.6"
+	},
+	"publishConfig": {
+		"access": "public",
+		"cache": "~/.npm"
+	},
+	"sideEffects": false,
+	"size-limit": [
+		{
+			"name": "ctx_",
+			"import": {
+				"./be": "{ ctx_ }"
+			},
+			"limit": "33 B"
+		},
+		{
+			"name": "ns_ctx_",
+			"import": {
+				"./be": "{ ns_ctx_ }"
+			},
+			"limit": "85 B"
+		},
+		{
+			"name": "be_",
+			"import": {
+				"./be": "{ be_ }"
+			},
+			"limit": "99 B"
+		},
+		{
+			"name": "be_ ctx_",
+			"import": {
+				"./be": "{ be_, ctx_ }"
+			},
+			"limit": "131 B"
+		},
+		{
+			"name": "be_ ns_ctx_",
+			"import": {
+				"./be": "{ be_, ctx_, ns_ctx_ }"
+			},
+			"limit": "191 B"
+		},
+		{
+			"name": "be_ ctx_ ns_ctx_",
+			"import": {
+				"./be": "{ be_, ctx_, ns_ctx_ }"
+			},
+			"limit": "191 B"
+		},
+		{
+			"name": "memo_",
+			"import": {
+				"./rmemo": "{ memo_ }"
+			},
+			"limit": "352 B"
+		},
+		{
+			"name": "memo_ sig_",
+			"import": {
+				"./rmemo": "{ sig_, memo_ }"
+			},
+			"limit": "370 B"
+		},
+		{
+			"name": "memo_ sig_ be_ ctx_",
+			"import": {
+				"./rmemo": "{ sig_, memo_, be_, ctx_ }"
+			},
+			"limit": "471 B"
+		},
+		{
+			"name": "memo_ sig_ be_ ctx_ be_memo_pair_ be_sig_triple_",
+			"import": {
+				"./rmemo": "{ sig_, memo_, be_, ctx_, be_memo_pair_, be_sig_triple_ }"
+			},
+			"limit": "568 B"
+		},
+		{
+			"name": "uuid",
+			"import": {
+				"./uuid": "{ uuid_ }"
+			},
+			"limit": "39 B"
+		},
+		{
+			"name": "short uuid",
+			"import": {
+				"./uuid": "{ short_uuid_ }"
+			},
+			"limit": "116 B"
+		}
+	]
+}