Skip to content

Commit

Permalink
Fix README
Browse files Browse the repository at this point in the history
  • Loading branch information
brandonchinn178 committed Sep 18, 2024
1 parent 3a9bf88 commit a660dd3
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -33,18 +33,18 @@ spec = do
myFunc 1 2 `shouldSatisfy` P.list [P.eq "a", P.anything, P.anything]

prop "myFunc 0 x == []" $ do
x <- gen $ Gen.int (Range.linear 0 100)
x <- forAll $ Gen.int (Range.linear 0 100)
myFunc 0 x `shouldBe` ""

prop "myFunc x y == myFunc y x" $ do
x <- gen $ Gen.int (Range.linear 0 100)
y <- gen $ Gen.int (Range.linear 0 100)
x <- forAll $ Gen.int (Range.linear 0 100)
y <- forAll $ Gen.int (Range.linear 0 100)
myFunc x y `shouldBe` myFunc y x

-- top-level property that's not grouped under
-- either myFunc nor otherFunc
prop "myFunc x . otherFunc === id" $ do
x <- gen $ Gen.int (Range.linear 0 100)
x <- forAll $ Gen.int (Range.linear 0 100)
let input =
Gen.list (Range.linear 0 10) $
Gen.string (Range.linear 0 100) Gen.unicode
Expand Down

0 comments on commit a660dd3

Please sign in to comment.