ob1 0.54.1 → 0.55.0

package/README.md

@@ -0,0 +1,3 @@
+# ob1
+
+A small library for working with 0- and 1-based offsets in a type-checked way.

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "ob1",
-  "version": "0.54.1",
-  "description": "ob1",
-  "main": "src/index.js",
+  "version": "0.55.0",
+  "description": "A small library for working with 0- and 1-based offsets in a type-checked way.",
+  "main": "src/ob1.js",
   "repository": {
     "type": "git",
     "url": "git@github.com:facebook/metro.git"
@@ -16,4 +16,4 @@
   ],
   "license": "MIT",
   "dependencies": {}
-}
+}

package/src/__flowtests__/ob1-flowtest.js

@@ -0,0 +1,69 @@
+/**
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ *  strict-local
+ * @format
+ * @emails oncall+metro_bundler
+ */
+"use strict";
+
+const _require = require("../ob1"),
+  add = _require.add,
+  get0 = _require.get0,
+  get1 = _require.get1,
+  add1 = _require.add1,
+  sub1 = _require.sub1,
+  sub = _require.sub,
+  neg = _require.neg,
+  add0 = _require.add0,
+  inc = _require.inc;
+
+const FORTY_TWO_0 = add0(42);
+const FORTY_TWO_1 = add1(42);
+module.exports = {
+  testSafeOps() {
+    add(FORTY_TWO_0, FORTY_TWO_0);
+    add(FORTY_TWO_0, FORTY_TWO_1);
+    add(FORTY_TWO_1, FORTY_TWO_0);
+    sub(FORTY_TWO_1, FORTY_TWO_1);
+    add(FORTY_TWO_0, 9000);
+    add(FORTY_TWO_0, 9000);
+    add(FORTY_TWO_1, 9000);
+    sub(FORTY_TWO_1, 9000);
+    get0(FORTY_TWO_0);
+    get1(FORTY_TWO_1);
+    neg(FORTY_TWO_0);
+    add1(FORTY_TWO_0);
+    sub1(FORTY_TWO_1);
+    inc(FORTY_TWO_0);
+    inc(FORTY_TWO_1);
+  },
+
+  testUnsafeOps() {
+    // $FlowExpectedError - adding two 1-based offsets.
+    add(FORTY_TWO_1, FORTY_TWO_1); // $FlowExpectedError - subtracting 1-based offset from 0-based offset.
+
+    sub(FORTY_TWO_0, FORTY_TWO_1); // $FlowExpectedError - direct computations with offsets are disallowed.
+
+    FORTY_TWO_0 - 1; // $FlowExpectedError - direct computations with offsets are disallowed.
+
+    FORTY_TWO_1 - 1; // $FlowExpectedError - extracting a 1-based offset as a 0-based number
+
+    get0(FORTY_TWO_1); // $FlowExpectedError - extracting a 0-based offset as a 1-based number
+
+    get1(FORTY_TWO_0); // $FlowExpectedError - negating a 1-based offset
+
+    neg(FORTY_TWO_1); // $FlowExpectedError - adding 1 to an offset that's already 1-based
+
+    add1(FORTY_TWO_1); // $FlowExpectedError - subtracting 1 from an offset that's already 0-based
+
+    sub1(FORTY_TWO_0); // $FlowExpectedError - extracting an arbitrary number as a 0-based number
+
+    get0(42); // $FlowExpectedError - extracting an arbitrary number as a 1-based number
+
+    get1(42);
+  }
+};

package/src/__flowtests__/ob1-flowtest.js.flow

@@ -0,0 +1,72 @@
+/**
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * @flow strict-local
+ * @format
+ * @emails oncall+metro_bundler
+ */
+
+'use strict';
+
+const {add, get0, get1, add1, sub1, sub, neg, add0, inc} = require('../ob1');
+
+import type {Number0, Number1} from '../ob1';
+const FORTY_TWO_0 = add0(42);
+const FORTY_TWO_1 = add1(42);
+
+module.exports = {
+  testSafeOps() {
+    (add(FORTY_TWO_0, FORTY_TWO_0): Number0);
+    (add(FORTY_TWO_0, FORTY_TWO_1): Number1);
+    (add(FORTY_TWO_1, FORTY_TWO_0): Number1);
+    (sub(FORTY_TWO_1, FORTY_TWO_1): Number0);
+    (add(FORTY_TWO_0, 9000): Number0);
+    (add(FORTY_TWO_0, 9000): Number0);
+    (add(FORTY_TWO_1, 9000): Number1);
+    (sub(FORTY_TWO_1, 9000): Number1);
+    (get0(FORTY_TWO_0): number);
+    (get1(FORTY_TWO_1): number);
+    (neg(FORTY_TWO_0): Number0);
+    (add1(FORTY_TWO_0): Number1);
+    (sub1(FORTY_TWO_1): Number0);
+    (inc(FORTY_TWO_0): Number0);
+    (inc(FORTY_TWO_1): Number1);
+  },
+  testUnsafeOps() {
+    // $FlowExpectedError - adding two 1-based offsets.
+    add(FORTY_TWO_1, FORTY_TWO_1);
+
+    // $FlowExpectedError - subtracting 1-based offset from 0-based offset.
+    sub(FORTY_TWO_0, FORTY_TWO_1);
+
+    // $FlowExpectedError - direct computations with offsets are disallowed.
+    FORTY_TWO_0 - 1;
+
+    // $FlowExpectedError - direct computations with offsets are disallowed.
+    FORTY_TWO_1 - 1;
+
+    // $FlowExpectedError - extracting a 1-based offset as a 0-based number
+    get0(FORTY_TWO_1);
+
+    // $FlowExpectedError - extracting a 0-based offset as a 1-based number
+    get1(FORTY_TWO_0);
+
+    // $FlowExpectedError - negating a 1-based offset
+    neg(FORTY_TWO_1);
+
+    // $FlowExpectedError - adding 1 to an offset that's already 1-based
+    add1(FORTY_TWO_1);
+
+    // $FlowExpectedError - subtracting 1 from an offset that's already 0-based
+    sub1(FORTY_TWO_0);
+
+    // $FlowExpectedError - extracting an arbitrary number as a 0-based number
+    get0(42);
+
+    // $FlowExpectedError - extracting an arbitrary number as a 1-based number
+    get1(42);
+  },
+};

package/src/ob1.js

@@ -0,0 +1,62 @@
+/**
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ *  strict-local
+ * @format
+ */
+"use strict";
+/* eslint-disable no-redeclare */
+// A type representing 0-based offsets.
+
+// A type representing 1-based offsets.
+// Add two offsets or numbers.
+function add(a, b) {
+  return a + b;
+} // Subtract a number or 0-based offset from a 1/0-based offset.
+
+function sub(a, b) {
+  return a - b;
+} // Get the underlying number of a 0-based offset, casting away the opaque type.
+
+function get0(x) {
+  return x;
+} // Get the underlying number of a 1-based offset, casting away the opaque type.
+
+function get1(x) {
+  return x;
+} // Add 1 to a 0-based offset, thus converting it to 1-based.
+
+function add1(x) {
+  return x + 1;
+} // Subtract 1 from a 1-based offset, thus converting it to 0-based.
+
+function sub1(x) {
+  return x - 1;
+} // Negate a 0-based offset.
+
+function neg(x) {
+  return -x;
+} // Cast a number to a 0-based offset.
+
+function add0(x) {
+  return x;
+} // Increment a 0-based offset.
+
+function inc(x) {
+  return x + 1;
+}
+
+module.exports = {
+  add,
+  get0,
+  get1,
+  add1,
+  sub1,
+  sub,
+  neg,
+  add0,
+  inc
+};

package/src/ob1.js.flow

@@ -0,0 +1,89 @@
+/**
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * @flow strict-local
+ * @format
+ */
+
+'use strict';
+
+/* eslint-disable no-redeclare */
+
+// A type representing 0-based offsets.
+export opaque type Number0 = number;
+// A type representing 1-based offsets.
+export opaque type Number1 = number;
+
+// Add two offsets or numbers.
+declare function add(a: Number1, b: number): Number1;
+declare function add(a: number, b: Number1): Number1;
+declare function add(a: Number0, b: number): Number0;
+declare function add(a: number, b: Number0): Number0;
+declare function add(a: Number1, b: Number0): Number1;
+declare function add(a: Number0, b: Number1): Number1;
+declare function add(a: Number0, b: Number0): Number0;
+
+function add(a, b) {
+  return a + b;
+}
+
+// Subtract a number or 0-based offset from a 1/0-based offset.
+declare function sub(a: Number1, b: number): Number1;
+declare function sub(a: Number0, b: number): Number0;
+declare function sub(a: number, b: Number0): Number0;
+declare function sub(a: Number0, b: number): Number0;
+declare function sub(a: Number1, b: Number0): Number1;
+declare function sub(a: Number0, b: Number0): Number0;
+declare function sub(a: Number1, b: Number1): Number0;
+
+function sub(a, b) {
+  return a - b;
+}
+
+// Get the underlying number of a 0-based offset, casting away the opaque type.
+declare function get0(x: Number0): number;
+declare function get0(x: void | null): void | null;
+function get0(x) {
+  return x;
+}
+
+// Get the underlying number of a 1-based offset, casting away the opaque type.
+declare function get1(x: Number1): number;
+declare function get1(x: void | null): void | null;
+function get1(x) {
+  return x;
+}
+
+// Add 1 to a 0-based offset, thus converting it to 1-based.
+function add1(x: Number0 | number): Number1 {
+  return x + 1;
+}
+
+// Subtract 1 from a 1-based offset, thus converting it to 0-based.
+function sub1(x: Number1): Number0 {
+  return x - 1;
+}
+
+// Negate a 0-based offset.
+function neg(x: Number0): Number0 {
+  return -x;
+}
+
+// Cast a number to a 0-based offset.
+function add0(x: number): Number0 {
+  return x;
+}
+
+// Increment a 0-based offset.
+declare function inc(a: Number0): Number0;
+// Increment a 1-based offset.
+declare function inc(a: Number1): Number1;
+
+function inc(x) {
+  return x + 1;
+}
+
+module.exports = {add, get0, get1, add1, sub1, sub, neg, add0, inc};

package/src/index.js

@@ -1 +0,0 @@
-// TODO