kind 2.3.0 → 4.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (67) hide show
  1. checksums.yaml +4 -4
  2. data/.tool-versions +1 -0
  3. data/.travis.sh +37 -12
  4. data/.travis.yml +6 -3
  5. data/CHANGELOG.md +1267 -0
  6. data/Gemfile +10 -2
  7. data/README.md +1005 -489
  8. data/lib/kind.rb +53 -281
  9. data/lib/kind/active_model/kind_validator.rb +20 -13
  10. data/lib/kind/core.rb +10 -0
  11. data/lib/kind/core/deprecation.rb +29 -0
  12. data/lib/kind/core/kind.rb +61 -0
  13. data/lib/kind/core/undefined.rb +7 -0
  14. data/lib/kind/core/wrong_number_of_args.rb +9 -0
  15. data/lib/kind/deprecations/built_in_type_checkers.rb +23 -0
  16. data/lib/kind/{checker.rb → deprecations/checker.rb} +3 -2
  17. data/lib/kind/{checker → deprecations/checker}/factory.rb +1 -5
  18. data/lib/kind/{checker → deprecations/checker}/protocol.rb +3 -3
  19. data/lib/kind/deprecations/is.rb +35 -0
  20. data/lib/kind/deprecations/of.rb +258 -0
  21. data/lib/kind/{types.rb → deprecations/types.rb} +14 -8
  22. data/lib/kind/dig.rb +40 -0
  23. data/lib/kind/empty.rb +5 -11
  24. data/lib/kind/error.rb +2 -6
  25. data/lib/kind/maybe.rb +14 -130
  26. data/lib/kind/maybe/none.rb +57 -0
  27. data/lib/kind/maybe/result.rb +51 -0
  28. data/lib/kind/maybe/some.rb +90 -0
  29. data/lib/kind/maybe/typed.rb +29 -0
  30. data/lib/kind/maybe/wrappable.rb +33 -0
  31. data/lib/kind/presence.rb +33 -0
  32. data/lib/kind/try.rb +34 -0
  33. data/lib/kind/type_checker.rb +87 -0
  34. data/lib/kind/type_checkers.rb +30 -0
  35. data/lib/kind/type_checkers/core/array.rb +17 -0
  36. data/lib/kind/type_checkers/core/class.rb +13 -0
  37. data/lib/kind/type_checkers/core/comparable.rb +13 -0
  38. data/lib/kind/type_checkers/core/enumerable.rb +13 -0
  39. data/lib/kind/type_checkers/core/enumerator.rb +13 -0
  40. data/lib/kind/type_checkers/core/file.rb +13 -0
  41. data/lib/kind/type_checkers/core/float.rb +13 -0
  42. data/lib/kind/type_checkers/core/hash.rb +17 -0
  43. data/lib/kind/type_checkers/core/integer.rb +13 -0
  44. data/lib/kind/type_checkers/core/io.rb +13 -0
  45. data/lib/kind/type_checkers/core/method.rb +13 -0
  46. data/lib/kind/type_checkers/core/module.rb +17 -0
  47. data/lib/kind/type_checkers/core/numeric.rb +13 -0
  48. data/lib/kind/type_checkers/core/proc.rb +13 -0
  49. data/lib/kind/type_checkers/core/queue.rb +14 -0
  50. data/lib/kind/type_checkers/core/range.rb +13 -0
  51. data/lib/kind/type_checkers/core/regexp.rb +13 -0
  52. data/lib/kind/type_checkers/core/string.rb +17 -0
  53. data/lib/kind/type_checkers/core/struct.rb +13 -0
  54. data/lib/kind/type_checkers/core/symbol.rb +13 -0
  55. data/lib/kind/type_checkers/core/time.rb +13 -0
  56. data/lib/kind/type_checkers/custom/boolean.rb +19 -0
  57. data/lib/kind/type_checkers/custom/callable.rb +19 -0
  58. data/lib/kind/type_checkers/custom/lambda.rb +19 -0
  59. data/lib/kind/type_checkers/stdlib/open_struct.rb +13 -0
  60. data/lib/kind/type_checkers/stdlib/set.rb +17 -0
  61. data/lib/kind/undefined.rb +4 -2
  62. data/lib/kind/validator.rb +1 -1
  63. data/lib/kind/version.rb +1 -1
  64. data/test.sh +4 -4
  65. metadata +53 -9
  66. data/lib/kind/is.rb +0 -19
  67. data/lib/kind/of.rb +0 -11
@@ -0,0 +1,29 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Kind
4
+ module DEPRECATION # :nodoc: all
5
+ WARN_IS_DISABLED = String(ENV['DISABLE_KIND_DEPRECATION']).strip == 't'
6
+
7
+ module DevNull
8
+ def self.warn(_)
9
+ end
10
+ end
11
+
12
+ OUTPUT = WARN_IS_DISABLED ? DevNull : ::Kernel
13
+
14
+ def self.warn(message)
15
+ OUTPUT.warn("[DEPRECATION] #{message}" % { version: 'version 5.0' })
16
+ end
17
+
18
+ def self.warn_method_replacement(old_method, new_method)
19
+ self.warn "`#{old_method}` is deprecated, it will be removed in %{version}. " \
20
+ "Please use `#{new_method}` instead."
21
+ end
22
+
23
+ def self.warn_removal(name)
24
+ self.warn "`#{name}` is deprecated, it will be removed in %{version}."
25
+ end
26
+
27
+ private_constant :DevNull, :OUTPUT
28
+ end
29
+ end
@@ -0,0 +1,61 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Kind
4
+ module KIND
5
+ def self.null?(value) # :nodoc:
6
+ value.nil? || Undefined == value
7
+ end
8
+
9
+ def self.of?(kind, values) # :nodoc:
10
+ of_kind = -> value { kind === value }
11
+
12
+ values.empty? ? of_kind : values.all?(&of_kind)
13
+ end
14
+
15
+ def self.of!(kind, value, kind_name = nil) # :nodoc:
16
+ return value if kind === value
17
+
18
+ error!(kind_name || kind.name, value)
19
+ end
20
+
21
+ def self.error!(kind_name, value) # :nodoc:
22
+ raise Error.new(kind_name, value)
23
+ end
24
+
25
+ def self.of_class?(value) # :nodoc:
26
+ value.kind_of?(::Class)
27
+ end
28
+
29
+ def self.of_module?(value) # :nodoc:
30
+ ::Module == value || (value.kind_of?(::Module) && !of_class?(value))
31
+ end
32
+
33
+ def self.of_module_or_class!(value) # :nodoc:
34
+ of!(::Module, value, 'Module/Class')
35
+ end
36
+
37
+ def self.respond_to!(method_name, value) # :nodoc:
38
+ return value if value.respond_to?(method_name)
39
+
40
+ raise Error.new("expected #{value} to respond to :#{method_name}")
41
+ end
42
+
43
+ def self.is?(expected, value) # :nodoc:
44
+ is!(of_module_or_class!(expected), value)
45
+ end
46
+
47
+ def self.is!(expected_kind, value) # :nodoc:
48
+ kind = of_module_or_class!(value)
49
+
50
+ if of_class?(kind)
51
+ kind <= expected_kind || expected_kind == ::Class
52
+ else
53
+ kind == expected_kind || kind.kind_of?(expected_kind)
54
+ end
55
+ end
56
+
57
+ def self.value(kind, arg, default) # :nodoc:
58
+ kind === arg ? arg : default
59
+ end
60
+ end
61
+ end
@@ -0,0 +1,7 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Kind
4
+ UNDEFINED = Object.new.freeze
5
+
6
+ private_constant :UNDEFINED
7
+ end
@@ -0,0 +1,9 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Kind
4
+ module WRONG_NUMBER_OF_ARGS
5
+ def self.error!(given:, expected:)
6
+ raise ArgumentError, "wrong number of arguments (given #{given}, expected #{expected})"
7
+ end
8
+ end
9
+ end
@@ -0,0 +1,23 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Kind
4
+ # -- Classes
5
+ [
6
+ ::String, ::Symbol, ::Numeric, ::Integer, ::Float, ::Regexp, ::Time,
7
+ ::Array, ::Range, ::Hash, ::Struct, ::Enumerator, ::Set, ::OpenStruct,
8
+ ::Method, ::Proc,
9
+ ::IO, ::File
10
+ ].each { |klass| Types.add(klass) }
11
+
12
+ Types.add(::Queue, name: 'Queue'.freeze)
13
+
14
+ # -- Modules
15
+ [
16
+ ::Enumerable, ::Comparable
17
+ ].each { |klass| Types.add(klass) }
18
+
19
+ # -- Kind::Of::Maybe
20
+
21
+ Types.add(Kind::Maybe::Result, name: 'Maybe'.freeze)
22
+ Types.add(Kind::Maybe::Result, name: 'Optional'.freeze)
23
+ end
@@ -1,7 +1,8 @@
1
1
  # frozen_string_literal: true
2
2
 
3
- require 'kind/checker/factory'
4
- require 'kind/checker/protocol'
3
+ require 'kind/deprecations/checker/factory'
4
+ require 'kind/deprecations/checker/protocol'
5
+
5
6
  module Kind
6
7
  class Checker
7
8
  include Protocol
@@ -15,10 +15,6 @@ module Kind
15
15
  @__checkers__ = {}
16
16
  end
17
17
 
18
- MODULE_OR_CLASS = 'Module/Class'.freeze
19
-
20
- private_constant :MODULE_OR_CLASS
21
-
22
18
  def create(kind)
23
19
  @__checkers__[kind] ||= begin
24
20
  kind_name = kind.name
@@ -26,7 +22,7 @@ module Kind
26
22
  if Kind::Of.const_defined?(kind_name, false)
27
23
  Kind::Of.const_get(kind_name)
28
24
  else
29
- Kind::Checker.new(Kind::Of.(Module, kind, MODULE_OR_CLASS))
25
+ Kind::Checker.new(Kind.of_module_or_class(kind))
30
26
  end
31
27
  end
32
28
  end
@@ -4,15 +4,15 @@ module Kind
4
4
  class Checker
5
5
  module Protocol
6
6
  def class?(value)
7
- Kind::Is.__call__(__kind, value)
7
+ KIND.is?(__kind, value)
8
8
  end
9
9
 
10
10
  def instance(value, options = Empty::HASH)
11
11
  default = options[:or]
12
12
 
13
- return Kind::Of.(__kind, value) if ::Kind::Maybe::Value.none?(default)
13
+ return KIND.of!(__kind, value) if ::Kind::KIND.null?(default)
14
14
 
15
- Kind::Undefined != value && instance?(value) ? value : Kind::Of.(__kind, default)
15
+ Kind::Undefined != value && instance?(value) ? value : KIND.of!(__kind, default)
16
16
  end
17
17
 
18
18
  def [](value, options = options = Empty::HASH)
@@ -0,0 +1,35 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Kind
4
+ module Is
5
+ def self.call(expected, object)
6
+ DEPRECATION.warn_method_replacement('Kind::Is.call', 'Kind::KIND.is?')
7
+
8
+ KIND.is?(expected, object)
9
+ end
10
+
11
+ def self.Class(value)
12
+ DEPRECATION.warn_method_replacement('Kind::Is.Class', 'Kind.of_class?')
13
+
14
+ Kind.of_class?(value)
15
+ end
16
+
17
+ def self.Module(value)
18
+ DEPRECATION.warn_method_replacement('Kind::Is.Module', 'Kind.of_module?')
19
+
20
+ Kind.of_module?(value)
21
+ end
22
+
23
+ def self.Boolean(value)
24
+ DEPRECATION.warn_removal('Kind::Is.Boolean')
25
+
26
+ Kind::Class[value] <= TrueClass || value <= FalseClass
27
+ end
28
+
29
+ def self.Callable(value)
30
+ DEPRECATION.warn_method_replacement('Kind::Is.Callable', 'Kind::Callable?')
31
+
32
+ value.respond_to?(:call)
33
+ end
34
+ end
35
+ end
@@ -0,0 +1,258 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Kind
4
+ module Of
5
+ def self.call(kind, object, kind_name = nil)
6
+ DEPRECATION.warn_method_replacement('Kind::Of.call', 'Kind::KIND.of!')
7
+
8
+ KIND.of!(kind, object, kind_name)
9
+ end
10
+
11
+ # -- Class
12
+
13
+ def self.Class(object = Undefined)
14
+ DEPRECATION.warn_method_replacement('Kind::Of::Class', 'Kind::Class')
15
+
16
+ return Class if Undefined == object
17
+
18
+ self.call(::Class, object)
19
+ end
20
+
21
+ const_set(:Class, ::Module.new do
22
+ extend Checker::Protocol
23
+
24
+ def self.__kind; ::Class; end
25
+
26
+ def self.class?(value); Kind.of_class?(value); end
27
+
28
+ def self.__is_instance__(value); class?(value); end
29
+ end)
30
+
31
+ def self.Class?(*args)
32
+ DEPRECATION.warn_method_replacement('Kind::Of::Class?', 'Kind::Class?')
33
+
34
+ Kind::Class?(*args)
35
+ end
36
+
37
+ # -- Module
38
+
39
+ def self.Module(object = Undefined)
40
+ DEPRECATION.warn_method_replacement('Kind::Of::Module', 'Kind::Module')
41
+
42
+ return Module if Undefined == object
43
+
44
+ self.call(::Module, object)
45
+ end
46
+
47
+ const_set(:Module, ::Module.new do
48
+ extend Checker::Protocol
49
+
50
+ def self.__kind_undefined(value)
51
+ __kind_error(Kind::Undefined) if Kind::Undefined == value
52
+
53
+ yield
54
+ end
55
+
56
+ def self.__kind_error(value)
57
+ raise Kind::Error.new('Module'.freeze, value)
58
+ end
59
+
60
+ def self.__kind_of(value)
61
+ return value if Kind.of_module?(value)
62
+
63
+ __kind_error(value)
64
+ end
65
+
66
+ def self.__kind; ::Module; end
67
+
68
+ def self.class?(value); Kind.of_module?(value); end
69
+
70
+ def self.instance(value, options = Empty::HASH)
71
+ default = options[:or]
72
+
73
+ if ::Kind::KIND.null?(default)
74
+ __kind_undefined(value) { __kind_of(value) }
75
+ else
76
+ return value if Kind::Undefined != value && instance?(value)
77
+
78
+ __kind_undefined(default) { __kind_of(default) }
79
+ end
80
+ end
81
+
82
+ def self.__is_instance__(value); class?(value); end
83
+ end)
84
+
85
+ def self.Module?(*args)
86
+ DEPRECATION.warn_method_replacement('Kind::Of::Module?', 'Kind::Module?')
87
+
88
+ Kind::Module?(*args)
89
+ end
90
+
91
+ # -- Boolean
92
+
93
+ def self.Boolean(object = Undefined, options = Empty::HASH)
94
+ DEPRECATION.warn_method_replacement('Kind::Of::Boolean', 'Kind::Boolean')
95
+
96
+ default = options[:or]
97
+
98
+ return Kind::Of::Boolean if Undefined == object && default.nil?
99
+
100
+ bool = object.nil? ? default : object
101
+
102
+ return bool if bool.is_a?(::TrueClass) || bool.is_a?(::FalseClass)
103
+
104
+ raise Kind::Error.new('Boolean'.freeze, bool)
105
+ end
106
+
107
+ const_set(:Boolean, ::Module.new do
108
+ extend Checker::Protocol
109
+
110
+ def self.__kind; [TrueClass, FalseClass].freeze; end
111
+
112
+ def self.class?(value); Kind.is.Boolean(value); end
113
+
114
+ def self.instance(value, options= Empty::HASH)
115
+ default = options[:or]
116
+
117
+ if ::Kind::KIND.null?(default)
118
+ __kind_undefined(value) { Kind::Of::Boolean(value) }
119
+ else
120
+ return value if Kind::Undefined != value && instance?(value)
121
+
122
+ __kind_undefined(default) { Kind::Of::Boolean(default) }
123
+ end
124
+ end
125
+
126
+ def self.__kind_undefined(value)
127
+ if Kind::Undefined == value
128
+ raise Kind::Error.new('Boolean'.freeze, Kind::Undefined)
129
+ else
130
+ yield
131
+ end
132
+ end
133
+
134
+ def self.__is_instance__(value);
135
+ value.is_a?(TrueClass) || value.is_a?(FalseClass)
136
+ end
137
+
138
+ def self.or_undefined(value)
139
+ result = or_nil(value)
140
+ result.nil? ? Kind::Undefined : result
141
+ end
142
+ end)
143
+
144
+ def self.Boolean?(*args)
145
+ DEPRECATION.warn_method_replacement('Kind::Of::Boolean?', 'Kind::Boolean?')
146
+
147
+ Kind::Boolean?(*args)
148
+ end
149
+
150
+ # -- Lambda
151
+
152
+ def self.Lambda(object = Undefined, options = Empty::HASH)
153
+ DEPRECATION.warn_method_replacement('Kind::Of::Lambda', 'Kind::Lambda')
154
+
155
+ default = options[:or]
156
+
157
+ return Kind::Of::Lambda if Undefined == object && default.nil?
158
+
159
+ func = object || default
160
+
161
+ return func if func.is_a?(::Proc) && func.lambda?
162
+
163
+ raise Kind::Error.new('Lambda'.freeze, func)
164
+ end
165
+
166
+ const_set(:Lambda, ::Module.new do
167
+ extend Checker::Protocol
168
+
169
+ def self.__kind; ::Proc; end
170
+
171
+ def self.instance(value, options = Empty::HASH)
172
+ default = options[:or]
173
+
174
+ if ::Kind::KIND.null?(default)
175
+ __kind_undefined(value) { Kind::Of::Lambda(value) }
176
+ else
177
+ return value if Kind::Undefined != value && instance?(value)
178
+
179
+ __kind_undefined(default) { Kind::Of::Lambda(default) }
180
+ end
181
+ end
182
+
183
+ def self.__kind_undefined(value)
184
+ if Kind::Undefined == value
185
+ raise Kind::Error.new('Lambda'.freeze, Kind::Undefined)
186
+ else
187
+ yield
188
+ end
189
+ end
190
+
191
+ def self.__is_instance__(value)
192
+ value.is_a?(__kind) && value.lambda?
193
+ end
194
+ end)
195
+
196
+ def self.Lambda?(*args)
197
+ DEPRECATION.warn_method_replacement('Kind::Of::Lambda?', 'Kind::Lambda?')
198
+
199
+ Kind::Lambda?(*args)
200
+ end
201
+
202
+ # -- Callable
203
+
204
+ def self.Callable(object = Undefined, options = Empty::HASH)
205
+ DEPRECATION.warn_method_replacement('Kind::Of::Callable', 'Kind::Callable')
206
+
207
+ default = options[:or]
208
+
209
+ return Kind::Of::Callable if Undefined == object && default.nil?
210
+
211
+ callable = object || default
212
+
213
+ return callable if callable.respond_to?(:call)
214
+
215
+ raise Kind::Error.new('Callable'.freeze, callable)
216
+ end
217
+
218
+ const_set(:Callable, ::Module.new do
219
+ extend Checker::Protocol
220
+
221
+ def self.__kind; Object; end
222
+
223
+ def self.class?(value)
224
+ Kind::Is::Callable(value)
225
+ end
226
+
227
+ def self.instance(value, options = Empty::HASH)
228
+ default = options[:or]
229
+
230
+ if ::Kind::KIND.null?(default)
231
+ __kind_undefined(value) { Kind::Of::Callable(value) }
232
+ else
233
+ return value if Kind::Undefined != value && instance?(value)
234
+
235
+ __kind_undefined(default) { Kind::Of::Callable(default) }
236
+ end
237
+ end
238
+
239
+ def self.__kind_undefined(value)
240
+ if Kind::Undefined == value
241
+ raise Kind::Error.new('Callable'.freeze, Kind::Undefined)
242
+ else
243
+ yield
244
+ end
245
+ end
246
+
247
+ def self.__is_instance__(value);
248
+ value.respond_to?(:call)
249
+ end
250
+ end)
251
+
252
+ def self.Callable?(*args)
253
+ DEPRECATION.warn_method_replacement('Kind::Of::Callable?', 'Kind::Callable?')
254
+
255
+ Kind::Callable?(*args)
256
+ end
257
+ end
258
+ end