From fa14ff9099f6e499b6386c2bdf9de56a12afaf5f Mon Sep 17 00:00:00 2001 From: metaleap Date: Mon, 30 Oct 2017 16:03:06 +0100 Subject: [PATCH] Remove unused refIneq --- src/Data/Eq.js | 6 ------ src/Data/Eq.purs | 1 - 2 files changed, 7 deletions(-) diff --git a/src/Data/Eq.js b/src/Data/Eq.js index 0fa17313..1c62da2d 100644 --- a/src/Data/Eq.js +++ b/src/Data/Eq.js @@ -6,12 +6,6 @@ exports.refEq = function (r1) { }; }; -exports.refIneq = function (r1) { - return function (r2) { - return r1 !== r2; - }; -}; - exports.eqArrayImpl = function (f) { return function (xs) { return function (ys) { diff --git a/src/Data/Eq.purs b/src/Data/Eq.purs index 45962b09..0d589df8 100644 --- a/src/Data/Eq.purs +++ b/src/Data/Eq.purs @@ -55,7 +55,6 @@ instance eqArray :: Eq a => Eq (Array a) where eq = eqArrayImpl eq foreign import refEq :: forall a. a -> a -> Boolean -foreign import refIneq :: forall a. a -> a -> Boolean foreign import eqArrayImpl :: forall a. (a -> a -> Boolean) -> Array a -> Array a -> Boolean -- | The `Eq1` type class represents type constructors with decidable equality.