diff options
Diffstat (limited to 'test/Gen.hs')
| -rw-r--r-- | test/Gen.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Gen.hs b/test/Gen.hs index 19c50c8..29dffb2 100644 --- a/test/Gen.hs +++ b/test/Gen.hs @@ -33,6 +33,8 @@ import System.Random qualified as Random import Util +-- | Generates zero with small probability, because there's typically only one +-- interesting case for 0 anyway. genRank :: Monad m => (forall n. SNat n -> PropertyT m ()) -> PropertyT m () genRank k = do rank <- forAll $ Gen.frequency [(1, return 0) |