From 5815e527f7e3b65078e2ad19df3538bb701ec7ac Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 6 Oct 2019 22:40:06 +0100 Subject: [Fix #63] Make build pass again --- test/Property.hs | 26 -------------------------- 1 file changed, 26 deletions(-) (limited to 'test') diff --git a/test/Property.hs b/test/Property.hs index bec740c..a57f92c 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -16,8 +16,6 @@ import qualified Data.Graph.Inductive as G import Data.Text (Text) import Hedgehog (Gen, Property, (===)) import qualified Hedgehog as Hog -import Hedgehog.Function (Arg, Vary) -import qualified Hedgehog.Function as Hog import qualified Hedgehog.Gen as Hog import qualified Hedgehog.Range as Hog import Parser (parserTests) @@ -45,30 +43,6 @@ acyclicGraph = Hog.property $ do . getCircuit $ g -type GenFunctor f a b c = - ( Functor f - , Show (f a) - , Show a, Arg a, Vary a - , Show b, Arg b, Vary b - , Show c - , Eq (f c) - , Show (f c) - ) - -mapCompose - :: forall f a b c - . GenFunctor f a b c - => (forall x . Gen x -> Gen (f x)) - -> Gen a - -> Gen b - -> Gen c - -> Property -mapCompose genF genA genB genC = Hog.property $ do - g <- Hog.forAllFn $ Hog.fn @a genB - f <- Hog.forAllFn $ Hog.fn @b genC - xs <- Hog.forAll $ genF genA - fmap (f . g) xs === fmap f (fmap g xs) - propertyResultInterrupted :: Property propertyResultInterrupted = do mapCompose genResult -- cgit