lite-validation 0.0.1

data/lib/lite/validation/validator/ruling/refute.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require_relative 'abstract/invalid'
+
+module Lite
+  module Validation
+    module Validator
+      module Ruling
+        class Refute < Ruling::Abstract::Invalid
+          module Abstract; end
+
+          class Raw < Ruling::Abstract::Invalid::Raw
+            include Abstract
+          end
+
+          include Abstract
+        end
+      end
+    end
+  end
+end

data/lib/lite/validation/validator/ruling.rb

@@ -0,0 +1,53 @@
+# frozen_string_literal: true
+
+require_relative 'ruling/pass'
+require_relative 'ruling/commit'
+require_relative 'ruling/invalidate'
+require_relative 'ruling/dispute'
+require_relative 'ruling/refute'
+
+require_relative '../error'
+
+module Lite
+  module Validation
+    module Validator
+      module Ruling
+        def self.apply(ruling, result, coordinator)
+          case ruling
+          when Commit then result.commit(ruling.value)
+          when Dispute::Abstract then result.dispute(ruling.structured_error(coordinator))
+          when Refute::Abstract then result.refute(ruling.structured_error(coordinator))
+          when Pass then result
+          else raise Error::Fatal, "Ruling expected, got: #{ruling.inspect}"
+          end
+        end
+
+        module Constructors
+          # rubocop:disable Naming/MethodName
+          def Pass
+            Pass
+          end
+
+          def Commit(value)
+            Ruling::Commit.new(value)
+          end
+
+          def Invalidate(error, **opts)
+            Ruling::Invalidate.instance(error, **opts)
+          end
+
+          def Dispute(error, **opts)
+            Ruling::Dispute.instance(error, **opts)
+          end
+
+          def Refute(error, **opts)
+            Ruling::Refute.instance(error, **opts)
+          end
+          # rubocop:enable Naming/MethodName
+        end
+
+        extend Constructors
+      end
+    end
+  end
+end

data/lib/lite/validation/validator/state/instance.rb

@@ -0,0 +1,46 @@
+# frozen_string_literal: true
+
+require 'lite/data'
+
+require_relative 'unwrap_strategy'
+require_relative 'merge_strategy'
+
+module Lite
+  module Validation
+    module Validator
+      module State
+        class Instance
+          Lite::Data.define(self, args: [:coordinator], kwargs: %i[context merge_strategy unwrap_strategy])
+
+          def value_definite
+            return self if unwrap_strategy == UnwrapStrategy::Value
+
+            with(unwrap_strategy: UnwrapStrategy::Value)
+          end
+
+          def value_optional
+            return self if unwrap_strategy == UnwrapStrategy::Option
+
+            with(unwrap_strategy: UnwrapStrategy::Option)
+          end
+
+          def critical(section_start, error_generator)
+            merge_strategy = MergeStrategy::Critical.new(section_start, error_generator)
+
+            with(merge_strategy: merge_strategy)
+          end
+
+          def non_critical
+            return self if merge_strategy == MergeStrategy::Standard
+
+            with(merge_strategy: MergeStrategy::Standard)
+          end
+
+          def inspect
+            "#<State context=#{context.inspect} merge=#{merge_strategy.inspect} unwrap=#{unwrap_strategy.inspect}"
+          end
+        end
+      end
+    end
+  end
+end

data/lib/lite/validation/validator/state/merge_strategy.rb

@@ -0,0 +1,50 @@
+# frozen_string_literal: true
+
+module Lite
+  module Validation
+    module Validator
+      module State
+        module MergeStrategy
+          module Standard
+            def self.transform_result(result, _origin, _partial_path)
+              result
+            end
+
+            def self.inspect
+              '#<MergeStrategy::Standard>'
+            end
+          end
+
+          class Critical
+            def initialize(section_start, error_generator)
+              @section_start = section_start
+              @error_generator = error_generator
+              freeze
+            end
+
+            def transform_result(result, origin, partial_path)
+              return result unless result.refuted?
+              return result if partial_path.nil? || partial_path.empty?
+
+              error = result.fall_through ? result.error : transform_error(result.error, origin, partial_path)
+              origin.result.refute(error, fall_through: true)
+            end
+
+            def transform_error(error, origin, partial_path)
+              trace = origin.path_to(section_start)
+              error_generator.call(error, trace + partial_path)
+            end
+
+            def inspect
+              '#<MergeStrategy::Critical>'
+            end
+
+            private
+
+            attr_reader :section_start, :error_generator
+          end
+        end
+      end
+    end
+  end
+end

data/lib/lite/validation/validator/state/unwrap_strategy.rb

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+
+module Lite
+  module Validation
+    module Validator
+      module State
+        module UnwrapStrategy
+          module Value
+            def self.unwrap(option, _coordinator)
+              option.unwrap
+            end
+
+            def self.inspect
+              '#<UnwrapStrategy::Value>'
+            end
+          end
+
+          module Option
+            def self.unwrap(option, coordinator)
+              option.to_option(coordinator)
+            end
+
+            def self.inspect
+              '#<UnwrapStrategy::Option>'
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/lib/lite/validation/validator/state.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require_relative 'state/merge_strategy'
+require_relative 'state/instance'
+
+module Lite
+  module Validation
+    module Validator
+      module State
+        def self.initial(coordinator, context: nil)
+          Instance.new(
+            coordinator,
+            context: context,
+            merge_strategy: MergeStrategy::Standard,
+            unwrap_strategy: UnwrapStrategy::Value
+          )
+        end
+      end
+    end
+  end
+end

data/lib/lite/validation/validator.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+require_relative 'validator/node'
+require_relative 'validator/coordinator'
+require_relative 'validator/predicate'
+
+module Lite
+  module Validation
+    module Validator
+      def self.instance(*args, **opts)
+        Node::Root.initial(*args, **opts)
+      end
+    end
+  end
+end

data/lib/lite/validation/version.rb

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+module Lite
+  module Validation
+    module Version
+      VERSION = '0.0.1'
+    end
+  end
+end

data/lib/lite/validation.rb

@@ -0,0 +1,8 @@
+# frozen_string_literal: true
+
+require_relative 'validation/validator'
+
+module Lite
+  module Validation
+  end
+end

metadata

@@ -0,0 +1,196 @@
+--- !ruby/object:Gem::Specification
+name: lite-validation
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Tomas Milsimer
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2025-09-06 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: lite-data
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: 'Validation of complex structures
+
+  '
+email:
+- tomas.milsimer@protonmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".rubocop.yml"
+- Gemfile
+- README.md
+- bench/calibrational.rb
+- bench/comparative.rb
+- bench/functional.rb
+- bench/profile.rb
+- lib/lite/validation.rb
+- lib/lite/validation/adapters/interfaces/dry.rb
+- lib/lite/validation/error.rb
+- lib/lite/validation/result/abstract.rb
+- lib/lite/validation/result/abstract/disputable.rb
+- lib/lite/validation/result/abstract/failure.rb
+- lib/lite/validation/result/abstract/refutable.rb
+- lib/lite/validation/result/abstract/success.rb
+- lib/lite/validation/structured_error.rb
+- lib/lite/validation/structured_error/record.rb
+- lib/lite/validation/validator.rb
+- lib/lite/validation/validator/adapters/errors/default.rb
+- lib/lite/validation/validator/adapters/interfaces/default.rb
+- lib/lite/validation/validator/adapters/interfaces/dry.rb
+- lib/lite/validation/validator/adapters/predicates/dry.rb
+- lib/lite/validation/validator/adapters/predicates/dry/adapter.rb
+- lib/lite/validation/validator/adapters/predicates/dry/builder.rb
+- lib/lite/validation/validator/adapters/predicates/dry/engine.rb
+- lib/lite/validation/validator/coordinator.rb
+- lib/lite/validation/validator/coordinator/builder.rb
+- lib/lite/validation/validator/coordinator/default.rb
+- lib/lite/validation/validator/coordinator/errors/builder.rb
+- lib/lite/validation/validator/coordinator/errors/dry.rb
+- lib/lite/validation/validator/coordinator/errors/flat.rb
+- lib/lite/validation/validator/coordinator/errors/hierarchical.rb
+- lib/lite/validation/validator/coordinator/instance.rb
+- lib/lite/validation/validator/helpers/path.rb
+- lib/lite/validation/validator/node.rb
+- lib/lite/validation/validator/node/abstract.rb
+- lib/lite/validation/validator/node/abstract/branch.rb
+- lib/lite/validation/validator/node/abstract/instance.rb
+- lib/lite/validation/validator/node/abstract/leaf.rb
+- lib/lite/validation/validator/node/child.rb
+- lib/lite/validation/validator/node/implementation/apply_ruling.rb
+- lib/lite/validation/validator/node/implementation/dig.rb
+- lib/lite/validation/validator/node/implementation/helpers/call_foreign.rb
+- lib/lite/validation/validator/node/implementation/helpers/with_result.rb
+- lib/lite/validation/validator/node/implementation/helpers/yield_strategy.rb
+- lib/lite/validation/validator/node/implementation/helpers/yield_validator.rb
+- lib/lite/validation/validator/node/implementation/identity.rb
+- lib/lite/validation/validator/node/implementation/iteration.rb
+- lib/lite/validation/validator/node/implementation/iteration/iterator.rb
+- lib/lite/validation/validator/node/implementation/navigation.rb
+- lib/lite/validation/validator/node/implementation/predication.rb
+- lib/lite/validation/validator/node/implementation/scoping.rb
+- lib/lite/validation/validator/node/implementation/scoping/evaluator.rb
+- lib/lite/validation/validator/node/implementation/validation.rb
+- lib/lite/validation/validator/node/implementation/wrap.rb
+- lib/lite/validation/validator/node/root.rb
+- lib/lite/validation/validator/node/suspended.rb
+- lib/lite/validation/validator/option.rb
+- lib/lite/validation/validator/option/none.rb
+- lib/lite/validation/validator/option/some.rb
+- lib/lite/validation/validator/option/some/abstract.rb
+- lib/lite/validation/validator/option/some/complex.rb
+- lib/lite/validation/validator/option/some/complex/registry.rb
+- lib/lite/validation/validator/option/some/complex/registry/abstract.rb
+- lib/lite/validation/validator/option/some/complex/registry/node.rb
+- lib/lite/validation/validator/option/some/complex/registry/root.rb
+- lib/lite/validation/validator/option/some/complex/wrappers.rb
+- lib/lite/validation/validator/option/some/complex/wrappers/abstract.rb
+- lib/lite/validation/validator/option/some/complex/wrappers/abstract/iterable.rb
+- lib/lite/validation/validator/option/some/complex/wrappers/abstract/non_iterable.rb
+- lib/lite/validation/validator/option/some/complex/wrappers/array.rb
+- lib/lite/validation/validator/option/some/complex/wrappers/hash.rb
+- lib/lite/validation/validator/option/some/complex/wrappers/object.rb
+- lib/lite/validation/validator/option/some/complex/wrappers/tuple.rb
+- lib/lite/validation/validator/option/some/dig.rb
+- lib/lite/validation/validator/option/some/simple.rb
+- lib/lite/validation/validator/option/some/singular.rb
+- lib/lite/validation/validator/predicate.rb
+- lib/lite/validation/validator/predicate/abstract/variants.rb
+- lib/lite/validation/validator/predicate/foreign/adapter/input.rb
+- lib/lite/validation/validator/predicate/foreign/adapter/input/single.rb
+- lib/lite/validation/validator/predicate/foreign/adapter/input/tuple.rb
+- lib/lite/validation/validator/predicate/foreign/adapter/ruling.rb
+- lib/lite/validation/validator/predicate/foreign/adapter/ruling/instance.rb
+- lib/lite/validation/validator/predicate/foreign/engine.rb
+- lib/lite/validation/validator/predicate/foreign/variant.rb
+- lib/lite/validation/validator/predicate/foreign/variants.rb
+- lib/lite/validation/validator/predicate/native/builder.rb
+- lib/lite/validation/validator/predicate/native/definite.rb
+- lib/lite/validation/validator/predicate/native/instance.rb
+- lib/lite/validation/validator/predicate/native/optional.rb
+- lib/lite/validation/validator/predicate/registry.rb
+- lib/lite/validation/validator/result.rb
+- lib/lite/validation/validator/result/abstract.rb
+- lib/lite/validation/validator/result/abstract/failure.rb
+- lib/lite/validation/validator/result/abstract/instance.rb
+- lib/lite/validation/validator/result/abstract/success.rb
+- lib/lite/validation/validator/result/committed.rb
+- lib/lite/validation/validator/result/disputable.rb
+- lib/lite/validation/validator/result/disputable/hash.rb
+- lib/lite/validation/validator/result/disputable/instance.rb
+- lib/lite/validation/validator/result/disputable/iterable.rb
+- lib/lite/validation/validator/result/disputable/iterable/array.rb
+- lib/lite/validation/validator/result/disputable/navigable.rb
+- lib/lite/validation/validator/result/disputed.rb
+- lib/lite/validation/validator/result/disputed/abstract/hash.rb
+- lib/lite/validation/validator/result/disputed/abstract/instance.rb
+- lib/lite/validation/validator/result/disputed/iterable.rb
+- lib/lite/validation/validator/result/disputed/iterable/array.rb
+- lib/lite/validation/validator/result/disputed/iterable/hash.rb
+- lib/lite/validation/validator/result/disputed/navigable.rb
+- lib/lite/validation/validator/result/refuted.rb
+- lib/lite/validation/validator/result/valid.rb
+- lib/lite/validation/validator/result/valid/abstract/collect.rb
+- lib/lite/validation/validator/result/valid/abstract/commit.rb
+- lib/lite/validation/validator/result/valid/abstract/instance.rb
+- lib/lite/validation/validator/result/valid/iterable.rb
+- lib/lite/validation/validator/result/valid/iterable/array/abstract.rb
+- lib/lite/validation/validator/result/valid/iterable/array/tuples.rb
+- lib/lite/validation/validator/result/valid/iterable/array/values.rb
+- lib/lite/validation/validator/result/valid/iterable/hash.rb
+- lib/lite/validation/validator/result/valid/navigable.rb
+- lib/lite/validation/validator/ruling.rb
+- lib/lite/validation/validator/ruling/abstract.rb
+- lib/lite/validation/validator/ruling/abstract/invalid.rb
+- lib/lite/validation/validator/ruling/abstract/valid.rb
+- lib/lite/validation/validator/ruling/commit.rb
+- lib/lite/validation/validator/ruling/dispute.rb
+- lib/lite/validation/validator/ruling/invalidate.rb
+- lib/lite/validation/validator/ruling/pass.rb
+- lib/lite/validation/validator/ruling/refute.rb
+- lib/lite/validation/validator/state.rb
+- lib/lite/validation/validator/state/instance.rb
+- lib/lite/validation/validator/state/merge_strategy.rb
+- lib/lite/validation/validator/state/unwrap_strategy.rb
+- lib/lite/validation/version.rb
+homepage: https://github.com/lame-impala/lite-validation
+licenses:
+- MIT
+metadata:
+  rubygems_mfa_required: 'true'
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.2.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.5.22
+signing_key: 
+specification_version: 4
+summary: Validation of complex structures
+test_files: []