dry-logic 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 8ed31141ff3e52c81a9afce4397631ce26372a7e
+  data.tar.gz: ee8d692843523fc91d4e9f6d28a03e4e749362b5
+SHA512:
+  metadata.gz: 61463a874fb6281033cba937136a44131df14b59b1fab36532786f47f698eeaa96fbca1cdcc8235ee93b69d66e85da5230bd2c15094720c102024ee01355bc0b
+  data.tar.gz: 48f375ae23737143a1aea7ba6494f47de0aa86548278f66dedd45333473a177f1a3704e0451777ef1b128669e68006fee952ccf10634f0f928ec28fe5942f738

data/.gitignore

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

data/.rspec

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

data/.rubocop.yml

@@ -0,0 +1,16 @@
+# Generated by `rubocop --auto-gen-config`
+inherit_from: .rubocop_todo.yml
+
+Metrics/LineLength:
+  Max: 100
+
+Style/Documentation:
+  Enabled: false
+
+Lint/HandleExceptions:
+  Exclude:
+    - rakelib/*.rake
+
+Style/FileName:
+  Exclude:
+    - lib/dry-logic.rb

data/.rubocop_todo.yml

@@ -0,0 +1,7 @@
+# This configuration was generated by
+# `rubocop --auto-gen-config`
+# on 2015-10-30 01:32:46 +0000 using RuboCop version 0.34.2.
+# The point is for the user to remove these configuration records
+# one by one as the offenses are removed from the code base.
+# Note that changes in the inspected code, or installation of new
+# versions of RuboCop, may require this file to be generated again.

data/.travis.yml

@@ -0,0 +1,31 @@
+language: ruby
+sudo: false
+cache: bundler
+bundler_args: --without console
+script:
+  - bundle exec rake spec
+rvm:
+  - 2.0
+  - 2.1
+  - 2.2
+  - 2.3.0
+  - rbx-2
+  - jruby-9000
+  - ruby-head
+  - jruby-head
+env:
+  global:
+    - JRUBY_OPTS='--dev -J-Xmx1024M'
+matrix:
+  allow_failures:
+    - rvm: ruby-head
+    - rvm: jruby-head
+    - rvm: jruby-9000
+notifications:
+  email: false
+  webhooks:
+    urls:
+      - https://webhooks.gitter.im/e/19098b4253a72c9796db
+    on_success: change  # options: [always|never|change] default: always
+    on_failure: always  # options: [always|never|change] default: always
+    on_start: false     # default: false

data/CHANGELOG.md

@@ -0,0 +1,3 @@
+# v0.1.0 to-be-released
+
+Code extracted from dry-validation 0.4.1

data/Gemfile

@@ -0,0 +1,11 @@
+source 'https://rubygems.org'
+
+gemspec
+
+group :tools do
+  gem 'rubocop'
+  gem 'guard'
+  gem 'guard-rspec'
+  gem 'guard-rubocop'
+  gem 'byebug', platform: :mri
+end

data/LICENSE

@@ -0,0 +1,20 @@
+The MIT License (MIT)
+
+Copyright (c) 2014 Ruby Object Mapper
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of
+this software and associated documentation files (the "Software"), to deal in
+the Software without restriction, including without limitation the rights to
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
+the Software, and to permit persons to whom the Software is furnished to do so,
+subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
+FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
+COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
+IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,45 @@
+[gem]: https://rubygems.org/gems/dry-logic
+[travis]: https://travis-ci.org/dryrb/dry-logic
+[gemnasium]: https://gemnasium.com/dryrb/dry-logic
+[codeclimate]: https://codeclimate.com/github/dryrb/dry-logic
+[coveralls]: https://coveralls.io/r/dryrb/dry-logic
+[inchpages]: http://inch-ci.org/github/dryrb/dry-logic
+
+# dry-logic [![Join the chat at https://gitter.im/dryrb/chat](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/dryrb/chat)
+
+[![Gem Version](https://badge.fury.io/rb/dry-logic.svg)][gem]
+[![Build Status](https://travis-ci.org/dryrb/dry-logic.svg?branch=master)][travis]
+[![Dependency Status](https://gemnasium.com/dryrb/dry-logic.svg)][gemnasium]
+[![Code Climate](https://codeclimate.com/github/dryrb/dry-logic/badges/gpa.svg)][codeclimate]
+[![Test Coverage](https://codeclimate.com/github/dryrb/dry-logic/badges/coverage.svg)][codeclimate]
+[![Inline docs](http://inch-ci.org/github/dryrb/dry-logic.svg?branch=master)][inchpages]
+
+Predicate logic and rule composition used by:
+
+* [dry-data](https://github.com/dryrb/dry-data) for constrained types
+* [dry-validation](https://github.com/dryrb/dry-validation) for composing validation rules
+* your project...?
+
+## Synopsis
+
+``` ruby
+require 'dry/logic'
+require 'dry/logic/predicates'
+
+include Dry::Logic
+
+user_present = Rule::Key.new(:user, Predicates[:key?])
+has_min_age = Rule::Key.new(:age, Predicates[:key?]) & Rule::Value.new(:age, Predicates[:gt?].curry(18))
+
+user_rule = user_present & has_min_age
+
+user_rule.(user: { age: 19 })
+# #<Dry::Logic::Result::Value success?=true input=19 rule=#<Dry::Logic::Rule::Value name=:age predicate=#<Dry::Logic::Predicate id=:gt?>>>
+
+user_rule.(user: { age: 18 })
+# #<Dry::Logic::Result::Value success?=false input=18 rule=#<Dry::Logic::Rule::Value name=:age predicate=#<Dry::Logic::Predicate id=:gt?>>>
+```
+
+## License
+
+See `LICENSE` file.

data/Rakefile

@@ -0,0 +1,12 @@
+#!/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/dry-logic.gemspec

@@ -0,0 +1,24 @@
+# coding: utf-8
+require File.expand_path('../lib/dry/logic/version', __FILE__)
+
+Gem::Specification.new do |spec|
+  spec.name          = 'dry-logic'
+  spec.version       = Dry::Logic::VERSION
+  spec.authors       = ['Piotr Solnica']
+  spec.email         = ['piotr.solnica@gmail.com']
+  spec.summary       = 'Predicate logic with rule composition'
+  spec.homepage      = 'https://github.com/dryrb/dry-logic'
+  spec.license       = 'MIT'
+
+  spec.files         = `git ls-files -z`.split("\x0")
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ['lib']
+
+  spec.add_runtime_dependency 'dry-container', '~> 0.2', '>= 0.2.6'
+  spec.add_runtime_dependency 'dry-equalizer', '~> 0.2'
+
+  spec.add_development_dependency 'bundler'
+  spec.add_development_dependency 'rake'
+  spec.add_development_dependency 'rspec'
+end

data/examples/basic.rb

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

data/lib/dry-logic.rb

@@ -0,0 +1 @@
+require 'dry/logic'

data/lib/dry/logic.rb

@@ -0,0 +1,10 @@
+require 'dry-equalizer'
+
+# A collection of micro-libraries, each intended to encapsulate
+# a common task in Ruby
+module Dry
+  module Logic
+  end
+end
+
+require 'dry/logic/rule'

data/lib/dry/logic/predicate.rb

@@ -0,0 +1,35 @@
+module Dry
+  module Logic
+    def self.Predicate(block)
+      case block
+      when Method then Predicate.new(block.name, &block)
+      else raise ArgumentError, 'predicate needs an :id'
+      end
+    end
+
+    class Predicate
+      include Dry::Equalizer(:id)
+
+      attr_reader :id, :args, :fn
+
+      def initialize(id, *args, &block)
+        @id = id
+        @fn = block
+        @args = args
+      end
+
+      def call(*args)
+        fn.(*args)
+      end
+
+      def curry(*args)
+        self.class.new(id, *args, &fn.curry.(*args))
+      end
+
+      def to_ary
+        [:predicate, [id, args]]
+      end
+      alias_method :to_a, :to_ary
+    end
+  end
+end

data/lib/dry/logic/predicate_set.rb

@@ -0,0 +1,23 @@
+require 'dry/logic/predicate'
+require 'dry-container'
+
+module Dry
+  module Logic
+    module PredicateSet
+      module Methods
+        def predicate(name, &block)
+          register(name) { Predicate.new(name, &block) }
+        end
+
+        def import(predicate_set)
+          merge(predicate_set)
+        end
+      end
+
+      def self.extended(other)
+        super
+        other.extend(Methods, Dry::Container::Mixin)
+      end
+    end
+  end
+end

data/lib/dry/logic/predicates.rb

@@ -0,0 +1,129 @@
+require 'bigdecimal'
+require 'bigdecimal/util'
+require 'date'
+
+require 'dry/logic/predicate_set'
+
+module Dry
+  module Logic
+    module Predicates
+      extend Logic::PredicateSet
+
+      def self.included(other)
+        super
+        other.extend(Logic::PredicateSet)
+        other.import(self)
+      end
+
+      predicate(:none?) do |input|
+        input.nil?
+      end
+
+      predicate(:key?) do |name, input|
+        input.key?(name)
+      end
+
+      predicate(:empty?) do |input|
+        case input
+        when String, Array, Hash then input.empty?
+        when nil then true
+        else
+          false
+        end
+      end
+
+      predicate(:filled?) do |input|
+        !self[:empty?].(input)
+      end
+
+      predicate(:bool?) do |input|
+        input.is_a?(TrueClass) || input.is_a?(FalseClass)
+      end
+
+      predicate(:date?) do |input|
+        input.is_a?(Date)
+      end
+
+      predicate(:date_time?) do |input|
+        input.is_a?(DateTime)
+      end
+
+      predicate(:time?) do |input|
+        input.is_a?(Time)
+      end
+
+      predicate(:int?) do |input|
+        input.is_a?(Fixnum)
+      end
+
+      predicate(:float?) do |input|
+        input.is_a?(Float)
+      end
+
+      predicate(:decimal?) do |input|
+        input.is_a?(BigDecimal)
+      end
+
+      predicate(:str?) do |input|
+        input.is_a?(String)
+      end
+
+      predicate(:hash?) do |input|
+        input.is_a?(Hash)
+      end
+
+      predicate(:array?) do |input|
+        input.is_a?(Array)
+      end
+
+      predicate(:lt?) do |num, input|
+        input < num
+      end
+
+      predicate(:gt?) do |num, input|
+        input > num
+      end
+
+      predicate(:lteq?) do |num, input|
+        !self[:gt?].(num, input)
+      end
+
+      predicate(:gteq?) do |num, input|
+        !self[:lt?].(num, input)
+      end
+
+      predicate(:size?) do |size, input|
+        case size
+        when Fixnum then size == input.size
+        when Range, Array then size.include?(input.size)
+        else
+          raise ArgumentError, "+#{size}+ is not supported type for size? predicate"
+        end
+      end
+
+      predicate(:min_size?) do |num, input|
+        input.size >= num
+      end
+
+      predicate(:max_size?) do |num, input|
+        input.size <= num
+      end
+
+      predicate(:inclusion?) do |list, input|
+        list.include?(input)
+      end
+
+      predicate(:exclusion?) do |list, input|
+        !self[:inclusion?].(list, input)
+      end
+
+      predicate(:eql?) do |left, right|
+        left.eql?(right)
+      end
+
+      predicate(:format?) do |regex, input|
+        !regex.match(input).nil?
+      end
+    end
+  end
+end

data/lib/dry/logic/result.rb

@@ -0,0 +1,119 @@
+module Dry
+  module Logic
+    def self.Result(input, value, rule)
+      case value
+      when Result then value.class.new(value.input, value.success?, rule)
+      when Array then Result::Set.new(input, value, rule)
+      else Result::Value.new(input, value, rule)
+      end
+    end
+
+    class Result
+      include Dry::Equalizer(:success?, :input, :rule)
+
+      attr_reader :input, :value, :rule, :name
+
+      class Result::Set < Result
+        def success?
+          value.all?(&:success?)
+        end
+
+        def to_ary
+          indices = value.map { |v| v.failure? ? value.index(v) : nil }.compact
+          [:input, [rule.name, input, value.values_at(*indices).map(&:to_ary)]]
+        end
+      end
+
+      class Result::Value < Result
+        def to_ary
+          [:input, [rule.name, input, [rule.to_ary]]]
+        end
+        alias_method :to_a, :to_ary
+      end
+
+      class Result::Verified < Result
+        attr_reader :predicate_id
+
+        def initialize(result, predicate_id)
+          @input = result.input
+          @value = result.value
+          @rule = result.rule
+          @name = result.name
+          @predicate_id = predicate_id
+        end
+
+        def call
+          Logic.Result(input, success?, rule)
+        end
+
+        def to_ary
+          [:input, [name, input, [rule.to_ary]]]
+        end
+        alias_method :to_a, :to_ary
+
+        def success?
+          rule.predicate_id == predicate_id
+        end
+      end
+
+      def initialize(input, value, rule)
+        @input = input
+        @value = value
+        @rule = rule
+        @name = rule.name
+      end
+
+      def call
+        self
+      end
+
+      def curry(predicate_id = nil)
+        if predicate_id
+          Result::Verified.new(self, predicate_id)
+        else
+          self
+        end
+      end
+
+      def negated
+        self.class.new(input, !value, rule)
+      end
+
+      def >(other)
+        if success?
+          other.(input)
+        else
+          Logic.Result(input, true, rule)
+        end
+      end
+
+      def and(other)
+        if success?
+          other.(input)
+        else
+          self
+        end
+      end
+
+      def or(other)
+        if success?
+          self
+        else
+          other.(input)
+        end
+      end
+
+      def xor(other)
+        Logic.Result(input, success? ^ other.(input).success?, rule)
+      end
+
+      def success?
+        @value
+      end
+
+      def failure?
+        ! success?
+      end
+    end
+  end
+end