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