dry-types 0.15.0 → 1.0.0

data/lib/dry/types/schema/key.rb

@@ -1,7 +1,12 @@
+# frozen_string_literal: true
+
 require 'dry/equalizer'
 
 module Dry
   module Types
+    # Schema is a hash with explicit member types defined
+    #
+    # @api public
     class Schema < Hash
       # Proxy type for schema keys. Contains only key name and
       # whether it's required or not. All other calls deletaged
@@ -28,12 +33,19 @@ module Dry
           @name = name
         end
 
-        # @see Dry::Types::Nominal#call
-        def call(input, &block)
-          type.(input, &block)
+        # @api private
+        def call_safe(input, &block)
+          type.call_safe(input, &block)
+        end
+
+        # @api private
+        def call_unsafe(input)
+          type.call_unsafe(input)
         end
 
         # @see Dry::Types::Nominal#try
+        #
+        # @api public
         def try(input, &block)
           type.try(input, &block)
         end
@@ -41,6 +53,8 @@ module Dry
         # Whether the key is required in schema input
         #
         # @return [Boolean]
+        #
+        # @api public
         def required?
           options.fetch(:required)
         end
@@ -55,6 +69,8 @@ module Dry
         #
         #   @param [Boolean] required New value
         #   @return [Dry::Types::Schema::Key]
+        #
+        # @api public
         def required(required = Undefined)
           if Undefined.equal?(required)
             options.fetch(:required)
@@ -66,36 +82,26 @@ module Dry
         # Make key not required
         #
         # @return [Dry::Types::Schema::Key]
+        #
+        # @api public
         def omittable
           required(false)
         end
 
-        # Construct a default type. Default values are
-        # evaluated/applied when key is absent in schema
-        # input.
+        # Turn key into a lax type. Lax types are not strict hence such keys are not required
         #
-        # @see Dry::Types::Default
-        # @return [Dry::Types::Schema::Key]
-        def default(input = Undefined, &block)
-          new(type.default(input, &block))
-        end
-
-        # Replace the underlying type
-        # @param [Dry::Types::Type] type
-        # @return [Dry::Types::Schema::Key]
-        def new(type)
-          self.class.new(type, name, options)
-        end
-
-        # @see Dry::Types::Safe
-        # @return [Dry::Types::Schema::Key]
-        def safe
-          new(type.safe)
+        # @return [Lax]
+        #
+        # @api public
+        def lax
+          super.required(false)
         end
 
         # Dump to internal AST representation
         #
         # @return [Array]
+        #
+        # @api public
         def to_ast(meta: true)
           [
             :key,
@@ -107,22 +113,11 @@ module Dry
           ]
         end
 
-        # Get/set type metadata. The Key type doesn't have
-        # its out meta, it delegates these calls to the underlying
-        # type.
-        #
-        # @overload meta
-        #   @return [Hash] metadata associated with type
-        #
-        # @overload meta(data)
-        #   @param [Hash] new metadata to merge into existing metadata
-        #   @return [Type] new type with added metadata
-        def meta(data = nil)
-          if data.nil?
-            type.meta
-          else
-            new(type.meta(data))
-          end
+        private
+
+        # @api private
+        def decorate?(response)
+          response.is_a?(Type)
         end
       end
     end

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

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 RSpec.shared_examples_for 'Dry::Types::Nominal without primitive' do
   def be_boolean
     satisfy { |x| x == true || x == false  }
@@ -46,6 +48,14 @@ RSpec.shared_examples_for 'Dry::Types::Nominal without primitive' do
       end
     end
   end
+
+  describe '#to_proc' do
+    subject(:callable) { type.to_proc }
+
+    it 'converts a type to a proc' do
+      expect(callable).to be_a(Proc)
+    end
+  end
 end
 
 RSpec.shared_examples_for 'Dry::Types::Nominal#meta' do
@@ -69,7 +79,7 @@ RSpec.shared_examples_for 'Dry::Types::Nominal#meta' do
       expect(type.meta).to be_a ::Hash
       expect(type.meta).to be_frozen
       expect(type.meta).not_to have_key :immutable_test
-      derived = type.with(meta: {immutable_test: 1})
+      derived = type.meta(immutable_test: 1)
       expect(derived.meta).to be_frozen
       expect(derived.meta).to eql({immutable_test: 1})
       expect(type.meta).not_to have_key :immutable_test
@@ -100,3 +110,33 @@ RSpec.shared_examples_for Dry::Types::Nominal do
     end
   end
 end
+
+RSpec.shared_examples_for 'a constrained type' do |inputs: Object.new|
+  let(:fallback) { Object.new }
+
+  describe '#call' do
+    it 'yields a block on failure' do
+      Array(inputs).each do |input|
+        expect(type.(input) { fallback }).to be(fallback)
+      end
+    end
+
+    it 'throws an error on invalid input' do
+      Array(inputs).each do |input|
+        expect { type.(input) }.to raise_error(Dry::Types::CoercionError)
+      end
+    end
+  end
+end
+
+RSpec.shared_examples_for 'a nominal type' do |inputs: Object.new|
+  describe '#call' do
+    it 'always returns the input back' do
+      Array(inputs).each do |input|
+        expect(type.(input) { fail }).to be(input)
+        expect(type.(input)).to be(input)
+      end
+    end
+  end
+end
+

data/lib/dry/types/sum.rb

@@ -1,11 +1,18 @@
+# frozen_string_literal: true
+
 require 'dry/types/options'
+require 'dry/types/meta'
 
 module Dry
   module Types
+    # Sum type
+    #
+    # @api public
     class Sum
       include Type
       include Builder
       include Options
+      include Meta
       include Printable
       include Dry::Equalizer(:left, :right, :options, :meta, inspect: false)
 
@@ -15,6 +22,7 @@ module Dry
       # @return [Type]
       attr_reader :right
 
+      # @api private
       class Constrained < Sum
         # @return [Dry::Logic::Operations::Or]
         def rule
@@ -25,21 +33,13 @@ module Dry
         def constrained?
           true
         end
-
-        # @param [Object] input
-        # @return [Object]
-        # @raise [ConstraintError] if given +input+ not passing {#try}
-        def call(input)
-          try(input) { |result|
-            raise ConstraintError.new(result, input)
-          }.input
-        end
-        alias_method :[], :call
       end
 
       # @param [Type] left
       # @param [Type] right
       # @param [Hash] options
+      #
+      # @api private
       def initialize(left, right, options = {})
         super
         @left, @right = left, right
@@ -47,33 +47,55 @@ module Dry
       end
 
       # @return [String]
+      #
+      # @api public
       def name
         [left, right].map(&:name).join(' | ')
       end
 
       # @return [false]
+      #
+      # @api public
       def default?
         false
       end
 
       # @return [false]
+      #
+      # @api public
       def constrained?
         false
       end
 
       # @return [Boolean]
+      #
+      # @api public
       def optional?
         primitive?(nil)
       end
 
       # @param [Object] input
+      #
       # @return [Object]
-      def call(input)
-        try(input).input
+      #
+      # @api private
+      def call_unsafe(input)
+        left.call_safe(input) { right.call_unsafe(input) }
       end
-      alias_method :[], :call
 
-      def try(input, &block)
+      # @param [Object] input
+      #
+      # @return [Object]
+      #
+      # @api private
+      def call_safe(input, &block)
+        left.call_safe(input) { right.call_safe(input, &block) }
+      end
+
+      # @param [Object] input
+      #
+      # @api public
+      def try(input)
         left.try(input) do
           right.try(input) do |failure|
             if block_given?
@@ -85,6 +107,7 @@ module Dry
         end
       end
 
+      # @api private
       def success(input)
         if left.valid?(input)
           left.success(input)
@@ -95,6 +118,7 @@ module Dry
         end
       end
 
+      # @api private
       def failure(input, _error = nil)
         if !left.valid?(input)
           left.failure(input, left.try(input).error)
@@ -104,28 +128,44 @@ module Dry
       end
 
       # @param [Object] value
+      #
       # @return [Boolean]
+      #
+      # @api private
       def primitive?(value)
         left.primitive?(value) || right.primitive?(value)
       end
 
-      # @param [Object] value
-      # @return [Boolean]
-      def valid?(value)
-        left.valid?(value) || right.valid?(value)
+      # Manage metadata to the type. If the type is an optional, #meta delegates
+      # to the right branch
+      #
+      # @see [Meta#meta]
+      #
+      # @api public
+      def meta(data = nil)
+        if data.nil?
+          optional? ? right.meta : super
+        elsif optional?
+          self.class.new(left, right.meta(data), options)
+        else
+          super
+        end
       end
-      alias_method :===, :valid?
 
-      # @api public
-      #
       # @see Nominal#to_ast
+      #
+      # @api public
       def to_ast(meta: true)
         [:sum, [left.to_ast(meta: meta), right.to_ast(meta: meta), meta ? self.meta : EMPTY_HASH]]
       end
 
       # @param [Hash] options
+      #
       # @return [Constrained,Sum]
+      #
       # @see Builder#constrained
+      #
+      # @api public
       def constrained(options)
         if optional?
           right.constrained(options).optional
@@ -133,6 +173,15 @@ module Dry
           super
         end
       end
+
+      # Wrap the type with a proc
+      #
+      # @return [Proc]
+      #
+      # @api public
+      def to_proc
+        proc { |value| self.(value) }
+      end
     end
   end
 end

data/lib/dry/types/type.rb

@@ -1,6 +1,55 @@
+# frozen_string_literal: true
+
+require 'dry/core/deprecations'
+
 module Dry
   module Types
+    # Common Type module denoting an object is a Type
+    #
+    # @api public
     module Type
+      extend ::Dry::Core::Deprecations[:'dry-types']
+
+      deprecate(:safe, :lax)
+
+      # Whether a value is a valid member of the type
+      #
+      # @return [Boolean]
+      #
+      # @api private
+      def valid?(input = Undefined)
+        call_safe(input) { return false }
+        true
+      end
+      # Anything can be coerced matches
+      alias_method :===, :valid?
+
+      # Apply type to a value
+      #
+      # @overload call(input = Undefined)
+      #   Possibly unsafe coercion attempt. If a value doesn't
+      #   match the type, an exception will be raised.
+      #
+      #   @param [Object] input
+      #   @return [Object]
+      #
+      # @overload call(input = Undefined)
+      #   When a block is passed, {#call} will never throw an exception on
+      #   failed coercion, instead it will call the block.
+      #
+      #   @param [Object] input
+      #   @yieldparam [Object] output Partially coerced value
+      #   @return [Object]
+      #
+      # @api public
+      def call(input = Undefined, &block)
+        if block_given?
+          call_safe(input, &block)
+        else
+          call_unsafe(input)
+        end
+      end
+      alias_method :[], :call
     end
   end
 end

data/lib/dry/types/version.rb

@@ -1,5 +1,7 @@
+# frozen_string_literal: true
+
 module Dry
   module Types
-    VERSION = '0.15.0'.freeze
+    VERSION = '1.0.0'
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: dry-types
 version: !ruby/object:Gem::Version
-  version: 0.15.0
+  version: 1.0.0
 platform: ruby
 authors:
 - Piotr Solnica
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2019-03-22 00:00:00.000000000 Z
+date: 2019-04-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
@@ -102,22 +102,16 @@ dependencies:
   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'
   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::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -209,6 +203,12 @@ files:
 - 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
@@ -226,6 +226,7 @@ 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/container.rb
 - lib/dry/types/core.rb
 - lib/dry/types/decorator.rb
@@ -239,7 +240,9 @@ files:
 - 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
@@ -247,7 +250,6 @@ files:
 - 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
@@ -271,7 +273,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.3.0
+      version: 2.4.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="