Use prop_assume under prop_compose?

[akiradeveloper]

Hello.

I want to use prop_assume filtering under prop_compose but it seems to be designed to be used under proptest only.

How do I use filtering under prop_compose?

[tzemanovic]

hi, one option is to use prop_filter/prop_filter_map method on a Strategy. Because prop_assume macro returns a Result it cannot be used in prop_compose that returns a Strategy

[akiradeveloper]

@tzemanovic I see. Thank you.