Method: Pbt::Arbitrary::FilterArbitrary#initialize

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

#initialize(arb, &refinement) ⇒ FilterArbitrary

Returns a new instance of FilterArbitrary.

Parameters:

  • arb (Arbitrary) —

    Arbitrary to generate values to be filtered.

  • refinement (Proc) —

    Predicate proc to test each produced element. Return true to keep the element, false otherwise.


9
10
11
12
 
# File 'lib/pbt/arbitrary/filter_arbitrary.rb', line 9

def initialize(arb, &refinement)
  @arb = arb
  @refinement = refinement
end