dry-logic 0.6.1 → 1.0.6

data/.codeclimate.yml

@@ -1,15 +0,0 @@
-version: "2"
-
-prepare:
-  fetch:
-  - url: "https://raw.githubusercontent.com/dry-rb/devtools/master/.rubocop.yml"
-    path: ".rubocop.yml"
-
-exclude_patterns:
-  - "benchmarks/"
-  - "examples/"
-  - "spec/"
-
-plugins:
-  rubocop:
-    enabled: true

data/.gitignore

@@ -1,8 +0,0 @@
-.DS_Store
-coverage
-/.bundle
-vendor/bundle
-tmp/
-.idea/
-Gemfile.lock
-.rubocop.yml

data/.rspec

@@ -1,3 +0,0 @@
---color
---require spec_helper
---order random

data/.travis.yml

@@ -1,31 +0,0 @@
-language: ruby
-cache: bundler
-bundler_args: --without benchmarks tools
-before_script:
-  - curl -L https://codeclimate.com/downloads/test-reporter/test-reporter-latest-linux-amd64 > ./cc-test-reporter
-  - chmod +x ./cc-test-reporter
-  - ./cc-test-reporter before-build
-after_script:
-  - "[ -d coverage ] && ./cc-test-reporter after-build --exit-code $TRAVIS_TEST_RESULT"
-script:
-  - bundle exec rake
-rvm:
-  - 2.6.2
-  - 2.5.5
-  - 2.4.6
-  - jruby-9.2.7.0
-  - truffleruby
-env:
-  global:
-    - COVERAGE=true
-matrix:
-  allow_failures:
-    - rvm: truffleruby
-notifications:
-  email: false
-  webhooks:
-    urls:
-      - https://dry-rb.zulipchat.com/api/v1/external/travis?api_key=SY8LLz6fShd4TJeLDXEdT0eBEgRqT2lv&stream=notifications&topic=ci
-    on_success: change # options: [always|never|change] default: always
-    on_failure: always # options: [always|never|change] default: always
-    on_start: false # default: false

data/CONTRIBUTING.md

@@ -1,29 +0,0 @@
-# Issue Guidelines
-
-## Reporting bugs
-
-If you found a bug, report an issue and describe what's the expected behavior versus what actually happens. If the bug causes a crash, attach a full backtrace. If possible, a reproduction script showing the problem is highly appreciated.
-
-## Reporting feature requests
-
-Report a feature request **only after discussing it first on [discuss.dry-rb.org](https://discuss.dry-rb.org)** where it was accepted. Please provide a concise description of the feature, don't link to a discussion thread, and instead summarize what was discussed.
-
-## Reporting questions, support requests, ideas, concerns etc.
-
-**PLEASE DON'T** - use [discuss.dry-rb.org](http://discuss.dry-rb.org) instead.
-
-# Pull Request Guidelines
-
-A Pull Request will only be accepted if it addresses a specific issue that was reported previously, or fixes typos, mistakes in documentation etc.
-
-Other requirements:
-
-1) Do not open a pull request if you can't provide tests along with it. If you have problems writing tests, ask for help in the related issue.
-2) Follow the style conventions of the surrounding code. In most cases, this is standard ruby style.
-3) Add API documentation if it's a new feature
-4) Update API documentation if it changes an existing feature
-5) Bonus points for sending a PR to [github.com/dry-rb/dry-rb.org](github.com/dry-rb/dry-rb.org) which updates user documentation and guides
-
-# Asking for help
-
-If these guidelines aren't helpful, and you're stuck, please post a message on [discuss.dry-rb.org](https://discuss.dry-rb.org).

data/Gemfile

@@ -1,13 +0,0 @@
-source 'https://rubygems.org'
-
-gemspec
-
-group :test do
-  gem 'simplecov', require: false, platform: :mri
-end
-
-group :tools do
-  gem 'pry-byebug', platform: :mri
-  gem 'benchmark-ips', platform: :mri
-  gem 'hotch', platform: :mri
-end

data/Rakefile

@@ -1,12 +0,0 @@
-#!/usr/bin/env rake
-require 'bundler/gem_tasks'
-
-$LOAD_PATH.unshift(File.join(File.dirname(__FILE__), 'lib'))
-
-require 'rspec/core'
-require 'rspec/core/rake_task'
-
-task default: :spec
-
-desc 'Run all specs in spec directory'
-RSpec::Core::RakeTask.new(:spec)

data/benchmarks/rule_application.rb

@@ -1,28 +0,0 @@
-require_relative 'setup'
-
-unless Dry::Logic::Rule.respond_to?(:build)
-  Dry::Logic::Rule.singleton_class.alias_method(:build, :new)
-end
-
-predicates = Dry::Logic::Predicates
-
-type_check = Dry::Logic::Rule.build(predicates[:type?]).curry(Integer)
-int_check = Dry::Logic::Rule.build(predicates[:int?])
-key_check = Dry::Logic::Rule.build(predicates[:key?]).curry(:user)
-with_user = { user: {} }
-without_user = {}
-
-comparison = Dry::Logic::Rule.build(predicates[:gteq?]).curry(18)
-
-Benchmark.ips do |x|
-  x.report("type check - success") { type_check.(0) }
-  x.report("type check - failure") { type_check.('0') }
-  x.report("int check - success") { int_check.(0) }
-  x.report("int check - failure") { int_check.('0') }
-  x.report("key check - success") { key_check.(with_user) }
-  x.report("key check - failure") { key_check.(without_user) }
-  x.report("comparison - success") { comparison.(20) }
-  x.report("comparison - failure") { comparison.(17) }
-
-  x.compare!
-end

data/benchmarks/setup.rb

@@ -1,11 +0,0 @@
-require 'benchmark/ips'
-require 'hotch'
-ENV['HOTCH_VIEWER'] ||= 'open'
-
-require 'dry/logic'
-require 'dry/logic/predicates'
-
-def profile(&block)
-  Hotch(filter: 'Dry', &block)
-end
-

data/bin/console

@@ -1,10 +0,0 @@
-#!/usr/bin/env ruby
-
-require "bundler/setup"
-require 'dry/logic'
-require 'dry/logic/predicates'
-
-include Dry::Logic
-
-require "irb"
-IRB.start

data/examples/basic.rb

@@ -1,14 +0,0 @@
-require 'dry/logic'
-require 'dry/logic/predicates'
-
-include Dry::Logic
-
-user_present = Rule::Predicate.build(Predicates[:key?]).curry(:user)
-
-has_min_age = Operations::Key.new(Rule::Predicate.build(Predicates[:gt?]).curry(18), name: [:user, :age])
-
-user_rule = user_present & has_min_age
-
-puts user_rule.(user: { age: 19 }).success?
-
-puts user_rule.(user: { age: 18 }).success?

data/spec/integration/result_spec.rb

@@ -1,59 +0,0 @@
-RSpec.describe Result do
-  include_context 'predicates'
-
-  describe '#to_s' do
-    shared_examples_for 'string representation' do
-      it 'returns string representation' do
-        expect(rule.(input).to_s).to eql(output)
-      end
-    end
-
-    context 'with a predicate' do
-      let(:rule) { Rule::Predicate.build(gt?, args: [18]) }
-      let(:input) { 17 }
-      let(:output) { 'gt?(18, 17)' }
-
-      it_behaves_like 'string representation'
-    end
-
-    context 'with AND operation' do
-      let(:rule) { Rule::Predicate.build(array?).and(Rule::Predicate.build(empty?)) }
-      let(:input) { '' }
-      let(:output) { 'array?("") AND empty?("")' }
-
-      it_behaves_like 'string representation'
-    end
-
-    context 'with OR operation' do
-      let(:rule) { Rule::Predicate.build(array?).or(Rule::Predicate.build(empty?)) }
-      let(:input) { 123 }
-      let(:output) { 'array?(123) OR empty?(123)' }
-
-      it_behaves_like 'string representation'
-    end
-
-    context 'with XOR operation' do
-      let(:rule) { Rule::Predicate.build(array?).xor(Rule::Predicate.build(empty?)) }
-      let(:input) { [] }
-      let(:output) { 'array?([]) XOR empty?([])' }
-
-      it_behaves_like 'string representation'
-    end
-
-    context 'with THEN operation' do
-      let(:rule) { Rule::Predicate.build(array?).then(Rule::Predicate.build(empty?)) }
-      let(:input) { [1, 2, 3] }
-      let(:output) { 'empty?([1, 2, 3])' }
-
-      it_behaves_like 'string representation'
-    end
-
-    context 'with NOT operation' do
-      let(:rule) { Operations::Negation.new(Rule::Predicate.build(array?)) }
-      let(:input) { 'foo' }
-      let(:output) { 'not(array?("foo"))' }
-
-      it_behaves_like 'string representation'
-    end
-  end
-end

data/spec/integration/rule_spec.rb

@@ -1,53 +0,0 @@
-require 'dry-logic'
-
-RSpec.describe 'Rules' do
-  specify 'defining an anonymous rule with an arbitrary predicate' do
-    rule = Dry::Logic.Rule { |value| value.is_a?(Integer) }
-
-    expect(rule.(1)).to be_success
-    expect(rule[1]).to be(true)
-  end
-
-  specify 'defining a conjunction' do
-    rule = Dry::Logic.Rule(&:even?) & Dry::Logic.Rule { |v| v > 4 }
-
-    expect(rule.(3)).to be_failure
-    expect(rule.(4)).to be_failure
-    expect(rule.(5)).to be_failure
-    expect(rule.(6)).to be_success
-  end
-
-  specify 'defining a disjunction' do
-    rule = Dry::Logic.Rule { |v| v < 4 } | Dry::Logic.Rule { |v| v > 6 }
-
-    expect(rule.(5)).to be_failure
-    expect(rule.(3)).to be_success
-    expect(rule.(7)).to be_success
-  end
-
-  specify 'defining an implication' do
-    rule = Dry::Logic.Rule(&:empty?) > Dry::Logic.Rule { |v| v.is_a?(Array) }
-
-    expect(rule.('foo')).to be_success
-    expect(rule.([1, 2])).to be_success
-    expect(rule.([])).to be_success
-    expect(rule.('')).to be_failure
-  end
-
-  specify 'defining an exclusive disjunction' do
-    rule = Dry::Logic.Rule(&:empty?) ^ Dry::Logic.Rule { |v| v.is_a?(Array) }
-
-    expect(rule.('foo')).to be_failure
-    expect(rule.([])).to be_failure
-    expect(rule.([1, 2])).to be_success
-    expect(rule.('')).to be_success
-  end
-
-  specify 'defining a rule with options' do
-    rule = Dry::Logic::Rule(id: :empty?) { |value| value.empty? }
-
-    expect(rule.('foo')).to be_failure
-    expect(rule.('')).to be_success
-    expect(rule.ast('foo')).to eql([:predicate, [:empty?, [[:value, 'foo']]]])
-  end
-end

data/spec/shared/predicates.rb

@@ -1,57 +0,0 @@
-require 'dry/logic/predicates'
-
-RSpec.shared_examples 'predicates' do
-  let(:nil?) { Dry::Logic::Predicates[:nil?] }
-
-  let(:array?) { Dry::Logic::Predicates[:array?] }
-
-  let(:empty?) { Dry::Logic::Predicates[:empty?] }
-
-  let(:str?) { Dry::Logic::Predicates[:str?] }
-
-  let(:true?) { Dry::Logic::Predicates[:true?] }
-
-  let(:hash?) { Dry::Logic::Predicates[:hash?] }
-
-  let(:int?) { Dry::Logic::Predicates[:int?] }
-
-  let(:filled?) { Dry::Logic::Predicates[:filled?] }
-
-  let(:min_size?) { Dry::Logic::Predicates[:min_size?] }
-
-  let(:lt?) { Dry::Logic::Predicates[:lt?] }
-
-  let(:gt?) { Dry::Logic::Predicates[:gt?] }
-
-  let(:key?) { Dry::Logic::Predicates[:key?] }
-
-  let(:attr?) { Dry::Logic::Predicates[:attr?] }
-
-  let(:eql?) { Dry::Logic::Predicates[:eql?] }
-
-  let(:size?) { Dry::Logic::Predicates[:size?] }
-
-  let(:case?) { Dry::Logic::Predicates[:case?] }
-
-  let(:equal?) { Dry::Logic::Predicates[:equal?] }
-end
-
-RSpec.shared_examples 'a passing predicate' do
-  let(:predicate) { Dry::Logic::Predicates[predicate_name] }
-
-  it do
-    arguments_list.each do |args|
-      expect(predicate.call(*args)).to be(true)
-    end
-  end
-end
-
-RSpec.shared_examples 'a failing predicate' do
-  let(:predicate) { Dry::Logic::Predicates[predicate_name] }
-
-  it do
-    arguments_list.each do |args|
-      expect(predicate.call(*args)).to be(false)
-    end
-  end
-end

data/spec/shared/rule.rb

@@ -1,72 +0,0 @@
-shared_examples_for Dry::Logic::Rule do
-  let(:arity) { 2 }
-  let(:predicate) { double(:predicate, arity: arity, name: predicate_name) }
-  let(:rule_type) { described_class }
-  let(:predicate_name) { :good? }
-
-  describe '#arity' do
-    it 'returns its predicate arity' do
-      rule = rule_type.build(predicate)
-
-      expect(rule.arity).to be(2)
-    end
-  end
-
-  describe '#parameters' do
-    it 'returns a list of args with their names' do
-      rule = rule_type.build(-> foo, bar { true }, args: [312])
-
-      expect(rule.parameters).to eql([[:req, :foo], [:req, :bar]])
-    end
-  end
-
-  describe '#call' do
-    let(:arity) { 1 }
-
-    it 'returns success for valid input' do
-      rule = rule_type.build(predicate)
-
-      expect(predicate).to receive(:[]).with(2).and_return(true)
-
-      expect(rule.(2)).to be_success
-    end
-
-    it 'returns failure for invalid input' do
-      rule = rule_type.build(predicate)
-
-      expect(predicate).to receive(:[]).with(2).and_return(false)
-
-      expect(rule.(2)).to be_failure
-    end
-  end
-
-  describe '#[]' do
-    let(:arity) { 1 }
-
-    it 'delegates to its predicate' do
-      rule = rule_type.build(predicate)
-
-      expect(predicate).to receive(:[]).with(2).and_return(true)
-      expect(rule[2]).to be(true)
-    end
-  end
-
-  describe '#curry' do
-    it 'returns a curried rule' do
-      rule = rule_type.build(predicate).curry(3)
-
-      expect(predicate).to receive(:[]).with(3, 2).and_return(true)
-      expect(rule.args).to eql([3])
-
-      expect(rule.(2)).to be_success
-    end
-
-    it 'raises argument error when arity does not match' do
-      expect(predicate).to receive(:arity).and_return(2)
-
-      expect { rule_type.build(predicate).curry(3, 2, 1) }.to raise_error(
-        ArgumentError, 'wrong number of arguments (3 for 2)'
-      )
-    end
-  end
-end

data/spec/spec_helper.rb

@@ -1,34 +0,0 @@
-if RUBY_ENGINE == 'ruby' && ENV['COVERAGE'] == 'true'
-  require 'yaml'
-  rubies = YAML.load(File.read(File.join(__dir__, '..', '.travis.yml')))['rvm']
-  latest_mri = rubies.select { |v| v =~ /\A\d+\.\d+.\d+\z/ }.max
-
-  if RUBY_VERSION == latest_mri
-    require 'simplecov'
-    SimpleCov.start do
-      add_filter '/spec/'
-    end
-  end
-end
-
-begin
-  require 'pry-byebug'
-rescue LoadError; end
-
-require 'dry-logic'
-require 'dry/core/constants'
-require 'pathname'
-
-SPEC_ROOT = Pathname(__dir__)
-
-Dir[SPEC_ROOT.join('shared/**/*.rb')].each(&method(:require))
-Dir[SPEC_ROOT.join('support/**/*.rb')].each(&method(:require))
-
-include Dry::Logic
-include Dry::Core::Constants
-
-RSpec.configure do |config|
-  config.disable_monkey_patching!
-
-  config.warnings = true
-end