dry-logic 0.1.0

data/spec/unit/rule/each_spec.rb

@@ -0,0 +1,20 @@
+require 'dry/logic/rule'
+
+RSpec.describe Dry::Logic::Rule::Each do
+  include_context 'predicates'
+
+  subject(:address_rule) do
+    Dry::Logic::Rule::Each.new(:name, is_string)
+  end
+
+  let(:is_string) { Dry::Logic::Rule::Value.new(:name, str?) }
+
+  describe '#call' do
+    it 'applies its rules to all elements in the input' do
+      expect(address_rule.(['Address'])).to be_success
+
+      expect(address_rule.([nil, 'Address'])).to be_failure
+      expect(address_rule.([:Address, 'Address'])).to be_failure
+    end
+  end
+end

data/spec/unit/rule/group_spec.rb

@@ -0,0 +1,12 @@
+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/implication_spec.rb

@@ -0,0 +1,16 @@
+RSpec.describe Rule::Composite::Implication do
+  include_context 'predicates'
+
+  subject(:rule) { Rule::Composite::Implication.new(left, right) }
+
+  let(:left) { Rule::Value.new(:age, int?) }
+  let(:right) { Rule::Value.new(:age, gt?.curry(18)) }
+
+  describe '#call' do
+    it 'calls left and right' do
+      expect(rule.('19')).to be_success
+      expect(rule.(19)).to be_success
+      expect(rule.(18)).to be_failure
+    end
+  end
+end

data/spec/unit/rule/key_spec.rb

@@ -0,0 +1,27 @@
+require 'dry/logic/rule'
+
+RSpec.describe Dry::Logic::Rule::Key do
+  include_context 'predicates'
+
+  subject(:rule) { Dry::Logic::Rule::Key.new(:name, key?) }
+
+  describe '#call' do
+    it 'applies predicate to the value' do
+      expect(rule.(name: 'Jane')).to be_success
+      expect(rule.({})).to be_failure
+    end
+  end
+
+  describe '#and' do
+    let(:other) { Dry::Logic::Rule::Value.new(:name, str?) }
+
+    it 'returns conjunction rule where value is passed to the right' do
+      present_and_string = rule.and(other)
+
+      expect(present_and_string.(name: 'Jane')).to be_success
+
+      expect(present_and_string.({})).to be_failure
+      expect(present_and_string.(name: 1)).to be_failure
+    end
+  end
+end

data/spec/unit/rule/set_spec.rb

@@ -0,0 +1,32 @@
+require 'dry/logic/rule'
+
+RSpec.describe Dry::Logic::Rule::Set do
+  include_context 'predicates'
+
+  subject(:rule) do
+    Dry::Logic::Rule::Set.new(:address, [is_string, min_size.curry(6)])
+  end
+
+  let(:is_string) { Dry::Logic::Rule::Value.new(:name, str?) }
+  let(:min_size) { Dry::Logic::Rule::Value.new(:name, min_size?) }
+
+  describe '#call' do
+    it 'applies its rules to the input' do
+      expect(rule.('Address')).to be_success
+      expect(rule.('Addr')).to be_failure
+    end
+  end
+
+  describe '#to_ary' do
+    it 'returns an array representation' do
+      expect(rule).to match_array([
+        :set, [
+          :address, [
+            [:val, [:name, [:predicate, [:str?, []]]]],
+            [:val, [:name, [:predicate, [:min_size?, [6]]]]]
+          ]
+        ]
+      ])
+    end
+  end
+end

data/spec/unit/rule/value_spec.rb

@@ -0,0 +1,42 @@
+require 'dry/logic/rule'
+
+RSpec.describe Dry::Logic::Rule::Value do
+  include_context 'predicates'
+
+  let(:is_nil) { Dry::Logic::Rule::Value.new(:name, none?) }
+
+  let(:is_string) { Dry::Logic::Rule::Value.new(:name, str?) }
+
+  let(:min_size) { Dry::Logic::Rule::Value.new(:name, min_size?) }
+
+  describe '#call' do
+    it 'returns result of a predicate' do
+      expect(is_string.(1)).to be_failure
+      expect(is_string.('1')).to be_success
+    end
+  end
+
+  describe '#and' do
+    it 'returns a conjunction' do
+      string_and_min_size = is_string.and(min_size.curry(3))
+
+      expect(string_and_min_size.('abc')).to be_success
+      expect(string_and_min_size.('abcd')).to be_success
+
+      expect(string_and_min_size.(1)).to be_failure
+      expect(string_and_min_size.('ab')).to be_failure
+    end
+  end
+
+  describe '#or' do
+    it 'returns a disjunction' do
+      nil_or_string = is_nil.or(is_string)
+
+      expect(nil_or_string.(nil)).to be_success
+      expect(nil_or_string.('abcd')).to be_success
+
+      expect(nil_or_string.(true)).to be_failure
+      expect(nil_or_string.(1)).to be_failure
+    end
+  end
+end

data/spec/unit/rule_compiler_spec.rb

@@ -0,0 +1,123 @@
+require 'dry/logic/rule_compiler'
+
+RSpec.describe Dry::Logic::RuleCompiler, '#call' do
+  subject(:compiler) { RuleCompiler.new(predicates) }
+
+  let(:predicates) {
+    { key?: predicate,
+      filled?: predicate,
+      email: val_rule.('email').curry(:filled?) }
+  }
+
+  let(:predicate) { double(:predicate).as_null_object }
+
+  let(:key_rule) { Rule::Key.new(:email, predicate) }
+  let(:not_key_rule) { Rule::Key.new(:email, predicate).negation }
+  let(:val_rule) { Rule::Value.new(:email, predicate) }
+  let(:check_rule) { Rule::Check.new(:email, predicates[:email]) }
+  let(:and_rule) { key_rule & val_rule }
+  let(:or_rule) { key_rule | val_rule }
+  let(:xor_rule) { key_rule ^ val_rule }
+  let(:set_rule) { Rule::Set.new(:email, [val_rule]) }
+  let(:each_rule) { Rule::Each.new(:email, val_rule) }
+
+  it 'compiles key rules' do
+    ast = [[:key, [:email, [:predicate, [:key?, predicate]]]]]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([key_rule])
+  end
+
+  it 'compiles check rules' do
+    ast = [[:check, [:email, [:predicate, [:email, [:filled?]]]]]]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([check_rule])
+  end
+
+
+  it 'compiles negated rules' do
+    ast = [[:not, [:key, [:email, [:predicate, [:key?, predicate]]]]]]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([not_key_rule])
+  end
+
+  it 'compiles conjunction rules' do
+    ast = [
+      [
+        :and, [
+          [:key, [:email, [:predicate, [:key?, []]]]],
+          [:val, [:email, [:predicate, [:filled?, []]]]]
+        ]
+      ]
+    ]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([and_rule])
+  end
+
+  it 'compiles disjunction rules' do
+    ast = [
+      [
+        :or, [
+          [:key, [:email, [:predicate, [:key?, []]]]],
+          [:val, [:email, [:predicate, [:filled?, []]]]]
+        ]
+      ]
+    ]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([or_rule])
+  end
+
+  it 'compiles exclusive disjunction rules' do
+    ast = [
+      [
+        :xor, [
+          [:key, [:email, [:predicate, [:key?, []]]]],
+          [:val, [:email, [:predicate, [:filled?, []]]]]
+        ]
+      ]
+    ]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([xor_rule])
+  end
+
+  it 'compiles set rules' do
+    ast = [
+      [
+        :set, [
+          :email, [
+            [:val, [:email, [:predicate, [:filled?, []]]]]
+          ]
+        ]
+      ]
+    ]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([set_rule])
+  end
+
+  it 'compiles each rules' do
+    ast = [
+      [
+        :each, [
+          :email, [:val, [:email, [:predicate, [:filled?, []]]]]
+        ]
+      ]
+    ]
+
+    rules = compiler.(ast)
+
+    expect(rules).to eql([each_rule])
+  end
+end

metadata

@@ -0,0 +1,221 @@
+--- !ruby/object:Gem::Specification
+name: dry-logic
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Piotr Solnica
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-01-11 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: dry-container
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.2.6
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.2.6
+- !ruby/object:Gem::Dependency
+  name: dry-equalizer
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: 
+email:
+- piotr.solnica@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".rubocop.yml"
+- ".rubocop_todo.yml"
+- ".travis.yml"
+- CHANGELOG.md
+- Gemfile
+- LICENSE
+- README.md
+- Rakefile
+- dry-logic.gemspec
+- examples/basic.rb
+- lib/dry-logic.rb
+- lib/dry/logic.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/rule.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/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
+- spec/unit/predicates/bool_spec.rb
+- spec/unit/predicates/date_spec.rb
+- spec/unit/predicates/date_time_spec.rb
+- spec/unit/predicates/decimal_spec.rb
+- spec/unit/predicates/empty_spec.rb
+- spec/unit/predicates/eql_spec.rb
+- spec/unit/predicates/exclusion_spec.rb
+- spec/unit/predicates/filled_spec.rb
+- spec/unit/predicates/float_spec.rb
+- spec/unit/predicates/format_spec.rb
+- spec/unit/predicates/gt_spec.rb
+- spec/unit/predicates/gteq_spec.rb
+- spec/unit/predicates/inclusion_spec.rb
+- spec/unit/predicates/int_spec.rb
+- spec/unit/predicates/key_spec.rb
+- spec/unit/predicates/lt_spec.rb
+- spec/unit/predicates/lteq_spec.rb
+- spec/unit/predicates/max_size_spec.rb
+- spec/unit/predicates/min_size_spec.rb
+- spec/unit/predicates/none_spec.rb
+- spec/unit/predicates/size_spec.rb
+- spec/unit/predicates/str_spec.rb
+- spec/unit/predicates/time_spec.rb
+- spec/unit/rule/check_spec.rb
+- 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/implication_spec.rb
+- spec/unit/rule/key_spec.rb
+- spec/unit/rule/set_spec.rb
+- spec/unit/rule/value_spec.rb
+- spec/unit/rule_compiler_spec.rb
+homepage: https://github.com/dryrb/dry-logic
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.5.1
+signing_key: 
+specification_version: 4
+summary: Predicate logic with rule composition
+test_files:
+- spec/shared/predicates.rb
+- spec/spec_helper.rb
+- spec/unit/predicate_spec.rb
+- spec/unit/predicates/bool_spec.rb
+- spec/unit/predicates/date_spec.rb
+- spec/unit/predicates/date_time_spec.rb
+- spec/unit/predicates/decimal_spec.rb
+- spec/unit/predicates/empty_spec.rb
+- spec/unit/predicates/eql_spec.rb
+- spec/unit/predicates/exclusion_spec.rb
+- spec/unit/predicates/filled_spec.rb
+- spec/unit/predicates/float_spec.rb
+- spec/unit/predicates/format_spec.rb
+- spec/unit/predicates/gt_spec.rb
+- spec/unit/predicates/gteq_spec.rb
+- spec/unit/predicates/inclusion_spec.rb
+- spec/unit/predicates/int_spec.rb
+- spec/unit/predicates/key_spec.rb
+- spec/unit/predicates/lt_spec.rb
+- spec/unit/predicates/lteq_spec.rb
+- spec/unit/predicates/max_size_spec.rb
+- spec/unit/predicates/min_size_spec.rb
+- spec/unit/predicates/none_spec.rb
+- spec/unit/predicates/size_spec.rb
+- spec/unit/predicates/str_spec.rb
+- spec/unit/predicates/time_spec.rb
+- spec/unit/rule/check_spec.rb
+- 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/implication_spec.rb
+- spec/unit/rule/key_spec.rb
+- spec/unit/rule/set_spec.rb
+- spec/unit/rule/value_spec.rb
+- spec/unit/rule_compiler_spec.rb