src/Xanthous/Util.hs


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