Class: TrueClass

Inherits:

Object

• Object
• TrueClass

Extended by:

RushCheck::Arbitrary, RushCheck::HsRandom, RushCheck::RandomBool

Includes:

RushCheck::Coarbitrary, RushCheck::Testable

Defined in:

lib/rushcheck/bool.rb

Constant Summary

@@min_bound =

0

@@max_bound =

1

Class Method Summary

• .bound ⇒ Object

Instance Method Summary

• #coarbitrary(g) ⇒ Object
• #property ⇒ Object

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

.bound ⇒ Object

# File 'lib/rushcheck/bool.rb', line 35

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

Instance Method Details

#coarbitrary(g) ⇒ Object

# File 'lib/rushcheck/bool.rb', line 39

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

#property ⇒ Object

# File 'lib/rushcheck/bool.rb', line 43

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