@kaumlaut/pure 0.1.19 → 0.2.1

package/dist/guard/index.d.ts

@@ -1,15 +1,20 @@
 export type Guard<T> = (value: unknown) => value is T;
-export declare function all<T>(value: unknown, guards: Guard<T>[]): value is T;
+export declare function all<T>(guards: Guard<T>[]): (value: unknown) => value is T;
 export declare function isString(value: unknown): value is string;
-export declare function isStringOfLength(value: unknown, length: number): value is string;
+export declare function isStringOfLength(length: number): (value: unknown) => value is string;
 export declare function isNumber(value: unknown): value is number;
 export declare function isInt(value: unknown): value is number;
 export declare function isFloat(value: unknown): value is number;
-export declare function isObjectWithKey<T extends object>(value: unknown, key: keyof T): value is T;
-export declare function isObjectWithKeys<T extends object>(value: unknown, keys: (keyof T)[]): value is T;
-export declare function isObjectWithKeysMatchingGuard<T extends object>(value: unknown, guards: {
+export declare function isObjectWithKey<T extends object>(key: keyof T): (value: unknown) => value is T;
+export declare function isObjectWithKeys<T extends object>(keys: (keyof T)[]): (value: unknown) => value is T;
+export declare function isObjectWithKeysMatchingGuard<T extends object>(guards: {
     [K in keyof T]: Guard<T[K]>;
-}): value is T;
-export declare function isExactString<T extends string>(value: unknown, expectedString: string): value is T;
-export declare function isOneStringOf<T extends string>(value: unknown, validValues: string[]): value is T;
+}): (value: unknown) => value is T;
+export declare function isExactString<T extends string>(expectedString: string): (value: unknown) => value is T;
+export declare function isOneStringOf<T extends string>(validValues: string[]): (value: unknown) => value is T;
+export declare function always<T>(value: unknown): value is T;
+export declare function isBool(value: unknown): value is boolean;
+export declare function isNull(value: unknown): value is null;
+export declare function isListOf<T>(guard: Guard<T>): (value: unknown) => value is T[];
+export declare function oneOf<T1, T2>(a: Guard<T1>, b: Guard<T2>): (value: unknown) => value is T1 | T2;
 //# sourceMappingURL=index.d.ts.map

package/dist/guard/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/guard/index.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC;AAEtD,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,CAErE;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAExD;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,MAAM,GACb,KAAK,IAAI,MAAM,CAEjB;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAExD;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAMrD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAMvD;AAMD,wBAAgB,eAAe,CAAC,CAAC,SAAS,MAAM,EAC9C,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,MAAM,CAAC,GACX,KAAK,IAAI,CAAC,CAEZ;AAED,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,MAAM,EAC/C,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAChB,KAAK,IAAI,CAAC,CAEZ;AAED,wBAAgB,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAC5D,KAAK,EAAE,OAAO,EACd,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GACtC,KAAK,IAAI,CAAC,CAKZ;AAED,wBAAgB,aAAa,CAAC,CAAC,SAAS,MAAM,EAC5C,KAAK,EAAE,OAAO,EACd,cAAc,EAAE,MAAM,GACrB,KAAK,IAAI,CAAC,CAEZ;AAED,wBAAgB,aAAa,CAAC,CAAC,SAAS,MAAM,EAC5C,KAAK,EAAE,OAAO,EACd,WAAW,EAAE,MAAM,EAAE,GACpB,KAAK,IAAI,CAAC,CAEZ"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/guard/index.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC;AAEtD,wBAAgB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAEzE;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAExD;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,GACb,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,MAAM,CAGrC;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAExD;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAMrD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAMvD;AAMD,wBAAgB,eAAe,CAAC,CAAC,SAAS,MAAM,EAC9C,GAAG,EAAE,MAAM,CAAC,GACX,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAGhC;AAED,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,MAAM,EAC/C,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAChB,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAGhC;AAED,wBAAgB,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE;KACrE,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5B,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAIjC;AAED,wBAAgB,aAAa,CAAC,CAAC,SAAS,MAAM,EAC5C,cAAc,EAAE,MAAM,GACrB,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAGhC;AAED,wBAAgB,aAAa,CAAC,CAAC,SAAS,MAAM,EAC5C,WAAW,EAAE,MAAM,EAAE,GACpB,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAGhC;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,CAAC,CAEpD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAEvD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,IAAI,CAEpD;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,EAAE,CAG7E;AAED,wBAAgB,KAAK,CAAC,EAAE,EAAE,EAAE,EAC1B,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,EACZ,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,GACX,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,EAAE,GAAG,EAAE,CAEtC"}

package/dist/guard/index.js

@@ -1,13 +1,13 @@
 import { asFloat, asInt } from "@kaumlaut/pure/parse";
 import { isOk } from "@kaumlaut/pure/result";
-export function all(value, guards) {
-    return guards.every((guard) => guard(value));
+export function all(guards) {
+    return (value) => guards.every((guard) => guard(value));
 }
 export function isString(value) {
     return typeof value === "string";
 }
-export function isStringOfLength(value, length) {
-    return isString(value) && value.length === length;
+export function isStringOfLength(length) {
+    return (value) => isString(value) && value.length === length;
 }
 export function isNumber(value) {
     return typeof value === "number";
@@ -25,19 +25,34 @@ export function isFloat(value) {
 function numberIncludesCommaSeparator(value) {
     return `${value}`.includes(".");
 }
-export function isObjectWithKey(value, key) {
-    return typeof value === "object" && key in value;
+export function isObjectWithKey(key) {
+    return (value) => typeof value === "object" && key in value;
 }
-export function isObjectWithKeys(value, keys) {
-    return typeof value === "object" && keys.every((key) => key in value);
+export function isObjectWithKeys(keys) {
+    return (value) => typeof value === "object" && keys.every((key) => key in value);
 }
-export function isObjectWithKeysMatchingGuard(value, guards) {
-    return (typeof value === "object" &&
-        Object.keys(guards).every((key) => key in value && guards[key](value[key])));
+export function isObjectWithKeysMatchingGuard(guards) {
+    return (value) => typeof value === "object" &&
+        Object.keys(guards).every((key) => key in value && guards[key](value[key]));
 }
-export function isExactString(value, expectedString) {
-    return isString(value) && value === expectedString;
+export function isExactString(expectedString) {
+    return (value) => isString(value) && value === expectedString;
 }
-export function isOneStringOf(value, validValues) {
-    return isString(value) && validValues.includes(value);
+export function isOneStringOf(validValues) {
+    return (value) => isString(value) && validValues.includes(value);
+}
+export function always(value) {
+    return true;
+}
+export function isBool(value) {
+    return typeof value === "boolean";
+}
+export function isNull(value) {
+    return value === null;
+}
+export function isListOf(guard) {
+    return (value) => Array.isArray(value) && value.every(guard);
+}
+export function oneOf(a, b) {
+    return (value) => a(value) || b(value);
 }

package/dist/runtime/index.d.ts

@@ -5,7 +5,7 @@ export type Message<N extends string = string, T = any> = {
     value: T;
     name: N;
 };
-export type Update<Model extends Cloneable, CustomMessage extends Message> = (model: Model, msg: CustomMessage) => [Model, Effect<CustomMessage>];
+export type Update<Model extends Cloneable, CustomMessage extends Message> = (model: Readonly<Model>, msg: CustomMessage) => [Model, Effect<CustomMessage>];
 export type Init<Model extends Cloneable, CustomMessage extends Message> = (persistedModel: Maybe<Model>) => [Model, Effect<CustomMessage>];
 export type Change<CustomMessage extends Message, Model> = [
     CustomMessage | null,

package/dist/runtime/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAGjC,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,IAAI;IACxD,KAAK,EAAE,CAAC,CAAC;IACT,IAAI,EAAE,CAAC,CAAC;CACT,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,IAAI,CAC3E,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,aAAa,KACf,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;AAEpC,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,IAAI,CACzE,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,KACzB,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;AAEpC,MAAM,MAAM,MAAM,CAAC,aAAa,SAAS,OAAO,EAAE,KAAK,IAAI;IACzD,aAAa,GAAG,IAAI;IACpB,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;KACrB,GAAG,IAAI;CACT,CAAC;AAEF,MAAM,MAAM,OAAO,CACjB,aAAa,SAAS,OAAO,EAC7B,KAAK,SAAS,SAAS,IACrB,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC;AAEnC,wBAAgB,EAAE,CAAC,aAAa,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EACnE,IAAI,EAAE,CAAC,EACP,OAAO,EAAE,OAAO,GACf,OAAO,IAAI,aAAa,CAE1B"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/runtime/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAGjC,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,IAAI;IACxD,KAAK,EAAE,CAAC,CAAC;IACT,IAAI,EAAE,CAAC,CAAC;CACT,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,IAAI,CAC3E,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,EACtB,GAAG,EAAE,aAAa,KACf,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;AAEpC,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,IAAI,CACzE,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,KACzB,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;AAEpC,MAAM,MAAM,MAAM,CAAC,aAAa,SAAS,OAAO,EAAE,KAAK,IAAI;IACzD,aAAa,GAAG,IAAI;IACpB,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;KACrB,GAAG,IAAI;CACT,CAAC;AAEF,MAAM,MAAM,OAAO,CACjB,aAAa,SAAS,OAAO,EAC7B,KAAK,SAAS,SAAS,IACrB,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC;AAEnC,wBAAgB,EAAE,CAAC,aAAa,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EACnE,IAAI,EAAE,CAAC,EACP,OAAO,EAAE,OAAO,GACf,OAAO,IAAI,aAAa,CAE1B"}

package/package.json

@@ -1,11 +1,12 @@
 {
   "name": "@kaumlaut/pure",
-  "version": "0.1.19",
+  "version": "0.2.1",
   "description": "Types and functions for a state runtime inspired by Elm and functional programming",
   "author": "Max Kaemmerer",
   "license": "MIT",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
+  "type": "module",
   "module": "dist/index.js",
   "exports": {
     "./*": {
@@ -13,6 +14,9 @@
       "types": "./dist/*/index.d.ts"
     }
   },
+  "files": [
+    "dist"
+  ],
   "scripts": {
     "build": "tsc",
     "docs": "typedoc",
@@ -21,10 +25,6 @@
     "test": "vitest",
     "release": "npm run build && npm publish --access public"
   },
-  "files": [
-    "dist"
-  ],
-  "type": "module",
   "devDependencies": {
     "@eslint/js": "^9.22.0",
     "@types/node": "^22.13.10",

package/dist/runtime/persistence/localStorage/index.d.ts

@@ -1,5 +0,0 @@
-import { Persistence } from "@kaumlaut/pure/runtime/persistence";
-import { Message } from "@kaumlaut/pure/runtime";
-import { Cloneable } from "@kaumlaut/pure/clone";
-export declare const localStoragePersistence: <Model extends Cloneable, CustomMessage extends Message>(name: string) => Persistence<Model, CustomMessage>;
-//# sourceMappingURL=index.d.ts.map

package/dist/runtime/persistence/localStorage/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/runtime/persistence/localStorage/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAA;AAChE,OAAO,EAAE,OAAO,EAAQ,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAIhD,eAAO,MAAM,uBAAuB,GAAI,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,EAC5F,MAAM,MAAM,KACX,WAAW,CAAC,KAAK,EAAE,aAAa,CAwBjC,CAAA"}

package/dist/runtime/persistence/localStorage/index.js

@@ -1,25 +0,0 @@
-import { ok, err } from "@kaumlaut/pure/result";
-import { just, nothing } from "@kaumlaut/pure/maybe";
-export const localStoragePersistence = (name) => ({
-    persist(model) {
-        window.localStorage.setItem(name, btoa(JSON.stringify(model)));
-    },
-    read(guard, init) {
-        const record = window.localStorage.getItem(name);
-        if (record === null) {
-            return ok(init(nothing())[0]);
-        }
-        try {
-            const json = atob(record);
-            const model = JSON.parse(json);
-            if (guard(model)) {
-                return ok(init(just(model))[0]);
-            }
-            // eslint-disable-next-line @typescript-eslint/no-unused-vars
-        }
-        catch (e) {
-            return err('Could not decode stored model');
-        }
-        return err('Your guard did not match the retrieved model');
-    },
-});