class Mon::Contract::Lazy

Public Instance Methods

valid?(val) click to toggle source
# File lib/contracts/lazy.rb, line 20
def valid?(val)
  # Should be a Lazy (i.e. pending or final), and if it's
  # final, the value should be valid re: the provided contract
  val.is_a?(Mon::M::Lazy) and (val.is_a?(Mon::M::Final).implies(valid_nested_contract?(val._)))
end