From dac34f6ff5c46f11fe6c548b92a02ebf4f10d7e9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Thu, 10 Jan 2019 15:49:13 +0000
Subject: Rename files out of the module

---
 src/VeriFuzz/Graph/RandomAlt.hs | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 src/VeriFuzz/Graph/RandomAlt.hs

(limited to 'src/VeriFuzz/Graph/RandomAlt.hs')

diff --git a/src/VeriFuzz/Graph/RandomAlt.hs b/src/VeriFuzz/Graph/RandomAlt.hs
new file mode 100644
index 0000000..d9ee138
--- /dev/null
+++ b/src/VeriFuzz/Graph/RandomAlt.hs
@@ -0,0 +1,29 @@
+{-|p
+Module      : VeriFuzz.Graph.RandomAlt
+Description : RandomAlt generation for DAG
+Copyright   : (c) 2018-2019, Yann Herklotz Grave
+License     : BSD-3
+Maintainer  : ymherklotz [at] gmail [dot] com
+Stability   : experimental
+Portability : POSIX
+
+Define the random generation for the directed acyclic graph.
+-}
+
+module VeriFuzz.Graph.RandomAlt where
+
+import           Data.Graph.Inductive              (Graph, LEdge, mkGraph)
+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
-- 
cgit