diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/equivalence.lux')
-rw-r--r-- | stdlib/source/test/lux/abstract/equivalence.lux | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 95f62218c..3009c289f 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -39,24 +39,6 @@ ($_ _.and (_.for [/.functor] ($contravariant.spec equivalence n.equivalence /.functor)) - (_.cover [/.sum] - (let [equivalence (/.sum n.equivalence i.equivalence)] - (and (bit\= (\ n.equivalence = leftN leftN) - (\ equivalence = (#.Left leftN) (#.Left leftN))) - (bit\= (\ n.equivalence = leftN rightN) - (\ equivalence = (#.Left leftN) (#.Left rightN))) - (bit\= (\ i.equivalence = leftI leftI) - (\ equivalence = (#.Right leftI) (#.Right leftI))) - (bit\= (\ i.equivalence = leftI rightI) - (\ equivalence = (#.Right leftI) (#.Right rightI)))))) - (_.cover [/.product] - (let [equivalence (/.product n.equivalence i.equivalence)] - (and (bit\= (and (\ n.equivalence = leftN leftN) - (\ i.equivalence = leftI leftI)) - (\ equivalence = [leftN leftI] [leftN leftI])) - (bit\= (and (\ n.equivalence = leftN rightN) - (\ i.equivalence = leftI rightI)) - (\ equivalence = [leftN leftI] [rightN rightI]))))) (_.cover [/.rec] (let [equivalence (: (Equivalence (List Nat)) (/.rec (function (_ equivalence) |