Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
test ('Ord', () => {
eq (Z.Ord.test (Identity (Useless))) (false);
eq (Z.Ord.test (Identity (/(?:)/))) (false);
eq (Z.Ord.test (Identity (0))) (true);
});
test ('Ord', () => {
eq (Z.Ord.test (Nothing)) (true);
eq (Z.Ord.test (Just (Useless))) (false);
eq (Z.Ord.test (Just (/(?:)/))) (false);
eq (Z.Ord.test (Just (0))) (true);
});
test ('Ord', () => {
eq (Z.Ord.test (Left (Useless))) (false);
eq (Z.Ord.test (Left (/(?:)/))) (false);
eq (Z.Ord.test (Left (0))) (true);
eq (Z.Ord.test (Right (Useless))) (false);
eq (Z.Ord.test (Right (/(?:)/))) (false);
eq (Z.Ord.test (Right (0))) (true);
});
test ('Ord', () => {
eq (Z.Ord.test (Left (Useless))) (false);
eq (Z.Ord.test (Left (/(?:)/))) (false);
eq (Z.Ord.test (Left (0))) (true);
eq (Z.Ord.test (Right (Useless))) (false);
eq (Z.Ord.test (Right (/(?:)/))) (false);
eq (Z.Ord.test (Right (0))) (true);
});
test ('Ord', () => {
eq (Z.Ord.test (Nothing)) (true);
eq (Z.Ord.test (Just (Useless))) (false);
eq (Z.Ord.test (Just (/(?:)/))) (false);
eq (Z.Ord.test (Just (0))) (true);
});
test ('Ord', () => {
eq (Z.Ord.test (Identity (Useless))) (false);
eq (Z.Ord.test (Identity (/(?:)/))) (false);
eq (Z.Ord.test (Identity (0))) (true);
});
antisymmetry: assert.forall2 (function(a, b) {
return Z.Ord.test (a) &&
Z.Ord.test (b) &&
(Z.lte (a, b) && Z.lte (b, a) ? Z.equals (a, b) : true);
}),
totality: assert.forall2 (function(a, b) {
return Z.Ord.test (a) &&
Z.Ord.test (b) &&
(Z.lte (a, b) || Z.lte (b, a));
}),