class TypeProf::Core::Type::Singleton

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/type.rb, line 45
def initialize(genv, mod)
  raise unless mod.is_a?(ModuleEntity)
  # TODO: type_param
  @mod = mod
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/type.rb, line 53
def base_type(_)
  self
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/type.rb, line 61
def get_instance_type(genv)
  params = @mod.type_params
  Instance.new(genv, @mod, params ? params.map { Source.new } : [])
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/type.rb, line 57
def show
  "singleton(#{ @mod.show_cpath })"
end