123456789_123456789_123456789_123456789_123456789_

Class: TypeProf::Type::Void

Relationships & Source Files
Super Chains via Extension / Inclusion / Inheritance
Class Chain:
self, Any, ::TypeProf::Type
Instance Chain:
self, Any, ::TypeProf::Type, ::TypeProf::Utils::StructuralEquality
Inherits: TypeProf::Type::Any
Defined in: lib/typeprof/type.rb

Constant Summary

::TypeProf::Type - Inherited

Builtin, DummySubstitution

Class Method Summary

Any - Inherited

.new

::TypeProf::Type - Inherited

.any, .bool, .bot, .builtin_global_variable_type, .gen_hash, .guess_literal_type, .match?, .merge_substitution, .new, .nil, .optional

Instance Method Summary

Any - Inherited

#consistent?, #include_untyped?, #inspect, #method_dispatch_info, #screen_name, #substitute

::TypeProf::Type - Inherited

#each_child, #each_child_global, #each_free_type_variable, #generate_substitution, #globalize, #include_untyped?, #limit_size, #localize, #remove_type_vars, #substitute, #union, #union_elems

Constructor Details

This class inherits a constructor from TypeProf::Type::Any

Instance Method Details

#inspect

[ GitHub ] 

  


# File 'lib/typeprof/type.rb', line 211



def inspect
  "Type::Void"
end


  








  

    #screen_name(scratch)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/type.rb', line 215



def screen_name(scratch)
  "void"
end