class Person
  attr_reader :name

  def initialize(name:)
    @name = name
  end

  def name=(name)
    @name = name
  end
end

class Person
  @name: String

  attr_reader name: String

  def initialize: (name: String) -> void

  def name=: (String name) -> void
end

class Config
  def self.configure(&block)
    new.tap(&block)
  end

  %w[hoge fuga piyo].each do |v|
    attr_accessor v
  end
end

# config = Config.configure do |c|
#   c.hoge = 1
#   c.fuga = 'a'
#   c.piyo = :piyo
# end

class Config
  def self.configure: () \
      { () -> untyped } -> untyped
end

# All untyped, and
# No attribute accessors

class Config
  def self.configure(&block)
    new.tap(&block)
  end

  %w[hoge fuga piyo].each do |v|
    attr_accessor v
  end
end

# config = Config.configure do |c|
#   c.hoge = 1
#   c.fuga = 'a'
#   c.piyo = :piyo
# end

class Config
  def self.configure: () \
      { (*untyped) -> untyped } -> untyped

  public

  def fuga: () -> untyped
  def fuga=: (untyped) -> untyped

  def hoge: () -> untyped
  def hoge=: (untyped) -> untyped

  def piyo: () -> untyped
  def piyo=: (untyped) -> untyped
end

# All Untyped

class Config
  def self.configure(&block)
    new.tap(&block)
  end

  %w[hoge fuga piyo].each do |v|
    attr_accessor v
  end
end

# Required for Type Level Exec
config = Config.configure do |c|
  c.hoge = 1
  c.fuga = 'a'
  c.piyo = :piyo
end

class Config
  def self.configure: { (Config) -> :piyo } -> Config
end

# Typed, but
# No attribute accessors 
# (and I want the return value to be void.)

class Person
  attr_reader :name

  def initialize(name:)
    @name = name
  end

  def name=(name)
    @name = name
  end
end

class Person
  @name: String

  attr_reader name: String

  def initialize: (name: String) -> void

  def name=: (String name) -> void
end

class Person
  @name: untyped

  attr_reader name: untyped

  def initialize: (name: untyped) -> void

  def name=: (untyped name) -> void
end

class Example1
  attr_reader :quantity

  def initialize(quantity:)
    @quantity = quantity
  end

  def quantity=(quantity)
    @quantity = quantity
  end
end

class Example1
  @quantity: untyped

  attr_reader quantity: untyped

  def initialize: (quantity: untyped) -> void

  def quantity=: (untyped quantity) -> void
end

class Example1
  @quantity: Integer

  attr_reader quantity: Integer

  def initialize: (quantity: Integer) -> void

  def quantity=: (Integer quantity) -> void
end

When ruby source codes and 
RBS type signatures are given, 
refine each RBS type signatures. 

======== Input ========

```lib/example1.rb
...
```

```sig/example1.rbs
...
```

======== Output ========

```sig/example1.rbs
...
```

======== Input ========

```lib/person.rb
...
```

```sig/person.rbs
...
```

======== Output ========

```sig/person.rbs
class Person
  @name: String

  attr_reader name: String

  def initialize: (name: String) -> void

  def name=: (String name) -> void
end
```

class Person
  attr_reader :name
end

class PersonName
  attr_reader :value
end

class Person
  # Not a String
  @name: PersonName
end

Act as Ruby type inferrer.
When ruby source codes and RBS type signatures are given, 
refine each RBS type signatures. 
Each file should be split in markdown code format.
Use class names, variable names, etc., to infer type.


========Input========
```ruby:lib/email.rb
class Email
  # @dynamic address
  attr_reader :address

  def initialize(address:)
    @address = address
  end

  def ==(other)
    other.is_a?(self.class) && other.address == address
  end

  def hash
    self.class.hash ^ address.hash
  end
end
```

```rbs:sig/email.rbs
class Email
  @address: untyped

  attr_reader address: untyped

  def initialize: (address: untyped) -> void

  def ==: (untyped other) -> untyped

  def hash: () -> untyped
end
```

```ruby:lib/person.rb
class Person
  # @dynamic name, contacts
  attr_reader :name
  attr_reader :contacts

  def initialize(name:)
    @name = name
    @contacts = []
  end

  def name=(name)
    @name = name
  end

  def guess_country()
    contacts.map do |contact|
      case contact
      when Phone
        contact.country
      end
    end.compact.first
  end
end
```

```rbs:sig/person.rbs
class Person
  @name: untyped

  @contacts: untyped

  attr_reader name: untyped

  attr_reader contacts: untyped

  def initialize: (name: untyped) -> void

  def name=: (untyped name) -> void

  def guess_country: () -> untyped
end
```

```ruby:lib/phone.rb
class Phone
  # @dynamic country, number
  attr_reader :country, :number

  def initialize(country:, number:)
    @country = country
    @number = number
  end

  def ==(other)
    if other.is_a?(Phone)
      # @type var other: Phone
      other.country == country && other.number == number
    else
      false
    end
  end

  def hash
    self.class.hash ^ country.hash ^ number.hash
  end
end
```

```rbs:sig/phone.rbs
class Phone
  @country: untyped

  @number: untyped

  attr_reader country: untyped

  attr_reader number: untyped

  def initialize: (country: untyped, number: untyped) -> void

  def ==: (untyped other) -> (untyped | nil)

  def hash: () -> untyped
end
```

========Output========
```rbs:sig/email.rbs
class Email
  @address: String

  attr_reader address: String

  def initialize: (address: String) -> void

  def ==: (Object other) -> bool

  def hash: () -> Integer
end
```

```rbs:sig/person.rbs
class Person
  @name: String

  @contacts: Array[(Email | Phone)]

  attr_reader name: String

  attr_reader contacts: Array[(Email | Phone)]

  def initialize: (name: String) -> void

  def name=: (String name) -> void

  def guess_country: () -> (String | nil)
end
```

```rbs:sig/phone.rbs
class Phone
  @country: String

  @number: String

  attr_reader country: String

  attr_reader number: String

  def initialize: (country: String, number: String) -> void

  def ==: (Object other) -> (bool | nil)

  def hash: () -> Integer
end
```

========Input========
```ruby:lib/user.rb
class User
  def initialize(name:)
    @name = name
  end

  attr_reader :name
end
```

```rbs:sig/user.rbs
class User
  @name: untyped

  def initialize: (name: untyped) -> void

  attr_reader name: untyped
end
```

```ruby:lib/user_factory.rb
class UserFactory
  def name(name)
    @name = name
    self
  end

  def build
    User.new(name: @name)
  end
end
```

```rbs:sig/user_factory.rbs
class UserFactory
  @name: untyped

  def name: (untyped name) -> self

  def build: () -> untyped
end
```


========Output========

api_key = ENV.fetch('OPENAI_ACCESS_TOKEN')

RbsGoose.configure do |c|
  # Use the provided configuration methods
  c.use_open_ai(api_key)

  # or directly configure an instance of Langchain::LLM
  c.llm.client = ::Langchain::LLM::OpenAI.new(api_key: )

  # or Local Server such as Ollama
  c.llm.client = ::Langchain::LLM::Ollama.new(
    url: "http://localhost:11434"
  )
end

# spec/spec_helper.rb
VCR.configure do |config|
  config.cassette_library_dir = 
    'spec/fixtures/vcr_cassettes'
  config.hook_into :webmock
  config.default_cassette_options = {
    match_requests_on: %i[method uri body],
    record: ENV.fetch('RECORD', :once).to_sym
  }
  config.filter_sensitive_data('<openai_access_token>') { 
    ENV.fetch('OPENAI_ACCESS_TOKEN')
  }
end

# spec/rbs_goose/type_inferrer_spec.rb
RSpec.describe RbsGoose::TypeInferrer, :configure do
  it 'returns refined rbs' do
    VCR.use_cassette('openai/infer') do
      expect(described_class.new.infer).to
        eq(refined_rbs_list)
    end
  end
end

---
http_interactions:
- request:
    method: post
    uri: https://api.openai.com/v1/chat/completions
    body:
      encoding: UTF-8
      string: 
        '{"messages":[
          {"role":"user","content":"Act as Ruby type inferrer..."}],
           "model":"gpt-3.5-turbo-1106","n":1,
           "temperature":0.0}'
    headers:
      Content-Type:
      - application/json
      Authorization:
      - Bearer <openai_access_token>
      ...
  response:
   ...

class Config
  def self.configure(&block)
    new.tap(&block)
  end

  %w[client role prompt].each do
    attr_accessor _1.to_sym
  end
end

class Runner
  def initialize(config)
    @config = config
  end

  def run
    config.client.chat(
      messages: [{
        role: config.role,
        content: config.prompt
      }]
    ).chat_completion
  end

  private

  attr_reader :config
end

# File Count
❯ find lib -type f | wc -l
      17

# Line Count
❯ find lib -type f | xargs cat | wc -l
     698

# Size Count
❯ du -sh lib
 68K	lib

class RbsGoose::IO::ExampleGroup < ::Array[RbsGoose::IO::Example]
  self.@default_examples: Hash[Symbol, RbsGoose::IO::ExampleGroup]
  attr_accessor error_messages: String?
  def self.load_from: 
    (String base_path, ?code_dir: String, ?sig_dir: String, ?refined_dir: String) 
      -> RbsGoose::IO::ExampleGroup
  def self.default_examples: () -> Hash[Symbol, RbsGoose::IO::ExampleGroup]
  private def self.load_example:
    (String base_path, String code_dir, String path, String refined_dir, String sig_dir) 
      -> RbsGoose::IO::Example
  private def self.to_rbs_path: (String path, String sig_dir) -> String
  def to_target_group: () -> RbsGoose::IO::TargetGroup
  def to_refined_rbs_list: () -> Array[RbsGoose::IO::File]
end

class RbsGoose::Configuration
  LLMConfig: Struct[client: ::Langchain::LLM::Base, ...
  TemplateConfig: Struct[instruction: String, ...
      
  def_delegator llm, :client, :llm_client
  def_delegator llm, :mode, :llm_mode
  ...