diff options
-rw-r--r-- | src/VeriFuzz/RandomAlt.hs | 25 | ||||
-rw-r--r-- | stack.yaml | 1 | ||||
-rw-r--r-- | verifuzz.cabal | 1 |
3 files changed, 0 insertions, 27 deletions
diff --git a/src/VeriFuzz/RandomAlt.hs b/src/VeriFuzz/RandomAlt.hs deleted file mode 100644 index 8548a1a..0000000 --- a/src/VeriFuzz/RandomAlt.hs +++ /dev/null @@ -1,25 +0,0 @@ -{-|p -Module : VeriFuzz.RandomAlt -Description : RandomAlt generation for DAG -Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 -Maintainer : ymherklotz [at] gmail [dot] com -Stability : experimental -Portability : POSIX - -Define the random generation for the directed acyclic graph. --} - -module VeriFuzz.RandomAlt where - -import qualified Data.Graph.Inductive.Arbitrary as G -import Data.Graph.Inductive.PatriciaTree (Gr) -import Test.QuickCheck (Arbitrary, Gen) -import qualified Test.QuickCheck as QC - -randomDAG :: (Arbitrary l, Arbitrary e) => Gen (Gr l e) -randomDAG = G.looplessGraph <$> QC.arbitrary - --- | Generate a random acyclic DAG with an IO instance. -genRandomDAG :: (Arbitrary l, Arbitrary e) => IO (Gr l e) -genRandomDAG = QC.generate randomDAG @@ -4,7 +4,6 @@ packages: extra-deps: - DRBG-0.5.5@sha256:3b8040bed356e2b63927a27fb6d5adbd19d70c9e1d1bb66111bbeb33e56900eb - QuickCheck-2.9.2@sha256:93cebf9f9c55e8a941bd3166272680d67b80d9b5d95bd836765e3d4a4ef278d0 - - fgl-arbitrary-0.2.0.3@sha256:d80598d16963ba151bf5dfaed5cfb8bb1cf441ce9b60bccce82367cc575c1622 - fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e - tasty-hedgehog-0.2.0.0@sha256:83a8b777fa472040979e44dba43c32441f55d5ddb9641a4d53deee4b0e09fa34 resolver: lts-13.14 diff --git a/verifuzz.cabal b/verifuzz.cabal index 2e9097e..9e4a5a6 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -54,7 +54,6 @@ library build-depends: base >=4.7 && <5 , hedgehog >= 0.6 && <0.7 , fgl >=5.7 && <5.8 - , fgl-arbitrary >=0.2 && <0.3 , fgl-visualize >=0.1 && <0.2 , lens >=4.17 && <4.18 , random >=1.1 && <1.2 |