bcdd-result 0.4.0 → 0.6.0

data/sig/bcdd/result.rbs

@@ -6,14 +6,20 @@ end
 
 class BCDD::Result
   private attr_accessor unknown: bool
+  private attr_reader type_checker: BCDD::Result::Expectations::TypeChecker
 
-  attr_reader _type: BCDD::Result::Type
-  attr_reader value: untyped
+  attr_reader data: BCDD::Result::Data
   attr_reader subject: untyped
 
-  def initialize: (type: Symbol, value: untyped, ?subject: untyped) -> void
+  def initialize: (
+    type: Symbol,
+    value: untyped,
+    ?subject: untyped,
+    ?expectations: BCDD::Result::Expectations::Contract::Evaluator
+  ) -> void
 
   def type: -> Symbol
+  def value: -> untyped
 
   def success?: (?Symbol type) -> bool
   def failure?: (?Symbol type) -> bool
@@ -25,11 +31,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) -> untyped } -> BCDD::Result
+  def and_then: (?Symbol method_name, ?untyped context) ?{ (untyped) -> untyped } -> BCDD::Result
 
-  def handle: { (BCDD::Result::Handler) -> void } -> untyped
-
-  def data: -> BCDD::Result::Data
+  def handle: () { (BCDD::Result::Handler) -> void } -> untyped
 
   def ==: (untyped) -> bool
   def hash: -> Integer
@@ -45,7 +49,7 @@ class BCDD::Result
 
   def name: -> Symbol
   def known: (Proc) -> untyped
-  def call_subject_method: (Symbol) -> BCDD::Result
+  def call_subject_method: (Symbol, untyped) -> BCDD::Result
   def ensure_result_object: (untyped, origin: Symbol) -> BCDD::Result
 end
 
@@ -65,44 +69,26 @@ end
 
 class BCDD::Result
   module Mixin
-    def Success: (Symbol type, ?untyped value) -> BCDD::Result::Success
-
-    def Failure: (Symbol type, ?untyped value) -> BCDD::Result::Failure
-  end
-end
-
-class BCDD::Result
-  class Handler
-    UNDEFINED: Object
+    module Methods
+      def Success: (Symbol type, ?untyped value) -> BCDD::Result::Success
 
-    def initialize: (BCDD::Result) -> void
+      def Failure: (Symbol type, ?untyped value) -> BCDD::Result::Failure
+    end
 
-    def []: (*Symbol) { (untyped, Symbol) -> void } -> untyped
-    def failure: (*Symbol) { (untyped, Symbol) -> void } -> untyped
-    def success: (*Symbol) { (untyped, Symbol) -> void } -> untyped
-    def unknown: () { (untyped, Symbol) -> void } -> untyped
+    module Addons
+      module Continuable
+        include BCDD::Result::Mixin::Methods
 
-    alias type []
+        private def Continue: (untyped) -> BCDD::Result::Success
+      end
 
-    private
+      OPTIONS: Hash[Symbol, Module]
 
-    attr_reader _type: BCDD::Result::Type
-    attr_reader result: BCDD::Result
-
-    def outcome?: -> bool
-    def outcome=: (Proc) -> void
-    def outcome: -> untyped
+      def self.options: (Array[Symbol]) -> Array[Module]
+    end
   end
-end
-
-class BCDD::Result
-  class Type
-    attr_reader to_sym: Symbol
 
-    def initialize: (Symbol) -> void
-
-    def in?: (Array[Symbol], allow_empty: bool) -> bool
-  end
+  def self.mixin: (?with: Array[Symbol]) -> Module
 end
 
 class BCDD::Result
@@ -113,7 +99,7 @@ class BCDD::Result
     attr_reader to_h: Hash[Symbol, untyped]
     attr_reader to_a: [Symbol, Symbol, untyped]
 
-    def initialize: (BCDD::Result) -> void
+    def initialize: (Symbol, Symbol, untyped) -> void
 
     def inspect: -> String
 
@@ -146,5 +132,208 @@ class BCDD::Result
       def self.build: (subject: untyped, method: ::Method)
         -> BCDD::Result::Error::WrongSubjectMethodArity
     end
+
+    class UnhandledTypes < BCDD::Result::Error
+      def self.build: (types: Set[Symbol])
+        -> BCDD::Result::Error::UnhandledTypes
+    end
+  end
+end
+
+class BCDD::Result
+  class Handler
+    UNDEFINED: Object
+
+    def initialize: (
+      BCDD::Result,
+      type_checker: BCDD::Result::Expectations::TypeChecker
+    ) -> void
+
+    def []: (*Symbol) { (untyped, Symbol) -> void } -> untyped
+    def failure: (*Symbol) { (untyped, Symbol) -> void } -> untyped
+    def success: (*Symbol) { (untyped, Symbol) -> void } -> untyped
+    def unknown: () { (untyped, Symbol) -> void } -> untyped
+
+    alias type []
+
+    private
+
+    attr_reader result: BCDD::Result
+    attr_reader allowed_types: BCDD::Result::Handler::AllowedTypes
+
+    def outcome?: -> bool
+    def outcome=: (Proc) -> void
+    def outcome: -> untyped
+  end
+end
+
+class BCDD::Result::Handler
+  class AllowedTypes
+    attr_reader unchecked: Set[Symbol]
+    attr_reader type_checker: BCDD::Result::Expectations::TypeChecker
+
+    def initialize: (
+      BCDD::Result::Expectations::TypeChecker
+    ) -> void
+
+    def allow?: (Array[Symbol]) -> bool
+    def allow_success?: (Array[Symbol]) -> bool
+    def allow_failure?: (Array[Symbol]) -> bool
+
+    def all_checked?: -> bool
+
+    private
+
+    def check!: (Array[Symbol], bool) -> bool
+  end
+end
+
+class BCDD::Result::Expectations
+  MIXIN_METHODS: String
+
+  def self.mixin: (
+    ?success: Hash[Symbol, untyped] | Array[Symbol],
+    ?failure: Hash[Symbol, untyped] | Array[Symbol]
+  ) -> Module
+
+  def self.evaluate: (
+    BCDD::Result::Data,
+    BCDD::Result::Expectations::Contract::Evaluator
+  ) -> BCDD::Result::Expectations::TypeChecker
+
+  def initialize: (
+    ?subject: untyped,
+    ?success: Hash[Symbol, untyped] | Array[Symbol],
+    ?failure: Hash[Symbol, untyped] | Array[Symbol],
+    ?contract: BCDD::Result::Expectations::Contract::Evaluator
+  ) -> void
+
+  def Success: (Symbol, ?untyped) -> BCDD::Result::Success
+  def Failure: (Symbol, ?untyped) -> BCDD::Result::Failure
+
+  private
+
+  attr_reader subject: untyped
+  attr_reader contract: BCDD::Result::Expectations::Contract::Evaluator
+end
+
+module BCDD::Result::Expectations::Mixin
+  METHODS: String
+
+  module Addons
+    module Continuable
+      private def Continue: (untyped) -> BCDD::Result::Success
+    end
+
+    OPTIONS: Hash[Symbol, Module]
+
+    def self.options: (Array[Symbol]) -> Array[Module]
+  end
+end
+
+module BCDD::Result::Expectations::Contract
+  NONE: BCDD::Result::Expectations::Contract::Evaluator
+
+  ToEnsure: ^(Hash[Symbol, untyped] | Array[Symbol])
+    -> BCDD::Result::Expectations::Contract::Evaluator
+
+  def self.new: (
+    success: Hash[Symbol, untyped] | Array[Symbol],
+    failure: Hash[Symbol, untyped] | Array[Symbol]
+  ) -> BCDD::Result::Expectations::Contract::Evaluator
+end
+
+class BCDD::Result::Expectations
+  class TypeChecker
+    attr_reader result_type: Symbol
+    attr_reader expectations: BCDD::Result::Expectations::Contract::Evaluator
+
+    def initialize: (
+      Symbol,
+      expectations: BCDD::Result::Expectations::Contract::Evaluator
+    ) -> void
+
+    def allow?: (Array[Symbol]) -> bool
+    def allow_success?: (Array[Symbol]) -> bool
+    def allow_failure?: (Array[Symbol]) -> bool
+
+    private
+
+    def validate: (
+      Array[Symbol],
+      expected: BCDD::Result::Expectations::Contract::Interface,
+      allow_empty: bool
+    ) -> bool
+  end
+end
+
+class BCDD::Result::Expectations::Error < BCDD::Result::Error
+  class UnexpectedType < BCDD::Result::Expectations::Error
+    def self.build: (type: Symbol, allowed_types: Set[Symbol])
+        -> BCDD::Result::Expectations::Error::UnexpectedType
+  end
+
+  class UnexpectedValue < BCDD::Result::Expectations::Error
+    def self.build: (type: Symbol, value: untyped)
+      -> BCDD::Result::Expectations::Error::UnexpectedValue
+  end
+end
+
+module BCDD::Result::Expectations::Contract
+  module Interface
+    def ==: (BCDD::Result::Expectations::Contract::Interface) -> bool
+
+    def allowed_types: -> Set[Symbol]
+
+    def type?: (Symbol) -> bool
+
+    def type!: (Symbol) -> Symbol
+
+    def type_and_value!: (BCDD::Result::Data) -> void
+
+    def !=: (untyped) -> bool
+  end
+end
+
+module BCDD::Result::Expectations::Contract
+  module Disabled
+    extend Interface
+
+    EMPTY_SET: Set[Symbol]
+  end
+end
+
+module BCDD::Result::Expectations::Contract
+  class ForTypes
+    include Interface
+
+    def initialize: (Array[Symbol]) -> void
+  end
+end
+
+module BCDD::Result::Expectations::Contract
+  class ForTypesAndValues
+    include Interface
+
+    def initialize: (Hash[Symbol, untyped]) -> void
+  end
+end
+
+module BCDD::Result::Expectations::Contract
+  class Evaluator
+    include Interface
+
+    attr_reader allowed_types: Set[Symbol]
+    attr_reader success: BCDD::Result::Expectations::Contract::Interface
+    attr_reader failure: BCDD::Result::Expectations::Contract::Interface
+
+    def initialize: (
+      BCDD::Result::Expectations::Contract::Interface,
+      BCDD::Result::Expectations::Contract::Interface
+    ) -> void
+
+    private
+
+    def for: (BCDD::Result::Data) -> BCDD::Result::Expectations::Contract::Interface
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: bcdd-result
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.6.0
 platform: ruby
 authors:
 - Rodrigo Serradura
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-09-29 00:00:00.000000000 Z
+date: 2023-10-11 00:00:00.000000000 Z
 dependencies: []
 description: |-
   Empower Ruby apps with a pragmatic use of Railway Oriented Programming.
@@ -31,11 +31,21 @@ files:
 - lib/bcdd/result.rb
 - lib/bcdd/result/data.rb
 - lib/bcdd/result/error.rb
+- lib/bcdd/result/expectations.rb
+- lib/bcdd/result/expectations/contract.rb
+- lib/bcdd/result/expectations/contract/disabled.rb
+- lib/bcdd/result/expectations/contract/evaluator.rb
+- lib/bcdd/result/expectations/contract/for_types.rb
+- lib/bcdd/result/expectations/contract/for_types_and_values.rb
+- lib/bcdd/result/expectations/contract/interface.rb
+- lib/bcdd/result/expectations/error.rb
+- lib/bcdd/result/expectations/mixin.rb
+- lib/bcdd/result/expectations/type_checker.rb
 - lib/bcdd/result/failure.rb
 - lib/bcdd/result/handler.rb
+- lib/bcdd/result/handler/allowed_types.rb
 - lib/bcdd/result/mixin.rb
 - lib/bcdd/result/success.rb
-- lib/bcdd/result/type.rb
 - lib/bcdd/result/version.rb
 - lib/result.rb
 - sig/bcdd/result.rbs

data/lib/bcdd/result/type.rb

@@ -1,17 +0,0 @@
-# frozen_string_literal: true
-
-class BCDD::Result
-  class Type
-    attr_reader :to_sym
-
-    def initialize(type)
-      @to_sym = type.to_sym
-    end
-
-    def in?(types, allow_empty: false)
-      (allow_empty && types.empty?) || types.any?(to_sym)
-    end
-  end
-
-  private_constant :Type
-end