yeslogic / doodle

6 stars 1 forks source link

Improve Bounds type and add Pattern::Int(Bounds) #143

Closed mikeday closed 1 week ago

mikeday commented 5 months ago

This extends the Bounds type with more operators and adds proptests, although it's my first time trying proptest so it might need some review.

I've also added Pattern::Int(Bounds), which is a convenient shorthand and a step towards more general treatment of integer types.