Class: Contracts::Not

Inherits:

CallableClass

• Object
• CallableClass
• Contracts::Not

Defined in:

lib/builtin_contracts.rb

Overview

Takes a variable number of contracts. The contract passes if all of those contracts fail for the given argument. Example: Not[nil]

Instance Method Summary

• #initialize(*vals) ⇒ Not constructor

  A new instance of Not.

• #to_s ⇒ Object
• #valid?(val) ⇒ Boolean

Methods inherited from CallableClass

[]

Constructor Details

#initialize(*vals) ⇒ Not

Returns a new instance of Not.

# File 'lib/builtin_contracts.rb', line 241

def initialize(*vals)
  @vals = vals
end

Instance Method Details

#to_s ⇒ Object

# File 'lib/builtin_contracts.rb', line 252

def to_s
  "a value that is none of #{@vals.inspect}"
end

#valid?(val) ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/builtin_contracts.rb', line 245

def valid?(val)
  @vals.all? do |contract|
    res, _ = Contract.valid?(val, contract)
    !res
  end
end