@kaumlaut/pure 0.1.14 → 0.1.16

package/dist/guard/index.d.ts

@@ -6,4 +6,7 @@ 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: {
+    [K in keyof T]: Guard<T[K]>;
+}): value is T;
 //# 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,CAAA;AAErD,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;AACD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAExD;AACD,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAErD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEvD;AAED,wBAAgB,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,CAE1F;AACD,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAC,CAAE,MAAM,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,CAEhG"}
+{"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,CAAA;AAErD,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;AACD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAExD;AACD,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAErD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEvD;AAED,wBAAgB,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,CAE1F;AACD,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAC,CAAE,MAAM,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,CAEhG;AACD,wBAAgB,6BAA6B,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE;KAAE,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAC,GAAG,KAAK,IAAI,CAAC,CAEjI"}

package/dist/guard/index.js

@@ -1,4 +1,4 @@
-import { asFloat } from '@kaumlaut/pure/parse';
+import { asFloat, asInt } from '@kaumlaut/pure/parse';
 import { isOk } from '@kaumlaut/pure/result';
 export function all(value, guards) {
     return guards.every(guard => guard(value));
@@ -10,7 +10,7 @@ export function isNumber(value) {
     return typeof value === "number";
 }
 export function isInt(value) {
-    return isNumber(value) && Number.isInteger(value);
+    return isNumber(value) && isOk(asInt(value.toString()));
 }
 export function isFloat(value) {
     return isNumber(value) && isOk(asFloat(value.toString()));
@@ -21,3 +21,6 @@ export function isObjectWithKey(value, key) {
 export function isObjectWithKeys(value, keys) {
     return 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]));
+}

package/dist/runtime/index.d.ts

@@ -1,11 +1,12 @@
 import { Effect } from '@kaumlaut/pure/runtime/effect';
 import { Cloneable } from '../clone';
+import { Maybe } from '../maybe';
 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 Init<Model extends Cloneable, CustomMessage extends Message> = () => [Model, Effect<CustomMessage>];
+export type Init<Model extends Cloneable, CustomMessage extends Message> = (peristedModel: Maybe<Model>) => [Model, Effect<CustomMessage>];
 export type Change<CustomMessage extends Message, Model> = [
     CustomMessage | null,
     model: Model,

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,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAEpC,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,IAAI;IACxD,KAAK,EAAE,CAAC,CAAA;IACR,IAAI,EAAE,CAAC,CAAA;CACR,CAAA;AAED,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,CAAA;AAEnC,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAA;AAE/G,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,CAAA;QACZ,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;KACpB,GAAG,IAAI;CACT,CAAA;AAED,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,OAAO,EAAE,KAAK,SAAS,SAAS,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAA;AAE5G,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,CAAA;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAEhC,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,IAAI;IACxD,KAAK,EAAE,CAAC,CAAA;IACR,IAAI,EAAE,CAAC,CAAA;CACR,CAAA;AAED,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,CAAA;AAEnC,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAA;AAE1I,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,CAAA;QACZ,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;KACpB,GAAG,IAAI;CACT,CAAA;AAED,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,OAAO,EAAE,KAAK,SAAS,SAAS,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAA;AAE5G,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/dist/runtime/persistence/localStorage/index.d.ts.map

@@ -1 +1 @@
-{"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;AAGhD,eAAO,MAAM,uBAAuB,GAAI,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,EAC5F,MAAM,MAAM,KACX,WAAW,CAAC,KAAK,EAAE,aAAa,CAwBjC,CAAA"}
+{"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,4 +1,5 @@
 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)));
@@ -6,13 +7,13 @@ export const localStoragePersistence = (name) => ({
     read(guard, init) {
         const record = window.localStorage.getItem(name);
         if (record === null) {
-            return ok(init()[0]);
+            return ok(init(nothing())[0]);
         }
         try {
             const json = atob(record);
             const model = JSON.parse(json);
             if (guard(model)) {
-                return ok(model);
+                return ok(init(just(model))[0]);
             }
             // eslint-disable-next-line @typescript-eslint/no-unused-vars
         }

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/runtime/persistence/none/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAA;AAGhE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAEhD,eAAO,MAAM,aAAa,GAAI,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,OAAK,WAAW,CAClG,KAAK,EACL,aAAa,CAOb,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/runtime/persistence/none/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAA;AAGhE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAGhD,eAAO,MAAM,aAAa,GAAI,KAAK,SAAS,SAAS,EAAE,aAAa,SAAS,OAAO,OAAK,WAAW,CAClG,KAAK,EACL,aAAa,CAOb,CAAA"}

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

@@ -1,8 +1,9 @@
 import { ok } from '@kaumlaut/pure/result';
+import { nothing } from '@kaumlaut/pure/maybe';
 export const noPersistence = () => ({
     // eslint-disable-next-line @typescript-eslint/no-unused-vars
     persist(model) { },
     read(guard, init) {
-        return ok(init()[0]);
+        return ok(init(nothing())[0]);
     },
 });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kaumlaut/pure",
-  "version": "0.1.14",
+  "version": "0.1.16",
   "description": "Types and functions for a state runtime inspired by Elm and functional programming",
   "author": "Max Kaemmerer",
   "license": "MIT",