bcdd-result 0.11.0 → 0.12.0

data/sig/bcdd/result/context.rbs

@@ -1,23 +1,28 @@
 class BCDD::Result::Context < BCDD::Result
   EXPECTED_OUTCOME: String
 
-  SubjectMethodArity: ^(Method) -> Integer
+  SourceMethodArity: ^(Method) -> Integer
 
   attr_reader acc: Hash[Symbol, untyped]
 
   def initialize: (
     type: Symbol,
     value: untyped,
-    ?subject: untyped,
+    ?source: untyped,
     ?expectations: BCDD::Result::Contract::Evaluator,
     ?terminal: bool
   ) -> void
 
-  def and_then: (?Symbol, **untyped) ?{ (Hash[Symbol, untyped]) -> untyped } -> BCDD::Result::Context
+  def and_then: (?Symbol, **untyped) ?{ (Hash[Symbol, untyped]) -> untyped } -> untyped
+
+  def and_then!: (untyped, **untyped) -> untyped
 
   private
 
-  def call_and_then_subject_method: (Symbol, Hash[Symbol, untyped]) -> BCDD::Result::Context
+  def call_and_then_source_method: (Symbol, Hash[Symbol, untyped]) -> BCDD::Result::Context
+
+  def call_and_then_callable!: (untyped, value: untyped, injected_value: untyped, method_name: (Symbol | nil)) -> BCDD::Result::Context
+
   def ensure_result_object: (untyped, origin: Symbol) -> BCDD::Result::Context
 
   def raise_unexpected_outcome_error: (BCDD::Result::Context | untyped, Symbol) -> void
@@ -33,6 +38,53 @@ class BCDD::Result::Context
   def self.Success: (Symbol, **untyped) -> BCDD::Result::Context::Success
 end
 
+module BCDD::Result::Context::CallableAndThen
+  class Caller < BCDD::Result::CallableAndThen::Caller
+    module KeyArgs
+      def self.parameters?: (untyped) -> bool
+
+      def self.invalid_arity: (untyped, Symbol) -> BCDD::Result::CallableAndThen::Error::InvalidArity
+    end
+
+    def self.call: (
+      untyped source,
+      value: untyped,
+      injected_value: untyped,
+      method_name: (Symbol | nil),
+    ) -> BCDD::Result::Context
+
+    private
+
+    def self.call_proc!: (
+      untyped source,
+      Hash[Symbol, untyped] value,
+      nil injected_value
+    ) -> BCDD::Result::Context
+
+    def self.call_method!: (
+      untyped source,
+      Method method,
+      Hash[Symbol, untyped] value,
+      nil injected_value
+    ) -> BCDD::Result::Context
+
+    def self.callable_method: (
+      untyped source,
+      (Symbol | nil) method_name
+    ) -> ::Method
+
+    def self.ensure_result_object: (
+      untyped source,
+      untyped value,
+      BCDD::Result::Context result
+    ) -> BCDD::Result::Context
+
+    def self.expected_result_object: () -> singleton(BCDD::Result::Context)
+
+    def self.expected_outcome: () -> String
+  end
+end
+
 class BCDD::Result::Context
   class Failure < BCDD::Result::Context
     include BCDD::Result::Failure::Methods

data/sig/bcdd/result/error.rbs

@@ -13,19 +13,22 @@ class BCDD::Result
           -> BCDD::Result::Error::UnexpectedOutcome
     end
 
-    class InvalidResultSubject < BCDD::Result::Error
-      def self.build: (given_result: BCDD::Result, expected_subject: untyped)
-          -> BCDD::Result::Error::InvalidResultSubject
+    class InvalidResultSource < BCDD::Result::Error
+      def self.build: (given_result: BCDD::Result, expected_source: untyped)
+          -> BCDD::Result::Error::InvalidResultSource
     end
 
-    class InvalidSubjectMethodArity < BCDD::Result::Error
-      def self.build: (subject: untyped, method: Method, max_arity: Integer)
-        -> BCDD::Result::Error::InvalidSubjectMethodArity
+    class InvalidSourceMethodArity < BCDD::Result::Error
+      def self.build: (source: untyped, method: Method, max_arity: Integer)
+        -> BCDD::Result::Error::InvalidSourceMethodArity
     end
 
     class UnhandledTypes < BCDD::Result::Error
       def self.build: (types: Set[Symbol])
         -> BCDD::Result::Error::UnhandledTypes
     end
+
+    class CallableAndThenDisabled < BCDD::Result::Error
+    end
   end
 end

data/sig/bcdd/result/expectations.rbs

@@ -16,14 +16,14 @@ class BCDD::Result::Expectations
   def self.result_factory_without_expectations: -> singleton(BCDD::Result)
 
   def self.new: (
-    ?subject: untyped,
+    ?source: untyped,
     ?contract: BCDD::Result::Contract::Evaluator,
     ?terminal: bool,
     **untyped
   ) -> (BCDD::Result::Expectations | untyped)
 
   def initialize: (
-    ?subject: untyped,
+    ?source: untyped,
     ?contract: BCDD::Result::Contract::Evaluator,
     ?terminal: bool,
     **untyped
@@ -32,13 +32,13 @@ class BCDD::Result::Expectations
   def Success: (Symbol, ?untyped) -> BCDD::Result::Success
   def Failure: (Symbol, ?untyped) -> BCDD::Result::Failure
 
-  def with: (subject: untyped) -> BCDD::Result::Expectations
+  def with: (source: untyped) -> BCDD::Result::Expectations
 
   private
 
   def _ResultAs: (singleton(BCDD::Result), Symbol, untyped) -> untyped
 
-  attr_reader subject: untyped
+  attr_reader source: untyped
   attr_reader contract: BCDD::Result::Contract::Evaluator
   attr_reader terminal: bool
 end

data/sig/bcdd/result/transitions.rbs

@@ -32,7 +32,8 @@ class BCDD::Result
       def parent_value: () -> untyped
       def current_value: () -> untyped
       def insert: (untyped) -> Node
-      def insert!: (untyped) -> Node
+      def insert!: (untyped) -> Tree
+      def move_to!: (Node) -> Tree
       def move_up!: (?Integer level) -> Tree
       def move_down!: (?Integer level) -> Tree
       def move_to_root!: () -> Tree
@@ -54,14 +55,17 @@ class BCDD::Result
         private attr_accessor records: Array[Hash[Symbol, untyped]]
         private attr_accessor root_started_at: Integer
 
-        def start: (name: String, desc: String) -> void
-        def finish: (result: BCDD::Result) -> void
+        def exec: (String, String) { () -> untyped } -> BCDD::Result
         def reset!: () -> void
         def record: (BCDD::Result) -> void
         def record_and_then: ((untyped), untyped, untyped) { () -> BCDD::Result } -> BCDD::Result
+        def reset_and_then!: () -> void
 
         private
 
+        def start: (String, String) -> void
+        def finish: (BCDD::Result) -> void
+
         TreeNodeValueNormalizer: ^(Integer, Array[untyped]) -> untyped
 
         def root_start: (Array[untyped]) -> void
@@ -72,11 +76,16 @@ class BCDD::Result
       end
 
       module Disabled
-        def self.start: (name: String, desc: String) -> void
-        def self.finish: (result: BCDD::Result) -> void
+        def self.exec: (String, String) { () -> untyped } -> BCDD::Result
         def self.reset!: () -> void
         def self.record: (BCDD::Result) -> void
         def self.record_and_then: ((untyped), untyped, untyped) { () -> BCDD::Result } -> BCDD::Result
+        def self.reset_and_then!: () -> void
+
+        private
+
+        def self.start: (String, String) -> void
+        def self.finish: (BCDD::Result) -> void
       end
 
       def self.instance: () -> (Enabled | singleton(Disabled))
@@ -84,6 +93,8 @@ class BCDD::Result
 
     THREAD_VAR_NAME: Symbol
 
+    EnsureResult: ^(untyped) -> BCDD::Result
+
     def self.tracking: () -> (Tracking::Enabled | singleton(Tracking::Disabled))
   end
 end

data/sig/bcdd/result.rbs

@@ -4,17 +4,18 @@ class BCDD::Result
   private attr_reader type_checker: BCDD::Result::Contract::TypeChecker
 
   attr_reader data: BCDD::Result::Data
-  attr_reader subject: untyped
+  attr_reader source: untyped
   attr_reader terminal: bool
   attr_reader transitions: Hash[Symbol, untyped]
 
   def self.config: -> BCDD::Result::Config
   def self.configuration: { (BCDD::Result::Config) -> void } -> BCDD::Result::Config
+  def self.transitions: { () -> untyped } -> BCDD::Result
 
   def initialize: (
     type: Symbol,
     value: untyped,
-    ?subject: untyped,
+    ?source: untyped,
     ?expectations: BCDD::Result::Contract::Evaluator,
     ?terminal: bool
   ) -> void
@@ -33,7 +34,9 @@ class BCDD::Result
   def on_failure: (*Symbol) { (untyped, Symbol) -> void } -> BCDD::Result
   def on_unknown: () { (untyped, Symbol) -> void } -> BCDD::Result
 
-  def and_then: (?Symbol method_name, ?untyped context) ?{ (untyped) -> untyped } -> untyped
+  def and_then: (?Symbol method_name, ?untyped injected_value) ?{ (untyped) -> untyped } -> untyped
+
+  def and_then!: (untyped, ?untyped injected_value, _call: (Symbol | nil)) -> untyped
 
   def handle: () { (BCDD::Result::Handler) -> void } -> untyped
 
@@ -51,10 +54,11 @@ class BCDD::Result
 
   def kind: -> Symbol
   def known: (Proc) -> untyped
-  def call_and_then_subject_method: (Symbol, untyped) -> BCDD::Result
-  def call_and_then_subject_method!: (untyped, untyped) -> BCDD::Result
+  def call_and_then_source_method: (Symbol, untyped) -> BCDD::Result
+  def call_and_then_source_method!: (untyped, untyped) -> BCDD::Result
   def call_and_then_block: (untyped) -> BCDD::Result
   def call_and_then_block!: (untyped) -> BCDD::Result
+  def call_and_then_callable!: (untyped, value: untyped, injected_value: untyped, method_name: (Symbol | nil)) -> BCDD::Result
   def ensure_result_object: (untyped, origin: Symbol) -> BCDD::Result
 end
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: bcdd-result
 version: !ruby/object:Gem::Version
-  version: 0.11.0
+  version: 0.12.0
 platform: ruby
 authors:
 - Rodrigo Serradura
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-01-02 00:00:00.000000000 Z
+date: 2024-01-08 00:00:00.000000000 Z
 dependencies: []
 description: Empower Ruby apps with pragmatic use of Result pattern (monad), Railway
   Oriented Programming, and B/CDD.
@@ -28,6 +28,10 @@ files:
 - Steepfile
 - lib/bcdd-result.rb
 - lib/bcdd/result.rb
+- lib/bcdd/result/callable_and_then.rb
+- lib/bcdd/result/callable_and_then/caller.rb
+- lib/bcdd/result/callable_and_then/config.rb
+- lib/bcdd/result/callable_and_then/error.rb
 - lib/bcdd/result/config.rb
 - lib/bcdd/result/config/options.rb
 - lib/bcdd/result/config/switcher.rb
@@ -36,6 +40,7 @@ files:
 - lib/bcdd/result/config/switchers/features.rb
 - lib/bcdd/result/config/switchers/pattern_matching.rb
 - lib/bcdd/result/context.rb
+- lib/bcdd/result/context/callable_and_then.rb
 - lib/bcdd/result/context/expectations.rb
 - lib/bcdd/result/context/expectations/mixin.rb
 - lib/bcdd/result/context/failure.rb
@@ -67,6 +72,7 @@ files:
 - lib/bcdd/result/transitions/tree.rb
 - lib/bcdd/result/version.rb
 - sig/bcdd/result.rbs
+- sig/bcdd/result/callable_and_then.rbs
 - sig/bcdd/result/config.rbs
 - sig/bcdd/result/context.rbs
 - sig/bcdd/result/contract.rbs