class Contracts::Builtin::And
Takes a variable number of contracts. The contract passes if all contracts pass. Example: And[Fixnum, Float]
Public Class Methods
new(*vals)
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 144 def initialize(*vals) @vals = vals end
Public Instance Methods
to_s()
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 155 def to_s EnumInspector.inspect(@vals, "and") end
valid?(val)
click to toggle source
# File lib/contracts/builtin_contracts.rb, line 148 def valid?(val) @vals.all? do |contract| res, = Contract.valid?(val, contract) res end end