mangrove 0.31.0 → 0.35.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5f834b6984567df445825c79b6027e0259d955c082aa68bbfbd7dc6ac1cf7e40
-  data.tar.gz: 989be7ac4cd2fab0ccf154785ab19560dd0133b51b76880d2e1ce281e638ea83
+  metadata.gz: b672fc8a3a469a1d00a066bbc9781acbfd0229e5acf40f4d05452a3db9bd6ff2
+  data.tar.gz: 1fd9cdd284c43bbceb6b0bc44d21f358cc85d9fef1a5a3d6e9244529aa072279
 SHA512:
-  metadata.gz: 8b4fe3703902f7f2c566f3789c3d2cc2e8ee4d02d2591bcedfa3425319af3da86d215c63ab6dfd5ba79826ff07f7f4ab4c33f8d33560eb2378a14a9a132e7030
-  data.tar.gz: fc2b7c8ad55cd4052b25837c64e20573b2ed0446871cb2f1c3a9d8dcd554224c44848256f0c2f9752161dfb54d7e6fcd5740d2a854aaff1117fa7e30fda80eeb
+  metadata.gz: c85f28b501f523e3d541a19a64cc560f252ce72479e1df036b75c09dfec4d43843169a614922ce1aece40867434cd5b471aaa2e4eb37337f8694f38971dc491f
+  data.tar.gz: a806cd4beb648c60e7e5ceed320ca63d0e9033b7d940fc14fbd0a3254b44b2a657704cf5ee82097aad991b11d7bf0285f99fa0bbe1946ecb5492e6f49f76fe1b

data/.rubocop.yml

@@ -35,6 +35,7 @@ Naming/VariableNumber:
   EnforcedStyle: snake_case
 
 Style/BlockDelimiters:
+  Enabled: false
   EnforcedStyle: always_braces
   AllowedMethods:
   - describe

data/README.md

@@ -1,79 +1,150 @@
 # Mangrove
 
-Mangrove is a Ruby Gem designed to be the definitive toolkit for leveraging Sorbet's type system in Ruby applications. It's designed to offer a robust, statically-typed experience, focusing on solid types, a functional programming style, and an interface-driven approach.
+Mangrove is a Ruby toolkit that brings a functional, statically-typed flavor to your Sorbet-enabled projects. Inspired by concepts from languages like Rust and Haskell, Mangrove provides a robust set of tools—primarily `Result` and ADT-like Enums—to help you write safer, more expressive Ruby code.
 
 - [Documentation](https://kazzix14.github.io/mangrove/docs/)
 - [Coverage](https://kazzix14.github.io/mangrove/coverage/index.html#_AllFiles)
 
-## Features
+---
 
-- Option Type
-- Result Type
-- Enums with inner types (ADTs)
+## Highlights
+
+- **Sorbet Integration**
+  Built from the ground up to work smoothly with Sorbet's type system.
+
+- **Result Type**
+  Model success/failure outcomes with explicit types—no more "return false or nil" for errors!
+
+- **Enums (ADTs)**
+  Define your own sealed enums with typed variants. Each variant can hold distinct inner data.
+
+- **Functional Patterns**
+  Chain transformations or short-circuit error handling with a clean monadic style.
+
+---
 
 ## Installation
 
-```
+```bash
 bundle add mangrove
 ```
 
-## Usage
+---
 
-[Documentation is available here](https://kazzix14.github.io/mangrove/docs).
-For more concrete examples, see [`spec/**/**_spec.rb`](https://github.com/kazzix14/mangrove/tree/main/spec).
+## Usage Overview
+
+Mangrove revolves around **`Result`** and a sealed "Enum" mechanism for ADTs.
+
+### Result
+
+A `Result` is either `Ok(T)` or `Err(E)`. You can compose them with monadic methods like `and_then` and `or_else`.
+For "early returns" in a functional style, you have two main approaches:
+
+1. **A context-based DSL (e.g., `ctx.try!`)**
+2. **An instance method on `Result` itself, `unwrap_in(ctx)`**, which behaves similarly.
+
+Here's an example of chaining requests and short-circuiting on error:
 
 ```ruby
-Mangrove::Result[OkType, ErrType]
-Mangrove::Result::Ok[OkType]
-Mangrove::Result::Err[ErrType]
-Mangrove::Option[InnerType]
-Mangrove::Option::Some[InnerType]
-Mangrove::Option::None[InnerType]
-
-my_ok = Result::Ok.new("my value")
-my_err = Result::Err.new("my err")
-my_some = Option::Some.new(1234)
-my_none = Option::None.new
-
-##############################
-
-response = MyClient
-  .new
-  .and_then { |client| client.get_response() }
-  .and_then { |response| response.body }
-
-case response
-when Mangrove::Result::Ok
-  puts response.ok_inner
-when Mangrove::Result::Err
-  puts response.err_inner
+class MyClient
+  extend T::Sig
+
+  sig { returns(Mangrove::Result[String, StandardError]) }
+  def connect
+    # ...
+    Mangrove::Result::Ok.new("Connected")
+  end
+
+  sig { params(data: String).returns(Mangrove::Result[String, StandardError]) }
+  def request(data)
+    # ...
+    Mangrove::Result::Ok.new("Response: #{data}")
+  end
+end
+
+# Let's say we have a special DSL context for collecting short-circuits:
+# (Hypothetical usage)
+
+Result.collecting(String, StandardError) do |ctx|
+  final_result = MyClient.new
+    .connect
+    .and_then do |connection|
+      MyClient.new.request("Payload from #{connection}")
+    end
+
+  # Option 1: Call from the context
+  response_data = ctx.try!(final_result)
+  # => If 'final_result' is Err, short-circuits now;
+  #    otherwise returns the Ok(T) value.
+
+  puts response_data  # If no errors, prints "Response: Connected"
+
+  # Option 2: Call via 'unwrap_in(ctx)'
+  # This does the same short-circuit if 'Err', using the context:
+  response_data_alt = final_result.unwrap_in(ctx)
 end
 
-##############################
+# More chaining, etc...
+```
+
+### Extension Methods
+
+Mangrove provides convenient extension methods through `Mangrove::Result::Ext`. These methods allow you to easily wrap any value in a `Result`:
 
+```ruby
+# Include the extension in your classes
+class Object
+  include Mangrove::Result::Ext
+end
+
+# Now you can use in_ok and in_err on any object
+"success".in_ok  # => Result::Ok("success")
+"error".in_err   # => Result::Err("error")
+
+# Useful in method chains
+"hello"
+  .upcase
+  .in_ok
+  .map_ok { |s| "#{s}!" }  # => Result::Ok("HELLO!")
+
+# Error case
+"error message"
+  .in_err
+  .map_err { |e| "#{e}!" } # => Result::Err("error message!")
+```
+
+### Enums (ADTs)
+
+Define an enum with typed variants:
+
+```ruby
 class MyEnum
   extend Mangrove::Enum
 
   variants do
-    variant VariantWithInteger, Integer
-    variant VariantWithString, String
-    variant VariantWithException, Exception
-    variant VariantWithTuple, [Integer, String]
-    variant VariantWithShape, { name: String, age: Integer }
+    variant IntVariant, Integer
+    variant StrVariant, String
+    variant ShapeVariant, { name: String, age: Integer }
   end
 end
+
+int_v = MyEnum::IntVariant.new(123)
+puts int_v.inner  # => 123
 ```
 
+For more details on monadic methods, short-circuit contexts, and advanced usage, please visit the [official documentation](https://kazzix14.github.io/mangrove/docs/) or see real-world usages in [`spec/`](https://github.com/kazzix14/mangrove/tree/main/spec).
+
+---
+
 ## Commands for Development
 
-```
+```bash
 git config core.hooksPath hooks
 bundle install
 bundle exec tapioca init
 bundle exec tapioca gems -w `nproc`
 bundle exec tapioca dsl -w `nproc`
 bundle exec tapioca check-shims
-bundle exec tapioca init
 bundle exec rspec -f d
 bundle exec rubocop -DESP
 bundle exec srb typecheck
@@ -85,3 +156,22 @@ bundle exec yard server --reload --plugin yard-sorbet
 rake build
 rake release
 ```
+
+Run these commands to maintain code quality, generate documentation, and verify type safety under Sorbet.
+
+---
+
+## Contributing
+
+We welcome contributions! To get started:
+
+1. Fork & clone the repo
+2. Install dependencies: `bundle install`
+3. Make your changes and add tests
+4. Submit a PR
+
+---
+
+## License
+
+Mangrove is available under the [MIT License](https://opensource.org/licenses/MIT). See the LICENSE file for details.

data/lib/mangrove/result/ext.rb

@@ -0,0 +1,18 @@
+# typed: true
+# frozen_string_literal: true
+
+module Mangrove
+  module Result
+    module Ext
+      extend T::Sig
+
+      def in_ok
+        Mangrove::Result::Ok.new(self)
+      end
+
+      def in_err
+        Mangrove::Result::Err.new(self)
+      end
+    end
+  end
+end

data/lib/mangrove/result.rb

@@ -2,6 +2,7 @@
 # frozen_string_literal: true
 
 require_relative "result/control_signal"
+require_relative "result/ext"
 
 module Mangrove
   # Result is a type that represents either success (`Ok`) or failure (`Err`).
@@ -42,6 +43,9 @@ module Mangrove
     sig { abstract.returns(OkType) }
     def unwrap_or_raise_inner!; end
 
+    sig { abstract.params(ctx: Result::CollectingContext[OkType, ErrType]).returns(OkType) }
+    def unwrap_in(ctx); end
+
     sig { abstract.params(message: String).returns(OkType) }
     def expect!(message); end
 
@@ -157,6 +161,43 @@ module Mangrove
       def err_wt(_t_ok, inner)
         Result::Err[T.type_parameter(:ErrType)].new(inner)
       end
+
+      sig {
+        type_parameters(:O, :E)
+          .params(
+            _t_ok: T::Class[T.type_parameter(:O)],
+            _t_err: T::Class[T.type_parameter(:E)],
+            block: T.proc.params(
+              do_block: CollectingContext[T.type_parameter(:O), T.type_parameter(:E)]
+            ).returns(Mangrove::Result[T.type_parameter(:O), T.type_parameter(:E)])
+          )
+          .returns(Mangrove::Result[T.type_parameter(:O), T.type_parameter(:E)])
+      }
+      def collecting(_t_ok, _t_err, &block)
+        catch(:__mangrove_result_collecting_context_return) {
+          block.call(CollectingContext[T.type_parameter(:O), T.type_parameter(:E)].new)
+        }
+      end
+    end
+
+    class CollectingContext
+      extend T::Sig
+      extend T::Generic
+
+      O = type_member
+      E = type_member
+
+      sig { params(result: Mangrove::Result[O, E]).returns(O) }
+      def try!(result)
+        case result
+        when Mangrove::Result::Ok
+          result.ok_inner
+        when Mangrove::Result::Err
+          throw :__mangrove_result_collecting_context_return, result
+        else
+          T.absurd(result)
+        end
+      end
     end
 
     class Ok
@@ -212,6 +253,11 @@ module Mangrove
         @inner
       end
 
+      sig { override.params(_ctx: Result::CollectingContext[OkType, ErrType]).returns(OkType) }
+      def unwrap_in(_ctx)
+        @inner
+      end
+
       sig { override.params(_message: String).returns(OkType) }
       def expect!(_message)
         @inner
@@ -398,6 +444,11 @@ module Mangrove
         raise T.unsafe(@inner)
       end
 
+      sig { override.params(_ctx: Result::CollectingContext[OkType, ErrType]).returns(T.noreturn) }
+      def unwrap_in(_ctx)
+        throw :__mangrove_result_collecting_context_return, self
+      end
+
       sig { override.params(message: String).returns(OkType) }
       def expect!(message)
         raise Result::ControlSignal, message

data/lib/mangrove/version.rb

@@ -2,5 +2,5 @@
 # frozen_string_literal: true
 
 module Mangrove
-  VERSION = "0.31.0"
+  VERSION = "0.35.0"
 end

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

@@ -0,0 +1,40 @@
+# typed: strict
+# frozen_string_literal: true
+
+require "mangrove/result/ext"
+require "tapioca/dsl"
+require "sorbet-runtime"
+
+module Tapioca
+  module Compilers
+    class MangroveResultExt < Tapioca::Dsl::Compiler
+      extend T::Sig
+
+      ConstantType = type_member { { fixed: T.class_of(Mangrove::Result::Ext) } }
+
+      sig { override.returns(T::Enumerable[Module]) }
+      def self.gather_constants
+        all_classes.select { |c| c < ::Mangrove::Result::Ext }
+      end
+
+      sig { override.void }
+      def decorate
+        return unless valid_constant_name?(constant.to_s)
+
+        root.create_path(constant) do |klass|
+          klass.create_method("in_ok", return_type: "Mangrove::Result::Ok[#{constant}]")
+          klass.create_method("in_err", return_type: "Mangrove::Result::Err[#{constant}]")
+        end
+      rescue NameError
+        # 握りつぶす
+      end
+
+      private
+
+      sig { params(string: String).returns(T::Boolean) }
+      def valid_constant_name?(string)
+        Object.const_defined?(string) && !!(string =~ /\A[A-Z][a-zA-Z0-9_]*\z/)
+      end
+    end
+  end
+end

data/sorbet/config

@@ -3,3 +3,4 @@
 --ignore=tmp/
 --ignore=vendor/
 --enable-experimental-requires-ancestor
+--disable-watchman