From 19b440fbabf5bc95e97a7a53119ec6218c3639d7 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 15 May 2018 23:08:51 +0200 Subject: Be somewhat sticky --- src/Refined/AEq.hs | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 src/Refined/AEq.hs (limited to 'src/Refined') diff --git a/src/Refined/AEq.hs b/src/Refined/AEq.hs new file mode 100644 index 0000000..0a60679 --- /dev/null +++ b/src/Refined/AEq.hs @@ -0,0 +1,12 @@ +{-# OPTIONS_GHC -fno-warn-orphans #-} + +module Refined.AEq where + +import Data.AEq +import Refined + +import Data.Function (on) + +instance AEq a => AEq (Refined p a) where + (===) = (===) `on` unrefine + (~==) = (~==) `on` unrefine -- cgit v1.2.3