lazy_migrate 0.1.0 → 0.2.0

data/sorbet/rbi/sorbet-typed/lib/actionview/all/actionview.rbi

@@ -0,0 +1,321 @@
+# This file is autogenerated. Do not edit it by hand. Regenerate it with:
+#   srb rbi sorbet-typed
+#
+# If you would like to make changes to this file, great! Please upstream any changes you make here:
+#
+#   https://github.com/sorbet/sorbet-typed/edit/master/lib/actionview/all/actionview.rbi
+#
+# typed: strong
+
+module ActionView
+  class ActionViewError < StandardError; end
+  class EncodingError < StandardError; end
+  class WrongEncodingError < EncodingError; end
+
+  class MissingTemplate < ActionViewError
+    sig { returns(String) }
+    def path; end
+  end
+
+  class Template
+    class Error < ActionViewError; end
+  end
+
+  TemplateError = T.type_alias {Template::Error}
+
+  class SyntaxErrorInTemplate < Template::Error; end
+end
+
+# Provides a set of methods for making links and getting URLs that
+# depend on the routing subsystem (see ActionDispatch::Routing).
+# This allows you to use the same format for links in views
+# and controllers.
+module ActionView::Helpers::UrlHelper
+  # Creates an anchor element of the given `name` using a URL created by the set of `options`.
+  # See the valid options in the documentation for `url_for`. It's also possible to
+  # pass a String instead of an options hash, which generates an anchor element that uses the
+  # value of the String as the href for the link. Using a `:back` Symbol instead
+  # of an options hash will generate a link to the referrer (a JavaScript back link
+  # will be used in place of a referrer if none exists). If `nil` is passed as the name
+  # the value of the link itself will become the name.
+  #
+  # #### Signatures
+  #
+  # ```ruby
+  # link_to(body, url, html_options = {})
+  #   # url is a String; you can use URL helpers like
+  #   # posts_path
+  #
+  # link_to(body, url_options = {}, html_options = {})
+  #   # url_options, except :method, is passed to url_for
+  #
+  # link_to(options = {}, html_options = {}) do
+  #   # name
+  # end
+  #
+  # link_to(url, html_options = {}) do
+  #   # name
+  # end
+  # ```
+  #
+  # #### Options
+  # * `:data` - This option can be used to add custom data attributes.
+  # * `method: symbol of HTTP verb` - This modifier will dynamically
+  #   create an HTML form and immediately submit the form for processing using
+  #   the HTTP verb specified. Useful for having links perform a POST operation
+  #   in dangerous actions like deleting a record (which search bots can follow
+  #   while spidering your site). Supported verbs are `:post`, `:delete`, `:patch`, and `:put`.
+  #   Note that if the user has JavaScript disabled, the request will fall back
+  #   to using GET. If `href: '#'` is used and the user has JavaScript
+  #   disabled clicking the link will have no effect. If you are relying on the
+  #   POST behavior, you should check for it in your controller's action by using
+  #   the request object's methods for `post?`, `delete?`, `patch?`, or `put?`.
+  # * `remote: true` - This will allow the unobtrusive JavaScript
+  #   driver to make an Ajax request to the URL in question instead of following
+  #   the link. The drivers each provide mechanisms for listening for the
+  #   completion of the Ajax request and performing JavaScript operations once
+  #   they're complete
+  #
+  # #### Data attributes
+  #
+  # * `confirm: 'question?'` - This will allow the unobtrusive JavaScript
+  #   driver to prompt with the question specified (in this case, the
+  #   resulting text would be `question?`. If the user accepts, the
+  #   link is processed normally, otherwise no action is taken.
+  # * `:disable_with` - Value of this parameter will be used as the
+  #   name for a disabled version of the link. This feature is provided by
+  #   the unobtrusive JavaScript driver.
+  #
+  # #### Examples
+  # Because it relies on `url_for`, `link_to` supports both older-style controller/action/id arguments
+  # and newer RESTful routes. Current Rails style favors RESTful routes whenever possible, so base
+  # your application on resources and use
+  #
+  # ```ruby
+  # link_to "Profile", profile_path(@profile)
+  # # => <a href="/profiles/1">Profile</a>
+  # ```
+  #
+  # or the even pithier
+  #
+  # ```ruby
+  # link_to "Profile", @profile
+  # # => <a href="/profiles/1">Profile</a>
+  # ```
+  #
+  # in place of the older more verbose, non-resource-oriented
+  #
+  # ```ruby
+  # link_to "Profile", controller: "profiles", action: "show", id: @profile
+  # # => <a href="/profiles/show/1">Profile</a>
+  # ```
+  #
+  # Similarly,
+  #
+  # ```ruby
+  # link_to "Profiles", profiles_path
+  # # => <a href="/profiles">Profiles</a>
+  # ```
+  #
+  # is better than
+  #
+  # ```ruby
+  # link_to "Profiles", controller: "profiles"
+  # # => <a href="/profiles">Profiles</a>
+  # ```
+  #
+  # When name is `nil` the href is presented instead
+  #
+  # ```ruby
+  # link_to nil, "http://example.com"
+  # # => <a href="http://www.example.com">http://www.example.com</a>
+  # ```
+  #
+  # You can use a block as well if your link target is hard to fit into the name parameter. ERB example:
+  #
+  # ```html
+  # <%= link_to(@profile) do %>
+  #   <strong><%= @profile.name %></strong> -- <span>Check it out!</span>
+  # <% end %>
+  # # => <a href="/profiles/1">
+  #         <strong>David</strong> -- <span>Check it out!</span>
+  #       </a>
+  # ```
+  #
+  # Classes and ids for CSS are easy to produce:
+  #
+  # ```ruby
+  # link_to "Articles", articles_path, id: "news", class: "article"
+  # # => <a href="/articles" class="article" id="news">Articles</a>
+  # ```
+  #
+  # Be careful when using the older argument style, as an extra literal hash is needed:
+  #
+  # ```ruby
+  # link_to "Articles", { controller: "articles" }, id: "news", class: "article"
+  # # => <a href="/articles" class="article" id="news">Articles</a>
+  # ```
+  #
+  # Leaving the hash off gives the wrong link:
+  #
+  # ```ruby
+  # link_to "WRONG!", controller: "articles", id: "news", class: "article"
+  # # => <a href="/articles/index/news?class=article">WRONG!</a>
+  # ```
+  #
+  # `link_to` can also produce links with anchors or query strings:
+  #
+  # ```ruby
+  # link_to "Comment wall", profile_path(@profile, anchor: "wall")
+  # # => <a href="/profiles/1#wall">Comment wall</a>
+  #
+  # link_to "Ruby on Rails search", controller: "searches", query: "ruby on rails"
+  # # => <a href="/searches?query=ruby+on+rails">Ruby on Rails search</a>
+  #
+  # link_to "Nonsense search", searches_path(foo: "bar", baz: "quux")
+  # # => <a href="/searches?foo=bar&amp;baz=quux">Nonsense search</a>
+  # ```
+  #
+  # The only option specific to `link_to` (`:method`) is used as follows:
+  #
+  # ```ruby
+  # link_to("Destroy", "http://www.example.com", method: :delete)
+  # # => <a href='http://www.example.com' rel="nofollow" data-method="delete">Destroy</a>
+  # ```
+  #
+  # You can also use custom data attributes using the `:data` option:
+  #
+  # ```ruby
+  # link_to "Visit Other Site", "http://www.rubyonrails.org/", data: { confirm: "Are you sure?" }
+  # # => <a href="http://www.rubyonrails.org/" data-confirm="Are you sure?">Visit Other Site</a>
+  # ```
+  #
+  # Also you can set any link attributes such as `target`, `rel`, `type`:
+  #
+  # ```ruby
+  # link_to "External link", "http://www.rubyonrails.org/", target: "_blank", rel: "nofollow"
+  # # => <a href="http://www.rubyonrails.org/" target="_blank" rel="nofollow">External link</a>
+  # ```
+  sig do
+    params(
+      name: String,
+      options: T.untyped,
+      html_options: T.untyped,
+      block: T.untyped
+    ).returns(ActiveSupport::SafeBuffer)
+  end
+  def link_to(name = nil, options = nil, html_options = nil, &block); end
+
+  # Creates a link tag of the given `name` using a URL created by the set of
+  # `options` if `condition` is true, otherwise only the name is
+  # returned. To specialize the default behavior, you can pass a block that
+  # accepts the name or the full argument list for `link_to_unless` (see the examples
+  # in `link_to_unless`).
+  #
+  # #### Examples
+  # ```ruby
+  # <%= link_to_if(@current_user.nil?, "Login", { controller: "sessions", action: "new" }) %>
+  # # If the user isn't logged in...
+  # # => <a href="/sessions/new/">Login</a>
+  # ```
+  #
+  # ```ruby
+  # <%=
+  #    link_to_if(@current_user.nil?, "Login", { controller: "sessions", action: "new" }) do
+  #      link_to(@current_user.login, { controller: "accounts", action: "show", id: @current_user })
+  #    end
+  # %>
+  # # If the user isn't logged in...
+  # # => <a href="/sessions/new/">Login</a>
+  # # If they are logged in...
+  # # => <a href="/accounts/show/3">my_username</a>
+  # ```
+  sig do
+    params(
+      condition: T.untyped,
+      name: String,
+      options: T.untyped,
+      html_options: T.untyped,
+      block: T.untyped
+    ).returns(T.untyped)
+  end
+  def link_to_if(condition, name, options = {}, html_options = {}, &block); end
+    
+  # True if the current request URI was generated by the given `options`.
+  #
+  # #### Examples
+  # Let's say we're in the `http://www.example.com/shop/checkout?order=desc&page=1` action.
+  #
+  # ```ruby
+  # current_page?(action: 'process')
+  # # => false
+  #
+  # current_page?(action: 'checkout')
+  # # => true
+  #
+  # current_page?(controller: 'library', action: 'checkout')
+  # # => false
+  #
+  # current_page?(controller: 'shop', action: 'checkout')
+  # # => true
+  #
+  # current_page?(controller: 'shop', action: 'checkout', order: 'asc')
+  # # => false
+  #
+  # current_page?(controller: 'shop', action: 'checkout', order: 'desc', page: '1')
+  # # => true
+  #
+  # current_page?(controller: 'shop', action: 'checkout', order: 'desc', page: '2')
+  # # => false
+  #
+  # current_page?('http://www.example.com/shop/checkout')
+  # # => true
+  #
+  # current_page?('http://www.example.com/shop/checkout', check_parameters: true)
+  # # => false
+  #
+  # current_page?('/shop/checkout')
+  # # => true
+  #
+  # current_page?('http://www.example.com/shop/checkout?order=desc&page=1')
+  # # => true
+  # ```
+  # 
+  # Let's say we're in the `http://www.example.com/products` action with method POST in case of invalid product.
+  #
+  # ```ruby
+  # current_page?(controller: 'product', action: 'index')
+  # # => false
+  # ```
+  #
+  # We can also pass in the symbol arguments instead of strings.
+  sig { params(options: T.untyped, check_parameters: T::Boolean).returns(T::Boolean) }
+  def current_page?(options, check_parameters: false); end
+end
+
+module ActionView::Layouts
+  extend T::Helpers
+
+  mixes_in_class_methods(ActionView::Layouts::ClassMethods)
+end
+
+module ActionView::Layouts::ClassMethods
+end
+
+module ActionView::Rendering
+  extend T::Helpers
+
+  mixes_in_class_methods(ActionView::Rendering::ClassMethods)
+end
+
+module ActionView::Rendering::ClassMethods
+end
+
+module ActionView::ViewPaths
+  extend T::Helpers
+
+  mixes_in_class_methods(ActionView::ViewPaths::ClassMethods)
+end
+
+module ActionView::ViewPaths::ClassMethods
+end

data/sorbet/rbi/sorbet-typed/lib/activemodel/all/activemodel.rbi

@@ -0,0 +1,597 @@
+# This file is autogenerated. Do not edit it by hand. Regenerate it with:
+#   srb rbi sorbet-typed
+#
+# If you would like to make changes to this file, great! Please upstream any changes you make here:
+#
+#   https://github.com/sorbet/sorbet-typed/edit/master/lib/activemodel/all/activemodel.rbi
+#
+# typed: false
+
+module ActiveModel::Dirty
+  extend T::Sig
+  sig { params(attr: Symbol, from: T.untyped, to: T.untyped).returns(T::Boolean) }
+  def attribute_changed?(attr, from: nil, to: nil); end
+
+  sig { params(attr_name: Symbol).returns(T::Boolean) }
+  def attribute_changed_in_place?(attr_name); end
+
+  sig { params(attr_name: Symbol).returns(T::Boolean) }
+  def attribute_previously_changed?(attr_name); end
+
+  sig { returns(T::Boolean) }
+  def changed?; end
+end
+
+module ActiveModel::Validations
+  # Returns the `Errors` object that holds all information about attribute
+  # error messages.
+  #
+  # ```ruby
+  # class Person
+  #   include ActiveModel::Validations
+  #
+  #   attr_accessor :name
+  #   validates_presence_of :name
+  # end
+  #
+  # person = Person.new
+  # person.valid? # => false
+  # person.errors # => #<ActiveModel::Errors:0x007fe603816640 @messages={name:["can't be blank"]}>
+  # ```
+  sig { returns(ActiveModel::Errors) }
+  def errors; end
+
+  module ClassMethods
+    # https://github.com/rails/rails/blob/v5.2.3/activemodel/lib/active_model/validations.rb#L136-L154
+    sig do
+      params(
+        names: T.any(Symbol, String),
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        prepend: T::Boolean,
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+      ).void
+    end
+    def validate(
+      *names,
+      if: nil,
+      on: nil,
+      prepend: false,
+      unless: nil
+    ); end
+
+    # https://github.com/rails/rails/blob/v5.2.3/activemodel/lib/active_model/validations/validates.rb#L75-L105
+    sig do
+      params(
+        names: T.any(Symbol, String), # a splat of at least one attribute name
+        absence: T.any(T::Boolean, T::Hash[T.untyped, T.untyped]),
+        acceptance: T.any(T::Boolean, T::Hash[T.untyped, T.untyped]),
+        allow_blank: T::Boolean,
+        allow_nil: T::Boolean,
+        confirmation: T.any(T::Boolean, T::Hash[T.untyped, T.untyped]),
+        # `exclusion` and `inclusion` are tricky to type without better support
+        # for overloading and shapes. Value can be anything that responds to
+        # `include?` (e.g. (1..3)), or a hash having an `in` or `within` key,
+        # like { in: [1, 2, 3], ... }
+        exclusion: T::Enumerable[T.untyped],
+        # `format` hash must additionally contain either :with or :without keys.
+        # Alternatively, it can be a Regexp.
+        format: T.any(T::Hash[T.untyped, T.untyped], Regexp),
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        # `exclusion` and `inclusion` are tricky to type without better support
+        # for overloading and shapes. Value can be anything that responds to
+        # `include?` (e.g. (1..3)), or a hash having an `in` or `within` key,
+        # like { in: [1, 2, 3], ... }
+        inclusion: T::Enumerable[T.untyped],
+        # if Hash, must contain :in, :within, :maximum, :minimum, or :is keys
+        length: T.any(T::Range[T.untyped], T::Hash[T.untyped, T.untyped]),
+        numericality: T.any(T::Boolean, T::Hash[T.untyped, T.untyped]),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        presence: T.any(T::Boolean, T::Hash[T.untyped, T.untyped]),
+        size: T.any(T::Boolean, T::Hash[T.untyped, T.untyped]),
+        strict: T::Boolean,
+        uniqueness: T.any(T::Boolean, T::Hash[T.untyped, T.untyped]),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        kwargs: T.untyped
+      ).void
+    end
+    def validates(
+      *names,
+      absence: false,
+      acceptance: {},
+      allow_blank: false,
+      allow_nil: false,
+      confirmation: false,
+      exclusion: [],
+      format: {},
+      if: nil,
+      inclusion: [],
+      length: {},
+      numericality: false,
+      on: :_,
+      presence: false,
+      size: false,
+      strict: false,
+      uniqueness: false,
+      unless: :_,
+      **kwargs
+    )
+    end
+  end
+
+  mixes_in_class_methods(ClassMethods)
+end
+
+class ActiveModel::Type::Value
+  extend T::Sig
+
+  sig { params(precision: T.untyped, limit: T.untyped, scale: T.untyped).void }
+  def initialize(precision: nil, limit: nil, scale: nil); end
+
+  sig { params(value: T.untyped).returns(T.untyped) }
+  def cast(value); end
+end
+
+class ActiveModel::Type::Boolean < ActiveModel::Type::Value
+  sig { params(arg0: T.untyped).returns(T.nilable(T::Boolean))}
+  def cast(arg0); end
+end
+
+class ActiveModel::Type::ImmutableString < ActiveModel::Type::Value
+  sig { params(arg0: T.untyped).returns(T.nilable(String))}
+  def cast(arg0); end
+end
+
+class ActiveModel::Type::String < ActiveModel::Type::ImmutableString
+  sig { params(arg0: T.untyped).returns(T.nilable(String))}
+  def cast(arg0); end
+end
+
+module ActiveModel::Validations::HelperMethods
+  # A type alias for the in/within parameters on the
+  # validates_(inclusion/exclusion)_of methods.
+  InWithinType = T.type_alias do
+    T.nilable(
+      T.any(
+        Symbol,
+        String,
+        T::Array[T.any(String, Symbol)],
+        T::Range[Integer],
+        T::Array[T::Boolean],
+        T.proc.params(arg0: T.untyped).returns(T::Boolean)
+      )
+    )
+  end
+
+  module ClassMethods
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_absence_of(
+      *attr_names,
+      message: 'must be blank',
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        accept: T.untyped,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_acceptance_of(
+      *attr_names,
+      message: 'must be accepted',
+      accept: ['1', true],
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        case_sensitive: T::Boolean,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_confirmation_of(
+      *attr_names,
+      message: "doesn't match %{translated_attribute_name}",
+      case_sensitive: true,
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        in: InWithinType,
+        within: InWithinType,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_exclusion_of(
+      *attr_names,
+      message: 'is reserved',
+      in: nil,
+      within: nil,
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        with: T.untyped,
+        without: T.untyped,
+        multiline: T.untyped,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_format_of(
+      *attr_names,
+      message: 'is invalid',
+      with: nil,
+      without: nil,
+      multiline: nil,
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        in: InWithinType,
+        within: InWithinType,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_inclusion_of(
+      *attr_names,
+      message: 'is not included in the list',
+      in: nil,
+      within: nil,
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: T.nilable(String),
+        minimum: T.nilable(Integer),
+        maximum: T.nilable(Integer),
+        is: T.nilable(Integer),
+        within: T.nilable(T::Range[Integer]),
+        in: T.nilable(T::Range[Integer]),
+        too_long: String,
+        too_short: String,
+        wrong_length: String,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_length_of(
+      *attr_names,
+      message: nil,
+      minimum: nil,
+      maximum: nil,
+      is: nil,
+      within: nil,
+      in: nil,
+      too_long: 'is too long (maximum is %{count} characters)',
+      too_short: 'is too short (minimum is %{count} characters)',
+      wrong_length: 'is the wrong length (should be %{count} characters)',
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    # validates_size_of is an alias of validates_length_of
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: T.nilable(String),
+        minimum: T.nilable(Integer),
+        maximum: T.nilable(Integer),
+        is: T.nilable(Integer),
+        within: T.nilable(T::Range[Integer]),
+        in: T.nilable(T::Range[Integer]),
+        too_long: String,
+        too_short: String,
+        wrong_length: String,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_size_of(
+      *attr_names,
+      message: nil,
+      minimum: nil,
+      maximum: nil,
+      is: nil,
+      within: nil,
+      in: nil,
+      too_long: 'is too long (maximum is %{count} characters)',
+      too_short: 'is too short (minimum is %{count} characters)',
+      wrong_length: 'is the wrong length (should be %{count} characters)',
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    # Create a type alias so we don't have to repeat this long type signature 6 times.
+    NumberComparatorType = T.type_alias {T.nilable(T.any(Integer, Float, T.proc.params(arg0: T.untyped).returns(T::Boolean), Symbol))}
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        only_integer: T::Boolean,
+        greater_than: NumberComparatorType,
+        greater_than_or_equal_to: NumberComparatorType,
+        equal_to: NumberComparatorType,
+        less_than: NumberComparatorType,
+        less_than_or_equal_to: NumberComparatorType,
+        other_than: NumberComparatorType,
+        odd: T::Boolean,
+        even: T::Boolean,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_numericality_of(
+      *attr_names,
+      message: 'is not a number',
+      only_integer: false,
+      greater_than: nil,
+      greater_than_or_equal_to: nil,
+      equal_to: nil,
+      less_than: nil,
+      less_than_or_equal_to: nil,
+      other_than: nil,
+      odd: false,
+      even: false,
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+
+    sig do
+      params(
+        attr_names: T.any(String, Symbol),
+        message: String,
+        if: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        unless: T.any(Symbol, String, T.proc.params(arg0: T.untyped).returns(T::Boolean)),
+        on: T.any(Symbol, String, T::Array[T.any(Symbol, String)]),
+        allow_nil: T::Boolean,
+        allow_blank: T::Boolean,
+        strict: T::Boolean
+      ).void
+    end
+    def validates_presence_of(
+      *attr_names,
+      message: "can't be blank",
+      if: nil,
+      unless: :_,
+      on: :_,
+      allow_nil: false,
+      allow_blank: false,
+      strict: false
+    ); end
+  end
+
+  mixes_in_class_methods(ClassMethods)
+end
+
+class ActiveModel::Errors
+  # Adds `message` to the error messages and used validator type to `details` on `attribute`.
+  # More than one error can be added to the same `attribute`.
+  # If no `message` is supplied, `:invalid` is assumed.
+  #
+  # ```ruby
+  # person.errors.add(:name)
+  # # => ["is invalid"]
+  # person.errors.add(:name, :not_implemented, message: "must be implemented")
+  # # => ["is invalid", "must be implemented"]
+  # ```
+  #
+  # ```ruby
+  # person.errors.messages
+  # # => {:name=>["is invalid", "must be implemented"]}
+  # ```
+  #
+  # ```ruby
+  # person.errors.details
+  # # => {:name=>[{error: :not_implemented}, {error: :invalid}]}
+  # ```
+  #
+  # If `message` is a symbol, it will be translated using the appropriate
+  # scope (see `generate_message`).
+  #
+  # If `message` is a proc, it will be called, allowing for things like
+  # `Time.now` to be used within an error.
+  #
+  # If the `:strict` option is set to `true`, it will raise
+  # ActiveModel::StrictValidationFailed instead of adding the error.
+  # `:strict` option can also be set to any other exception.
+  #
+  # ```ruby
+  # person.errors.add(:name, :invalid, strict: true)
+  # # => ActiveModel::StrictValidationFailed: Name is invalid
+  # person.errors.add(:name, :invalid, strict: NameIsInvalid)
+  # # => NameIsInvalid: Name is invalid
+  #
+  # person.errors.messages # => {}
+  # ```
+  #
+  # `attribute` should be set to `:base` if the error is not
+  # directly associated with a single attribute.
+  #
+  # ```ruby
+  # person.errors.add(:base, :name_or_email_blank,
+  #   message: "either name or email must be present")
+  # person.errors.messages
+  # # => {:base=>["either name or email must be present"]}
+  # person.errors.details
+  # # => {:base=>[{error: :name_or_email_blank}]}
+  # ```
+  sig do
+    params(
+      attribute: Symbol,
+      message: T.any(String, Symbol),
+      options: T::Hash[T.untyped, T.untyped]
+    ).returns(T.untyped)
+  end
+  def add(attribute, message = :invalid, options = {}); end
+
+  # Returns `true` if an error on the attribute with the given message is
+  # present, or `false` otherwise. `message` is treated the same as for `add`.
+  #
+  # ```ruby
+  # person.errors.add :name, :blank
+  # person.errors.added? :name, :blank           # => true
+  # person.errors.added? :name, "can't be blank" # => true
+  # ```
+  #
+  # If the error message requires options, then it returns `true` with
+  # the correct options, or `false` with incorrect or missing options.
+  #
+  # ```ruby
+  # person.errors.add :name, :too_long, { count: 25 }
+  # person.errors.added? :name, :too_long, count: 25                     # => true
+  # person.errors.added? :name, "is too long (maximum is 25 characters)" # => true
+  # person.errors.added? :name, :too_long, count: 24                     # => false
+  # person.errors.added? :name, :too_long                                # => false
+  # person.errors.added? :name, "is too long"                            # => false
+  # ```
+  sig do
+    params(
+      attribute: Symbol,
+      message: T.any(String, Symbol),
+      options: T::Hash[T.untyped, T.untyped]
+    ).returns(T::Boolean)
+  end
+  def added?(attribute, message = :invalid, options = {}); end
+
+  # Returns `true` if an error on the attribute with the given message is
+  # present, or `false` otherwise. `message` is treated the same as for `add`.
+  #
+  # ```ruby
+  # person.errors.add :age
+  # person.errors.add :name, :too_long, { count: 25 }
+  # person.errors.of_kind? :age                                            # => true
+  # person.errors.of_kind? :name                                           # => false
+  # person.errors.of_kind? :name, :too_long                                # => true
+  # person.errors.of_kind? :name, "is too long (maximum is 25 characters)" # => true
+  # person.errors.of_kind? :name, :not_too_long                            # => false
+  # person.errors.of_kind? :name, "is too long"                            # => false
+  # ```
+  sig do
+    params(
+      attribute: Symbol,
+      message: T.any(String, Symbol)
+    ).returns(T::Boolean)
+  end
+  def of_kind?(attribute, message = :invalid); end
+
+  # Returns all the full error messages in an array.
+  #
+  # ```ruby
+  # class Person
+  #   validates_presence_of :name, :address, :email
+  #   validates_length_of :name, in: 5..30
+  # end
+  #
+  # person = Person.create(address: '123 First St.')
+  # person.errors.full_messages
+  # # => ["Name is too short (minimum is 5 characters)", "Name can't be blank", "Email can't be blank"]
+  # ```
+  sig { returns(T::Array[String]) }
+  def full_messages; end
+end