class Mon::Contract::Try

Public Instance Methods

valid?(val) click to toggle source
# File lib/contracts/try.rb, line 16
def valid?(val)
  # Should be a Try (i.e. success or failure), and if it's a
  # success, the value should be valid re: the provided contract
  val.is_a?(Mon::M::Try) and (val.is_a?(Mon::M::Success).implies(valid_nested_contract?(val._)))
end