Class: NilClass

Inherits:

Object

• Object
• NilClass

Extended by:

RushCheck::Arbitrary

Includes:

RushCheck::Coarbitrary, RushCheck::Testable

Defined in:

lib/rushcheck/bool.rb

Class Method Summary

• .arbitrary ⇒ Object

Instance Method Summary

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

Methods included from RushCheck::Arbitrary

arbitrary

Methods included from RushCheck::Testable

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

Class Method Details

.arbitrary ⇒ Object

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

def self.arbitrary
  Gen.unit(nil)
end

Instance Method Details

#coarbitrary(g) ⇒ Object

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

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

#property ⇒ Object

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

def property
  RushCheck::Result.nothing
end