[Fix #63] Make build pass again

1 files changed, 0 insertions, 26 deletions

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