How to use the sanctuary-def.Integer function in sanctuary-def

To help you get started, we’ve selected a few sanctuary-def examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github sanctuary-js / sanctuary / test / is.js View on Github external
eq (S.is ($.Boolean) (true)) (true);
  eq (S.is ($.Boolean) (false)) (true);
  eq (S.is ($.Boolean) (new Boolean (true))) (false);
  eq (S.is ($.Boolean) (new Boolean (false))) (false);

  eq (S.is ($.Array ($.Integer)) (null)) (false);
  eq (S.is ($.Array ($.Integer)) (undefined)) (false);
  eq (S.is ($.Array ($.Integer)) (['1', '2', '3'])) (false);
  eq (S.is ($.Array ($.Integer)) ([1, 2, 3.14])) (false);
  eq (S.is ($.Array ($.Integer)) ([1, 2, 3])) (true);
  eq (S.is ($.Array ($.Integer)) ([])) (true);

  eq (S.is ($.Maybe ($.Integer)) (S.Nothing)) (true);
  eq (S.is ($.Maybe ($.Integer)) (S.Just (0))) (true);
  eq (S.is ($.Maybe ($.Integer)) (S.Left (0))) (false);
  eq (S.is ($.Maybe ($.Integer)) (S.Right (0))) (false);

  eq (S.is ($.Either ($.String) ($.Integer)) (S.Nothing)) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Just (0))) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Left (0))) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Right (''))) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Left (''))) (true);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Right (0))) (true);

  const a = $.TypeVariable ('a');

  eq (S.is ($.Array (a)) ([])) (true);
  eq (S.is ($.Array (a)) ([1, 2, 3])) (true);
  eq (S.is ($.Array (a)) (['foo', 'bar', 'baz'])) (true);
  eq (S.is ($.Array (a)) (['foo', true, 42])) (false);
  eq (S.is ($.Array (a)) ([Sum (1), Sum (2), Sum (3)])) (false);
github sanctuary-js / sanctuary / test / is.js View on Github external
test ('is', () => {

  eq (S.show (S.is)) ('is :: Type -> Any -> Boolean');

  eq (S.is ($.Boolean) (true)) (true);
  eq (S.is ($.Boolean) (false)) (true);
  eq (S.is ($.Boolean) (new Boolean (true))) (false);
  eq (S.is ($.Boolean) (new Boolean (false))) (false);

  eq (S.is ($.Array ($.Integer)) (null)) (false);
  eq (S.is ($.Array ($.Integer)) (undefined)) (false);
  eq (S.is ($.Array ($.Integer)) (['1', '2', '3'])) (false);
  eq (S.is ($.Array ($.Integer)) ([1, 2, 3.14])) (false);
  eq (S.is ($.Array ($.Integer)) ([1, 2, 3])) (true);
  eq (S.is ($.Array ($.Integer)) ([])) (true);

  eq (S.is ($.Maybe ($.Integer)) (S.Nothing)) (true);
  eq (S.is ($.Maybe ($.Integer)) (S.Just (0))) (true);
  eq (S.is ($.Maybe ($.Integer)) (S.Left (0))) (false);
  eq (S.is ($.Maybe ($.Integer)) (S.Right (0))) (false);

  eq (S.is ($.Either ($.String) ($.Integer)) (S.Nothing)) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Just (0))) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Left (0))) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Right (''))) (false);
  eq (S.is ($.Either ($.String) ($.Integer)) (S.Left (''))) (true);