src/Refined/AEq.hs


1
2
3
4
5
6
7
8
9
10
11
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