dry-types 0.15.0 → 1.0.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.gitignore +1 -0
- data/.rubocop.yml +18 -2
- data/.travis.yml +4 -5
- data/.yardopts +6 -2
- data/CHANGELOG.md +69 -1
- data/Gemfile +3 -0
- data/README.md +2 -1
- data/Rakefile +2 -0
- data/benchmarks/hash_schemas.rb +2 -0
- data/benchmarks/lax_schema.rb +16 -0
- data/benchmarks/profile_invalid_input.rb +15 -0
- data/benchmarks/profile_lax_schema_valid.rb +16 -0
- data/benchmarks/profile_valid_input.rb +15 -0
- data/benchmarks/schema_valid_vs_invalid.rb +21 -0
- data/benchmarks/setup.rb +17 -0
- data/dry-types.gemspec +4 -2
- data/lib/dry-types.rb +2 -0
- data/lib/dry/types.rb +51 -13
- data/lib/dry/types/any.rb +21 -10
- data/lib/dry/types/array.rb +11 -1
- data/lib/dry/types/array/member.rb +65 -13
- data/lib/dry/types/builder.rb +48 -4
- data/lib/dry/types/builder_methods.rb +9 -8
- data/lib/dry/types/coercions.rb +71 -19
- data/lib/dry/types/coercions/json.rb +22 -3
- data/lib/dry/types/coercions/params.rb +98 -30
- data/lib/dry/types/compiler.rb +35 -12
- data/lib/dry/types/constrained.rb +73 -27
- data/lib/dry/types/constrained/coercible.rb +36 -6
- data/lib/dry/types/constraints.rb +15 -1
- data/lib/dry/types/constructor.rb +90 -43
- data/lib/dry/types/constructor/function.rb +201 -0
- data/lib/dry/types/container.rb +5 -0
- data/lib/dry/types/core.rb +7 -5
- data/lib/dry/types/decorator.rb +36 -9
- data/lib/dry/types/default.rb +48 -16
- data/lib/dry/types/enum.rb +30 -16
- data/lib/dry/types/errors.rb +73 -7
- data/lib/dry/types/extensions.rb +2 -0
- data/lib/dry/types/extensions/maybe.rb +43 -4
- data/lib/dry/types/fn_container.rb +5 -0
- data/lib/dry/types/hash.rb +22 -3
- data/lib/dry/types/hash/constructor.rb +13 -0
- data/lib/dry/types/inflector.rb +2 -0
- data/lib/dry/types/json.rb +4 -6
- data/lib/dry/types/{safe.rb → lax.rb} +34 -17
- data/lib/dry/types/map.rb +63 -29
- data/lib/dry/types/meta.rb +51 -0
- data/lib/dry/types/module.rb +7 -2
- data/lib/dry/types/nominal.rb +105 -13
- data/lib/dry/types/options.rb +12 -25
- data/lib/dry/types/params.rb +5 -3
- data/lib/dry/types/printable.rb +5 -1
- data/lib/dry/types/printer.rb +58 -57
- data/lib/dry/types/result.rb +26 -0
- data/lib/dry/types/schema.rb +169 -66
- data/lib/dry/types/schema/key.rb +34 -39
- data/lib/dry/types/spec/types.rb +41 -1
- data/lib/dry/types/sum.rb +70 -21
- data/lib/dry/types/type.rb +49 -0
- data/lib/dry/types/version.rb +3 -1
- metadata +14 -12
@@ -1,12 +1,42 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
1
3
|
module Dry
|
2
4
|
module Types
|
3
5
|
class Constrained
|
6
|
+
# Common coercion-related API for constrained types
|
7
|
+
#
|
8
|
+
# @api public
|
4
9
|
class Coercible < Constrained
|
5
|
-
# @
|
6
|
-
#
|
7
|
-
# @
|
8
|
-
|
9
|
-
|
10
|
+
# @return [Object]
|
11
|
+
#
|
12
|
+
# @api private
|
13
|
+
def call_unsafe(input)
|
14
|
+
coerced = type.call_unsafe(input)
|
15
|
+
result = rule.(coerced)
|
16
|
+
|
17
|
+
if result.success?
|
18
|
+
coerced
|
19
|
+
else
|
20
|
+
raise ConstraintError.new(result, input)
|
21
|
+
end
|
22
|
+
end
|
23
|
+
|
24
|
+
# @return [Object]
|
25
|
+
#
|
26
|
+
# @api private
|
27
|
+
def call_safe(input)
|
28
|
+
coerced = type.call_safe(input) { return yield }
|
29
|
+
|
30
|
+
if rule[coerced]
|
31
|
+
coerced
|
32
|
+
else
|
33
|
+
yield(coerced)
|
34
|
+
end
|
35
|
+
end
|
36
|
+
|
37
|
+
# @see Dry::Types::Constrained#try
|
38
|
+
#
|
39
|
+
# @api public
|
10
40
|
def try(input, &block)
|
11
41
|
result = type.try(input)
|
12
42
|
|
@@ -16,7 +46,7 @@ module Dry
|
|
16
46
|
if validation.success?
|
17
47
|
result
|
18
48
|
else
|
19
|
-
failure = failure(result.input, validation)
|
49
|
+
failure = failure(result.input, ConstraintError.new(validation, input))
|
20
50
|
block ? yield(failure) : failure
|
21
51
|
end
|
22
52
|
else
|
@@ -1,18 +1,32 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
1
3
|
require 'dry/logic/rule_compiler'
|
2
4
|
require 'dry/logic/predicates'
|
3
5
|
require 'dry/logic/rule/predicate'
|
4
6
|
|
5
7
|
module Dry
|
8
|
+
# Helper methods for constraint types
|
9
|
+
#
|
10
|
+
# @api public
|
6
11
|
module Types
|
7
12
|
# @param [Hash] options
|
13
|
+
#
|
8
14
|
# @return [Dry::Logic::Rule]
|
15
|
+
#
|
16
|
+
# @api public
|
9
17
|
def self.Rule(options)
|
10
18
|
rule_compiler.(
|
11
|
-
options.map { |key, val|
|
19
|
+
options.map { |key, val|
|
20
|
+
Logic::Rule::Predicate.build(
|
21
|
+
Logic::Predicates[:"#{key}?"]
|
22
|
+
).curry(val).to_ast
|
23
|
+
}
|
12
24
|
).reduce(:and)
|
13
25
|
end
|
14
26
|
|
15
27
|
# @return [Dry::Logic::RuleCompiler]
|
28
|
+
#
|
29
|
+
# @api private
|
16
30
|
def self.rule_compiler
|
17
31
|
@rule_compiler ||= Logic::RuleCompiler.new(Logic::Predicates)
|
18
32
|
end
|
@@ -1,9 +1,18 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
1
3
|
require 'dry/types/fn_container'
|
4
|
+
require 'dry/types/constructor/function'
|
2
5
|
|
3
6
|
module Dry
|
4
7
|
module Types
|
8
|
+
# Constructor types apply a function to the input that is supposed to return
|
9
|
+
# a new value. Coercion is a common use case for constructor types.
|
10
|
+
#
|
11
|
+
# @api public
|
5
12
|
class Constructor < Nominal
|
6
|
-
include Dry::Equalizer(:type, :options,
|
13
|
+
include Dry::Equalizer(:type, :options, inspect: false)
|
14
|
+
|
15
|
+
private :meta
|
7
16
|
|
8
17
|
# @return [#call]
|
9
18
|
attr_reader :fn
|
@@ -16,124 +25,161 @@ module Dry
|
|
16
25
|
# @param [Builder, Object] input
|
17
26
|
# @param [Hash] options
|
18
27
|
# @param [#call, nil] block
|
28
|
+
#
|
29
|
+
# @api public
|
19
30
|
def self.new(input, **options, &block)
|
20
31
|
type = input.is_a?(Builder) ? input : Nominal.new(input)
|
21
|
-
super(type, **options,
|
32
|
+
super(type, **options, fn: Function[options.fetch(:fn, block)])
|
22
33
|
end
|
23
34
|
|
35
|
+
# Instantiate a new constructor type instance
|
36
|
+
#
|
24
37
|
# @param [Type] type
|
38
|
+
# @param [Function] fn
|
25
39
|
# @param [Hash] options
|
26
|
-
#
|
27
|
-
|
40
|
+
#
|
41
|
+
# @api private
|
42
|
+
def initialize(type, fn: nil, **options)
|
28
43
|
@type = type
|
29
|
-
@fn =
|
30
|
-
|
31
|
-
raise ArgumentError, 'Missing constructor block' if fn.nil?
|
44
|
+
@fn = fn
|
32
45
|
|
33
46
|
super(type, **options, fn: fn)
|
34
47
|
end
|
35
48
|
|
49
|
+
# Return the inner type's primitive
|
50
|
+
#
|
36
51
|
# @return [Class]
|
52
|
+
#
|
53
|
+
# @api public
|
37
54
|
def primitive
|
38
55
|
type.primitive
|
39
56
|
end
|
40
57
|
|
58
|
+
# Return the inner type's name
|
59
|
+
#
|
41
60
|
# @return [String]
|
61
|
+
#
|
62
|
+
# @api public
|
42
63
|
def name
|
43
64
|
type.name
|
44
65
|
end
|
45
66
|
|
46
67
|
# @return [Boolean]
|
68
|
+
#
|
69
|
+
# @api public
|
47
70
|
def default?
|
48
71
|
type.default?
|
49
72
|
end
|
50
73
|
|
51
|
-
# @param [Object] input
|
52
74
|
# @return [Object]
|
53
|
-
|
54
|
-
|
75
|
+
#
|
76
|
+
# @api private
|
77
|
+
def call_safe(input)
|
78
|
+
coerced = fn.(input) { return yield }
|
79
|
+
type.call_safe(coerced) { |output = coerced| yield(output) }
|
80
|
+
end
|
81
|
+
|
82
|
+
# @return [Object]
|
83
|
+
#
|
84
|
+
# @api private
|
85
|
+
def call_unsafe(input)
|
86
|
+
type.call_unsafe(fn.(input))
|
55
87
|
end
|
56
|
-
alias_method :[], :call
|
57
88
|
|
58
89
|
# @param [Object] input
|
59
90
|
# @param [#call,nil] block
|
91
|
+
#
|
60
92
|
# @return [Logic::Result, Types::Result]
|
61
93
|
# @return [Object] if block given and try fails
|
94
|
+
#
|
95
|
+
# @api public
|
62
96
|
def try(input, &block)
|
63
|
-
|
64
|
-
rescue
|
65
|
-
failure(input,
|
97
|
+
value = fn.(input)
|
98
|
+
rescue CoercionError => error
|
99
|
+
failure = failure(input, error)
|
100
|
+
block_given? ? yield(failure) : failure
|
101
|
+
else
|
102
|
+
type.try(value, &block)
|
66
103
|
end
|
67
104
|
|
105
|
+
# Build a new constructor by appending a block to the coercion function
|
106
|
+
#
|
68
107
|
# @param [#call, nil] new_fn
|
69
108
|
# @param [Hash] options
|
70
109
|
# @param [#call, nil] block
|
110
|
+
#
|
71
111
|
# @return [Constructor]
|
112
|
+
#
|
113
|
+
# @api public
|
72
114
|
def constructor(new_fn = nil, **options, &block)
|
73
|
-
|
74
|
-
right = fn
|
75
|
-
|
76
|
-
with(**options, fn: -> input { left[right[input]] })
|
115
|
+
with({**options, fn: fn >> (new_fn || block)})
|
77
116
|
end
|
78
117
|
alias_method :append, :constructor
|
79
118
|
alias_method :>>, :constructor
|
80
119
|
|
81
|
-
# @param [Object] value
|
82
|
-
# @return [Boolean]
|
83
|
-
def valid?(value)
|
84
|
-
constructed_value = fn[value]
|
85
|
-
rescue NoMethodError, TypeError, ArgumentError
|
86
|
-
false
|
87
|
-
else
|
88
|
-
type.valid?(constructed_value)
|
89
|
-
end
|
90
|
-
alias_method :===, :valid?
|
91
|
-
|
92
120
|
# @return [Class]
|
121
|
+
#
|
122
|
+
# @api private
|
93
123
|
def constrained_type
|
94
124
|
Constrained::Coercible
|
95
125
|
end
|
96
126
|
|
97
|
-
# @api public
|
98
|
-
#
|
99
127
|
# @see Nominal#to_ast
|
128
|
+
#
|
129
|
+
# @api public
|
100
130
|
def to_ast(meta: true)
|
101
|
-
[:constructor, [type.to_ast(meta: meta),
|
102
|
-
register_fn(fn),
|
103
|
-
meta ? self.meta : EMPTY_HASH]]
|
131
|
+
[:constructor, [type.to_ast(meta: meta), fn.to_ast]]
|
104
132
|
end
|
105
133
|
|
106
|
-
#
|
134
|
+
# Build a new constructor by prepending a block to the coercion function
|
107
135
|
#
|
108
136
|
# @param [#call, nil] new_fn
|
109
137
|
# @param [Hash] options
|
110
138
|
# @param [#call, nil] block
|
139
|
+
#
|
111
140
|
# @return [Constructor]
|
141
|
+
#
|
142
|
+
# @api public
|
112
143
|
def prepend(new_fn = nil, **options, &block)
|
113
|
-
|
114
|
-
right = fn
|
115
|
-
|
116
|
-
with(**options, fn: -> input { right[left[input]] })
|
144
|
+
with({**options, fn: fn << (new_fn || block)})
|
117
145
|
end
|
118
146
|
alias_method :<<, :prepend
|
119
147
|
|
120
|
-
|
148
|
+
# Build a lax type
|
149
|
+
#
|
150
|
+
# @return [Lax]
|
151
|
+
# @api public
|
152
|
+
def lax
|
153
|
+
Lax.new(Constructor.new(type.lax, options))
|
154
|
+
end
|
121
155
|
|
122
|
-
|
123
|
-
|
156
|
+
# Wrap the type with a proc
|
157
|
+
#
|
158
|
+
# @return [Proc]
|
159
|
+
#
|
160
|
+
# @api public
|
161
|
+
def to_proc
|
162
|
+
proc { |value| self.(value) }
|
124
163
|
end
|
125
164
|
|
165
|
+
private
|
166
|
+
|
126
167
|
# @param [Symbol] meth
|
127
168
|
# @param [Boolean] include_private
|
128
169
|
# @return [Boolean]
|
170
|
+
#
|
171
|
+
# @api private
|
129
172
|
def respond_to_missing?(meth, include_private = false)
|
130
173
|
super || type.respond_to?(meth)
|
131
174
|
end
|
132
175
|
|
133
176
|
# Delegates missing methods to {#type}
|
177
|
+
#
|
134
178
|
# @param [Symbol] method
|
135
179
|
# @param [Array] args
|
136
180
|
# @param [#call, nil] block
|
181
|
+
#
|
182
|
+
# @api private
|
137
183
|
def method_missing(method, *args, &block)
|
138
184
|
if type.respond_to?(method)
|
139
185
|
response = type.__send__(method, *args, &block)
|
@@ -148,8 +194,9 @@ module Dry
|
|
148
194
|
end
|
149
195
|
end
|
150
196
|
|
197
|
+
# @api private
|
151
198
|
def composable?(value)
|
152
|
-
value.
|
199
|
+
value.is_a?(Builder)
|
153
200
|
end
|
154
201
|
end
|
155
202
|
end
|
@@ -0,0 +1,201 @@
|
|
1
|
+
|
2
|
+
# frozen_string_literal: true
|
3
|
+
|
4
|
+
require 'concurrent/map'
|
5
|
+
|
6
|
+
module Dry
|
7
|
+
module Types
|
8
|
+
class Constructor < Nominal
|
9
|
+
# Function is used internally by Constructor types
|
10
|
+
#
|
11
|
+
# @api private
|
12
|
+
class Function
|
13
|
+
# Wrapper for unsafe coercion functions
|
14
|
+
#
|
15
|
+
# @api private
|
16
|
+
class Safe < Function
|
17
|
+
def call(input, &block)
|
18
|
+
@fn.(input, &block)
|
19
|
+
rescue NoMethodError, TypeError, ArgumentError => error
|
20
|
+
CoercionError.handle(error, &block)
|
21
|
+
end
|
22
|
+
end
|
23
|
+
|
24
|
+
# Coercion via a method call on a known object
|
25
|
+
#
|
26
|
+
# @api private
|
27
|
+
class MethodCall < Function
|
28
|
+
@cache = ::Concurrent::Map.new
|
29
|
+
|
30
|
+
# Choose or build the base class
|
31
|
+
#
|
32
|
+
# @return [Function]
|
33
|
+
def self.call_class(method, public, safe)
|
34
|
+
@cache.fetch_or_store([method, public, safe].hash) do
|
35
|
+
if public
|
36
|
+
::Class.new(PublicCall) do
|
37
|
+
include PublicCall.call_interface(method, safe)
|
38
|
+
end
|
39
|
+
elsif safe
|
40
|
+
PrivateCall
|
41
|
+
else
|
42
|
+
PrivateSafeCall
|
43
|
+
end
|
44
|
+
end
|
45
|
+
end
|
46
|
+
|
47
|
+
# Coercion with a publicly accessible method call
|
48
|
+
#
|
49
|
+
# @api private
|
50
|
+
class PublicCall < MethodCall
|
51
|
+
@interfaces = ::Concurrent::Map.new
|
52
|
+
|
53
|
+
# Choose or build the interface
|
54
|
+
#
|
55
|
+
# @return [::Module]
|
56
|
+
def self.call_interface(method, safe)
|
57
|
+
@interfaces.fetch_or_store([method, safe].hash) do
|
58
|
+
::Module.new do
|
59
|
+
if safe
|
60
|
+
module_eval(<<~RUBY, __FILE__, __LINE__ + 1)
|
61
|
+
def call(input, &block)
|
62
|
+
@target.#{method}(input, &block)
|
63
|
+
end
|
64
|
+
RUBY
|
65
|
+
else
|
66
|
+
module_eval(<<~RUBY, __FILE__, __LINE__ + 1)
|
67
|
+
def call(input, &block)
|
68
|
+
@target.#{method}(input)
|
69
|
+
rescue NoMethodError, TypeError, ArgumentError => error
|
70
|
+
CoercionError.handle(error, &block)
|
71
|
+
end
|
72
|
+
RUBY
|
73
|
+
end
|
74
|
+
end
|
75
|
+
end
|
76
|
+
end
|
77
|
+
end
|
78
|
+
|
79
|
+
# Coercion via a private method call
|
80
|
+
#
|
81
|
+
# @api private
|
82
|
+
class PrivateCall < MethodCall
|
83
|
+
def call(input, &block)
|
84
|
+
@target.send(@name, input, &block)
|
85
|
+
end
|
86
|
+
end
|
87
|
+
|
88
|
+
# Coercion via an unsafe private method call
|
89
|
+
#
|
90
|
+
# @api private
|
91
|
+
class PrivateSafeCall < PrivateCall
|
92
|
+
def call(input, &block)
|
93
|
+
@target.send(@name, input)
|
94
|
+
rescue NoMethodError, TypeError, ArgumentError => error
|
95
|
+
CoercionError.handle(error, &block)
|
96
|
+
end
|
97
|
+
end
|
98
|
+
|
99
|
+
# @api private
|
100
|
+
#
|
101
|
+
# @return [MethodCall]
|
102
|
+
def self.[](fn, safe)
|
103
|
+
public = fn.receiver.respond_to?(fn.name)
|
104
|
+
MethodCall.call_class(fn.name, public, safe).new(fn)
|
105
|
+
end
|
106
|
+
|
107
|
+
attr_reader :target, :name
|
108
|
+
|
109
|
+
def initialize(fn)
|
110
|
+
super
|
111
|
+
@target = fn.receiver
|
112
|
+
@name = fn.name
|
113
|
+
end
|
114
|
+
|
115
|
+
def to_ast
|
116
|
+
[:method, target, name]
|
117
|
+
end
|
118
|
+
end
|
119
|
+
|
120
|
+
# Choose or build specialized invokation code for a callable
|
121
|
+
#
|
122
|
+
# @param [#call] fn
|
123
|
+
# @return [Function]
|
124
|
+
def self.[](fn)
|
125
|
+
raise ArgumentError, 'Missing constructor block' if fn.nil?
|
126
|
+
|
127
|
+
if fn.is_a?(Function)
|
128
|
+
fn
|
129
|
+
elsif fn.is_a?(::Method)
|
130
|
+
MethodCall[fn, yields_block?(fn)]
|
131
|
+
elsif yields_block?(fn)
|
132
|
+
new(fn)
|
133
|
+
else
|
134
|
+
Safe.new(fn)
|
135
|
+
end
|
136
|
+
end
|
137
|
+
|
138
|
+
# @return [Boolean]
|
139
|
+
def self.yields_block?(fn)
|
140
|
+
*, (last_arg,) =
|
141
|
+
if fn.respond_to?(:parameters)
|
142
|
+
fn.parameters
|
143
|
+
else
|
144
|
+
fn.method(:call).parameters
|
145
|
+
end
|
146
|
+
|
147
|
+
last_arg.equal?(:block)
|
148
|
+
end
|
149
|
+
|
150
|
+
include Dry::Equalizer(:fn)
|
151
|
+
|
152
|
+
attr_reader :fn
|
153
|
+
|
154
|
+
def initialize(fn)
|
155
|
+
@fn = fn
|
156
|
+
end
|
157
|
+
|
158
|
+
# @return [Object]
|
159
|
+
def call(input, &block)
|
160
|
+
@fn.(input, &block)
|
161
|
+
end
|
162
|
+
alias_method :[], :call
|
163
|
+
|
164
|
+
# @return [Array]
|
165
|
+
def to_ast
|
166
|
+
if fn.is_a?(::Proc)
|
167
|
+
[:id, Dry::Types::FnContainer.register(fn)]
|
168
|
+
else
|
169
|
+
[:callable, fn]
|
170
|
+
end
|
171
|
+
end
|
172
|
+
|
173
|
+
if RUBY_VERSION >= '2.6'
|
174
|
+
# @return [Function]
|
175
|
+
def >>(other)
|
176
|
+
proc = other.is_a?(::Proc) ? other : other.fn
|
177
|
+
Function[@fn >> proc]
|
178
|
+
end
|
179
|
+
|
180
|
+
# @return [Function]
|
181
|
+
def <<(other)
|
182
|
+
proc = other.is_a?(::Proc) ? other : other.fn
|
183
|
+
Function[@fn << proc]
|
184
|
+
end
|
185
|
+
else
|
186
|
+
# @return [Function]
|
187
|
+
def >>(other)
|
188
|
+
proc = other.is_a?(::Proc) ? other : other.fn
|
189
|
+
Function[-> x { proc[@fn[x]] }]
|
190
|
+
end
|
191
|
+
|
192
|
+
# @return [Function]
|
193
|
+
def <<(other)
|
194
|
+
proc = other.is_a?(::Proc) ? other : other.fn
|
195
|
+
Function[-> x { @fn[proc[x]] }]
|
196
|
+
end
|
197
|
+
end
|
198
|
+
end
|
199
|
+
end
|
200
|
+
end
|
201
|
+
end
|