Contents

def foo
  cell = Cell.new("str")
  cell.set_elem(42) if rand < 0.5
  cell
end

def bar
  foo.get_elem
end

bar

__END__
# Classes
class Object
  def foo : -> (Cell[Integer | String])
  def bar : -> (Integer | String)
end

Version data entries

12 entries across 12 versions & 1 rubygems

Version	Path
typeprof-0.7.0	smoke/rbs-tyvar.rb
typeprof-0.6.1	smoke/rbs-tyvar.rb
typeprof-0.6.0	smoke/rbs-tyvar.rb
typeprof-0.5.4	smoke/rbs-tyvar.rb
typeprof-0.5.3	smoke/rbs-tyvar.rb
typeprof-0.5.2	smoke/rbs-tyvar.rb
typeprof-0.5.1	smoke/rbs-tyvar.rb
typeprof-0.5.0	smoke/rbs-tyvar.rb
typeprof-0.4.2	smoke/rbs-tyvar.rb
typeprof-0.4.1	smoke/rbs-tyvar.rb
typeprof-0.4.0	smoke/rbs-tyvar.rb
typeprof-0.3.0	smoke/rbs-tyvar.rb