copilot-core-2.1.2: An intermediate representation for Copilot.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Random

Description

Random spec generator.

Documentation

randomSpec :: Int -> Weights -> StdGen -> Spec Source