From d8e0e098a8b6e52730ad20d9eca29581fbb30ea2 Mon Sep 17 00:00:00 2001 From: Heeren Date: Sat, 5 Oct 2019 13:20:31 +0200 Subject: [PATCH] Update Types.hs Adding missing equality/conversion between IO service types --- src/Ideas/Service/Types.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Ideas/Service/Types.hs b/src/Ideas/Service/Types.hs index be4bca90..7fba13c9 100644 --- a/src/Ideas/Service/Types.hs +++ b/src/Ideas/Service/Types.hs @@ -77,6 +77,7 @@ instance Equal f => Equal (TypeRep f) where equal t1 (Iso p b) = fmap (from p .) (equal t1 b) equal (a :-> b) (c :-> d) = liftM2 (\f g h -> g . h . f) (equal c a) (equal b d) + equal (IO a) (IO b) = fmap liftM (equal a b) equal (Pair a b) (Pair c d) = liftM2 (***) (equal a c) (equal b d) equal (a :|: b) (c :|: d) = liftM2 biMap (equal a c) (equal b d) equal (List a) (List b) = fmap map (equal a b)