[wip] jr model

jrx/dist/storage/impure.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Impure storage API
+ *
+ * This code is responsible for
+ *
+ * - fetching the program state from storage
+ * - putting the program state into storage
+ *
+ * @module
+ */

jrx/dist/storage/impure.js

@@ -0,0 +1,16 @@
+"use strict";
+/**
+ * Impure storage API
+ *
+ * This code is responsible for
+ *
+ * - fetching the program state from storage
+ * - putting the program state into storage
+ *
+ * @module
+ */
+//export {
+//    fetch_,
+//    fetch_migrate
+//};
+//# sourceMappingURL=impure.js.map

jrx/dist/storage/impure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impure.js","sourceRoot":"","sources":["../../src/storage/impure.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;AAEH,UAAU;AACV,aAAa;AACb,mBAAmB;AACnB,IAAI"}

jrx/dist/storage/model.js

@@ -0,0 +1,41 @@
+"use strict";
+/* idea: versioned state
+ *
+ * there is a version 0 state
+ *
+ * each state migration contains a migration from the previous version to the
+ * new version
+ *
+ * laws:
+ *
+ * - all version N states must map to valid version N+1 states
+ *
+ */
+//export {
+//    jr_version,
+//    jr_state
+//};
+//
+//let jr_version = 0;
+//
+///**
+// * current state type for current version
+// */
+//type jr_state = jr_0_state;
+//
+///**
+// * All jr state types, historically
+// */
+//type jr_n_state
+//    = jr_0_state;
+//
+///**
+// * This is the version 0 state
+// */
+//type jr_0_state
+//    = {version : 0,
+//       keypair : keypair};
+//
+//type keypair
+//    = {secretKey: Uint8Array
+//# sourceMappingURL=model.js.map

jrx/dist/storage/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/storage/model.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;AAEH,UAAU;AACV,iBAAiB;AACjB,cAAc;AACd,IAAI;AACJ,EAAE;AACF,qBAAqB;AACrB,EAAE;AACF,KAAK;AACL,2CAA2C;AAC3C,KAAK;AACL,6BAA6B;AAC7B,EAAE;AACF,KAAK;AACL,qCAAqC;AACrC,KAAK;AACL,iBAAiB;AACjB,mBAAmB;AACnB,EAAE;AACF,KAAK;AACL,gCAAgC;AAChC,KAAK;AACL,iBAAiB;AACjB,qBAAqB;AACrB,4BAA4B;AAC5B,EAAE;AACF,cAAc;AACd,8BAA8B"}