Class: Jade::Frontend::TypeChecking::Placeholder

Inherits:

Data

• Object
• Data
• Jade::Frontend::TypeChecking::Placeholder

Defined in:

lib/jade/frontend/type_checking/placeholder.rb

Instance Attribute Summary

• #constraints ⇒ Object readonly

  Returns the value of attribute constraints.

• #type ⇒ Object readonly

  Returns the value of attribute type.

Instance Method Summary

• #free_vars ⇒ Object

Instance Attribute Details

#constraints ⇒ Object (readonly)

Returns the value of attribute constraints

Returns:

• (Object) —

  the current value of constraints

# File 'lib/jade/frontend/type_checking/placeholder.rb', line 4

def constraints
  @constraints
end

#type ⇒ Object (readonly)

Returns the value of attribute type

Returns:

• (Object) —

  the current value of type

# File 'lib/jade/frontend/type_checking/placeholder.rb', line 4

def type
  @type
end

Instance Method Details

#free_vars ⇒ Object

# File 'lib/jade/frontend/type_checking/placeholder.rb', line 5

def free_vars
  type.unbound_vars + constraints.flat_map(&:unbound_vars)
end