dry-types 0.15.0 → 1.5.1

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: dry-types
 version: !ruby/object:Gem::Version
-  version: 0.15.0
+  version: 1.5.1
 platform: ruby
 authors:
 - Piotr Solnica
 autorequire: 
-bindir: exe
+bindir: bin
 cert_chain: []
-date: 2019-03-22 00:00:00.000000000 Z
+date: 2021-02-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
@@ -25,99 +25,79 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '1.0'
 - !ruby/object:Gem::Dependency
-  name: dry-core
+  name: dry-container
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.4'
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 0.4.4
+        version: '0.3'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.4'
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 0.4.4
+        version: '0.3'
 - !ruby/object:Gem::Dependency
-  name: dry-inflector
+  name: dry-core
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.5'
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.1.2
+        version: '0.5'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.5'
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.1.2
-- !ruby/object:Gem::Dependency
-  name: dry-container
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '0.3'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '0.3'
+        version: '0.5'
 - !ruby/object:Gem::Dependency
-  name: dry-equalizer
+  name: dry-inflector
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.2'
+        version: '0.1'
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.2.2
+        version: 0.1.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.2'
+        version: '0.1'
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.2.2
+        version: 0.1.2
 - !ruby/object:Gem::Dependency
   name: dry-logic
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0.5'
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '1.0'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.0.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0.5'
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '1.0'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.0.2
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -133,87 +113,78 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
-  name: rake
+  name: dry-monads
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '11.0'
+        version: '1.0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '11.0'
+        version: '1.0'
 - !ruby/object:Gem::Dependency
-  name: rspec
+  name: rake
   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: dry-monads
+  name: rspec
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '0.2'
+        version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '0.2'
+        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
 - dry-types.gemspec
 - lib/dry-types.rb
 - lib/dry/types.rb
 - lib/dry/types/any.rb
 - lib/dry/types/array.rb
+- lib/dry/types/array/constructor.rb
 - lib/dry/types/array/member.rb
 - lib/dry/types/builder.rb
 - lib/dry/types/builder_methods.rb
@@ -226,6 +197,8 @@ files:
 - lib/dry/types/constrained/coercible.rb
 - lib/dry/types/constraints.rb
 - lib/dry/types/constructor.rb
+- lib/dry/types/constructor/function.rb
+- lib/dry/types/constructor/wrapper.rb
 - lib/dry/types/container.rb
 - lib/dry/types/core.rb
 - lib/dry/types/decorator.rb
@@ -234,28 +207,32 @@ 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
 - lib/dry/types/inflector.rb
 - lib/dry/types/json.rb
+- lib/dry/types/lax.rb
 - lib/dry/types/map.rb
+- lib/dry/types/meta.rb
 - lib/dry/types/module.rb
 - 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
-- lib/dry/types/safe.rb
 - lib/dry/types/schema.rb
 - lib/dry/types/schema/key.rb
 - lib/dry/types/spec/types.rb
 - 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:
@@ -271,16 +248,16 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.3.0
+      version: 2.5.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.0.3
+rubygems_version: 3.1.4
 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,10 +0,0 @@
-/.bundle/
-/.yardoc
-/Gemfile.lock
-/_yardoc/
-/coverage/
-/doc/
-/pkg/
-/spec/reports/
-/tmp/
-log/

data/.rspec

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

data/.rubocop.yml

@@ -1,43 +0,0 @@
-AllCops:
-  TargetRubyVersion: 2.4
-
-Style/StringLiterals:
-  Enabled: true
-  EnforcedStyle: single_quotes
-
-Style/Alias:
-  Enabled: false
-
-Style/LambdaCall:
-  Enabled: false
-
-Style/StabbyLambdaParentheses:
-  Enabled: false
-
-Layout/MultilineMethodCallIndentation:
-  Enabled: true
-  EnforcedStyle: indented
-
-Metrics/LineLength:                                                             
-  Max: 100 
-
-Metrics/MethodLength:
-  Max: 22
-
-Metrics/ClassLength:
-  Max: 150
-
-Metrics/AbcSize:
-  Max: 20
-
-Metrics/BlockLength:
-  Enabled: true
-  Exclude:
-    - 'spec/**/*_spec.rb'
-
-Metrics/CyclomaticComplexity:
-  Enabled: true
-  Max: 10
-
-Lint/BooleanSymbol:
-  Enabled: false

data/.travis.yml

@@ -1,28 +0,0 @@
-language: ruby
-cache: bundler
-sudo: false
-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.1
-  - 2.5.3
-  - 2.4.5
-  - jruby-9.2.6.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,5 +0,0 @@
---title 'dry-types'
---markup markdown
---readme README.md
---private
-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,23 +0,0 @@
-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
-end
-
-group :benchmarks do
-  gem 'benchmark-ips'
-  gem 'virtus'
-  gem 'fast_attributes'
-  gem 'attrio'
-  gem 'dry-struct'
-end

data/Rakefile

@@ -1,20 +0,0 @@
-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,51 +0,0 @@
-$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' }
-  }
-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

data/lib/dry/types/safe.rb

@@ -1,61 +0,0 @@
-require 'dry/types/decorator'
-
-module Dry
-  module Types
-    class Safe
-      include Type
-      include Decorator
-      include Builder
-      include Printable
-      include Dry::Equalizer(:type, inspect: false)
-
-      private :options, :meta
-
-      # @param [Object] input
-      # @return [Object]
-      def call(input)
-        result = try(input)
-
-        if result.respond_to?(:input)
-          result.input
-        else
-          input
-        end
-      end
-      alias_method :[], :call
-
-      # @param [Object] input
-      # @param [#call,nil] block
-      # @yieldparam [Failure] failure
-      # @yieldreturn [Result]
-      # @return [Result,Logic::Result]
-      def try(input, &block)
-        type.try(input, &block)
-      rescue TypeError, ArgumentError => e
-        result = failure(input, e.message)
-        block ? yield(result) : result
-      end
-
-      # @api public
-      #
-      # @see Nominal#to_ast
-      def to_ast(meta: true)
-        [:safe, [type.to_ast(meta: meta), EMPTY_HASH]]
-      end
-
-      # @api public
-      # @return [Safe]
-      def safe
-        self
-      end
-
-      private
-
-      # @param [Object, Dry::Types::Constructor] response
-      # @return [Boolean]
-      def decorate?(response)
-        super || response.kind_of?(Constructor)
-      end
-    end
-  end
-end