import { Option } from 'ephox/katamari/api/Option';
import * as Fun from 'ephox/katamari/api/Fun';
import { Assert, UnitTest } from '@ephox/bedrock-client';
import fc from 'fast-check';

UnitTest.test('Option.getOr', () => {
  fc.assert(fc.property(fc.integer(), (x) => {
    Assert.eq('none', x, Option.none().getOr(x));
    Assert.eq('none', x, Option.none().getOrThunk(() => x));
  }));
  fc.assert(fc.property(fc.integer(), fc.integer(), (x, y) => {
    Assert.eq('some', x, Option.some(x).getOr(y));
    Assert.eq('some', x, Option.some(x).getOrThunk(Fun.die('boom')));
  }));
});

import { Option } from 'ephox/katamari/api/Option';
import * as Fun from 'ephox/katamari/api/Fun';
import { Assert, UnitTest } from '@ephox/bedrock-client';
import fc from 'fast-check';

UnitTest.test('Option.getOr', () => {
  fc.assert(fc.property(fc.anything(), (x) => {
    Assert.eq('none', x, Option.none().getOr(x));
    Assert.eq('none', x, Option.none().getOrThunk(() => x));
  }));
  fc.assert(fc.property(fc.anything(), fc.anything(), (x, y) => {
    Assert.eq('some', x, Option.some(x).getOr(y));
    Assert.eq('some', x, Option.some(x).getOrThunk(Fun.die('boom')));
  }));
});

--- 
+++ 
@@ -4,11 +4,11 @@
 import fc from 'fast-check';
 
 UnitTest.test('Option.getOr', () => {
-  fc.assert(fc.property(fc.anything(), (x) => {
+  fc.assert(fc.property(fc.integer(), (x) => {
     Assert.eq('none', x, Option.none().getOr(x));
     Assert.eq('none', x, Option.none().getOrThunk(() => x));
   }));
-  fc.assert(fc.property(fc.anything(), fc.anything(), (x, y) => {
+  fc.assert(fc.property(fc.integer(), fc.integer(), (x, y) => {
     Assert.eq('some', x, Option.some(x).getOr(y));
     Assert.eq('some', x, Option.some(x).getOrThunk(Fun.die('boom')));
   }));
Test failed on NaN, so just use an integer.
