Contents

h = { a: :A, b: :B }

def foo(h)
  h.fetch(:a)     #=> :A | :B
end
def bar(h)
  h.fetch(:a, :C) #=> :A | :B | :C
end
def baz(h)
  n = nil
  [h.fetch(:a) do |k| #=> :A | :B | :C
    n = k #=> :A | :B
    :C
  end, n]
end

foo(h)
bar(h)
baz(h)

__END__
# Classes
class Object
  def foo : ({a: :A, b: :B}) -> (:A | :B)
  def bar : ({a: :A, b: :B}) -> (:A | :B | :C)
  def baz : ({a: :A, b: :B}) -> ([:A | :B | :C, (:a | :b)?])
end

Version data entries

8 entries across 8 versions & 1 rubygems

Version	Path
typeprof-0.7.0	smoke/hash-fetch.rb
typeprof-0.6.1	smoke/hash-fetch.rb
typeprof-0.6.0	smoke/hash-fetch.rb
typeprof-0.5.4	smoke/hash-fetch.rb
typeprof-0.5.3	smoke/hash-fetch.rb
typeprof-0.5.2	smoke/hash-fetch.rb
typeprof-0.5.1	smoke/hash-fetch.rb
typeprof-0.5.0	smoke/hash-fetch.rb