src/Test/VeriFuzz/Graph/Random.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

module Test.VeriFuzz.Graph.Random
  ( randomDAG
  ) where

import Data.Graph.Inductive
import Test.QuickCheck

randomDAG :: (Arbitrary a)
          => GenIO    -- ^ The random number generator to use
          -> Int      -- ^ The number of nodes
          -> IO (Gr (LNode a) e) -- ^ The generated graph. It uses Arbitrary to
                      -- generate random instances of each node
randomDAG = do