Class: Steep::Subtyping::Result::Success

Inherits:

Base

• Object
• Base
• Steep::Subtyping::Result::Success

Defined in:

lib/steep/subtyping/result.rb

Instance Attribute Summary

• #constraints ⇒ Object readonly

  Returns the value of attribute constraints.

Instance Method Summary

• #initialize(constraints:) ⇒ Success constructor

  A new instance of Success.

• #success? ⇒ Boolean

Methods inherited from Base

#else, #failure?, #then

Constructor Details

#initialize(constraints:) ⇒ Success

Returns a new instance of Success.

# File 'lib/steep/subtyping/result.rb', line 29

def initialize(constraints:)
  @constraints = constraints
end

Instance Attribute Details

#constraints ⇒ Object (readonly)

Returns the value of attribute constraints.

# File 'lib/steep/subtyping/result.rb', line 27

def constraints
  @constraints
end

Instance Method Details

#success? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/steep/subtyping/result.rb', line 33

def success?
  true
end