dry-logic 0.1.4 → 0.2.0

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: dry-logic
 version: !ruby/object:Gem::Version
-  version: 0.1.4
+  version: 0.2.0
 platform: ruby
 authors:
 - Piotr Solnica
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-01-27 00:00:00.000000000 Z
+date: 2016-03-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: dry-container
@@ -107,23 +107,27 @@ files:
 - examples/basic.rb
 - lib/dry-logic.rb
 - lib/dry/logic.rb
+- lib/dry/logic/evaluator.rb
 - lib/dry/logic/predicate.rb
 - lib/dry/logic/predicate_set.rb
 - lib/dry/logic/predicates.rb
 - lib/dry/logic/result.rb
+- lib/dry/logic/result/each.rb
+- lib/dry/logic/result/multi.rb
+- lib/dry/logic/result/named.rb
+- lib/dry/logic/result/set.rb
+- lib/dry/logic/result/value.rb
 - lib/dry/logic/rule.rb
 - lib/dry/logic/rule/attr.rb
 - lib/dry/logic/rule/check.rb
 - lib/dry/logic/rule/composite.rb
 - lib/dry/logic/rule/each.rb
-- lib/dry/logic/rule/group.rb
 - lib/dry/logic/rule/key.rb
-- lib/dry/logic/rule/result.rb
+- lib/dry/logic/rule/negation.rb
 - lib/dry/logic/rule/set.rb
 - lib/dry/logic/rule/value.rb
 - lib/dry/logic/rule_compiler.rb
 - lib/dry/logic/version.rb
-- rakelib/rubocop.rake
 - spec/shared/predicates.rb
 - spec/spec_helper.rb
 - spec/unit/predicate_spec.rb
@@ -158,10 +162,9 @@ files:
 - spec/unit/rule/conjunction_spec.rb
 - spec/unit/rule/disjunction_spec.rb
 - spec/unit/rule/each_spec.rb
-- spec/unit/rule/group_spec.rb
+- spec/unit/rule/exclusive_disjunction_spec.rb
 - spec/unit/rule/implication_spec.rb
 - spec/unit/rule/key_spec.rb
-- spec/unit/rule/result_spec.rb
 - spec/unit/rule/set_spec.rb
 - spec/unit/rule/value_spec.rb
 - spec/unit/rule_compiler_spec.rb
@@ -224,10 +227,10 @@ test_files:
 - spec/unit/rule/conjunction_spec.rb
 - spec/unit/rule/disjunction_spec.rb
 - spec/unit/rule/each_spec.rb
-- spec/unit/rule/group_spec.rb
+- spec/unit/rule/exclusive_disjunction_spec.rb
 - spec/unit/rule/implication_spec.rb
 - spec/unit/rule/key_spec.rb
-- spec/unit/rule/result_spec.rb
 - spec/unit/rule/set_spec.rb
 - spec/unit/rule/value_spec.rb
 - spec/unit/rule_compiler_spec.rb
+has_rdoc: 

data/lib/dry/logic/rule/group.rb

@@ -1,21 +0,0 @@
-module Dry
-  module Logic
-    class Rule::Group < Rule
-      attr_reader :rules
-
-      def initialize(identifier, predicate)
-        name, rules = identifier.to_a.first
-        @rules = rules
-        super(name, predicate)
-      end
-
-      def call(*input)
-        Logic.Result(input, predicate.(*input), self)
-      end
-
-      def type
-        :group
-      end
-    end
-  end
-end

data/lib/dry/logic/rule/result.rb

@@ -1,33 +0,0 @@
-module Dry
-  module Logic
-    class Rule::Result < Rule
-      def call(input)
-        result = if name.is_a?(Hash)
-                   parent, _ = name.to_a.flatten
-                   input[parent]
-                 else
-                   input[name]
-                 end
-
-        if result.success?
-          Result::Wrapped.new(input, predicate.(evaluate_input(input)), self)
-        else
-          result
-        end
-      end
-
-      def evaluate_input(result)
-        if name.is_a?(Hash)
-          parent, child = name.to_a.flatten
-          result[parent].input[child]
-        else
-          result[name].input
-        end
-      end
-
-      def type
-        :res
-      end
-    end
-  end
-end

data/rakelib/rubocop.rake

@@ -1,18 +0,0 @@
-begin
-  require 'rubocop/rake_task'
-
-  Rake::Task[:default].enhance [:rubocop]
-
-  RuboCop::RakeTask.new do |task|
-    task.options << '--display-cop-names'
-  end
-
-  namespace :rubocop do
-    desc 'Generate a configuration file acting as a TODO list.'
-    task :auto_gen_config do
-      exec 'bundle exec rubocop --auto-gen-config'
-    end
-  end
-
-rescue LoadError
-end

data/spec/unit/rule/group_spec.rb

@@ -1,12 +0,0 @@
-RSpec.describe Rule::Group do
-  include_context 'predicates'
-
-  subject(:rule) { Rule::Group.new([:pass, :pass_confirm], eql?) }
-
-  describe '#call' do
-    it 'calls predicate with result values' do
-      expect(rule.('foo', 'foo')).to be_success
-      expect(rule.('foo', 'bar')).to be_failure
-    end
-  end
-end

data/spec/unit/rule/result_spec.rb

@@ -1,102 +0,0 @@
-require 'dry/logic/rule/result'
-
-RSpec.describe Dry::Logic::Rule::Result do
-  subject(:rule) { Dry::Logic::Rule::Result.new(:name, min_size?.curry(4)) }
-
-  include_context 'predicates'
-
-  let(:is_str) { Dry::Logic::Rule::Value.new(:name, str?) }
-  let(:is_hash) { Dry::Logic::Rule::Value.new(:name, hash?) }
-  let(:is_jane) { Dry::Logic::Rule::Result.new(:name, eql?.curry('jane')) }
-  let(:is_john) { Dry::Logic::Rule::Result.new(:name, eql?.curry('john')) }
-
-  describe '#call' do
-    it 'returns result of a predicate' do
-      expect(rule.(name: is_str.('jane'))).to be_success
-      expect(rule.(name: is_str.('jan'))).to be_failure
-      expect(rule.(name: is_str.(nil))).to be_failure
-    end
-
-    it 'evaluates successful input for the ast' do
-      expect(rule.(name: is_str.('jane')).to_ary).to eql([
-        :input, [
-          :name, 'jane', [[:res, [:name, [:predicate, [:min_size?, [4]]]]]]
-        ]
-      ])
-    end
-
-    it 'evaluates failed input for the ast' do
-      expect(rule.(name: is_str.(:john)).to_ary).to eql([
-        :input, [
-          :name, :john, [[:val, [:name, [:predicate, [:str?, []]]]]]
-        ]
-      ])
-    end
-  end
-
-  describe '#call with nested result' do
-    subject(:rule) do
-      Dry::Logic::Rule::Result.new({ user: :address }, str?)
-    end
-
-    it 'evaluates the input' do
-      expect(rule.(user: is_hash.(address: 'Earth'))).to be_success
-    end
-  end
-
-  describe '#and' do
-    let(:conjunction) { rule.and(is_jane) }
-
-    it 'returns result of a conjunction' do
-      expect(conjunction.(name: is_str.('jane'))).to be_success
-      expect(conjunction.(name: is_str.('john'))).to be_failure
-    end
-
-    it 'evaluates input for the ast' do
-      expect(conjunction.(name: is_str.('john')).to_ary).to eql([
-        :input, [
-          :name, 'john', [[:res, [:name, [:predicate, [:eql?, ['jane']]]]]]
-        ]
-      ])
-    end
-  end
-
-  describe '#xor' do
-    let(:xor) { rule.xor(is_john) }
-
-    it 'returns result of an exclusive disjunction' do
-      expect(xor.(name: is_str.('jane'))).to be_success
-      expect(xor.(name: is_str.('john'))).to be_failure
-    end
-
-    it 'evaluates input for the ast' do
-      result = xor.(name: is_str.('john'))
-
-      expect(result.to_ary).to eql([
-        :input, [
-          :name, 'john', [[:res, [:name, [:predicate, [:min_size?, [4]]]]]]
-        ]
-      ])
-    end
-  end
-
-  describe '#then' do
-    let(:implication) { rule.then(is_jane) }
-
-    it 'returns result of an exclusive disjunction' do
-      expect(implication.(name: is_str.('jane'))).to be_success
-      expect(implication.(name: is_str.(nil))).to be_success
-      expect(implication.(name: is_str.('john'))).to be_failure
-    end
-
-    it 'evaluates input for the ast' do
-      result = implication.(name: is_str.('john'))
-
-      expect(result.to_ary).to eql([
-        :input, [
-          :name, 'john', [[:res, [:name, [:predicate, [:eql?, ['jane']]]]]]
-        ]
-      ])
-    end
-  end
-end