Add boolean type arbitrary

src/check/arbitrary/BooleanArbitrary.ts

@@ -0,0 +1,8 @@
+import Arbitrary from './definition/Arbitrary'
+import { integer } from './IntegerArbitrary'
+
+function boolean(): Arbitrary<boolean> {
+    return integer(0, 1).map(v => v == 1);
+}
+
+export { boolean };

src/fast-check.ts

@@ -5,6 +5,7 @@ import { property } from './check/property/Property'
 import Arbitrary from './check/arbitrary/definition/Arbitrary'
 import Shrinkable from './check/arbitrary/definition/Shrinkable'
 import { array } from './check/arbitrary/ArrayArbitrary'
+import { boolean } from './check/arbitrary/BooleanArbitrary'
 import { char, ascii, unicode, hexa, base64 } from './check/arbitrary/CharacterArbitrary'
 import { constant } from './check/arbitrary/ConstantArbitrary'
 import { float, double } from './check/arbitrary/FloatingPointArbitrary'
@@ -22,6 +23,7 @@ export {
     // property definition
     property,
     // pre-built arbitraries
+    boolean, // boolean
     float, double, // floating point types
     integer, nat, // integer types
     char, ascii, unicode, hexa, base64, // single character

test/unit/check/arbitrary/BooleanArbitrary.spec.ts

@@ -0,0 +1,19 @@
+import * as assert from 'power-assert';
+import * as fc from '../../../../lib/fast-check';
+
+import { boolean } from '../../../../src/check/arbitrary/BooleanArbitrary';
+
+import * as stubRng from '../../stubs/generators';
+
+describe("BooleanArbitrary", () => {
+    describe('boolean', () => {
+        it('Should produce true and false uniformaly', () => fc.assert(
+            fc.property(fc.integer(), (seed) => {
+                const mrng = stubRng.mutable.counter(seed);
+                const g1 = boolean().generate(mrng).value;
+                const g2 = boolean().generate(mrng).value;
+                return (g1 === true && g2 === false) || (g1 === false && g2 === true);
+            })
+        ));
+    });
+});