about summary refs log tree commit diff
path: root/src/Xanthous/Util.hs
blob: 377b66cf15cfd94c9ace1b80a509189a59882249 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
module Xanthous.Util
  ( EqEqProp(..)
  , EqProp(..)
  ) where

import Xanthous.Prelude

import Test.QuickCheck.Checkers

newtype EqEqProp a = EqEqProp a
  deriving newtype Eq

instance Eq a => EqProp (EqEqProp a) where
  (=-=) = eq