Contents

def log(foo)
  foo.get.call
end

foo = Foo.new
foo.set(1)
log(foo)

__END__
# Classes
class Object
  def log : (Foo[Integer]) -> Integer
end

Version data entries

11 entries across 11 versions & 1 rubygems

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