Method: Pbt::Arbitrary::FilterArbitrary#generate

Defined in:
lib/pbt/arbitrary/filter_arbitrary.rb

#generate(rng) ⇒ Object

See Also:



15
16
17
18
19
20
 
# File 'lib/pbt/arbitrary/filter_arbitrary.rb', line 15

def generate(rng)
  loop do
    val = @arb.generate(rng)
    return val if @refinement.call(val)
  end
end