class Mon::Contract::Maybe
Public Instance Methods
valid?(val)
click to toggle source
# File lib/contracts/maybe.rb, line 8 def valid?(val) # Should either be None or valid? val.is_a?(Mon::M::Maybe) and (val.is_a?(Mon::M::Some).implies(valid_nested_contract?(val._))) end