Class: FalseClass

Inherits:
Object
  • Object
show all
Extended by:
RushCheck::Arbitrary, RushCheck::HsRandom, RushCheck::RandomBool
Includes:
RushCheck::Coarbitrary, RushCheck::Testable
Defined in:
lib/rushcheck/bool.rb

Constant Summary collapse

@@min_bound =
0
@@max_bound =
1

Class Method Summary collapse

Instance Method Summary collapse

Methods included from RushCheck::Arbitrary

arbitrary

Methods included from RushCheck::HsRandom

random, random_array, random_std

Methods included from RushCheck::RandomBool

arbitrary, random_range

Methods included from RushCheck::Testable

#check, #classify, #imply, #label, #run, #run_tests, #silent_check, #test, #testcase, #trivial

Class Method Details

.boundObject



61
62
63
# File 'lib/rushcheck/bool.rb', line 61

def self.bound
  [@@min_bound, @@max_bound]
end

Instance Method Details

#coarbitrary(g) ⇒ Object



65
66
67
# File 'lib/rushcheck/bool.rb', line 65

def coarbitrary(g)
  g.variant(1)
end

#propertyObject



69
70
71
# File 'lib/rushcheck/bool.rb', line 69

def property
  RushCheck::Result.new(self).result
end