jsverify - npm Package Compare versions

Comparing version 0.7.5 to 0.8.0

CHANGELOG.md

 ## Release History
 
+- **0.8.0** — *2017-03-12* — TypeScript typings
+    - Provide TypeScript typings
+      [#202](https://github.com/jsverify/jsverify/pull/202)
+      [#196](https://github.com/jsverify/jsverify/pull/196)
 - **0.7.5** — *2017-03-08* — International Women's Day
@@ -4,0 +8,0 @@ - Add `letrec` combinator

lib/arbitraryBless.js

@@ -50,3 +50,3 @@ "use strict";
 
-      We need an inverse for shrinking, and there right inverse is enough. We can always *pull back* `smap`ped value, shrink the preimage, and *map* or *push forward* shrunk preimages again.
+      We need an inverse for shrinking, and there right inverse is enough. We can always *pull back* `smap`ped value, shrink the preimage, and *map* or *push forward* shrunken preimages again.
 */
@@ -53,0 +53,0 @@ function arbitraryBless(arb) {

lib/jsverify.js

@@ -53,2 +53,15 @@ /* @flow weak */
 
+  Starting from version 0.8.0 you can write the specs in TypeScript. There are
+  typings provided. The drawback is that you cannot use type DSL:
+
+  ```typescript
+  describe("basic jsverify usage", () => {
+    jsc.property("(b && b) === b", jsc.bool, b => (b && b) === b);
+
+    jsc.property("boolean fn thrice", jsc.fn(jsc.bool), jsc.bool, (f, b) =>
+      f(f(f(b))) === f(b)
+    );
+  });
+  ```
+
   You can also provide `--jsverifyRngState state` command line argument, to run tests with particular random generator state.
@@ -55,0 +68,0 @@

package.json

 {
   "name": "jsverify",
   "description": "Property-based testing for JavaScript.",
-  "version": "0.7.5",
+  "version": "0.8.0",
   "homepage": "http://jsverify.github.io/",
@@ -19,3 +19,4 @@ "author": {
   "license": "MIT",
-  "main": "lib/jsverify",
+  "main": "lib/jsverify.js",
+  "types": "lib/jsverify.d.ts",
   "engines": {
@@ -28,2 +29,3 @@ "node": ">= 0.8.0"
   "devDependencies": {
+    "@types/mocha": "^2.2.40",
     "bluebird": "^3.1.1",
@@ -50,2 +52,4 @@ "browserify": "^14.0.0",
     "q": "~2.0.2",
+    "ts-node": "^2.1.0",
+    "typescript": "^2.2.1",
     "underscore": "^1.8.2",
@@ -52,0 +56,0 @@ "when": "~3.7.2"

README.md

@@ -48,2 +48,15 @@ # JSVerify
 
+Starting from version 0.8.0 you can write the specs in TypeScript. There are
+typings provided. The drawback is that you cannot use type DSL:
+
+```typescript
+describe("basic jsverify usage", () => {
+  jsc.property("(b && b) === b", jsc.bool, b => (b && b) === b);
+
+  jsc.property("boolean fn thrice", jsc.fn(jsc.bool), jsc.bool, (f, b) =>
+    f(f(f(b))) === f(b)
+  );
+});
+```
+
 You can also provide `--jsverifyRngState state` command line argument, to run tests with particular random generator state.
@@ -253,3 +266,3 @@
 
-    We need an inverse for shrinking, and there right inverse is enough. We can always *pull back* `smap`ped value, shrink the preimage, and *map* or *push forward* shrunk preimages again.
+    We need an inverse for shrinking, and there right inverse is enough. We can always *pull back* `smap`ped value, shrink the preimage, and *map* or *push forward* shrunken preimages again.
 
@@ -632,2 +645,6 @@ - `bless(arb: {...}): arbitrary a`
 
+- **0.8.0** — *2017-03-12* — TypeScript typings
+    - Provide TypeScript typings
+      [#202](https://github.com/jsverify/jsverify/pull/202)
+      [#196](https://github.com/jsverify/jsverify/pull/196)
 - **0.7.5** — *2017-03-08* — International Women's Day
@@ -634,0 +651,0 @@ - Add `letrec` combinator

No alert changes

Improved metrics

Total package byte prevSize

226302

increased by9.18%

Number of package files

42

increased by7.69%

Lines of code

6238

increased by3.45%

Number of lines in readme file

865

increased by2%

Worsened metrics

Dev dependency count

26

increased by13.04%

No dependency changes