From 39e92e89635584de944cd9427f113cc3b3c39a5f Mon Sep 17 00:00:00 2001 From: Elias Mulhall Date: Sat, 30 Dec 2023 11:12:43 -0500 Subject: [PATCH] Autoderive Eq --- package/Array2D.roc | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/package/Array2D.roc b/package/Array2D.roc index 7e59290..b6ac4e7 100644 --- a/package/Array2D.roc +++ b/package/Array2D.roc @@ -49,7 +49,7 @@ interface Array2D exposes [ ## Fixed size two dimensional array. Unlike the builtin `List` data type ## `Array2D` is fully allocated on creation, with a starting element for each ## valid index. -Array2D a := { data : List a, shape : Shape2D } implements [Eq { isEq: isEq }] +Array2D a := { data : List a, shape : Shape2D } implements [Eq] ## Return an empty array with 0 rows, 0 columns, and no elements. empty : {} -> Array2D * @@ -934,9 +934,6 @@ expect a = fromLists [[1, 2, 3], [4, 5, 6]] FitShortest mul a (identity 3) == Ok a -isEq : Array2D a, Array2D a -> Bool where a implements Eq -isEq = \@Array2D a, @Array2D b -> a == b - listIndexOf : Shape2D, Index2D -> Result Nat [OutOfBounds] listIndexOf = \arrayShape, index -> if Shape2D.hasIndex arrayShape index then