class Mon::Contract::List

Public Instance Methods

valid?(val) click to toggle source
# File lib/contracts/list.rb, line 16
def valid?(val)
  # Should be a List whose elements satisfy the given contract
  val.is_a?(Mon::M::List) and (val._.all? { |el| valid_nested_contract?(el) })
end