Question:
I have a custom type I'm generating.
I want to take a random substring of that type.
(this because I'm creating a search-functionality)
Is it possible to get access to the Random inside the test, such that creating the substring is repeatable?
I would prefer this over creating it with an Arb, as that would mean that the property what is getting filtered is hidden.
Or is there a better way?