dry-validation 0.13.3 → 1.3.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/CHANGELOG.md +233 -12
- data/LICENSE +1 -1
- data/README.md +13 -9
- data/config/errors.yml +3 -88
- data/lib/dry-validation.rb +2 -0
- data/lib/dry/validation.rb +47 -28
- data/lib/dry/validation/config.rb +24 -0
- data/lib/dry/validation/constants.rb +43 -0
- data/lib/dry/validation/contract.rb +160 -0
- data/lib/dry/validation/contract/class_interface.rb +223 -0
- data/lib/dry/validation/evaluator.rb +197 -0
- data/lib/dry/validation/extensions/hints.rb +69 -0
- data/lib/dry/validation/extensions/monads.rb +23 -7
- data/lib/dry/validation/extensions/predicates_as_macros.rb +75 -0
- data/lib/dry/validation/failures.rb +58 -0
- data/lib/dry/validation/function.rb +44 -0
- data/lib/dry/validation/macro.rb +38 -0
- data/lib/dry/validation/macros.rb +104 -0
- data/lib/dry/validation/message.rb +79 -79
- data/lib/dry/validation/message_set.rb +108 -88
- data/lib/dry/validation/messages/resolver.rb +79 -0
- data/lib/dry/validation/result.rb +154 -42
- data/lib/dry/validation/rule.rb +129 -0
- data/lib/dry/validation/schema_ext.rb +46 -0
- data/lib/dry/validation/values.rb +94 -0
- data/lib/dry/validation/version.rb +3 -1
- metadata +41 -336
- data/.codeclimate.yml +0 -17
- data/.gitignore +0 -9
- data/.rspec +0 -3
- data/.travis.yml +0 -29
- data/CONTRIBUTING.md +0 -31
- data/Gemfile +0 -25
- data/Rakefile +0 -22
- data/benchmarks/benchmark_form_invalid.rb +0 -64
- data/benchmarks/benchmark_form_valid.rb +0 -64
- data/benchmarks/benchmark_schema_invalid_huge.rb +0 -52
- data/benchmarks/profile_schema_call_invalid.rb +0 -20
- data/benchmarks/profile_schema_call_valid.rb +0 -20
- data/benchmarks/profile_schema_definition.rb +0 -14
- data/benchmarks/profile_schema_huge_invalid.rb +0 -30
- data/benchmarks/profile_schema_messages_invalid.rb +0 -20
- data/benchmarks/suite.rb +0 -5
- data/dry-validation.gemspec +0 -28
- data/examples/basic.rb +0 -15
- data/examples/each.rb +0 -14
- data/examples/json.rb +0 -12
- data/examples/multiple.rb +0 -27
- data/examples/nested.rb +0 -22
- data/examples/params.rb +0 -11
- data/lib/dry/validation/compat/form.rb +0 -67
- data/lib/dry/validation/deprecations.rb +0 -24
- data/lib/dry/validation/executor.rb +0 -91
- data/lib/dry/validation/extensions.rb +0 -7
- data/lib/dry/validation/extensions/struct.rb +0 -32
- data/lib/dry/validation/input_processor_compiler.rb +0 -137
- data/lib/dry/validation/input_processor_compiler/json.rb +0 -45
- data/lib/dry/validation/input_processor_compiler/params.rb +0 -49
- data/lib/dry/validation/input_processor_compiler/sanitizer.rb +0 -47
- data/lib/dry/validation/message_compiler.rb +0 -188
- data/lib/dry/validation/message_compiler/visitor_opts.rb +0 -37
- data/lib/dry/validation/messages.rb +0 -14
- data/lib/dry/validation/messages/abstract.rb +0 -119
- data/lib/dry/validation/messages/i18n.rb +0 -47
- data/lib/dry/validation/messages/namespaced.rb +0 -39
- data/lib/dry/validation/messages/yaml.rb +0 -61
- data/lib/dry/validation/predicate_registry.rb +0 -115
- data/lib/dry/validation/predicates.rb +0 -19
- data/lib/dry/validation/schema.rb +0 -126
- data/lib/dry/validation/schema/check.rb +0 -37
- data/lib/dry/validation/schema/class_interface.rb +0 -190
- data/lib/dry/validation/schema/deprecated.rb +0 -30
- data/lib/dry/validation/schema/dsl.rb +0 -118
- data/lib/dry/validation/schema/form.rb +0 -9
- data/lib/dry/validation/schema/json.rb +0 -21
- data/lib/dry/validation/schema/key.rb +0 -71
- data/lib/dry/validation/schema/params.rb +0 -22
- data/lib/dry/validation/schema/rule.rb +0 -202
- data/lib/dry/validation/schema/value.rb +0 -211
- data/lib/dry/validation/schema_compiler.rb +0 -81
- data/lib/dry/validation/template.rb +0 -66
- data/lib/dry/validation/type_specs.rb +0 -70
- data/spec/extensions/monads/result_spec.rb +0 -40
- data/spec/extensions/struct/schema_spec.rb +0 -32
- data/spec/fixtures/locales/en.yml +0 -8
- data/spec/fixtures/locales/pl.yml +0 -22
- data/spec/integration/custom_error_messages_spec.rb +0 -54
- data/spec/integration/custom_predicates_spec.rb +0 -228
- data/spec/integration/hints_spec.rb +0 -170
- data/spec/integration/injecting_rules_spec.rb +0 -30
- data/spec/integration/json/defining_base_schema_spec.rb +0 -41
- data/spec/integration/localized_error_messages_spec.rb +0 -72
- data/spec/integration/message_compiler_spec.rb +0 -405
- data/spec/integration/messages/i18n_spec.rb +0 -104
- data/spec/integration/optional_keys_spec.rb +0 -28
- data/spec/integration/params/predicates/array_spec.rb +0 -287
- data/spec/integration/params/predicates/empty_spec.rb +0 -263
- data/spec/integration/params/predicates/eql_spec.rb +0 -327
- data/spec/integration/params/predicates/even_spec.rb +0 -455
- data/spec/integration/params/predicates/excluded_from_spec.rb +0 -455
- data/spec/integration/params/predicates/excludes_spec.rb +0 -391
- data/spec/integration/params/predicates/false_spec.rb +0 -455
- data/spec/integration/params/predicates/filled_spec.rb +0 -467
- data/spec/integration/params/predicates/format_spec.rb +0 -454
- data/spec/integration/params/predicates/gt_spec.rb +0 -519
- data/spec/integration/params/predicates/gteq_spec.rb +0 -519
- data/spec/integration/params/predicates/included_in_spec.rb +0 -455
- data/spec/integration/params/predicates/includes_spec.rb +0 -391
- data/spec/integration/params/predicates/key_spec.rb +0 -67
- data/spec/integration/params/predicates/lt_spec.rb +0 -519
- data/spec/integration/params/predicates/lteq_spec.rb +0 -519
- data/spec/integration/params/predicates/max_size_spec.rb +0 -391
- data/spec/integration/params/predicates/min_size_spec.rb +0 -391
- data/spec/integration/params/predicates/none_spec.rb +0 -265
- data/spec/integration/params/predicates/not_eql_spec.rb +0 -327
- data/spec/integration/params/predicates/odd_spec.rb +0 -455
- data/spec/integration/params/predicates/size/fixed_spec.rb +0 -393
- data/spec/integration/params/predicates/size/range_spec.rb +0 -396
- data/spec/integration/params/predicates/true_spec.rb +0 -455
- data/spec/integration/params/predicates/type_spec.rb +0 -391
- data/spec/integration/result_spec.rb +0 -81
- data/spec/integration/schema/array_schema_spec.rb +0 -59
- data/spec/integration/schema/check_rules_spec.rb +0 -119
- data/spec/integration/schema/check_with_nested_el_spec.rb +0 -37
- data/spec/integration/schema/check_with_nth_el_spec.rb +0 -25
- data/spec/integration/schema/default_settings_spec.rb +0 -11
- data/spec/integration/schema/defining_base_schema_spec.rb +0 -41
- data/spec/integration/schema/dynamic_predicate_args_spec.rb +0 -43
- data/spec/integration/schema/each_with_set_spec.rb +0 -70
- data/spec/integration/schema/extending_dsl_spec.rb +0 -27
- data/spec/integration/schema/form_spec.rb +0 -236
- data/spec/integration/schema/hash_schema_spec.rb +0 -47
- data/spec/integration/schema/inheriting_schema_spec.rb +0 -31
- data/spec/integration/schema/input_processor_spec.rb +0 -46
- data/spec/integration/schema/json/explicit_types_spec.rb +0 -157
- data/spec/integration/schema/json_spec.rb +0 -163
- data/spec/integration/schema/macros/confirmation_spec.rb +0 -35
- data/spec/integration/schema/macros/each_spec.rb +0 -268
- data/spec/integration/schema/macros/filled_spec.rb +0 -87
- data/spec/integration/schema/macros/input_spec.rb +0 -139
- data/spec/integration/schema/macros/maybe_spec.rb +0 -99
- data/spec/integration/schema/macros/rule_spec.rb +0 -75
- data/spec/integration/schema/macros/value_spec.rb +0 -119
- data/spec/integration/schema/macros/when_spec.rb +0 -62
- data/spec/integration/schema/nested_schemas_spec.rb +0 -236
- data/spec/integration/schema/nested_values_spec.rb +0 -46
- data/spec/integration/schema/not_spec.rb +0 -34
- data/spec/integration/schema/numbers_spec.rb +0 -19
- data/spec/integration/schema/option_with_default_spec.rb +0 -64
- data/spec/integration/schema/or_spec.rb +0 -87
- data/spec/integration/schema/params/defining_base_schema_spec.rb +0 -41
- data/spec/integration/schema/params/explicit_types_spec.rb +0 -195
- data/spec/integration/schema/params_spec.rb +0 -234
- data/spec/integration/schema/predicate_verification_spec.rb +0 -9
- data/spec/integration/schema/predicates/array_spec.rb +0 -295
- data/spec/integration/schema/predicates/custom_spec.rb +0 -103
- data/spec/integration/schema/predicates/empty_spec.rb +0 -263
- data/spec/integration/schema/predicates/eql_spec.rb +0 -327
- data/spec/integration/schema/predicates/even_spec.rb +0 -455
- data/spec/integration/schema/predicates/excluded_from/array_spec.rb +0 -459
- data/spec/integration/schema/predicates/excluded_from/range_spec.rb +0 -459
- data/spec/integration/schema/predicates/excludes_spec.rb +0 -391
- data/spec/integration/schema/predicates/filled_spec.rb +0 -467
- data/spec/integration/schema/predicates/format_spec.rb +0 -455
- data/spec/integration/schema/predicates/gt_spec.rb +0 -519
- data/spec/integration/schema/predicates/gteq_spec.rb +0 -519
- data/spec/integration/schema/predicates/hash_spec.rb +0 -69
- data/spec/integration/schema/predicates/included_in/array_spec.rb +0 -459
- data/spec/integration/schema/predicates/included_in/range_spec.rb +0 -459
- data/spec/integration/schema/predicates/includes_spec.rb +0 -391
- data/spec/integration/schema/predicates/key_spec.rb +0 -88
- data/spec/integration/schema/predicates/lt_spec.rb +0 -520
- data/spec/integration/schema/predicates/lteq_spec.rb +0 -519
- data/spec/integration/schema/predicates/max_size_spec.rb +0 -391
- data/spec/integration/schema/predicates/min_size_spec.rb +0 -391
- data/spec/integration/schema/predicates/none_spec.rb +0 -265
- data/spec/integration/schema/predicates/not_eql_spec.rb +0 -391
- data/spec/integration/schema/predicates/odd_spec.rb +0 -455
- data/spec/integration/schema/predicates/size/fixed_spec.rb +0 -398
- data/spec/integration/schema/predicates/size/range_spec.rb +0 -395
- data/spec/integration/schema/predicates/type_spec.rb +0 -413
- data/spec/integration/schema/reusing_schema_spec.rb +0 -33
- data/spec/integration/schema/using_types_spec.rb +0 -135
- data/spec/integration/schema/validate_spec.rb +0 -120
- data/spec/integration/schema/xor_spec.rb +0 -35
- data/spec/integration/schema_builders_spec.rb +0 -17
- data/spec/integration/schema_spec.rb +0 -173
- data/spec/shared/message_compiler.rb +0 -11
- data/spec/shared/predicate_helper.rb +0 -15
- data/spec/shared/rule_compiler.rb +0 -8
- data/spec/spec_helper.rb +0 -62
- data/spec/support/define_struct.rb +0 -25
- data/spec/support/matchers.rb +0 -38
- data/spec/support/mutant.rb +0 -9
- data/spec/support/predicates_integration.rb +0 -7
- data/spec/unit/input_processor_compiler/json_spec.rb +0 -283
- data/spec/unit/input_processor_compiler/params_spec.rb +0 -328
- data/spec/unit/message_compiler/visit_failure_spec.rb +0 -38
- data/spec/unit/message_compiler/visit_spec.rb +0 -16
- data/spec/unit/message_compiler_spec.rb +0 -7
- data/spec/unit/predicate_registry_spec.rb +0 -34
- data/spec/unit/schema/key_spec.rb +0 -38
- data/spec/unit/schema/rule_spec.rb +0 -42
- data/spec/unit/schema/value_spec.rb +0 -131
- data/spec/unit/schema_spec.rb +0 -35
@@ -0,0 +1,197 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require 'dry/initializer'
|
4
|
+
|
5
|
+
require 'dry/validation/constants'
|
6
|
+
require 'dry/validation/failures'
|
7
|
+
|
8
|
+
module Dry
|
9
|
+
module Validation
|
10
|
+
# Evaluator is the execution context for rules
|
11
|
+
#
|
12
|
+
# Evaluators expose an API for setting failure messages and forward
|
13
|
+
# method calls to the contracts, so that you can use your contract
|
14
|
+
# methods within rule blocks
|
15
|
+
#
|
16
|
+
# @api public
|
17
|
+
class Evaluator
|
18
|
+
extend Dry::Initializer
|
19
|
+
|
20
|
+
# @!attribute [r] _contract
|
21
|
+
# @return [Contract]
|
22
|
+
# @api private
|
23
|
+
param :_contract
|
24
|
+
|
25
|
+
# @!attribute [r] result
|
26
|
+
# @return [Result]
|
27
|
+
# @api private
|
28
|
+
option :result
|
29
|
+
|
30
|
+
# @!attribute [r] keys
|
31
|
+
# @return [Array<String, Symbol, Hash>]
|
32
|
+
# @api private
|
33
|
+
option :keys
|
34
|
+
|
35
|
+
# @!attribute [r] macros
|
36
|
+
# @return [Array<Symbol>]
|
37
|
+
# @api private
|
38
|
+
option :macros, optional: true, default: proc { EMPTY_ARRAY.dup }
|
39
|
+
|
40
|
+
# @!attribute [r] _context
|
41
|
+
# @return [Concurrent::Map]
|
42
|
+
# @api private
|
43
|
+
option :_context
|
44
|
+
|
45
|
+
# @!attribute [r] path
|
46
|
+
# @return [Dry::Schema::Path]
|
47
|
+
# @api private
|
48
|
+
option :path, default: proc { Dry::Schema::Path[(key = keys.first) ? key : ROOT_PATH] }
|
49
|
+
|
50
|
+
# @!attribute [r] values
|
51
|
+
# @return [Object]
|
52
|
+
# @api private
|
53
|
+
option :values
|
54
|
+
|
55
|
+
# @!attribute [r] block_options
|
56
|
+
# @return [Hash<Symbol=>Symbol>]
|
57
|
+
# @api private
|
58
|
+
option :block_options, default: proc { EMPTY_HASH }
|
59
|
+
|
60
|
+
# @return [Hash]
|
61
|
+
attr_reader :_options
|
62
|
+
|
63
|
+
# Initialize a new evaluator
|
64
|
+
#
|
65
|
+
# @api private
|
66
|
+
def initialize(contract, options, &block)
|
67
|
+
super(contract, options)
|
68
|
+
|
69
|
+
@_options = options
|
70
|
+
|
71
|
+
if block
|
72
|
+
exec_opts = block_options.map { |key, value| [key, _options[value]] }.to_h
|
73
|
+
instance_exec(exec_opts, &block)
|
74
|
+
end
|
75
|
+
|
76
|
+
macros.each do |args|
|
77
|
+
macro = macro(*args.flatten(1))
|
78
|
+
instance_exec(macro.extract_block_options(_options.merge(macro: macro)), ¯o.block)
|
79
|
+
end
|
80
|
+
end
|
81
|
+
|
82
|
+
# Get `Failures` object for the default or provided path
|
83
|
+
#
|
84
|
+
# @param [Symbol,String,Hash,Array<Symbol>] path
|
85
|
+
#
|
86
|
+
# @return [Failures]
|
87
|
+
#
|
88
|
+
# @see Failures#failure
|
89
|
+
#
|
90
|
+
# @api public
|
91
|
+
def key(path = self.path)
|
92
|
+
(@key ||= EMPTY_HASH.dup)[path] ||= Failures.new(path)
|
93
|
+
end
|
94
|
+
|
95
|
+
# Get `Failures` object for base errors
|
96
|
+
#
|
97
|
+
# @return [Failures]
|
98
|
+
#
|
99
|
+
# @see Failures#failure
|
100
|
+
#
|
101
|
+
# @api public
|
102
|
+
def base
|
103
|
+
@base ||= Failures.new
|
104
|
+
end
|
105
|
+
|
106
|
+
# Return aggregated failures
|
107
|
+
#
|
108
|
+
# @return [Array<Hash>]
|
109
|
+
#
|
110
|
+
# @api private
|
111
|
+
def failures
|
112
|
+
@failures ||= []
|
113
|
+
@failures += @base.opts if defined?(@base)
|
114
|
+
@failures.concat(@key.values.flat_map(&:opts)) if defined?(@key)
|
115
|
+
@failures
|
116
|
+
end
|
117
|
+
|
118
|
+
# @api private
|
119
|
+
def with(new_opts, &block)
|
120
|
+
self.class.new(_contract, _options.merge(new_opts), &block)
|
121
|
+
end
|
122
|
+
|
123
|
+
# Return default (first) key name
|
124
|
+
#
|
125
|
+
# @return [Symbol]
|
126
|
+
#
|
127
|
+
# @api public
|
128
|
+
def key_name
|
129
|
+
@key_name ||= keys.first
|
130
|
+
end
|
131
|
+
|
132
|
+
# Return the value found under the first specified key
|
133
|
+
#
|
134
|
+
# This is a convenient method that can be used in all the common cases
|
135
|
+
# where a rule depends on just one key and you want a quick access to
|
136
|
+
# the value
|
137
|
+
#
|
138
|
+
# @example
|
139
|
+
# rule(:age) do
|
140
|
+
# key.failure(:invalid) if value < 18
|
141
|
+
# end
|
142
|
+
#
|
143
|
+
# @return [Object]
|
144
|
+
#
|
145
|
+
# @public
|
146
|
+
def value
|
147
|
+
values[key_name]
|
148
|
+
end
|
149
|
+
|
150
|
+
# Return if the value under the default key is available
|
151
|
+
#
|
152
|
+
# This is useful when dealing with rules for optional keys
|
153
|
+
#
|
154
|
+
# @example
|
155
|
+
# rule(:age) do
|
156
|
+
# key.failure(:invalid) if key? && value < 18
|
157
|
+
# end
|
158
|
+
#
|
159
|
+
# @return [Boolean]
|
160
|
+
#
|
161
|
+
# @api public
|
162
|
+
def key?
|
163
|
+
values.key?(key_name)
|
164
|
+
end
|
165
|
+
|
166
|
+
# Check if there are any errors under the provided path
|
167
|
+
#
|
168
|
+
# @param [Symbol, String, Array] A Path-compatible spec
|
169
|
+
#
|
170
|
+
# @return [Boolean]
|
171
|
+
#
|
172
|
+
# @api public
|
173
|
+
def error?(path)
|
174
|
+
result.error?(path)
|
175
|
+
end
|
176
|
+
|
177
|
+
# @api private
|
178
|
+
def respond_to_missing?(meth, include_private = false)
|
179
|
+
super || _contract.respond_to?(meth, true)
|
180
|
+
end
|
181
|
+
|
182
|
+
private
|
183
|
+
|
184
|
+
# Forward to the underlying contract
|
185
|
+
#
|
186
|
+
# @api private
|
187
|
+
def method_missing(meth, *args, &block)
|
188
|
+
# yes, we do want to delegate to private methods too
|
189
|
+
if _contract.respond_to?(meth, true)
|
190
|
+
_contract.__send__(meth, *args, &block)
|
191
|
+
else
|
192
|
+
super
|
193
|
+
end
|
194
|
+
end
|
195
|
+
end
|
196
|
+
end
|
197
|
+
end
|
@@ -0,0 +1,69 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require 'dry/monads/result'
|
4
|
+
|
5
|
+
module Dry
|
6
|
+
module Validation
|
7
|
+
# Hints extension
|
8
|
+
#
|
9
|
+
# @example
|
10
|
+
# Dry::Validation.load_extensions(:hints)
|
11
|
+
#
|
12
|
+
# contract = Dry::Validation::Contract.build do
|
13
|
+
# schema do
|
14
|
+
# required(:name).filled(:string, min_size?: 2..4)
|
15
|
+
# end
|
16
|
+
# end
|
17
|
+
#
|
18
|
+
# contract.call(name: "fo").hints
|
19
|
+
# # {:name=>["size must be within 2 - 4"]}
|
20
|
+
#
|
21
|
+
# contract.call(name: "").messages
|
22
|
+
# # {:name=>["must be filled", "size must be within 2 - 4"]}
|
23
|
+
#
|
24
|
+
# @api public
|
25
|
+
module Hints
|
26
|
+
# Hints extensions for Result
|
27
|
+
#
|
28
|
+
# @api public
|
29
|
+
module ResultExtensions
|
30
|
+
# Return error messages excluding hints
|
31
|
+
#
|
32
|
+
# @macro errors-options
|
33
|
+
# @return [MessageSet]
|
34
|
+
#
|
35
|
+
# @api public
|
36
|
+
def errors(new_options = EMPTY_HASH)
|
37
|
+
opts = new_options.merge(hints: false)
|
38
|
+
@errors.with(schema_errors(opts), opts)
|
39
|
+
end
|
40
|
+
|
41
|
+
# Return errors and hints
|
42
|
+
#
|
43
|
+
# @macro errors-options
|
44
|
+
#
|
45
|
+
# @return [MessageSet]
|
46
|
+
#
|
47
|
+
# @api public
|
48
|
+
def messages(new_options = EMPTY_HASH)
|
49
|
+
errors.with(hints.to_a, options.merge(**new_options))
|
50
|
+
end
|
51
|
+
|
52
|
+
# Return hint messages
|
53
|
+
#
|
54
|
+
# @macro errors-options
|
55
|
+
#
|
56
|
+
# @return [MessageSet]
|
57
|
+
#
|
58
|
+
# @api public
|
59
|
+
def hints(new_options = EMPTY_HASH)
|
60
|
+
schema_result.hints(new_options)
|
61
|
+
end
|
62
|
+
end
|
63
|
+
|
64
|
+
Dry::Schema.load_extensions(:hints)
|
65
|
+
|
66
|
+
Result.prepend(ResultExtensions)
|
67
|
+
end
|
68
|
+
end
|
69
|
+
end
|
@@ -1,18 +1,34 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
1
3
|
require 'dry/monads/result'
|
2
4
|
|
3
5
|
module Dry
|
4
6
|
module Validation
|
7
|
+
# Monad extension for contract results
|
8
|
+
#
|
9
|
+
# @example
|
10
|
+
# Dry::Validation.load_extensions(:monads)
|
11
|
+
#
|
12
|
+
# contract = Dry::Validation::Contract.build do
|
13
|
+
# schema do
|
14
|
+
# required(:name).filled(:string)
|
15
|
+
# end
|
16
|
+
# end
|
17
|
+
#
|
18
|
+
# contract.call(name: nil).to_monad
|
19
|
+
#
|
20
|
+
# @api public
|
5
21
|
class Result
|
6
22
|
include Dry::Monads::Result::Mixin
|
7
23
|
|
8
|
-
|
9
|
-
|
10
|
-
|
11
|
-
|
12
|
-
|
13
|
-
|
24
|
+
# Returns a result monad
|
25
|
+
#
|
26
|
+
# @return [Dry::Monads::Result]
|
27
|
+
#
|
28
|
+
# @api public
|
29
|
+
def to_monad
|
30
|
+
success? ? Success(self) : Failure(self)
|
14
31
|
end
|
15
|
-
alias_method :to_either, :to_monad
|
16
32
|
end
|
17
33
|
end
|
18
34
|
end
|
@@ -0,0 +1,75 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require 'dry/schema/predicate_registry'
|
4
|
+
require 'dry/validation/contract'
|
5
|
+
|
6
|
+
module Dry
|
7
|
+
module Validation
|
8
|
+
# Predicate registry with additional needed methods.
|
9
|
+
class PredicateRegistry < Schema::PredicateRegistry
|
10
|
+
# List of predicates to be imported by `:predicates_as_macros`
|
11
|
+
# extension.
|
12
|
+
#
|
13
|
+
# @see Dry::Validation::Contract
|
14
|
+
WHITELIST = %i[
|
15
|
+
filled? gt? gteq? included_in? includes? inclusion? is? lt?
|
16
|
+
lteq? max_size? min_size? not_eql? odd? respond_to? size? true?
|
17
|
+
uuid_v4?
|
18
|
+
].freeze
|
19
|
+
|
20
|
+
# @api private
|
21
|
+
def arg_names(name)
|
22
|
+
arg_list(name).map(&:first)
|
23
|
+
end
|
24
|
+
|
25
|
+
# @api private
|
26
|
+
def call(name, args)
|
27
|
+
self[name].(*args)
|
28
|
+
end
|
29
|
+
|
30
|
+
# @api private
|
31
|
+
def message_opts(name, arg_values)
|
32
|
+
arg_names(name).zip(arg_values).to_h
|
33
|
+
end
|
34
|
+
end
|
35
|
+
|
36
|
+
# Extension to use dry-logic predicates as macros.
|
37
|
+
#
|
38
|
+
# @see Dry::Validation::PredicateRegistry::WHITELIST Available predicates
|
39
|
+
#
|
40
|
+
# @example
|
41
|
+
# Dry::Validation.load_extensions(:predicates_as_macros)
|
42
|
+
#
|
43
|
+
# class ApplicationContract < Dry::Validation::Contract
|
44
|
+
# import_predicates_as_macros
|
45
|
+
# end
|
46
|
+
#
|
47
|
+
# class AgeContract < ApplicationContract
|
48
|
+
# schema do
|
49
|
+
# required(:age).filled(:integer)
|
50
|
+
# end
|
51
|
+
#
|
52
|
+
# rule(:age).validate(gteq?: 18)
|
53
|
+
# end
|
54
|
+
#
|
55
|
+
# AgeContract.new.(age: 17).errors.first.text
|
56
|
+
# # => 'must be greater than or equal to 18'
|
57
|
+
#
|
58
|
+
# @api public
|
59
|
+
class Contract
|
60
|
+
# Make macros available for self and its descendants.
|
61
|
+
def self.import_predicates_as_macros
|
62
|
+
registry = PredicateRegistry.new
|
63
|
+
|
64
|
+
PredicateRegistry::WHITELIST.each do |name|
|
65
|
+
register_macro(name) do |macro:|
|
66
|
+
predicate_args = [*macro.args, value]
|
67
|
+
message_opts = registry.message_opts(name, predicate_args)
|
68
|
+
|
69
|
+
key.failure(name, message_opts) unless registry.(name, predicate_args)
|
70
|
+
end
|
71
|
+
end
|
72
|
+
end
|
73
|
+
end
|
74
|
+
end
|
75
|
+
end
|
@@ -0,0 +1,58 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require 'dry/schema/path'
|
4
|
+
require 'dry/validation/constants'
|
5
|
+
|
6
|
+
module Dry
|
7
|
+
module Validation
|
8
|
+
# Failure accumulator object
|
9
|
+
#
|
10
|
+
# @api public
|
11
|
+
class Failures
|
12
|
+
# The path for messages accumulated by failures object
|
13
|
+
#
|
14
|
+
# @return [Dry::Schema::Path]
|
15
|
+
#
|
16
|
+
# @api private
|
17
|
+
attr_reader :path
|
18
|
+
|
19
|
+
# Options for messages
|
20
|
+
#
|
21
|
+
# These options are used by MessageResolver
|
22
|
+
#
|
23
|
+
# @return [Hash]
|
24
|
+
#
|
25
|
+
# @api private
|
26
|
+
attr_reader :opts
|
27
|
+
|
28
|
+
# @api private
|
29
|
+
def initialize(path = ROOT_PATH)
|
30
|
+
@path = Dry::Schema::Path[path]
|
31
|
+
@opts = EMPTY_ARRAY.dup
|
32
|
+
end
|
33
|
+
|
34
|
+
# Set failure
|
35
|
+
#
|
36
|
+
# @overload failure(message)
|
37
|
+
# Set message text explicitly
|
38
|
+
# @param message [String] The message text
|
39
|
+
# @example
|
40
|
+
# failure('this failed')
|
41
|
+
#
|
42
|
+
# @overload failure(id)
|
43
|
+
# Use message identifier (needs localized messages setup)
|
44
|
+
# @param id [Symbol] The message id
|
45
|
+
# @example
|
46
|
+
# failure(:taken)
|
47
|
+
#
|
48
|
+
# @see Evaluator#key
|
49
|
+
# @see Evaluator#base
|
50
|
+
#
|
51
|
+
# @api public
|
52
|
+
def failure(message, tokens = EMPTY_HASH)
|
53
|
+
opts << { message: message, tokens: tokens, path: path }
|
54
|
+
self
|
55
|
+
end
|
56
|
+
end
|
57
|
+
end
|
58
|
+
end
|
@@ -0,0 +1,44 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require 'dry/initializer'
|
4
|
+
require 'dry/validation/constants'
|
5
|
+
|
6
|
+
module Dry
|
7
|
+
module Validation
|
8
|
+
# Abstract class for handling rule blocks
|
9
|
+
#
|
10
|
+
# @see Rule
|
11
|
+
# @see Macro
|
12
|
+
#
|
13
|
+
# @api private
|
14
|
+
class Function
|
15
|
+
extend Dry::Initializer
|
16
|
+
|
17
|
+
# @!attribute [r] block
|
18
|
+
# @return [Proc]
|
19
|
+
# @api private
|
20
|
+
option :block
|
21
|
+
|
22
|
+
# @!attribute [r] block_options
|
23
|
+
# @return [Hash]
|
24
|
+
# @api private
|
25
|
+
option :block_options, default: -> { block ? map_keywords(block) : EMPTY_HASH }
|
26
|
+
|
27
|
+
private
|
28
|
+
|
29
|
+
# Extract options for the block kwargs
|
30
|
+
#
|
31
|
+
# @param [Proc] block Callable
|
32
|
+
# @return Hash
|
33
|
+
#
|
34
|
+
# @api private
|
35
|
+
def map_keywords(block)
|
36
|
+
block
|
37
|
+
.parameters
|
38
|
+
.select { |arg,| arg.equal?(:keyreq) }
|
39
|
+
.map { |_, name| [name, BLOCK_OPTIONS_MAPPINGS[name]] }
|
40
|
+
.to_h
|
41
|
+
end
|
42
|
+
end
|
43
|
+
end
|
44
|
+
end
|