dry-types 0.14.1 → 1.5.1

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: dry-types
 version: !ruby/object:Gem::Version
-  version: 0.14.1
+  version: 1.5.1
 platform: ruby
 authors:
 - Piotr Solnica
 autorequire: 
-bindir: exe
+bindir: bin
 cert_chain: []
-date: 2019-03-25 00:00:00.000000000 Z
+date: 2021-02-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
@@ -25,93 +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
+        version: '0.5'
 - !ruby/object:Gem::Dependency
-  name: dry-container
+  name: dry-inflector
   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'
-- !ruby/object:Gem::Dependency
-  name: dry-equalizer
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
+        version: '0.1'
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '0.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.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
@@ -127,85 +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:
-- ".gitignore"
-- ".rspec"
-- ".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
@@ -213,39 +192,47 @@ files:
 - lib/dry/types/coercions/json.rb
 - lib/dry/types/coercions/params.rb
 - lib/dry/types/compat.rb
-- lib/dry/types/compat/form_types.rb
-- lib/dry/types/compat/int.rb
 - lib/dry/types/compiler.rb
 - lib/dry/types/constrained.rb
 - 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
 - lib/dry/types/default.rb
-- lib/dry/types/definition.rb
 - lib/dry/types/enum.rb
 - 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/schema.rb
-- lib/dry/types/hash/schema_builder.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:
@@ -261,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.1
+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/.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/.travis.yml

@@ -1,27 +0,0 @@
-language: ruby
-dist: trusty
-sudo: required
-cache: bundler
-bundler_args: --without benchmarks tools
-script:
-  - bundle exec rake
-after_success:
-  - '[ -d coverage ] && bundle exec codeclimate-test-reporter'
-rvm:
-  - 2.3.8
-  - 2.4.5
-  - 2.5.5
-  - 2.6.2
-  - jruby-9.2.6.0
-env:
-  global:
-    - COVERAGE=true
-    - JRUBY_OPTS='--dev -J-Xmx1024M'
-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,24 +0,0 @@
-source 'https://rubygems.org'
-
-gemspec
-
-group :test do
-  platform :mri do
-    gem "codeclimate-test-reporter", require: false
-    gem 'simplecov', require: false
-  end
-end
-
-group :tools do
-  gem 'pry-byebug', platform: :mri
-  gem 'mutant'
-  gem 'mutant-rspec'
-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['hash'].public_send(type,
-      email:   Dry::Types['string'],
-      age:     Dry::Types['params.integer'],
-      admin:   Dry::Types['params.bool'],
-      address: Dry::Types['hash'].public_send(type,
-        city: Dry::Types['string'],
-        street: Dry::Types['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/compat/form_types.rb

@@ -1,27 +0,0 @@
-require 'dry/core/deprecations'
-
-Dry::Core::Deprecations.warn('Form types were renamed to Params', tag: :'dry-types')
-
-module Dry
-  module Types
-    container.keys.grep(/^params\./).each do |key|
-      next if key.start_with?('params.int')
-      register(key.sub('params.', 'form.'), container[key])
-    end
-
-    register('form.int', self['params.integer'])
-    register('form.integer', self['params.integer'])
-
-    class Compiler
-      def visit_form_hash(node)
-        schema, meta = node
-        merge_with('params.hash', :symbolized, schema).meta(meta)
-      end
-
-      def visit_form_array(node)
-        member, meta = node
-        registry['params.array'].of(visit(member)).meta(meta)
-      end
-    end
-  end
-end

data/lib/dry/types/compat/int.rb

@@ -1,14 +0,0 @@
-require 'dry/core/deprecations'
-
-Dry::Core::Deprecations.warn('Int type was renamed to Integer', tag: :'dry-types')
-
-module Dry
-  module Types
-    register('int', self['integer'])
-    register('strict.int', self['strict.integer'])
-    register('coercible.int', self['coercible.integer'])
-    register('optional.strict.int', self['optional.strict.integer'])
-    register('optional.coercible.int', self['optional.coercible.integer'])
-    register('params.int', self['params.integer'])
-  end
-end

data/lib/dry/types/definition.rb

@@ -1,113 +0,0 @@
-require 'dry/types/builder'
-require 'dry/types/result'
-require 'dry/types/options'
-
-module Dry
-  module Types
-    class Definition
-      include Type
-      include Options
-      include Builder
-      include Dry::Equalizer(:primitive, :options, :meta)
-
-      # @return [Class]
-      attr_reader :primitive
-
-      # @param [Class] primitive
-      # @return [Type]
-      def self.[](primitive)
-        if primitive == ::Array
-          Types::Array
-        elsif primitive == ::Hash
-          Types::Hash
-        else
-          self
-        end
-      end
-
-      # @param [Type,Class] primitive
-      # @param [Hash] options
-      def initialize(primitive, **options)
-        super
-        @primitive = primitive
-        freeze
-      end
-
-      # @return [String]
-      def name
-        primitive.name
-      end
-
-      # @return [false]
-      def default?
-        false
-      end
-
-      # @return [false]
-      def constrained?
-        false
-      end
-
-      # @return [false]
-      def optional?
-        false
-      end
-
-      # @param [BasicObject] input
-      # @return [BasicObject]
-      def call(input)
-        input
-      end
-      alias_method :[], :call
-
-      # @param [Object] input
-      # @param [#call,nil] block
-      # @yieldparam [Failure] failure
-      # @yieldreturn [Result]
-      # @return [Result,Logic::Result] when a block is not provided
-      # @return [nil] otherwise
-      def try(input, &block)
-        if valid?(input)
-          success(input)
-        else
-          failure = failure(input, "#{input.inspect} must be an instance of #{primitive}")
-          block ? yield(failure) : failure
-        end
-      end
-
-      # @param (see Dry::Types::Success#initialize)
-      # @return [Result::Success]
-      def success(input)
-        Result::Success.new(input)
-      end
-
-      # @param (see Failure#initialize)
-      # @return [Result::Failure]
-      def failure(input, error)
-        Result::Failure.new(input, error)
-      end
-
-      # Checks whether value is of a #primitive class
-      # @param [Object] value
-      # @return [Boolean]
-      def primitive?(value)
-        value.is_a?(primitive)
-      end
-      alias_method :valid?, :primitive?
-      alias_method :===, :primitive?
-
-      # Return AST representation of a type definition
-      #
-      # @api public
-      #
-      # @return [Array]
-      def to_ast(meta: true)
-        [:definition, [primitive, meta ? self.meta : EMPTY_HASH]]
-      end
-    end
-  end
-end
-
-require 'dry/types/array'
-require 'dry/types/hash'
-require 'dry/types/map'