You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I wanted a simple arbitrary-datum, which would be an arbitrary atomic Racket datum, such as:
A number
A character
A symbol
A boolean
It would be nice if there was a choose-arbitrary function that accepted a variable number of arbitrary? instances and returned an arbitrary? that produced values from one of them. I don't know how that interacts with the trans narrowing filter functions though.
The text was updated successfully, but these errors were encountered:
I wanted a simple
arbitrary-datum
, which would be an arbitrary atomic Racket datum, such as:It would be nice if there was a
choose-arbitrary
function that accepted a variable number ofarbitrary?
instances and returned anarbitrary?
that produced values from one of them. I don't know how that interacts with thetrans
narrowing filter functions though.The text was updated successfully, but these errors were encountered: