dry-types 1.1.0 → 1.3.0

data/lib/dry/types/spec/types.rb

@@ -109,7 +109,9 @@ RSpec.shared_examples_for Dry::Types::Nominal do
   end
 end
 
-RSpec.shared_examples_for 'a constrained type' do |inputs: Object.new|
+RSpec.shared_examples_for 'a constrained type' do |options = { inputs: Object.new }|
+  inputs = options[:inputs]
+
   let(:fallback) { Object.new }
 
   describe '#call' do
@@ -137,3 +139,14 @@ RSpec.shared_examples_for 'a nominal type' do |inputs: Object.new|
     end
   end
 end
+
+RSpec.shared_examples_for 'a composable constructor' do
+  describe '#constructor' do
+    it 'has aliases for composition' do
+      expect(type.method(:append)).to eql(type.method(:constructor))
+      expect(type.method(:prepend)).to eql(type.method(:constructor))
+      expect(type.method(:<<)).to eql(type.method(:constructor))
+      expect(type.method(:>>)).to eql(type.method(:constructor))
+    end
+  end
+end

data/lib/dry/types/sum.rb

@@ -14,7 +14,7 @@ module Dry
       include Options
       include Meta
       include Printable
-      include Dry::Equalizer(:left, :right, :options, :meta, inspect: false)
+      include Dry::Equalizer(:left, :right, :options, :meta, inspect: false, immutable: true)
 
       # @return [Type]
       attr_reader :left
@@ -40,7 +40,7 @@ module Dry
       # @param [Hash] options
       #
       # @api private
-      def initialize(left, right, options = {})
+      def initialize(left, right, **options)
         super
         @left, @right = left, right
         freeze
@@ -142,11 +142,11 @@ module Dry
       # @see [Meta#meta]
       #
       # @api public
-      def meta(data = nil)
-        if data.nil?
+      def meta(data = Undefined)
+        if Undefined.equal?(data)
           optional? ? right.meta : super
         elsif optional?
-          self.class.new(left, right.meta(data), options)
+          self.class.new(left, right.meta(data), **options)
         else
           super
         end

data/lib/dry/types/version.rb

@@ -2,6 +2,6 @@
 
 module Dry
   module Types
-    VERSION = '1.1.0'
+    VERSION = '1.3.0'
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: dry-types
 version: !ruby/object:Gem::Version
-  version: 1.1.0
+  version: 1.3.0
 platform: ruby
 authors:
 - Piotr Solnica
 autorequire: 
-bindir: exe
+bindir: bin
 cert_chain: []
-date: 2019-07-02 00:00:00.000000000 Z
+date: 2020-02-10 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
@@ -64,20 +64,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.2'
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 0.2.2
+        version: '0.3'
   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.2
+        version: '0.3'
 - !ruby/object:Gem::Dependency
   name: dry-inflector
   requirement: !ruby/object:Gem::Requirement
@@ -138,83 +132,67 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.2'
+        version: '1.0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.2'
+        version: '1.0'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '11.0'
+        version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '11.0'
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: rspec
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '3.3'
+        version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '3.3'
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: yard
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.9.5
+        version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.9.5
+        version: '0'
 description: Type system for Ruby supporting coercions, constraints and complex types
-  like structs, value objects, enums etc.
+  like structs, value objects, enums etc
 email:
 - piotr.solnica@gmail.com
 executables: []
 extensions: []
 extra_rdoc_files: []
 files:
-- ".codeclimate.yml"
-- ".gitignore"
-- ".rspec"
-- ".rubocop.yml"
-- ".travis.yml"
-- ".yardopts"
 - CHANGELOG.md
-- CONTRIBUTING.md
-- Gemfile
 - LICENSE
 - README.md
-- Rakefile
-- benchmarks/hash_schemas.rb
-- benchmarks/lax_schema.rb
-- benchmarks/profile_invalid_input.rb
-- benchmarks/profile_lax_schema_valid.rb
-- benchmarks/profile_valid_input.rb
-- benchmarks/schema_valid_vs_invalid.rb
-- benchmarks/setup.rb
 - dry-types.gemspec
 - lib/dry-types.rb
 - lib/dry/types.rb
@@ -242,6 +220,7 @@ files:
 - lib/dry/types/errors.rb
 - lib/dry/types/extensions.rb
 - lib/dry/types/extensions/maybe.rb
+- lib/dry/types/extensions/monads.rb
 - lib/dry/types/fn_container.rb
 - lib/dry/types/hash.rb
 - lib/dry/types/hash/constructor.rb
@@ -254,6 +233,9 @@ files:
 - lib/dry/types/nominal.rb
 - lib/dry/types/options.rb
 - lib/dry/types/params.rb
+- lib/dry/types/predicate_inferrer.rb
+- lib/dry/types/predicate_registry.rb
+- lib/dry/types/primitive_inferrer.rb
 - lib/dry/types/printable.rb
 - lib/dry/types/printer.rb
 - lib/dry/types/result.rb
@@ -263,8 +245,7 @@ files:
 - lib/dry/types/sum.rb
 - lib/dry/types/type.rb
 - lib/dry/types/version.rb
-- log/.gitkeep
-homepage: https://github.com/dry-rb/dry-types
+homepage: https://dry-rb.org/gems/dry-types
 licenses:
 - MIT
 metadata:
@@ -291,5 +272,5 @@ rubygems_version: 3.0.3
 signing_key: 
 specification_version: 4
 summary: Type system for Ruby supporting coercions, constraints and complex types
-  like structs, value objects, enums etc.
+  like structs, value objects, enums etc
 test_files: []

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,11 +0,0 @@
-/.bundle/
-/.yardoc
-/Gemfile.lock
-/_yardoc/
-/coverage/
-/doc/
-/pkg/
-/spec/reports/
-/tmp/
-log/
-.rubocop.yml

data/.rspec

@@ -1,2 +0,0 @@
---color
---require ./spec/spec_helper

data/.travis.yml

@@ -1,27 +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.3
-  - 2.5.5
-  - 2.4.6
-  - jruby-9.2.7.0
-env:
-  global:
-    - COVERAGE=true
-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/.yardopts

@@ -1,9 +0,0 @@
---title 'dry-types'
---query '@api.text != "private"'
---embed-mixins
---output doc
---readme README.md
---files CHANGELOG.md
---markup markdown
---markup-provider=redcarpet
-lib/**/*.rb

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 [discourse.dry-rb.org](https://discourse.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 [discourse.dry-rb.org](https://discourse.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 [discourse.dry-rb.org](https://discourse.dry-rb.org).

data/Gemfile

@@ -1,27 +0,0 @@
-# frozen_string_literal: true
-
-source 'https://rubygems.org'
-
-git_source(:github) { |repo_name| "https://github.com/#{repo_name}" }
-
-gemspec
-
-group :test do
-  platform :mri do
-    gem 'simplecov', require: false
-  end
-end
-
-group :tools do
-  gem 'pry-byebug', platform: :mri
-  gem 'rubocop'
-end
-
-group :benchmarks do
-  gem 'attrio'
-  gem 'benchmark-ips'
-  gem 'dry-struct'
-  gem 'fast_attributes'
-  gem 'hotch'
-  gem 'virtus'
-end

data/Rakefile

@@ -1,22 +0,0 @@
-# frozen_string_literal: true
-
-require 'bundler/gem_tasks'
-require 'rspec/core/rake_task'
-
-task :run_specs do
-  require 'rspec/core'
-
-  types_result = RSpec::Core::Runner.run(['spec/dry'])
-  RSpec.clear_examples
-
-  Dry::Types.load_extensions(:maybe)
-  ext_result = RSpec::Core::Runner.run(['spec'])
-
-  exit [types_result, ext_result].max
-end
-
-task default: :run_specs
-
-require 'yard'
-require 'yard/rake/yardoc_task'
-YARD::Rake::YardocTask.new(:doc)

data/benchmarks/hash_schemas.rb

@@ -1,55 +0,0 @@
-# frozen_string_literal: true
-
-$LOAD_PATH.unshift('lib')
-
-require 'bundler/setup'
-require 'dry-types'
-
-module SchemaBench
-  def self.hash_schema(type)
-    Dry::Types['nominal.hash'].public_send(
-      type,
-      email: Dry::Types['nominal.string'],
-      age: Dry::Types['params.integer'],
-      admin: Dry::Types['params.bool'],
-      address: Dry::Types['nominal.hash'].public_send(
-        type,
-        city: Dry::Types['nominal.string'],
-        street: Dry::Types['nominal.string']
-      )
-    )
-  end
-
-  private_class_method(:hash_schema)
-
-  SCHEMAS =
-    Dry::Types::Hash
-      .public_instance_methods(false)
-      .map { |schema_type| [schema_type, hash_schema(schema_type)] }
-      .to_h
-
-  INPUT = {
-    email: 'jane@doe.org',
-    age: '20',
-    admin: '1',
-    address: { city: 'NYC', street: 'Street 1/2' }
-  }.freeze
-end
-
-require 'benchmark/ips'
-
-Benchmark.ips do |x|
-  SchemaBench::SCHEMAS.each do |schema_type, schema|
-    x.report("#{schema_type}#call") do
-      schema.call(SchemaBench::INPUT)
-    end
-  end
-
-  SchemaBench::SCHEMAS.each do |schema_type, schema|
-    x.report("#{schema_type}#try") do
-      schema.try(SchemaBench::INPUT)
-    end
-  end
-
-  x.compare!
-end