Class: Jade::Frontend::TypeChecking::TypeDef

Inherits:

Data

• Object
• Data
• Jade::Frontend::TypeChecking::TypeDef

Defined in:

lib/jade/frontend/type_checking/definition.rb

Instance Attribute Summary

• #constructors ⇒ Object readonly

  Returns the value of attribute constructors.

• #name ⇒ Object readonly

  Returns the value of attribute name.

• #type_params ⇒ Object readonly

  Returns the value of attribute type_params.

Instance Method Summary

• #opaque? ⇒ Boolean

Instance Attribute Details

#constructors ⇒ Object (readonly)

Returns the value of attribute constructors

Returns:

• (Object) —

  the current value of constructors

# File 'lib/jade/frontend/type_checking/definition.rb', line 6

def constructors
  @constructors
end

#name ⇒ Object (readonly)

Returns the value of attribute name

Returns:

• (Object) —

  the current value of name

# File 'lib/jade/frontend/type_checking/definition.rb', line 6

def name
  @name
end

#type_params ⇒ Object (readonly)

Returns the value of attribute type_params

Returns:

• (Object) —

  the current value of type_params

# File 'lib/jade/frontend/type_checking/definition.rb', line 6

def type_params
  @type_params
end

Instance Method Details

#opaque? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/jade/frontend/type_checking/definition.rb', line 7

def opaque?
  constructors.empty?
end