Class: TypedRb::Types::TyBoolean

Inherits:
TyObject show all
Defined in:
lib/typed/types/ty_boolean.rb

Instance Attribute Summary

Attributes inherited from TyObject

#classes, #hierarchy, #modules, #ruby_type, #with_ruby_type

Attributes inherited from Type

#node

Instance Method Summary collapse

Methods inherited from TyObject

#<=>, #as_object_type, #check_type, #compatible?, #dynamic?, #either?, #find_function_type, #find_function_type_in_hierarchy, #find_var_type, #generic?, #join, #max, #resolve_ruby_method, #singleton?, #union

Methods included from Comparable

#<=>

Methods inherited from Type

#compatible?, #either?, #stack_jump?

Constructor Details

#initialize(node = nil) ⇒ TyBoolean

Returns a new instance of TyBoolean.



6
7
8
# File 'lib/typed/types/ty_boolean.rb', line 6

def initialize(node = nil)
  super(TrueClass, node)
end

Instance Method Details

#to_sObject



10
11
12
# File 'lib/typed/types/ty_boolean.rb', line 10

def to_s
  'Boolean'
end