test identity law

fantasyland · Dec 31, 2017 · 7dab8da · 7dab8da
1 parent 7a2c09f
commit 7dab8da
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test.js b/test.js
@@ -85,6 +85,7 @@ exports.extend = {
 
 exports.filterable = {
   distributivity: test(x => filterable.distributivity(equality)(Id[fl.of]([0, 1, 2, 3, 4]))(x => x % 2 === 0)(x => x > 0)),
+  identity: test(x => filterable.identity(equality)(Id[fl.of]([1, 2, 3]))),
   annihilation: test(x => filterable.annihilation(equality)(Id[fl.of]([1, 2, 3]))(Id[fl.of]([4, 5, 6]))),
 };