mirror of
https://github.com/Jaxan/ons-hs.git
synced 2025-04-27 06:37:44 +02:00
15 lines
342 B
Haskell
15 lines
342 B
Haskell
{-# OPTIONS_GHC -Wno-orphans #-}
|
|
|
|
module SpecUtils where
|
|
|
|
import Test.Tasty.HUnit hiding (assert)
|
|
import Test.Tasty.QuickCheck as QC
|
|
|
|
import Nominal.Atom
|
|
|
|
assert :: HasCallStack => (a -> Bool) -> a -> IO ()
|
|
assert f x = assertBool "" (f x)
|
|
|
|
instance Arbitrary Atom where
|
|
arbitrary = atom <$> arbitrary
|
|
shrink (Atom p) = atom <$> shrink p
|