{-| Module : VeriFuzz.Verilog.Arbitrary Description : Arbitrary instances for the AST. Copyright : (c) 2018-2019, Yann Herklotz Grave License : GPL-3 Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental Portability : POSIX Arbitrary instances for the AST. -} module VeriFuzz.Verilog.Arbitrary where import Control.Monad (replicateM) import Data.Text (Text) import qualified Data.Text as T import qualified Test.QuickCheck as QC import VeriFuzz.Verilog.AST -- Generate Arbitrary instances for the AST