decide.rb 0.1.0 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7b7afded6cbe7cf6fd572d9a7779875e901dbe81b25292847eea0377a549538c
-  data.tar.gz: 713abc6c3365c06b611a254859bb83fe0a642c26bef2ee51c8c53eb075c47e72
+  metadata.gz: 1d042a0810111e7fcb0f9226ad109b20903a8305689df72d25a04caaa17deeff
+  data.tar.gz: d45f4d9aa5edc832dbdf303c8b0ba2e5aa6b7293c8c00614f9f8dfc69186c5c3
 SHA512:
-  metadata.gz: 969092990e15943086821f2821d44d73e6bff46e77aa865904cf8152dd4cdadc65a979bfa6edd241583f2aee2748fd229b86f5e2a188fd04c9306c1b5209c963
-  data.tar.gz: 29b205b6af520c32e971c6e6a5691f9d4cd4e745a0290fd932ee96217018a69a7429722eb7fa3c66b74e204f10529406075cf6e3e2aa8e89af053139f86c9838
+  metadata.gz: bf2b770bdabf04def99cbb942d6de633b00a9be6637adec05e81ad52228022e92e0cfc8e71e2e9ac12501febcdb411386242eb341d25e4d0be8f52b62f761ff6
+  data.tar.gz: 614461548e7859a8524cbd6e29961790443e89a10e69d49ec690448af7204afb04a71bf984e8825de3d7b57496753e836e98c0b7ff9c4475d2715838ffaa0075

data/CHANGELOG.md

@@ -1,3 +1,8 @@
+# 0.2.0
+
+* Added `terminal?` function
+* `Decider.compose(left, right)`
+
 # 0.1.0
 
 * Initial release

data/README.md

@@ -19,7 +19,7 @@ gem "decide.rb"
 ## Usage
 
 ```ruby
-require "decide.rb"
+require "decider"
 
 module Commands
   Increase = Data.define
@@ -31,10 +31,10 @@ module Events
   ValueDecreased = Data.define
 end
 
-ValueDecider = Decider.define do
-  MIN = 0
-  MAX = 100
+MIN = 0
+MAX = 100
 
+ValueDecider = Decider.define do
   # define intial state
   state value: 0 do
     # you can define custom methods on state
@@ -75,6 +75,10 @@ ValueDecider = Decider.define do
     # state is immutable Data object
     state.with(value: state.value - 1)
   end
+
+  terminal? do |state|
+    state <= 0
+  end
 end
 
 state = ValueDecider.initial_state
@@ -82,6 +86,53 @@ events = ValueDecider.decide(Commands::Increase.new, state)
 new_state = events.reduce(state) { |state, event| ValueDecider.evolve(state, events)
 ```
 
+You can also compose deciders:
+
+```ruby
+left = Decider.define do
+  state value: 0
+
+  decide Commands::LeftCommand do |command, state|
+    [Events::LeftEvent.new(value: command.value)]
+  end
+
+  evolve Events::LeftEvent do |state, event|
+    state.with(value: state.value + 1)
+  end
+
+  terminal? do |state|
+    state <= 0
+  end
+end
+
+right = Decider.define do
+  state value: 0
+
+  decide Commands::RightCommand do |command, state|
+    [Events::RightEvent.new(value: command.value)]
+  end
+
+  evolve Events::RightEvent do |state, event|
+    state.with(value: state.value + 1)
+  end
+
+  terminal? do |state|
+    state <= 0
+  end
+end
+
+Composition = Decider.compose(left, right)
+
+state = Composition.initial_state
+#> #<data left=#<data value=0>, right=#<data value=0>>
+
+events = Composition.decide(Commands::LeftCommand.new(value: 1), state)
+#> [#<data value=1>]
+
+state = events.reduce(state, &Composition.method(:evolve))
+#> #<data left=#<data value=1>, right=#<data value=0>>
+```
+
 ## Development
 
 After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake test` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.

data/Steepfile

@@ -0,0 +1,26 @@
+D = Steep::Diagnostic
+
+target :lib do
+  signature "sig"
+
+  check "lib"
+  check "Gemfile"
+
+  # library "pathname"              # Standard libraries
+  # library "strong_json"           # Gems
+
+  # configure_code_diagnostics(D::Ruby.strict)       # `strict` diagnostics setting
+  configure_code_diagnostics(D::Ruby.lenient)      # `lenient` diagnostics setting
+  # configure_code_diagnostics(D::Ruby.silent)       # `silent` diagnostics setting
+  # configure_code_diagnostics do |hash|             # You can setup everything yourself
+  #   hash[D::Ruby::NoMethod] = :information
+  # end
+end
+
+# target :test do
+#   signature "sig", "sig-private"
+
+#   check "test"
+
+#   # library "pathname"              # Standard libraries
+# end

data/lib/decider/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Decider
-  VERSION = "0.1.0"
+  VERSION = "0.2.0"
 end

data/lib/decider.rb

@@ -5,11 +5,19 @@ module Decider
   StateNotDefined = Class.new(StandardError)
 
   class Module < ::Module
-    def initialize(initial_state_args:, deciders:, evolvers:)
+    def initialize(initial_state_args:, deciders:, evolvers:, terminal:)
       define_method(:initial_state) do
         new(**initial_state_args)
       end
 
+      define_method(:commands) do
+        deciders.keys
+      end
+
+      define_method(:events) do
+        evolvers.keys
+      end
+
       define_method(:decide) do |command, state|
         handler = deciders.fetch(command.class) {
           raise ArgumentError, "Unknown command: #{command.class}"
@@ -25,6 +33,10 @@ module Decider
 
         handler.call(state, event)
       end
+
+      define_method(:terminal?) do |state|
+        terminal.call(state)
+      end
     end
   end
 
@@ -37,6 +49,7 @@ module Decider
       @state = DEFAULT
       @deciders = {}
       @evolvers = {}
+      @terminal = ->(_state) { false }
     end
 
     def build(&block)
@@ -47,7 +60,8 @@ module Decider
       @module = Module.new(
         initial_state_args: initial_state_args,
         deciders: deciders,
-        evolvers: evolvers
+        evolvers: evolvers,
+        terminal: terminal
       )
 
       @state.extend(@module)
@@ -57,7 +71,7 @@ module Decider
 
     private
 
-    attr_reader :initial_state_args, :deciders, :evolvers
+    attr_reader :initial_state_args, :deciders, :evolvers, :terminal
 
     def state(**kwargs, &block)
       raise StateAlreadyDefined if @state != DEFAULT
@@ -73,6 +87,10 @@ module Decider
     def evolve(event, &block)
       evolvers[event] = block
     end
+
+    def terminal?(&block)
+      @terminal = block
+    end
   end
   private_constant :Builder
 
@@ -80,4 +98,42 @@ module Decider
     builder = Builder.new
     builder.build(&block)
   end
+
+  def self.compose(left, right)
+    define do
+      state left: left.initial_state, right: right.initial_state
+
+      left.commands.each do |klass|
+        decide klass do |command, state|
+          left.decide(command, state.left)
+        end
+      end
+
+      right.commands.each do |klass|
+        decide klass do |command, state|
+          right.decide(command, state.right)
+        end
+      end
+
+      left.events.each do |klass|
+        evolve klass do |state, event|
+          state.with(
+            left: left.evolve(state.left, event)
+          )
+        end
+      end
+
+      right.events.each do |klass|
+        evolve klass do |state, event|
+          state.with(
+            right: right.evolve(state.right, event)
+          )
+        end
+      end
+
+      terminal? do |state|
+        left.terminal?(state.left) && right.terminal?(state.right)
+      end
+    end
+  end
 end

data/sig/decider.rbs

@@ -1,3 +1,16 @@
 module Decider
   VERSION: String
+
+  interface _Decider[C, S, E]
+    def decide: (C, S) -> Array[E]
+
+    def evolve: (S, E) -> S
+
+    def initial_state: () -> S
+
+    def terminal?: (S) -> bool
+  end
+
+  def self.compose: [C1, S1, E1, C2, S2, E2] (_Decider[C1, S1, E1], _Decider[C2, S2, E2]) -> _Decider[C1 | C2, S1 & S2, E1 | E2]
+  def self.define: [C, S, E] () -> _Decider[C, S, E]
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: decide.rb
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.2.0
 platform: ruby
 authors:
 - Jan Dudulski
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-10-20 00:00:00.000000000 Z
+date: 2024-11-04 00:00:00.000000000 Z
 dependencies: []
 description: Functional Event Sourcing Decider in Ruby
 email:
@@ -22,19 +22,20 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
+- Steepfile
 - lib/decider.rb
 - lib/decider/version.rb
 - sig/decider.rbs
-homepage: https://github.com/jandudulski/decider.rb
+homepage: https://github.com/jandudulski/decide.rb
 licenses:
 - MIT
 metadata:
   allowed_push_host: https://rubygems.org
-  bug_tracker_uri: https://github.com/jandudulski/decider.rb/issues
-  changelog_uri: https://github.com/jandudulski/decider.rb/CHANGELOG.md
-  documentation_uri: https://github.com/jandudulski/decider.rb
-  homepage_uri: https://github.com/jandudulski/decider.rb
-  source_code_uri: https://github.com/jandudulski/decider.rb
+  bug_tracker_uri: https://github.com/jandudulski/decide.rb/issues
+  changelog_uri: https://github.com/jandudulski/decide.rb/CHANGELOG.md
+  documentation_uri: https://github.com/jandudulski/decide.rb
+  homepage_uri: https://github.com/jandudulski/decide.rb
+  source_code_uri: https://github.com/jandudulski/decide.rb
 post_install_message:
 rdoc_options: []
 require_paths: