foobara-active-record-type 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 671d17e08f4547b324b61474ef20d10e7057b063af31b4fad297b621f05e16dd
+  data.tar.gz: 7cf66a0c5f9b4302f24f5059a50a9f2979adc0f9b870e627c213402fd6884192
+SHA512:
+  metadata.gz: b9adb3df88d04f1d5215785eac7eb71a8ab8efdd7d88c02d24aaaf7de1c1e7a13dfacab73cb0af114c74074b1ab075284118acf8a432b045e92270106fcca56a
+  data.tar.gz: 3524d0cf555774eb8d46afd200a98fa9d4c0c81c198936810e882d8a8d8a603035b2081b6b392f9e1c33a545cfc96a414792d9ede6e421fa4bdf4b0096e96df8

data/CHANGELOG.md

@@ -0,0 +1,7 @@
+## [0.0.1]
+
+- Release as a gem
+
+## [0.0.0] - 2024-12-16
+
+- Project birth

data/LICENSE-MPL-2.0.txt

@@ -0,0 +1,373 @@
+Mozilla Public License Version 2.0
+==================================
+
+1. Definitions
+--------------
+
+1.1. "Contributor"
+    means each individual or legal entity that creates, contributes to
+    the creation of, or owns Covered Software.
+
+1.2. "Contributor Version"
+    means the combination of the Contributions of others (if any) used
+    by a Contributor and that particular Contributor's Contribution.
+
+1.3. "Contribution"
+    means Covered Software of a particular Contributor.
+
+1.4. "Covered Software"
+    means Source Code Form to which the initial Contributor has attached
+    the notice in Exhibit A, the Executable Form of such Source Code
+    Form, and Modifications of such Source Code Form, in each case
+    including portions thereof.
+
+1.5. "Incompatible With Secondary Licenses"
+    means
+
+    (a) that the initial Contributor has attached the notice described
+        in Exhibit B to the Covered Software; or
+
+    (b) that the Covered Software was made available under the terms of
+        version 1.1 or earlier of the License, but not also under the
+        terms of a Secondary License.
+
+1.6. "Executable Form"
+    means any form of the work other than Source Code Form.
+
+1.7. "Larger Work"
+    means a work that combines Covered Software with other material, in
+    a separate file or files, that is not Covered Software.
+
+1.8. "License"
+    means this document.
+
+1.9. "Licensable"
+    means having the right to grant, to the maximum extent possible,
+    whether at the time of the initial grant or subsequently, any and
+    all of the rights conveyed by this License.
+
+1.10. "Modifications"
+    means any of the following:
+
+    (a) any file in Source Code Form that results from an addition to,
+        deletion from, or modification of the contents of Covered
+        Software; or
+
+    (b) any new file in Source Code Form that contains any Covered
+        Software.
+
+1.11. "Patent Claims" of a Contributor
+    means any patent claim(s), including without limitation, method,
+    process, and apparatus claims, in any patent Licensable by such
+    Contributor that would be infringed, but for the grant of the
+    License, by the making, using, selling, offering for sale, having
+    made, import, or transfer of either its Contributions or its
+    Contributor Version.
+
+1.12. "Secondary License"
+    means either the GNU General Public License, Version 2.0, the GNU
+    Lesser General Public License, Version 2.1, the GNU Affero General
+    Public License, Version 3.0, or any later versions of those
+    licenses.
+
+1.13. "Source Code Form"
+    means the form of the work preferred for making modifications.
+
+1.14. "You" (or "Your")
+    means an individual or a legal entity exercising rights under this
+    License. For legal entities, "You" includes any entity that
+    controls, is controlled by, or is under common control with You. For
+    purposes of this definition, "control" means (a) the power, direct
+    or indirect, to cause the direction or management of such entity,
+    whether by contract or otherwise, or (b) ownership of more than
+    fifty percent (50%) of the outstanding shares or beneficial
+    ownership of such entity.
+
+2. License Grants and Conditions
+--------------------------------
+
+2.1. Grants
+
+Each Contributor hereby grants You a world-wide, royalty-free,
+non-exclusive license:
+
+(a) under intellectual property rights (other than patent or trademark)
+    Licensable by such Contributor to use, reproduce, make available,
+    modify, display, perform, distribute, and otherwise exploit its
+    Contributions, either on an unmodified basis, with Modifications, or
+    as part of a Larger Work; and
+
+(b) under Patent Claims of such Contributor to make, use, sell, offer
+    for sale, have made, import, and otherwise transfer either its
+    Contributions or its Contributor Version.
+
+2.2. Effective Date
+
+The licenses granted in Section 2.1 with respect to any Contribution
+become effective for each Contribution on the date the Contributor first
+distributes such Contribution.
+
+2.3. Limitations on Grant Scope
+
+The licenses granted in this Section 2 are the only rights granted under
+this License. No additional rights or licenses will be implied from the
+distribution or licensing of Covered Software under this License.
+Notwithstanding Section 2.1(b) above, no patent license is granted by a
+Contributor:
+
+(a) for any code that a Contributor has removed from Covered Software;
+    or
+
+(b) for infringements caused by: (i) Your and any other third party's
+    modifications of Covered Software, or (ii) the combination of its
+    Contributions with other software (except as part of its Contributor
+    Version); or
+
+(c) under Patent Claims infringed by Covered Software in the absence of
+    its Contributions.
+
+This License does not grant any rights in the trademarks, service marks,
+or logos of any Contributor (except as may be necessary to comply with
+the notice requirements in Section 3.4).
+
+2.4. Subsequent Licenses
+
+No Contributor makes additional grants as a result of Your choice to
+distribute the Covered Software under a subsequent version of this
+License (see Section 10.2) or under the terms of a Secondary License (if
+permitted under the terms of Section 3.3).
+
+2.5. Representation
+
+Each Contributor represents that the Contributor believes its
+Contributions are its original creation(s) or it has sufficient rights
+to grant the rights to its Contributions conveyed by this License.
+
+2.6. Fair Use
+
+This License is not intended to limit any rights You have under
+applicable copyright doctrines of fair use, fair dealing, or other
+equivalents.
+
+2.7. Conditions
+
+Sections 3.1, 3.2, 3.3, and 3.4 are conditions of the licenses granted
+in Section 2.1.
+
+3. Responsibilities
+-------------------
+
+3.1. Distribution of Source Form
+
+All distribution of Covered Software in Source Code Form, including any
+Modifications that You create or to which You contribute, must be under
+the terms of this License. You must inform recipients that the Source
+Code Form of the Covered Software is governed by the terms of this
+License, and how they can obtain a copy of this License. You may not
+attempt to alter or restrict the recipients' rights in the Source Code
+Form.
+
+3.2. Distribution of Executable Form
+
+If You distribute Covered Software in Executable Form then:
+
+(a) such Covered Software must also be made available in Source Code
+    Form, as described in Section 3.1, and You must inform recipients of
+    the Executable Form how they can obtain a copy of such Source Code
+    Form by reasonable means in a timely manner, at a charge no more
+    than the cost of distribution to the recipient; and
+
+(b) You may distribute such Executable Form under the terms of this
+    License, or sublicense it under different terms, provided that the
+    license for the Executable Form does not attempt to limit or alter
+    the recipients' rights in the Source Code Form under this License.
+
+3.3. Distribution of a Larger Work
+
+You may create and distribute a Larger Work under terms of Your choice,
+provided that You also comply with the requirements of this License for
+the Covered Software. If the Larger Work is a combination of Covered
+Software with a work governed by one or more Secondary Licenses, and the
+Covered Software is not Incompatible With Secondary Licenses, this
+License permits You to additionally distribute such Covered Software
+under the terms of such Secondary License(s), so that the recipient of
+the Larger Work may, at their option, further distribute the Covered
+Software under the terms of either this License or such Secondary
+License(s).
+
+3.4. Notices
+
+You may not remove or alter the substance of any license notices
+(including copyright notices, patent notices, disclaimers of warranty,
+or limitations of liability) contained within the Source Code Form of
+the Covered Software, except that You may alter any license notices to
+the extent required to remedy known factual inaccuracies.
+
+3.5. Application of Additional Terms
+
+You may choose to offer, and to charge a fee for, warranty, support,
+indemnity or liability obligations to one or more recipients of Covered
+Software. However, You may do so only on Your own behalf, and not on
+behalf of any Contributor. You must make it absolutely clear that any
+such warranty, support, indemnity, or liability obligation is offered by
+You alone, and You hereby agree to indemnify every Contributor for any
+liability incurred by such Contributor as a result of warranty, support,
+indemnity or liability terms You offer. You may include additional
+disclaimers of warranty and limitations of liability specific to any
+jurisdiction.
+
+4. Inability to Comply Due to Statute or Regulation
+---------------------------------------------------
+
+If it is impossible for You to comply with any of the terms of this
+License with respect to some or all of the Covered Software due to
+statute, judicial order, or regulation then You must: (a) comply with
+the terms of this License to the maximum extent possible; and (b)
+describe the limitations and the code they affect. Such description must
+be placed in a text file included with all distributions of the Covered
+Software under this License. Except to the extent prohibited by statute
+or regulation, such description must be sufficiently detailed for a
+recipient of ordinary skill to be able to understand it.
+
+5. Termination
+--------------
+
+5.1. The rights granted under this License will terminate automatically
+if You fail to comply with any of its terms. However, if You become
+compliant, then the rights granted under this License from a particular
+Contributor are reinstated (a) provisionally, unless and until such
+Contributor explicitly and finally terminates Your grants, and (b) on an
+ongoing basis, if such Contributor fails to notify You of the
+non-compliance by some reasonable means prior to 60 days after You have
+come back into compliance. Moreover, Your grants from a particular
+Contributor are reinstated on an ongoing basis if such Contributor
+notifies You of the non-compliance by some reasonable means, this is the
+first time You have received notice of non-compliance with this License
+from such Contributor, and You become compliant prior to 30 days after
+Your receipt of the notice.
+
+5.2. If You initiate litigation against any entity by asserting a patent
+infringement claim (excluding declaratory judgment actions,
+counter-claims, and cross-claims) alleging that a Contributor Version
+directly or indirectly infringes any patent, then the rights granted to
+You by any and all Contributors for the Covered Software under Section
+2.1 of this License shall terminate.
+
+5.3. In the event of termination under Sections 5.1 or 5.2 above, all
+end user license agreements (excluding distributors and resellers) which
+have been validly granted by You or Your distributors under this License
+prior to termination shall survive termination.
+
+************************************************************************
+*                                                                      *
+*  6. Disclaimer of Warranty                                           *
+*  -------------------------                                           *
+*                                                                      *
+*  Covered Software is provided under this License on an "as is"       *
+*  basis, without warranty of any kind, either expressed, implied, or  *
+*  statutory, including, without limitation, warranties that the       *
+*  Covered Software is free of defects, merchantable, fit for a        *
+*  particular purpose or non-infringing. The entire risk as to the     *
+*  quality and performance of the Covered Software is with You.        *
+*  Should any Covered Software prove defective in any respect, You     *
+*  (not any Contributor) assume the cost of any necessary servicing,   *
+*  repair, or correction. This disclaimer of warranty constitutes an   *
+*  essential part of this License. No use of any Covered Software is   *
+*  authorized under this License except under this disclaimer.         *
+*                                                                      *
+************************************************************************
+
+************************************************************************
+*                                                                      *
+*  7. Limitation of Liability                                          *
+*  --------------------------                                          *
+*                                                                      *
+*  Under no circumstances and under no legal theory, whether tort      *
+*  (including negligence), contract, or otherwise, shall any           *
+*  Contributor, or anyone who distributes Covered Software as          *
+*  permitted above, be liable to You for any direct, indirect,         *
+*  special, incidental, or consequential damages of any character      *
+*  including, without limitation, damages for lost profits, loss of    *
+*  goodwill, work stoppage, computer failure or malfunction, or any    *
+*  and all other commercial damages or losses, even if such party      *
+*  shall have been informed of the possibility of such damages. This   *
+*  limitation of liability shall not apply to liability for death or   *
+*  personal injury resulting from such party's negligence to the       *
+*  extent applicable law prohibits such limitation. Some               *
+*  jurisdictions do not allow the exclusion or limitation of           *
+*  incidental or consequential damages, so this exclusion and          *
+*  limitation may not apply to You.                                    *
+*                                                                      *
+************************************************************************
+
+8. Litigation
+-------------
+
+Any litigation relating to this License may be brought only in the
+courts of a jurisdiction where the defendant maintains its principal
+place of business and such litigation shall be governed by laws of that
+jurisdiction, without reference to its conflict-of-law provisions.
+Nothing in this Section shall prevent a party's ability to bring
+cross-claims or counter-claims.
+
+9. Miscellaneous
+----------------
+
+This License represents the complete agreement concerning the subject
+matter hereof. If any provision of this License is held to be
+unenforceable, such provision shall be reformed only to the extent
+necessary to make it enforceable. Any law or regulation which provides
+that the language of a contract shall be construed against the drafter
+shall not be used to construe this License against a Contributor.
+
+10. Versions of the License
+---------------------------
+
+10.1. New Versions
+
+Mozilla Foundation is the license steward. Except as provided in Section
+10.3, no one other than the license steward has the right to modify or
+publish new versions of this License. Each version will be given a
+distinguishing version number.
+
+10.2. Effect of New Versions
+
+You may distribute the Covered Software under the terms of the version
+of the License under which You originally received the Covered Software,
+or under the terms of any subsequent version published by the license
+steward.
+
+10.3. Modified Versions
+
+If you create software not governed by this License, and you want to
+create a new license for such software, you may create and use a
+modified version of this License if you rename the license and remove
+any references to the name of the license steward (except to note that
+such modified license differs from this License).
+
+10.4. Distributing Source Code Form that is Incompatible With Secondary
+Licenses
+
+If You choose to distribute Source Code Form that is Incompatible With
+Secondary Licenses under the terms of this version of the License, the
+notice described in Exhibit B of this License must be attached.
+
+Exhibit A - Source Code Form License Notice
+-------------------------------------------
+
+  This Source Code Form is subject to the terms of the Mozilla Public
+  License, v. 2.0. If a copy of the MPL was not distributed with this
+  file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
+If it is not possible or desirable to put the notice in a particular
+file, then You may include the notice in a location (such as a LICENSE
+file in a relevant directory) where a recipient would be likely to look
+for such a notice.
+
+You may add additional accurate notices of copyright ownership.
+
+Exhibit B - "Incompatible With Secondary Licenses" Notice
+---------------------------------------------------------
+
+  This Source Code Form is "Incompatible With Secondary Licenses", as
+  defined by the Mozilla Public License, v. 2.0.

data/LICENSE.txt

@@ -0,0 +1,7 @@
+This project is licensed under the MPL-2.0 license.
+
+Please see: LICENSE-MPL-2.0.txt or https://www.mozilla.org/MPL/2.0/
+
+This is equivalent to the following SPDX License Expression: MPL-2.0
+
+Copyright (c) 2024 Miles Georgi

data/README.md

@@ -0,0 +1,50 @@
+# Foobara::EmptyRubyProjectGenerator
+
+TODO: Delete this and the text below, and describe your gem
+
+Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library
+into a gem. Put your Ruby code in the file `lib/foobara/empty_ruby_project_generator`. To experiment with that code,
+run `bin/console` for an interactive prompt.
+
+## Installation
+
+TODO: Replace `UPDATE_WITH_YOUR_GEM_NAME_PRIOR_TO_RELEASE_TO_RUBYGEMS_ORG` with your gem name right after releasing it
+to RubyGems.org. Please do not do it earlier due to security reasons. Alternatively, replace this section with
+instructions to install your gem from git if you don't plan to release to RubyGems.org.
+
+Install the gem and add to the application's Gemfile by executing:
+
+    $ bundle add UPDATE_WITH_YOUR_GEM_NAME_PRIOR_TO_RELEASE_TO_RUBYGEMS_ORG
+
+If bundler is not being used to manage dependencies, install the gem by executing:
+
+    $ gem install UPDATE_WITH_YOUR_GEM_NAME_PRIOR_TO_RELEASE_TO_RUBYGEMS_ORG
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Development
+
+If using Foobara locally, then run the following (TODO: make this no-longer necessary.)
+
+```bash
+bundle config set disable_local_branch_check true
+```
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can
+also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the
+version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version,
+push git commits and the created tag, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub
+at https://github.com/[USERNAME]/foobara-empty_ruby_project_generator.
+
+## License
+
+The gem is available as open source under the terms of the MPL-2.0 License.
+See [LICENSE.txt](LICENSE.txt) for more info.

data/lib/foobara/active_record_type.rb

@@ -0,0 +1,32 @@
+require "foobara/all"
+
+module Foobara
+  # TODO: I think we should have a configuration that indicates if created records can have primary keys past to them
+  # or not. That is, do primary keys get issued by the database upon insertion? Or are they generated externally
+  # and passed in? Would be nice to have programmatic clarification via explicit configuration.
+  module ActiveRecordType
+    class << self
+      def install!
+        TypeDeclarations.register_type_declaration(ExtendActiveRecordTypeDeclaration.new)
+
+        detached_entity = Namespace.global.foobara_lookup_type!(:detached_entity)
+        BuiltinTypes.build_and_register!(
+          :active_record,
+          detached_entity,
+          nil,
+          type_module: Foobara::ActiveRecordType
+        )
+
+        BuiltinTypes.install_type_declaration_extensions_for(ExtendActiveRecordTypeDeclaration)
+      end
+
+      def reset_all
+        Entity::Concerns::Callbacks.reset_all
+
+        install!
+      end
+    end
+  end
+
+  Monorepo.project "active_record_type", project_path: "#{__dir__}/../../"
+end

data/src/active_record_foobara_methods.rb

@@ -0,0 +1,9 @@
+module ActiveRecordFoobaraMethods
+  extend ActiveSupport::Concern
+
+  class_methods do
+    attr_accessor :foobara_type
+  end
+end
+
+ActiveRecord::Base.include ActiveRecordFoobaraMethods

data/src/active_record_thunk.rb

@@ -0,0 +1,64 @@
+module Foobara
+  # NOTE: it can help when debugging to comment out the inheritance from BasicObject
+  class ActiveRecordThunk < BasicObject
+    def initialize(active_record_class, primary_key)
+      super()
+
+      @foobara_active_record_class = active_record_class
+      @foobara_primary_key_attribute = active_record_class.foobara_type.declaration_data[:primary_key]
+      @foobara_primary_key = primary_key
+    end
+
+    # BasicObject doesn't have .respond_to? nor .respond_to_missing? so disable this cop
+    # rubocop:disable Style/MissingRespondToMissing
+    def method_missing(method_name, ...)
+      if method_name == @foobara_primary_key_attribute
+        return @foobara_primary_key
+      end
+
+      foobara_load_if_needed(method_name)
+
+      @foobara_active_record.send(method_name, ...)
+    end
+    # rubocop:enable Style/MissingRespondToMissing
+
+    def respond_to?(method_name, include_private = false)
+      method_name = method_name.to_sym
+
+      case method_name
+      when :foobara_load_if_needed
+        include_private
+      when :foobara_active_record_class, :foobara_primary_key_attribute, :foobara_primary_key
+        true
+      else
+        @foobara_active_record.respond_to?(method_name, include_private) ||
+          foobara_active_record_class.instance_methods.include?(method_name)
+      end
+    end
+
+    # BasicObject doesn't have .attr_reader
+    # rubocop:disable Style/TrivialAccessors
+    def foobara_active_record_class
+      @foobara_active_record_class
+    end
+
+    def foobara_primary_key_attribute
+      @foobara_primary_key_attribute
+    end
+
+    def foobara_primary_key
+      @foobara_primary_key
+    end
+    # rubocop:enable Style/TrivialAccessors
+
+    private
+
+    # TODO: there are probably several other methods that don't require loading
+    def foobara_load_if_needed(method_name)
+      return if defined?(@foobara_active_record)
+      return if method_name == @foobara_primary_key_attribute
+
+      @foobara_active_record = @foobara_active_record_class.find(@foobara_primary_key)
+    end
+  end
+end

data/src/casters/hash.rb

@@ -0,0 +1,16 @@
+module Foobara
+  module ActiveRecordType
+    module Casters
+      # TODO: We need a way of disabling/enabling this and it should probably be disabled by default.
+      class Hash < BuiltinTypes::DetachedEntity::Casters::Hash
+        def build_method(_attributes)
+          :new
+        end
+
+        def expected_type_symbol
+          :active_record
+        end
+      end
+    end
+  end
+end

data/src/casters/primary_key.rb

@@ -0,0 +1,42 @@
+module Foobara
+  module ActiveRecordType
+    module Casters
+      class PrimaryKey < Value::Caster
+        class << self
+          def requires_declaration_data?
+            true
+          end
+
+          def requires_type?
+            true
+          end
+        end
+
+        def type
+          declaration_data
+        end
+
+        def active_record_class
+          type.target_class
+        end
+
+        def primary_key_type
+          primary_key_attribute_name = type.declaration_data[:primary_key]
+          type.element_types[primary_key_attribute_name]
+        end
+
+        def applicable?(value)
+          primary_key_type.applicable?(value)
+        end
+
+        def cast(primary_key)
+          ActiveRecordThunk.new(active_record_class, primary_key)
+        end
+
+        def applies_message
+          primary_key_type.value_caster.applies_message
+        end
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/active_record_base_class_desugarizer.rb

@@ -0,0 +1,84 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration <  TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class ActiveRecordBaseClassDesugarizer < TypeDeclarations::Desugarizer
+        def applicable?(klass)
+          klass.is_a?(Class) && klass < ActiveRecord::Base
+        end
+
+        def desugarize(active_record_class)
+          if active_record_class.superclass != ActiveRecord::Base
+            # this will register a foobara type for the base class
+            type_for_declaration(active_record_class.superclass)
+          end
+
+          {
+            type: :active_record,
+            model_class: active_record_class.name,
+            name: active_record_class.name,
+            model_base_class: active_record_class.superclass.name,
+            model_module: Util.module_for(active_record_class)&.name,
+            primary_key: active_record_class.primary_key,
+            attributes_declaration: active_record_class_to_attributes_declaration(active_record_class)
+          }
+        end
+
+        def column_to_foobara_type_declaration(column)
+          column_type = column.sql_type_metadata.type
+
+          type_declaration = case column_type
+                             when :integer, :string, :datetime
+                               column_type
+                             else
+                               # :nocov:
+                               raise ArgumentError, "Not sure how to convert #{column_type} to a foobara type symbol"
+                               # :nocov:
+                             end
+
+          # defaults and required will be handled further up
+          if column.null
+            { type: type_declaration, allow_nil: true }
+          else
+            type_declaration
+          end
+        end
+
+        def active_record_class_to_attributes_declaration(active_record_class)
+          element_type_declarations = {}
+          defaults = {}
+          required = []
+
+          active_record_class.attribute_names.each do |attribute_name|
+            column = column_from_name(active_record_class, attribute_name)
+            element_type_declarations[attribute_name] = column_to_foobara_type_declaration(column)
+
+            if column.has_default?
+              defaults[attribute_name] = column.default
+            end
+
+            unless column.null
+              required << attribute_name
+            end
+          end
+
+          {
+            type: :attributes,
+            element_type_declarations:,
+            defaults:,
+            required:
+          }
+        end
+
+        def column_from_name(active_record_class, name)
+          active_record_class.columns.find do |column|
+            column.name == name
+          end
+        end
+
+        def priority
+          Priority::FIRST - 1
+        end
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/attributes_handler_desugarizer.rb

@@ -0,0 +1,12 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class AttributesHandlerDesugarizer <
+        TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration::AttributesHandlerDesugarizer
+        def expected_type_symbol
+          :active_record
+        end
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/hash_desugarizer.rb

@@ -0,0 +1,11 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class HashDesugarizer < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration::HashDesugarizer
+        def expected_type_symbol
+          :active_record
+        end
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/model_class_desugarizer.rb

@@ -0,0 +1,12 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class ModelClassDesugarizer <
+        TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration::ModelClassDesugarizer
+        def expected_type_symbol
+          :active_record
+        end
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/primary_key_desugarizer.rb

@@ -0,0 +1,9 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class PrimaryKeyDesugarizer <
+        TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration::PrimaryKeyDesugarizer
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/registered_active_record_base_class_desugarizer.rb

@@ -0,0 +1,27 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      module TypeDeclarationExtension
+        module RegisteredTypeDeclaration
+          module Desugarizers
+            class RegisteredActiveRecordBaseClassDesugarizer < TypeDeclarations::Desugarizer
+              def applicable?(klass)
+                klass.is_a?(Class) && klass < ActiveRecord::Base && type_registered?(klass.name)
+              end
+
+              def desugarize(active_record_class)
+                {
+                  type: active_record_class.name
+                }
+              end
+
+              def priority
+                Priority::FIRST - 2
+              end
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/to_type_transformer.rb

@@ -0,0 +1,48 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class ToTypeTransformer < TypeDeclarations::Handlers::ExtendRegisteredTypeDeclaration::ToTypeTransformer
+        def process_value(strict_declaration_type)
+          super.tap do |outcome|
+            if outcome.success?
+              type = outcome.result
+
+              active_record_class = type.target_class
+              active_record_class.foobara_type = type
+
+              handler = handler_for_class(TypeDeclarations::Handlers::ExtendAttributesTypeDeclaration)
+              attributes_type_declaration = type.declaration_data[:attributes_declaration]
+
+              type.element_types = handler.process_value!(attributes_type_declaration).element_types
+              type_name = type.declaration_data[:name]
+
+              # We don't want to check that the active record is valid as if it were a model
+              type.validators.delete_if do |validator|
+                validator.symbol == :attributes_declaration
+              end
+
+              domain = Domain.domain_through_modules(active_record_class)
+              domain.foobara_register_type(type_name, type)
+            end
+          end
+        end
+
+        def target_classes(strict_type_declaration)
+          Object.const_get(strict_type_declaration[:model_class])
+        end
+
+        def non_processor_keys
+          [
+            :primary_key,
+            :name,
+            :model_class,
+            :model_base_class,
+            :model_module,
+            :attributes_declaration,
+            *super
+          ]
+        end
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/validate_primary_key_is_symbol.rb

@@ -0,0 +1,9 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class ValidatePrimaryKeyIsSymbol <
+        TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration::ValidatePrimaryKeyIsSymbol
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/validate_primary_key_present.rb

@@ -0,0 +1,9 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class ValidatePrimaryKeyPresent <
+        TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration::ValidatePrimaryKeyPresent
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration/validate_primary_key_references_attribute.rb

@@ -0,0 +1,9 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      class ValidatePrimaryKeyReferencesAttribute <
+        TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration::ValidatePrimaryKeyReferencesAttribute
+      end
+    end
+  end
+end

data/src/extend_active_record_type_declaration.rb

@@ -0,0 +1,18 @@
+module Foobara
+  module ActiveRecordType
+    class ExtendActiveRecordTypeDeclaration < TypeDeclarations::Handlers::ExtendDetachedEntityTypeDeclaration
+      def applicable?(*args, **opts, &)
+        arg = args.first
+        (arg.is_a?(Class) && arg < ActiveRecord::Base) || super
+      end
+
+      def expected_type_symbol
+        :active_record
+      end
+
+      def priority
+        super - 1
+      end
+    end
+  end
+end

metadata

@@ -0,0 +1,91 @@
+--- !ruby/object:Gem::Specification
+name: foobara-active-record-type
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Miles Georgi
+bindir: bin
+cert_chain: []
+date: 2025-01-04 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: activerecord
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: foobara
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+email:
+- azimux@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- CHANGELOG.md
+- LICENSE-MPL-2.0.txt
+- LICENSE.txt
+- README.md
+- lib/foobara/active_record_type.rb
+- src/active_record_foobara_methods.rb
+- src/active_record_thunk.rb
+- src/casters/hash.rb
+- src/casters/primary_key.rb
+- src/extend_active_record_type_declaration.rb
+- src/extend_active_record_type_declaration/active_record_base_class_desugarizer.rb
+- src/extend_active_record_type_declaration/attributes_handler_desugarizer.rb
+- src/extend_active_record_type_declaration/hash_desugarizer.rb
+- src/extend_active_record_type_declaration/model_class_desugarizer.rb
+- src/extend_active_record_type_declaration/primary_key_desugarizer.rb
+- src/extend_active_record_type_declaration/registered_active_record_base_class_desugarizer.rb
+- src/extend_active_record_type_declaration/to_type_transformer.rb
+- src/extend_active_record_type_declaration/validate_primary_key_is_symbol.rb
+- src/extend_active_record_type_declaration/validate_primary_key_present.rb
+- src/extend_active_record_type_declaration/validate_primary_key_references_attribute.rb
+homepage: https://github.com/foobara/active-record-type
+licenses:
+- MPL-2.0
+metadata:
+  homepage_uri: https://github.com/foobara/active-record-type
+  source_code_uri: https://github.com/foobara/active-record-type
+  changelog_uri: https://github.com/foobara/active-record-type/blob/main/CHANGELOG.md
+  rubygems_mfa_required: 'true'
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.4.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.6.2
+specification_version: 4
+summary: Provides a detached entity foobara type for Active Record classes
+test_files: []