|:: (Unbox a, Monad m)|
|=> (Int -> Bool)|
If the Int matches this predicate,
|-> (Int -> a)|
... then pass it to this fn to produce a value
Range between 0 and this maximum.
|-> m (Array U DIM1 a)|
Array containing produced values.
Produce an array by applying a predicate to a range of integers. If the predicate matches, then use the second function to generate the element.
- This is a low-level function helpful for writing filtering operations on arrays.
- Use the integer as the index into the array you're filtering.