kind 3.1.0 → 4.0.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.
- checksums.yaml +4 -4
- data/.tool-versions +1 -0
- data/.travis.sh +37 -12
- data/.travis.yml +6 -3
- data/CHANGELOG.md +1230 -0
- data/Gemfile +10 -2
- data/README.md +817 -487
- data/lib/kind.rb +53 -283
- data/lib/kind/active_model/kind_validator.rb +7 -7
- data/lib/kind/core.rb +9 -0
- data/lib/kind/core/deprecation.rb +29 -0
- data/lib/kind/core/kind.rb +61 -0
- data/lib/kind/core/undefined.rb +7 -0
- data/lib/kind/deprecations/built_in_type_checkers.rb +23 -0
- data/lib/kind/{checker.rb → deprecations/checker.rb} +3 -2
- data/lib/kind/{checker → deprecations/checker}/factory.rb +1 -5
- data/lib/kind/{checker → deprecations/checker}/protocol.rb +3 -3
- data/lib/kind/deprecations/is.rb +35 -0
- data/lib/kind/deprecations/of.rb +258 -0
- data/lib/kind/{types.rb → deprecations/types.rb} +14 -8
- data/lib/kind/dig.rb +13 -9
- data/lib/kind/empty.rb +5 -11
- data/lib/kind/error.rb +2 -6
- data/lib/kind/maybe.rb +12 -161
- data/lib/kind/maybe/none.rb +57 -0
- data/lib/kind/maybe/result.rb +51 -0
- data/lib/kind/maybe/some.rb +90 -0
- data/lib/kind/maybe/typed.rb +29 -0
- data/lib/kind/maybe/wrappable.rb +35 -0
- data/lib/kind/presence.rb +33 -0
- data/lib/kind/try.rb +36 -0
- data/lib/kind/type_checker.rb +73 -0
- data/lib/kind/type_checkers.rb +30 -0
- data/lib/kind/type_checkers/core/array.rb +17 -0
- data/lib/kind/type_checkers/core/class.rb +13 -0
- data/lib/kind/type_checkers/core/comparable.rb +13 -0
- data/lib/kind/type_checkers/core/enumerable.rb +13 -0
- data/lib/kind/type_checkers/core/enumerator.rb +13 -0
- data/lib/kind/type_checkers/core/file.rb +13 -0
- data/lib/kind/type_checkers/core/float.rb +13 -0
- data/lib/kind/type_checkers/core/hash.rb +17 -0
- data/lib/kind/type_checkers/core/integer.rb +13 -0
- data/lib/kind/type_checkers/core/io.rb +13 -0
- data/lib/kind/type_checkers/core/method.rb +13 -0
- data/lib/kind/type_checkers/core/module.rb +17 -0
- data/lib/kind/type_checkers/core/numeric.rb +13 -0
- data/lib/kind/type_checkers/core/proc.rb +13 -0
- data/lib/kind/type_checkers/core/queue.rb +14 -0
- data/lib/kind/type_checkers/core/range.rb +13 -0
- data/lib/kind/type_checkers/core/regexp.rb +13 -0
- data/lib/kind/type_checkers/core/string.rb +17 -0
- data/lib/kind/type_checkers/core/struct.rb +13 -0
- data/lib/kind/type_checkers/core/symbol.rb +13 -0
- data/lib/kind/type_checkers/core/time.rb +13 -0
- data/lib/kind/type_checkers/custom/boolean.rb +19 -0
- data/lib/kind/type_checkers/custom/callable.rb +19 -0
- data/lib/kind/type_checkers/custom/lambda.rb +19 -0
- data/lib/kind/type_checkers/stdlib/open_struct.rb +13 -0
- data/lib/kind/type_checkers/stdlib/set.rb +17 -0
- data/lib/kind/undefined.rb +4 -2
- data/lib/kind/validator.rb +1 -1
- data/lib/kind/version.rb +1 -1
- data/test.sh +4 -4
- metadata +51 -9
- data/lib/kind/is.rb +0 -19
- data/lib/kind/of.rb +0 -11
@@ -0,0 +1,17 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module String
|
5
|
+
extend self, TypeChecker
|
6
|
+
|
7
|
+
def kind; ::String; end
|
8
|
+
|
9
|
+
def value_or_empty(arg)
|
10
|
+
KIND.value(self, arg, Empty::STRING)
|
11
|
+
end
|
12
|
+
end
|
13
|
+
|
14
|
+
def self.String?(*values)
|
15
|
+
KIND.of?(::String, values)
|
16
|
+
end
|
17
|
+
end
|
@@ -0,0 +1,19 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Boolean
|
5
|
+
extend self, TypeChecker
|
6
|
+
|
7
|
+
def kind; [TrueClass, FalseClass].freeze; end
|
8
|
+
|
9
|
+
def name; 'Boolean'; end
|
10
|
+
|
11
|
+
def ===(value)
|
12
|
+
::TrueClass === value || ::FalseClass === value
|
13
|
+
end
|
14
|
+
end
|
15
|
+
|
16
|
+
def self.Boolean?(*values)
|
17
|
+
KIND.of?(Boolean, values)
|
18
|
+
end
|
19
|
+
end
|
@@ -0,0 +1,19 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Callable
|
5
|
+
extend self, TypeChecker
|
6
|
+
|
7
|
+
def kind; raise NotImplementedError; end
|
8
|
+
|
9
|
+
def name; 'Callable'; end
|
10
|
+
|
11
|
+
def ===(value)
|
12
|
+
value.respond_to?(:call)
|
13
|
+
end
|
14
|
+
end
|
15
|
+
|
16
|
+
def self.Callable?(*values)
|
17
|
+
KIND.of?(Callable, values)
|
18
|
+
end
|
19
|
+
end
|
@@ -0,0 +1,19 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Lambda
|
5
|
+
extend self, TypeChecker
|
6
|
+
|
7
|
+
def kind; ::Proc; end
|
8
|
+
|
9
|
+
def name; 'Lambda'; end
|
10
|
+
|
11
|
+
def ===(value)
|
12
|
+
value.kind_of?(::Proc) && value.lambda?
|
13
|
+
end
|
14
|
+
end
|
15
|
+
|
16
|
+
def self.Lambda?(*values)
|
17
|
+
KIND.of?(Lambda, values)
|
18
|
+
end
|
19
|
+
end
|
@@ -0,0 +1,17 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Set
|
5
|
+
extend self, TypeChecker
|
6
|
+
|
7
|
+
def kind; ::Set; end
|
8
|
+
|
9
|
+
def value_or_empty(arg)
|
10
|
+
KIND.value(self, arg, Empty::SET)
|
11
|
+
end
|
12
|
+
end
|
13
|
+
|
14
|
+
def self.Set?(*values)
|
15
|
+
KIND.of?(::Set, values)
|
16
|
+
end
|
17
|
+
end
|
data/lib/kind/undefined.rb
CHANGED
@@ -1,5 +1,4 @@
|
|
1
1
|
# frozen_string_literal: true
|
2
|
-
|
3
2
|
module Kind
|
4
3
|
Undefined = Object.new.tap do |undefined|
|
5
4
|
def undefined.inspect
|
@@ -19,9 +18,12 @@ module Kind
|
|
19
18
|
end
|
20
19
|
|
21
20
|
def undefined.default(value, default)
|
22
|
-
return
|
21
|
+
return value if self != value
|
23
22
|
|
24
23
|
default.respond_to?(:call) ? default.call : default
|
25
24
|
end
|
25
|
+
|
26
|
+
undefined.inspect
|
27
|
+
undefined.freeze
|
26
28
|
end
|
27
29
|
end
|
data/lib/kind/validator.rb
CHANGED
@@ -2,7 +2,7 @@
|
|
2
2
|
|
3
3
|
module Kind
|
4
4
|
module Validator
|
5
|
-
DEFAULT_STRATEGIES = Set.new(%w[instance_of kind_of]).freeze
|
5
|
+
DEFAULT_STRATEGIES = ::Set.new(%w[instance_of kind_of]).freeze
|
6
6
|
|
7
7
|
class InvalidDefinition < ArgumentError
|
8
8
|
OPTIONS = 'Options to define one: :of, :is, :respond_to, :instance_of, :array_of or :array_with'.freeze
|
data/lib/kind/version.rb
CHANGED
data/test.sh
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: kind
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version:
|
4
|
+
version: 4.0.0
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Rodrigo Serradura
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date:
|
11
|
+
date: 2021-02-22 00:00:00.000000000 Z
|
12
12
|
dependencies: []
|
13
13
|
description: A simple type system (at runtime) for Ruby - free of dependencies.
|
14
14
|
email:
|
@@ -18,8 +18,10 @@ extensions: []
|
|
18
18
|
extra_rdoc_files: []
|
19
19
|
files:
|
20
20
|
- ".gitignore"
|
21
|
+
- ".tool-versions"
|
21
22
|
- ".travis.sh"
|
22
23
|
- ".travis.yml"
|
24
|
+
- CHANGELOG.md
|
23
25
|
- CODE_OF_CONDUCT.md
|
24
26
|
- Gemfile
|
25
27
|
- LICENSE.txt
|
@@ -31,16 +33,56 @@ files:
|
|
31
33
|
- lib/kind.rb
|
32
34
|
- lib/kind/active_model/kind_validator.rb
|
33
35
|
- lib/kind/active_model/validation.rb
|
34
|
-
- lib/kind/
|
35
|
-
- lib/kind/
|
36
|
-
- lib/kind/
|
36
|
+
- lib/kind/core.rb
|
37
|
+
- lib/kind/core/deprecation.rb
|
38
|
+
- lib/kind/core/kind.rb
|
39
|
+
- lib/kind/core/undefined.rb
|
40
|
+
- lib/kind/deprecations/built_in_type_checkers.rb
|
41
|
+
- lib/kind/deprecations/checker.rb
|
42
|
+
- lib/kind/deprecations/checker/factory.rb
|
43
|
+
- lib/kind/deprecations/checker/protocol.rb
|
44
|
+
- lib/kind/deprecations/is.rb
|
45
|
+
- lib/kind/deprecations/of.rb
|
46
|
+
- lib/kind/deprecations/types.rb
|
37
47
|
- lib/kind/dig.rb
|
38
48
|
- lib/kind/empty.rb
|
39
49
|
- lib/kind/error.rb
|
40
|
-
- lib/kind/is.rb
|
41
50
|
- lib/kind/maybe.rb
|
42
|
-
- lib/kind/
|
43
|
-
- lib/kind/
|
51
|
+
- lib/kind/maybe/none.rb
|
52
|
+
- lib/kind/maybe/result.rb
|
53
|
+
- lib/kind/maybe/some.rb
|
54
|
+
- lib/kind/maybe/typed.rb
|
55
|
+
- lib/kind/maybe/wrappable.rb
|
56
|
+
- lib/kind/presence.rb
|
57
|
+
- lib/kind/try.rb
|
58
|
+
- lib/kind/type_checker.rb
|
59
|
+
- lib/kind/type_checkers.rb
|
60
|
+
- lib/kind/type_checkers/core/array.rb
|
61
|
+
- lib/kind/type_checkers/core/class.rb
|
62
|
+
- lib/kind/type_checkers/core/comparable.rb
|
63
|
+
- lib/kind/type_checkers/core/enumerable.rb
|
64
|
+
- lib/kind/type_checkers/core/enumerator.rb
|
65
|
+
- lib/kind/type_checkers/core/file.rb
|
66
|
+
- lib/kind/type_checkers/core/float.rb
|
67
|
+
- lib/kind/type_checkers/core/hash.rb
|
68
|
+
- lib/kind/type_checkers/core/integer.rb
|
69
|
+
- lib/kind/type_checkers/core/io.rb
|
70
|
+
- lib/kind/type_checkers/core/method.rb
|
71
|
+
- lib/kind/type_checkers/core/module.rb
|
72
|
+
- lib/kind/type_checkers/core/numeric.rb
|
73
|
+
- lib/kind/type_checkers/core/proc.rb
|
74
|
+
- lib/kind/type_checkers/core/queue.rb
|
75
|
+
- lib/kind/type_checkers/core/range.rb
|
76
|
+
- lib/kind/type_checkers/core/regexp.rb
|
77
|
+
- lib/kind/type_checkers/core/string.rb
|
78
|
+
- lib/kind/type_checkers/core/struct.rb
|
79
|
+
- lib/kind/type_checkers/core/symbol.rb
|
80
|
+
- lib/kind/type_checkers/core/time.rb
|
81
|
+
- lib/kind/type_checkers/custom/boolean.rb
|
82
|
+
- lib/kind/type_checkers/custom/callable.rb
|
83
|
+
- lib/kind/type_checkers/custom/lambda.rb
|
84
|
+
- lib/kind/type_checkers/stdlib/open_struct.rb
|
85
|
+
- lib/kind/type_checkers/stdlib/set.rb
|
44
86
|
- lib/kind/undefined.rb
|
45
87
|
- lib/kind/validator.rb
|
46
88
|
- lib/kind/version.rb
|
@@ -66,7 +108,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
66
108
|
- !ruby/object:Gem::Version
|
67
109
|
version: '0'
|
68
110
|
requirements: []
|
69
|
-
rubygems_version: 3.
|
111
|
+
rubygems_version: 3.1.4
|
70
112
|
signing_key:
|
71
113
|
specification_version: 4
|
72
114
|
summary: A simple type system (at runtime) for Ruby.
|
data/lib/kind/is.rb
DELETED
@@ -1,19 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
module Kind
|
4
|
-
module Is
|
5
|
-
def self.call(expected, object)
|
6
|
-
__call__(Kind::Of.Module(expected), object)
|
7
|
-
end
|
8
|
-
|
9
|
-
def self.__call__(expected_kind, object)
|
10
|
-
kind = Kind::Of.Module(object)
|
11
|
-
|
12
|
-
if kind.is_a?(Class)
|
13
|
-
kind <= expected_kind || false
|
14
|
-
else
|
15
|
-
kind == expected_kind || kind.is_a?(expected_kind)
|
16
|
-
end
|
17
|
-
end
|
18
|
-
end
|
19
|
-
end
|