light-services 3.2.1 → 3.3.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c2d31f74eaaa7add84302e90f4d2748c5c099f34ea44e1be0d8eb6faa286ec37
-  data.tar.gz: 7bb83450e6be42ab27938df758644820476138684712f7d015694b4d1f675d92
+  metadata.gz: 814307f260796e4439cd7e9602159281b4457003c9b9a70f5596ecb81a80c7bc
+  data.tar.gz: e9ac19b493f3559b0e2ba1b978c7dd3e51615614c1c1f239f1326412e6126950
 SHA512:
-  metadata.gz: e2cf4be4b70f330c77d53b104b4f4c36686a6a1aaeba1cee0478d25941c06c5ff7e31d9bc0d4998710dd8a4b811e06f39794d54b9102663480d5d32adfbca45a
-  data.tar.gz: 56134a214344e9a3c7448b4cca8becdb05d03df864962faa5c1f9412cf65ce774a5245ac1a5eda2127e86bdc5b41d01a5ab2893109b401d8259f3dc704420220
+  metadata.gz: 3ba524199e7078ad1dbbf0a4df34ef4bb50f59c8950695e74e8a2b9f6691ae0ca673b16127700e2a7d0bdc66a1762fd886d4a89efe4e531840a092a49b0490b3
+  data.tar.gz: ecacfe8dd84b3fb1b1ac944b46e4ec6ed08d15eb6857f9fec82f070f90a87a51c97855d7ab46cc62f007f32c77f528fb178b9829c46603121978a5752905cb49

data/CHANGELOG.md

@@ -1,5 +1,17 @@
 # Changelog
 
+## 3.3.1 (2025-12-16)
+
+### Added
+
+- Sorbet runtime type support for `arg` and `output` (validation only, no coercion)
+
+## 3.3.0 (2025-12-15)
+
+### Added
+
+- Sorbet and Tapioca support for `arg` and `output`
+
 ## 3.2.1 (2025-12-15)
 
 ### Added

data/Gemfile

@@ -7,6 +7,7 @@ gemspec
 group :test do
   # Optional type system support
   gem "dry-types", "~> 1.0"
+  gem "sorbet-runtime"
 
   gem "activerecord", "< 8"
   gem "connection_pool", "< 3"

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    light-services (3.2.1)
+    light-services (3.3.1)
 
 GEM
   remote: https://rubygems.org/
@@ -126,6 +126,7 @@ GEM
       simplecov_json_formatter (~> 0.1)
     simplecov-html (0.13.2)
     simplecov_json_formatter (0.1.4)
+    sorbet-runtime (0.6.12848)
     sqlite3 (2.8.1)
       mini_portile2 (~> 2.8.0)
     timeout (0.5.0)
@@ -154,6 +155,7 @@ DEPENDENCIES
   rubocop-rake
   rubocop-rspec
   simplecov
+  sorbet-runtime
   sqlite3
 
 BUNDLED WITH

data/README.md

@@ -18,6 +18,7 @@ Light Services is a simple yet powerful way to organize business logic in Ruby a
 - 🧪 **RSpec Matchers**: Built-in RSpec matchers for expressive service tests
 - 🌐 **Framework Agnostic**: Compatible with Rails, Hanami, or any Ruby framework
 - 🧩 **Modularity**: Isolate and test your services with ease
+- 🔷 **Sorbet & Tapioca**: Full support for Sorbet type checking and Tapioca DSL generation
 - ✅ **100% Test Coverage**: Thoroughly tested and reliable
 - ⚔️ **Battle-Tested**: In production use since 2017
 

data/docs/README.md

@@ -16,6 +16,7 @@ Light Services is a simple yet powerful way to organize business logic in Ruby a
 - 🔍 **RuboCop Integration**: Custom cops to enforce best practices at lint time
 - 🌐 **Framework Agnostic**: Compatible with Rails, Hanami, or any Ruby framework
 - 🧩 **Modularity**: Isolate and test your services with ease
+- 🔷 **Sorbet & Tapioca**: Full support for Sorbet type checking and Tapioca DSL generation
 - ✅ **100% Test Coverage**: Thoroughly tested and reliable
 - ⚔️ **Battle-Tested**: In production use since 2017
 

data/docs/SUMMARY.md

@@ -19,6 +19,8 @@
 * [Rails Generators](generators.md)
 * [RuboCop Integration](rubocop.md)
 * [Ruby LSP Integration](ruby-lsp.md)
+* [Sorbet Runtime Types](sorbet-runtime.md)
+* [Tapioca / Sorbet Integration](tapioca.md)
 
 ## Examples
 

data/docs/arguments.md

@@ -124,6 +124,38 @@ service = User::Create.run(name: "John", age: "25")
 service.age # => 25 (Integer, not String)
 ```
 
+### Sorbet Runtime Types
+
+Light Services also supports [Sorbet runtime types](https://sorbet.org/docs/runtime) for type validation. Unlike dry-types, Sorbet types **only validate** and do not coerce values.
+
+```ruby
+require "sorbet-runtime"
+
+class User::Create < ApplicationService
+  # Basic types using T::Utils.coerce
+  arg :name, type: T::Utils.coerce(String)
+  arg :age, type: T::Utils.coerce(Integer)
+  
+  # Nilable types
+  arg :email, type: T.nilable(String), optional: true
+  
+  # Union types
+  arg :status, type: T.any(String, Symbol)
+  
+  # Typed arrays
+  arg :tags, type: T::Array[String]
+  
+  # Boolean type
+  arg :active, type: T::Boolean, default: true
+end
+```
+
+{% hint style="warning" %}
+**Sorbet types do NOT coerce values.** If you pass `"25"` where an `Integer` is expected, it will raise an error instead of converting the string to an integer. Use dry-types if you need automatic coercion.
+{% endhint %}
+
+See the [Sorbet Runtime Types documentation](sorbet-runtime.md) for more details.
+
 ## Required Arguments
 
 By default, arguments are required. You can make them optional by setting `optional` to `true`.

data/docs/outputs.md

@@ -124,6 +124,22 @@ class AI::Chat < ApplicationService
 end
 ```
 
+### Sorbet Runtime Types
+
+Outputs also support [Sorbet runtime types](https://sorbet.org/docs/runtime) for type validation:
+
+```ruby
+require "sorbet-runtime"
+
+class AI::Chat < ApplicationService
+  output :messages, type: T::Array[Hash]
+  output :total_tokens, type: T::Utils.coerce(Integer)
+  output :metadata, type: T.nilable(Hash), optional: true
+end
+```
+
+See the [Sorbet Runtime Types documentation](sorbet-runtime.md) for more details.
+
 ## Default Values
 
 Set default values for outputs using the `default` option. The default value will be automatically set before the execution of steps.

data/docs/sorbet-runtime.md

@@ -0,0 +1,277 @@
+# Sorbet Runtime Types
+
+Light Services supports [Sorbet runtime types](https://sorbet.org/docs/runtime) for type validation of arguments and outputs. This provides runtime type checking using Sorbet's type system.
+
+{% hint style="info" %}
+This page covers **runtime type checking** with `sorbet-runtime`. For **static type analysis** with Sorbet and RBI file generation, see [Tapioca / Sorbet Integration](tapioca.md).
+{% endhint %}
+
+## Installation
+
+Add `sorbet-runtime` to your Gemfile:
+
+```ruby
+gem "sorbet-runtime"
+```
+
+Then run:
+
+```bash
+bundle install
+```
+
+## Basic Usage
+
+When `sorbet-runtime` is loaded, plain Ruby classes are automatically validated using Sorbet's type system:
+
+```ruby
+require "sorbet-runtime"
+
+class User::Create < ApplicationService
+  # Basic types - plain Ruby classes work directly!
+  arg :name, type: String
+  arg :age, type: Integer
+  
+  # Nilable types (allows nil)
+  arg :email, type: T.nilable(String), optional: true
+  
+  # Union types (multiple allowed types)
+  arg :status, type: T.any(String, Symbol), default: "pending"
+  
+  # Typed arrays
+  arg :tags, type: T::Array[String], optional: true
+  
+  # Boolean type
+  arg :active, type: T::Boolean, default: true
+
+  # Outputs with Sorbet types - plain classes work here too
+  output :user, type: User
+  output :metadata, type: Hash
+  
+  step :create_user
+  step :build_metadata
+
+  private
+
+  def create_user
+    self.user = User.create!(
+      name: name,
+      age: age,
+      email: email,
+      status: status,
+      tags: tags || [],
+      active: active
+    )
+  end
+
+  def build_metadata
+    self.metadata = { created_at: Time.current }
+  end
+end
+```
+
+## Type Reference
+
+### Basic Types
+
+When `sorbet-runtime` is loaded, plain Ruby classes are automatically coerced to Sorbet types:
+
+```ruby
+arg :name, type: String
+arg :count, type: Integer
+arg :price, type: Float
+arg :data, type: Hash
+arg :items, type: Array
+```
+
+{% hint style="info" %}
+You can also use `T::Utils.coerce(String)` explicitly, but it's not required - Light Services handles the coercion automatically.
+{% endhint %}
+
+### Nilable Types
+
+Allow `nil` values with `T.nilable`:
+
+```ruby
+arg :nickname, type: T.nilable(String), optional: true
+```
+
+### Union Types
+
+Allow multiple types with `T.any`:
+
+```ruby
+arg :identifier, type: T.any(String, Integer)
+arg :status, type: T.any(String, Symbol)
+```
+
+### Typed Arrays
+
+Validate array element types with `T::Array`:
+
+```ruby
+arg :tags, type: T::Array[String]
+arg :numbers, type: T::Array[Integer]
+arg :users, type: T::Array[User]
+```
+
+{% hint style="warning" %}
+**Generic Type Erasure:** Sorbet's `T::Array[String]` only validates that the value is an `Array` at runtime. The type parameter (`String`) is **erased** and not checked. For strict array element validation, use dry-types: `Types::Array.of(Types::Strict::String)`.
+{% endhint %}
+
+### Boolean Type
+
+Use `T::Boolean` for true/false values:
+
+```ruby
+arg :active, type: T::Boolean
+arg :verified, type: T::Boolean, default: false
+```
+
+### Complex Types
+
+Combine types for more complex validations:
+
+```ruby
+# Nilable array
+arg :tags, type: T.nilable(T::Array[String]), optional: true
+
+# Array of union types
+arg :identifiers, type: T::Array[T.any(String, Integer)]
+```
+
+## Key Differences from dry-types
+
+{% hint style="warning" %}
+**Sorbet types do NOT coerce values.** Unlike dry-types which can automatically convert values (e.g., `"123"` → `123`), Sorbet runtime types only validate that values match the expected type.
+{% endhint %}
+
+### Coercion Behavior Comparison
+
+**With dry-types (coerces):**
+
+```ruby
+# dry-types with coercible integer
+arg :age, type: Types::Coercible::Integer
+
+service = MyService.run(age: "25")
+service.age # => 25 (Integer - coerced from String)
+```
+
+**With Sorbet runtime (validates only):**
+
+```ruby
+# Sorbet runtime type (plain class or T::Utils.coerce)
+arg :age, type: Integer
+
+service = MyService.run(age: "25")
+# => Raises ArgTypeError: expected Integer, got String
+```
+
+### When to Use Each
+
+| Use Case | Recommended |
+|----------|-------------|
+| Strict type validation | Sorbet runtime |
+| Automatic value coercion | dry-types |
+| Static type analysis | Sorbet + Tapioca |
+| Input from external sources (APIs, forms) | dry-types (for coercion) |
+| Internal service-to-service calls | Sorbet runtime |
+
+## Combining with Tapioca
+
+For full Sorbet support, you can use both:
+
+1. **Runtime types** (`sorbet-runtime`) - Validates types at runtime
+2. **Static types** (Tapioca) - Generates RBI files for static analysis
+
+See [Tapioca / Sorbet Integration](tapioca.md) for setting up static type analysis.
+
+```ruby
+# typed: strict
+
+class User::Create < ApplicationService
+  # Runtime validation with Sorbet types
+  arg :name, type: String
+  arg :age, type: Integer
+  
+  output :user, type: User
+  
+  # ...
+end
+```
+
+With Tapioca configured, you get:
+- **Runtime validation** from `sorbet-runtime`
+- **IDE autocompletion** from generated RBI files
+- **Static type checking** from `srb tc`
+
+## Error Messages
+
+When type validation fails, Light Services raises `ArgTypeError` with a descriptive message:
+
+```ruby
+service = User::Create.run(name: 123, age: 25)
+# => Light::Services::ArgTypeError: User::Create argument `name` expected String, but got Integer with value: 123
+```
+
+## Full Example
+
+```ruby
+require "sorbet-runtime"
+
+class Order::Create < ApplicationService
+  # Required arguments - plain classes work!
+  arg :customer, type: Customer
+  arg :items, type: T::Array[OrderItem]
+  arg :total, type: T.any(Integer, Float)
+  
+  # Optional arguments
+  arg :notes, type: T.nilable(String), optional: true
+  arg :priority, type: T::Boolean, default: false
+  arg :tags, type: T::Array[String], optional: true
+  
+  # Outputs
+  output :order, type: Order
+  output :confirmation_number, type: String
+  
+  step :validate_items
+  step :create_order
+  step :generate_confirmation
+
+  private
+
+  def validate_items
+    fail!("Order must have at least one item") if items.empty?
+  end
+
+  def create_order
+    self.order = Order.create!(
+      customer: customer,
+      items: items,
+      total: total,
+      notes: notes,
+      priority: priority,
+      tags: tags || []
+    )
+  end
+
+  def generate_confirmation
+    self.confirmation_number = "ORD-#{order.id}-#{SecureRandom.hex(4).upcase}"
+  end
+end
+
+# Usage
+result = Order::Create.run(
+  customer: current_user,
+  items: [item1, item2],
+  total: 99.99,
+  priority: true
+)
+
+if result.success?
+  puts "Order created: #{result.confirmation_number}"
+else
+  puts "Failed: #{result.errors.full_messages}"
+end
+```

data/docs/tapioca.md

@@ -0,0 +1,200 @@
+# Tapioca / Sorbet Integration
+
+Light Services provides a [Tapioca](https://github.com/Shopify/tapioca) DSL compiler that generates RBI signatures for methods automatically created by the `arg` and `output` DSL macros. This enables full Sorbet type checking for your services.
+
+## Features
+
+When you use the `arg` or `output` keywords, Light Services dynamically generates methods at runtime:
+
+```ruby
+class CreateUser < ApplicationService
+  arg :name, type: String
+  arg :email, type: String, optional: true
+  arg :role, type: [Symbol, String]
+  
+  output :user, type: User
+end
+```
+
+The Tapioca compiler generates RBI signatures for these methods:
+
+```rbi
+# sorbet/rbi/dsl/create_user.rbi
+# typed: true
+
+class CreateUser
+  sig { returns(String) }
+  def name; end
+
+  sig { returns(T::Boolean) }
+  def name?; end
+
+  sig { returns(T.nilable(String)) }
+  def email; end
+
+  sig { returns(T::Boolean) }
+  def email?; end
+
+  sig { returns(T.any(Symbol, String)) }
+  def role; end
+
+  sig { returns(T::Boolean) }
+  def role?; end
+
+  sig { returns(User) }
+  def user; end
+
+  sig { returns(T::Boolean) }
+  def user?; end
+
+  private
+
+  sig { params(value: String).returns(String) }
+  def name=(value); end
+
+  sig { params(value: T.nilable(String)).returns(T.nilable(String)) }
+  def email=(value); end
+
+  sig { params(value: T.any(Symbol, String)).returns(T.any(Symbol, String)) }
+  def role=(value); end
+
+  sig { params(value: User).returns(User) }
+  def user=(value); end
+end
+```
+
+## Setup
+
+### 1. Install Tapioca
+
+Add Tapioca to your Gemfile:
+
+```ruby
+group :development do
+  gem "tapioca", require: false
+end
+```
+
+Then run:
+
+```bash
+bundle install
+bundle exec tapioca init
+```
+
+### 2. Generate RBI Files
+
+The Light Services compiler is automatically discovered by Tapioca. Generate RBI files with:
+
+```bash
+bundle exec tapioca dsl
+```
+
+This will create RBI files in `sorbet/rbi/dsl/` for all your services.
+
+### 3. Re-generate After Changes
+
+After adding or modifying `arg`/`output` declarations, regenerate the RBI files:
+
+```bash
+bundle exec tapioca dsl LightServices
+```
+
+## Type Mappings
+
+### Ruby Types
+
+Standard Ruby types are mapped directly:
+
+| Ruby Type | Sorbet Type |
+|-----------|-------------|
+| `String` | `::String` |
+| `Integer` | `::Integer` |
+| `Float` | `::Float` |
+| `Hash` | `::Hash` |
+| `Array` | `::Array` |
+| `Symbol` | `::Symbol` |
+| `User` (custom) | `::User` |
+
+### Boolean Types
+
+Boolean types are mapped to `T::Boolean`:
+
+```ruby
+arg :active, type: [TrueClass, FalseClass]
+# Generates: sig { returns(T::Boolean) }
+```
+
+### Union Types
+
+Multiple types create union types:
+
+```ruby
+arg :id, type: [String, Integer]
+# Generates: sig { returns(T.any(::String, ::Integer)) }
+```
+
+### Optional Types
+
+Optional arguments/outputs are wrapped in `T.nilable`:
+
+```ruby
+arg :nickname, type: String, optional: true
+# Generates: sig { returns(T.nilable(::String)) }
+```
+
+### Dry-Types
+
+If you use [dry-types](https://dry-rb.org/gems/dry-types/), they are mapped to their primitive Ruby types:
+
+| Dry Type | Sorbet Type |
+|----------|-------------|
+| `Types::String` | `::String` |
+| `Types::Strict::String` | `::String` |
+| `Types::Integer` | `::Integer` |
+| `Types::Bool` | `T::Boolean` |
+| `Types::Array` | `::Array` |
+| `Types::Hash` | `::Hash` |
+| `Types::Date` | `::Date` |
+| `Types::Time` | `::Time` |
+| `Types::DateTime` | `::DateTime` |
+| `Types::Decimal` | `::BigDecimal` |
+| `Types::Any` | `T.untyped` |
+
+Parameterized dry-types (e.g., `Types::Array.of(String)`) are mapped to their base type.
+
+## Generated Methods
+
+For each `arg` or `output`, three methods are generated:
+
+| Method | Return Type | Visibility |
+|--------|-------------|------------|
+| `name` | The declared type | public |
+| `name?` | `T::Boolean` | public |
+| `name=` | The declared type | **private** |
+
+## Inheritance
+
+The compiler handles inherited arguments and outputs. If a child service inherits from a parent, the RBI will include methods for both parent and child fields.
+
+## Troubleshooting
+
+### RBI files not generated
+
+Ensure Light Services is properly loaded in your application. The compiler only runs if `Light::Services::Base` is defined.
+
+### Types showing as `T.untyped`
+
+This happens when:
+- No `type:` option is specified for the argument/output
+- The type cannot be resolved (e.g., undefined constant)
+
+### Custom type mappings
+
+If you need custom dry-types mappings, you can extend the `DRY_TYPE_MAPPINGS` constant in the compiler or open an issue to add common mappings.
+
+## See Also
+
+- [Ruby LSP Integration](ruby-lsp.md) - Editor integration without Sorbet
+- [Arguments](arguments.md) - Full `arg` DSL documentation  
+- [Outputs](outputs.md) - Full `output` DSL documentation

data/lib/light/services/settings/field.rb

@@ -46,7 +46,7 @@ module Light
         end
 
         # Validate a value against the field's type definition.
-        # Supports both Ruby class types and dry-types.
+        # Supports Ruby class types, dry-types, and Sorbet runtime types.
         #
         # @param value [Object] the value to validate
         # @return [Object] the value (possibly coerced by dry-types)
@@ -56,6 +56,8 @@ module Light
 
           if dry_type?(@type)
             coerce_and_validate_dry_type!(value)
+          elsif sorbet_type?(@type) || (sorbet_available? && plain_class_type?(@type))
+            validate_sorbet_type!(value)
           else
             validate_ruby_type!(value)
             value
@@ -64,6 +66,16 @@ module Light
 
         private
 
+        # Check if sorbet-runtime is available
+        def sorbet_available?
+          defined?(T::Types::Base)
+        end
+
+        # Check if the type is a plain Ruby class (not dry-types or Sorbet type)
+        def plain_class_type?(type)
+          type.is_a?(Class) || type.is_a?(Module)
+        end
+
         # Check if the type is a dry-types type
         def dry_type?(type)
           return false unless defined?(Dry::Types::Type)
@@ -71,6 +83,13 @@ module Light
           type.is_a?(Dry::Types::Type)
         end
 
+        # Check if the type is a Sorbet runtime type
+        def sorbet_type?(type)
+          return false unless defined?(T::Types::Base)
+
+          type.is_a?(T::Types::Base)
+        end
+
         # Validate and coerce value against dry-types
         # Returns the coerced value
         def coerce_and_validate_dry_type!(value)
@@ -80,6 +99,20 @@ module Light
                 "#{@service_class} #{@field_type} `#{@name}` #{e.message}"
         end
 
+        # Validate value against Sorbet runtime types
+        # Note: Sorbet types only validate, they do not coerce values
+        # Automatically coerces plain Ruby classes to Sorbet types when needed
+        # @return [Object] the original value if valid
+        # @raise [ArgTypeError] if the value doesn't match the expected type
+        def validate_sorbet_type!(value)
+          sorbet_type = sorbet_type?(@type) ? @type : T::Utils.coerce(@type)
+          return value if sorbet_type.valid?(value)
+
+          raise Light::Services::ArgTypeError,
+                "#{@service_class} #{@field_type} `#{@name}` expected #{sorbet_type.name}, " \
+                "but got #{value.class} with value: #{value.inspect}"
+        end
+
         # Validate value against Ruby class types
         def validate_ruby_type!(value)
           return if [*@type].any? { |type| value.is_a?(type) }

data/lib/light/services/version.rb

@@ -2,6 +2,6 @@
 
 module Light
   module Services
-    VERSION = "3.2.1"
+    VERSION = "3.3.1"
   end
 end

data/lib/tapioca/dsl/compilers/light_services.rb

@@ -0,0 +1,255 @@
+# frozen_string_literal: true
+
+return unless defined?(Tapioca::Dsl::Compiler)
+
+module Tapioca
+  module Dsl
+    module Compilers
+      # Tapioca DSL compiler for Light::Services
+      #
+      # Generates RBI signatures for methods automatically defined by the
+      # `arg`/`argument` and `output` DSL macros in light-services.
+      #
+      # For each argument and output, three methods are generated:
+      # - Getter: `def name` - returns the value
+      # - Predicate: `def name?` - returns boolean
+      # - Setter: `def name=` (private) - sets the value
+      #
+      # @example Service definition
+      #   class CreateUser < Light::Services::Base
+      #     arg :name, type: String
+      #     arg :email, type: String, optional: true
+      #     arg :role, type: [Symbol, String]
+      #
+      #     output :user, type: User
+      #   end
+      #
+      # @example Generated RBI
+      #   class CreateUser
+      #     sig { returns(String) }
+      #     def name; end
+      #
+      #     sig { returns(T::Boolean) }
+      #     def name?; end
+      #
+      #     sig { returns(T.nilable(String)) }
+      #     def email; end
+      #
+      #     sig { returns(T::Boolean) }
+      #     def email?; end
+      #
+      #     sig { returns(T.any(Symbol, String)) }
+      #     def role; end
+      #
+      #     sig { returns(T::Boolean) }
+      #     def role?; end
+      #
+      #     sig { returns(User) }
+      #     def user; end
+      #
+      #     sig { returns(T::Boolean) }
+      #     def user?; end
+      #
+      #     private
+      #
+      #     sig { params(value: String).returns(String) }
+      #     def name=(value); end
+      #
+      #     # ... other setters
+      #   end
+      class LightServices < Compiler
+        extend T::Sig
+
+        # Default type mappings for common dry-types to their underlying Ruby types
+        DRY_TYPE_MAPPINGS = {
+          "Types::String" => "::String",
+          "Types::Strict::String" => "::String",
+          "Types::Coercible::String" => "::String",
+          "Types::Integer" => "::Integer",
+          "Types::Strict::Integer" => "::Integer",
+          "Types::Coercible::Integer" => "::Integer",
+          "Types::Float" => "::Float",
+          "Types::Strict::Float" => "::Float",
+          "Types::Coercible::Float" => "::Float",
+          "Types::Decimal" => "::BigDecimal",
+          "Types::Strict::Decimal" => "::BigDecimal",
+          "Types::Coercible::Decimal" => "::BigDecimal",
+          "Types::Bool" => "T::Boolean",
+          "Types::Strict::Bool" => "T::Boolean",
+          "Types::True" => "::TrueClass",
+          "Types::Strict::True" => "::TrueClass",
+          "Types::False" => "::FalseClass",
+          "Types::Strict::False" => "::FalseClass",
+          "Types::Array" => "::Array",
+          "Types::Strict::Array" => "::Array",
+          "Types::Hash" => "::Hash",
+          "Types::Strict::Hash" => "::Hash",
+          "Types::Symbol" => "::Symbol",
+          "Types::Strict::Symbol" => "::Symbol",
+          "Types::Coercible::Symbol" => "::Symbol",
+          "Types::Date" => "::Date",
+          "Types::Strict::Date" => "::Date",
+          "Types::DateTime" => "::DateTime",
+          "Types::Strict::DateTime" => "::DateTime",
+          "Types::Time" => "::Time",
+          "Types::Strict::Time" => "::Time",
+          "Types::Nil" => "::NilClass",
+          "Types::Strict::Nil" => "::NilClass",
+          "Types::Any" => "T.untyped",
+        }.freeze
+
+        ConstantType = type_member { { fixed: T.class_of(::Light::Services::Base) } }
+
+        class << self
+          extend T::Sig
+
+          sig { override.returns(T::Enumerable[Module]) }
+          def gather_constants
+            all_classes.select do |klass|
+              klass < ::Light::Services::Base && klass.name && klass != ::Light::Services::Base
+            end
+          end
+        end
+
+        sig { override.void }
+        def decorate
+          arguments = constant.arguments
+          outputs = constant.outputs
+
+          return if arguments.empty? && outputs.empty?
+
+          root.create_path(constant) do |klass|
+            # Generate argument methods
+            arguments.each_value do |field|
+              generate_field_methods(klass, field)
+            end
+
+            # Generate output methods
+            outputs.each_value do |field|
+              generate_field_methods(klass, field)
+            end
+          end
+        end
+
+        private
+
+        sig { params(klass: RBI::Scope, field: ::Light::Services::Settings::Field).void }
+        def generate_field_methods(klass, field)
+          name = field.name.to_s
+          ruby_type = resolve_type(field)
+          return_type = field.optional ? as_nilable_type(ruby_type) : ruby_type
+
+          # Getter
+          klass.create_method(name, return_type: return_type)
+
+          # Predicate
+          klass.create_method("#{name}?", return_type: "T::Boolean")
+
+          # Setter (private)
+          klass.create_method(
+            "#{name}=",
+            parameters: [create_param("value", type: return_type)],
+            return_type: return_type,
+            visibility: RBI::Private.new,
+          )
+        end
+
+        sig { params(field: ::Light::Services::Settings::Field).returns(String) }
+        def resolve_type(field)
+          type = field.instance_variable_get(:@type)
+          return "T.untyped" unless type
+
+          if type.is_a?(Array)
+            resolve_array_type(type)
+          elsif dry_type?(type)
+            resolve_dry_type(type)
+          elsif type.is_a?(Class) || type.is_a?(Module)
+            ruby_type_for_class(type)
+          else
+            "T.untyped"
+          end
+        end
+
+        sig { params(types: T::Array[T.untyped]).returns(String) }
+        def resolve_array_type(types)
+          resolved_types = types.map do |t|
+            if t.is_a?(Class) || t.is_a?(Module)
+              ruby_type_for_class(t)
+            elsif dry_type?(t)
+              resolve_dry_type(t)
+            else
+              "T.untyped"
+            end
+          end.uniq
+
+          return resolved_types.first if resolved_types.size == 1
+
+          # Check if this is a boolean type (TrueClass + FalseClass)
+          if resolved_types.sort == ["::FalseClass", "::TrueClass"]
+            "T::Boolean"
+          else
+            "T.any(#{resolved_types.join(', ')})"
+          end
+        end
+
+        sig { params(klass: T.any(Class, Module)).returns(String) }
+        def ruby_type_for_class(klass)
+          name = klass.name
+          return "T.untyped" unless name
+
+          # Handle boolean types specially
+          if klass == TrueClass
+            "::TrueClass"
+          elsif klass == FalseClass
+            "::FalseClass"
+          else
+            "::#{name}"
+          end
+        end
+
+        sig { params(type: T.untyped).returns(T::Boolean) }
+        def dry_type?(type)
+          return false unless defined?(Dry::Types::Type)
+
+          type.is_a?(Dry::Types::Type)
+        end
+
+        sig { params(type: T.untyped).returns(String) }
+        def resolve_dry_type(type)
+          type_string = type.to_s
+
+          # Direct mapping lookup
+          return DRY_TYPE_MAPPINGS[type_string] if DRY_TYPE_MAPPINGS.key?(type_string)
+
+          # Handle parameterized types: Types::Array.of(...) → Types::Array
+          base_type = type_string.split(".").first
+          return DRY_TYPE_MAPPINGS[base_type] if DRY_TYPE_MAPPINGS.key?(base_type)
+
+          # Try to infer from primitive
+          infer_from_primitive(type)
+        end
+
+        sig { params(type: T.untyped).returns(String) }
+        def infer_from_primitive(type)
+          return "T.untyped" unless type.respond_to?(:primitive)
+
+          primitive = type.primitive
+          return "T.untyped" unless primitive.is_a?(Class) || primitive.is_a?(Module)
+
+          ruby_type_for_class(primitive)
+        rescue StandardError
+          "T.untyped"
+        end
+
+        sig { params(type: String).returns(String) }
+        def as_nilable_type(type)
+          # Don't double-wrap nilable types
+          return type if type.start_with?("T.nilable(")
+          return type if type == "T.untyped"
+
+          "T.nilable(#{type})"
+        end
+      end
+    end
+  end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: light-services
 version: !ruby/object:Gem::Version
-  version: 3.2.1
+  version: 3.3.1
 platform: ruby
 authors:
 - Andrew Kodkod
@@ -54,7 +54,9 @@ files:
 - docs/rubocop.md
 - docs/ruby-lsp.md
 - docs/service-rendering.md
+- docs/sorbet-runtime.md
 - docs/steps.md
+- docs/tapioca.md
 - docs/testing.md
 - lib/generators/light_services/install/USAGE
 - lib/generators/light_services/install/install_generator.rb
@@ -108,6 +110,7 @@ files:
 - lib/ruby_lsp/light_services/addon.rb
 - lib/ruby_lsp/light_services/definition.rb
 - lib/ruby_lsp/light_services/indexing_enhancement.rb
+- lib/tapioca/dsl/compilers/light_services.rb
 - light-services.gemspec
 homepage: https://light-services-docs.vercel.app/
 licenses: