skeletest-0.3.6: test/Skeletest/__snapshots__/PropSpec.snap.md

# test/Skeletest/PropSpec.hs

## === / shows a helpful failure message

```
./ExampleSpec.hs
╭── is isomorphic: FAIL
│ ./ExampleSpec.hs:10:
│ │
│ │     (read . show) P.=== (+ 1) `shouldSatisfy` P.isoWith (Gen.int $ Range.linear 0 10)
│ │                               ^^^^^^^^^^^^^^^
│ 
│ Failed after 1 tests.
│ Rerun with --seed=0:0 to reproduce.
│ 
│ ./ExampleSpec.hs:10:47 ==> 0
│ 
│ 0 ≠ 1
│ where
│   0 = (read . show) 0
│   1 = (+ 1) 0
╰────────────────────────────────────────────────────────────────────────────────────────
╭── is not isomorphic: FAIL
│ ./ExampleSpec.hs:12:
│ │
│ │     (read . show) P.=== id `shouldNotSatisfy` P.isoWith (Gen.int $ Range.linear 0 10)
│ │                            ^^^^^^^^^^^^^^^^^^
│ 
│ Failed after 1 tests.
│ Rerun with --seed=0:0 to reproduce.
│ 
│ ./ExampleSpec.hs:12:47 ==> 0
│ 
│ 0 = 0
│ where
│   0 = (read . show) 0
│   0 = id 0
╰────────────────────────────────────────────────────────────────────────────────────────
```

## prop / fails when configuration occurs after IO actions

```
./ExampleSpec.hs
╭── discards: ERROR
│ Property configuration function must be done before any forAll or IO actions
│ 
│ Failed after 1 tests.
│ Rerun with --seed=0:0 to reproduce.
╰───────────────────────────────────────────────────────────────────────────────
```

## prop / fails when configuration occurs after forAll

```
./ExampleSpec.hs
╭── discards: ERROR
│ Property configuration function must be done before any forAll or IO actions
│ 
│ Failed after 1 tests.
│ Rerun with --seed=0:0 to reproduce.
╰───────────────────────────────────────────────────────────────────────────────
```

## prop / renders Skeletest errors well

```
./ExampleSpec.hs
╭── error: ERROR
│ CLI flag 'my-flag' was not registered. Did you add it to cliFlags in Main.hs?
│ 
│ Failed after 1 tests.
│ Rerun with --seed=0:0 to reproduce.
╰───────────────────────────────────────────────────────────────────────────────
```

## prop / shows hedgehog context for arbitrary failures

```
./ExampleSpec.hs
╭── error: ERROR
│ Got exception of type `MyException`:
│ this is MyException
│ 
│ Failed after 1 tests.
│ Rerun with --seed=0:0 to reproduce.
╰───────────────────────────────────────────────────────────────────────────────
```

## prop / supports MonadFail

```
./ExampleSpec.hs
╭── discards: ERROR
│ ExampleSpec.hs:8:
│ │
│ │   Just _ <- forAll $ pure (Nothing :: Maybe Int)
│ │   ^^^^^^
│ 
│ Pattern match failure in 'do' block
│ 
│ Failed after 1 tests.
│ Rerun with --seed=0:0 to reproduce.
╰───────────────────────────────────────────────────────────────────────────────
```

## setDiscardLimit / sets discard limit

```
./ExampleSpec.hs
╭── discards: FAIL
│ Gave up after 10 discards.
│ Passed 0 tests.
╰───────────────────────────────────────────────────────────────────────────────
```