seq package:registry-hedgehog

Generates a seq using a Range to determine the length.
Generates a sequence of actions from an initial model state and set of commands.
The sequence of actions.
A sequence of actions to execute.
Check a group of properties sequentially. Using Template Haskell for property discovery:
tests :: IO Bool
tests =
checkSequential $$(discover)
With manually specified properties:
tests :: IO Bool
tests =
checkSequential $ Group "Test.Example" [
("prop_reverse", prop_reverse)
]
Executes a list of actions sequentially, verifying that all post-conditions are met and no exceptions are thrown. To generate a sequence of actions to execute, see the sequential combinator in the Hedgehog.Gen module.
Generates a random subsequence of a list. For example:
Gen.print (Gen.subsequence [1..5])
=== Outcome ===
[1,2,4]
=== Shrinks ===
[]
[2,4]
[1,4]
[1,2]