kind 5.1.0 → 5.2.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.tool-versions +1 -1
- data/.travis.sh +35 -10
- data/CHANGELOG.md +364 -26
- data/README.md +37 -36
- data/lib/kind.rb +2 -49
- data/lib/kind/__lib__/attributes.rb +66 -0
- data/lib/kind/__lib__/kind.rb +71 -0
- data/lib/kind/__lib__/undefined.rb +14 -0
- data/lib/kind/action.rb +92 -0
- data/lib/kind/active_model/validation.rb +1 -1
- data/lib/kind/basic.rb +73 -0
- data/lib/kind/basic/error.rb +29 -0
- data/lib/kind/{core → basic}/undefined.rb +6 -1
- data/lib/kind/{core/dig.rb → dig.rb} +20 -4
- data/lib/kind/either.rb +30 -0
- data/lib/kind/either/left.rb +29 -0
- data/lib/kind/either/methods.rb +17 -0
- data/lib/kind/either/monad.rb +65 -0
- data/lib/kind/either/monad/wrapper.rb +19 -0
- data/lib/kind/either/right.rb +38 -0
- data/lib/kind/{core/empty.rb → empty.rb} +2 -0
- data/lib/kind/{core/empty → empty}/constant.rb +0 -0
- data/lib/kind/enum.rb +63 -0
- data/lib/kind/enum/item.rb +40 -0
- data/lib/kind/enum/methods.rb +72 -0
- data/lib/kind/function.rb +47 -0
- data/lib/kind/functional.rb +89 -0
- data/lib/kind/functional/action.rb +89 -0
- data/lib/kind/immutable_attributes.rb +34 -0
- data/lib/kind/immutable_attributes/initializer.rb +70 -0
- data/lib/kind/immutable_attributes/reader.rb +38 -0
- data/lib/kind/maybe.rb +69 -0
- data/lib/kind/maybe/methods.rb +21 -0
- data/lib/kind/maybe/monad.rb +82 -0
- data/lib/kind/maybe/monad/wrapper.rb +19 -0
- data/lib/kind/{core/maybe → maybe}/none.rb +11 -18
- data/lib/kind/maybe/some.rb +132 -0
- data/lib/kind/maybe/typed.rb +35 -0
- data/lib/kind/{core/maybe/wrappable.rb → maybe/wrapper.rb} +8 -4
- data/lib/kind/monad.rb +22 -0
- data/lib/kind/monads.rb +5 -0
- data/lib/kind/objects.rb +17 -0
- data/lib/kind/objects/basic_object.rb +45 -0
- data/lib/kind/objects/modules.rb +32 -0
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/array.rb +3 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/class.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/comparable.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/enumerable.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/enumerator.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/file.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/float.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/hash.rb +3 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/integer.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/io.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/method.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/module.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/numeric.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/proc.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/queue.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/range.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/regexp.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/string.rb +3 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/struct.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/symbol.rb +1 -1
- data/lib/kind/{core/type_checkers/ruby → objects/modules/core}/time.rb +1 -1
- data/lib/kind/{core/type_checkers → objects/modules}/custom/boolean.rb +2 -2
- data/lib/kind/{core/type_checkers → objects/modules}/custom/callable.rb +1 -1
- data/lib/kind/{core/type_checkers → objects/modules}/custom/lambda.rb +1 -1
- data/lib/kind/{core/type_checkers → objects/modules}/stdlib/open_struct.rb +3 -1
- data/lib/kind/{core/type_checkers → objects/modules}/stdlib/set.rb +3 -1
- data/lib/kind/objects/nil.rb +17 -0
- data/lib/kind/objects/not_nil.rb +13 -0
- data/lib/kind/objects/object.rb +56 -0
- data/lib/kind/objects/respond_to.rb +30 -0
- data/lib/kind/objects/union_type.rb +44 -0
- data/lib/kind/{core/presence.rb → presence.rb} +4 -2
- data/lib/kind/result.rb +31 -0
- data/lib/kind/result/abstract.rb +53 -0
- data/lib/kind/result/failure.rb +31 -0
- data/lib/kind/result/methods.rb +17 -0
- data/lib/kind/result/monad.rb +69 -0
- data/lib/kind/result/monad/wrapper.rb +19 -0
- data/lib/kind/result/success.rb +40 -0
- data/lib/kind/try.rb +46 -0
- data/lib/kind/validator.rb +14 -10
- data/lib/kind/version.rb +1 -1
- metadata +81 -47
- data/lib/kind/core.rb +0 -15
- data/lib/kind/core/error.rb +0 -15
- data/lib/kind/core/maybe.rb +0 -42
- data/lib/kind/core/maybe/result.rb +0 -51
- data/lib/kind/core/maybe/some.rb +0 -90
- data/lib/kind/core/maybe/typed.rb +0 -29
- data/lib/kind/core/try.rb +0 -34
- data/lib/kind/core/type_checker.rb +0 -87
- data/lib/kind/core/type_checkers.rb +0 -30
- data/lib/kind/core/utils/kind.rb +0 -61
- data/lib/kind/core/utils/undefined.rb +0 -7
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA256:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: e522116072626ac76a87df9351e292f31a0f96cefa1bbc07d9e83c50198a25a8
|
|
4
|
+
data.tar.gz: 529cd2b05c6767c2553ce9fa1e157cef564e7fc0092874839c6714e0df797240
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: 206cacdc59d7288b4db022dac5c45fe95649845bb0093fbee14eb86444b145651407847b380b831c8267190f1d515b7c775810549c6ee73df61059f1d484129a
|
|
7
|
+
data.tar.gz: ff97ce3f297254fd3932b853588c6d1f47a931c16065b5961e06fc4fe219ec6672db0fe16e1d0ffef4b34d25c6e9c35cc28c655b3cc539b519e916f60162ba04
|
data/.tool-versions
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
ruby
|
|
1
|
+
ruby 3.0.0
|
data/.travis.sh
CHANGED
|
@@ -2,6 +2,27 @@
|
|
|
2
2
|
|
|
3
3
|
RUBY_V=$(ruby -v)
|
|
4
4
|
|
|
5
|
+
function run_basic_tests {
|
|
6
|
+
if [ ! -z "$1" ]; then
|
|
7
|
+
bundle_cmd="bundle _$1_"
|
|
8
|
+
else
|
|
9
|
+
bundle_cmd="bundle"
|
|
10
|
+
fi
|
|
11
|
+
|
|
12
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/{basic/*_test,basic_test}.rb'"
|
|
13
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/enum_test.rb'"
|
|
14
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/presence_test.rb'"
|
|
15
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/dig_test.rb'"
|
|
16
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/try_test.rb'"
|
|
17
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/maybe_test.rb'"
|
|
18
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/immutable_attributes_test.rb'"
|
|
19
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/function_test.rb'"
|
|
20
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/action_test.rb'"
|
|
21
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/{functional/*_test,functional_test}.rb'"
|
|
22
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/either/*_test.rb'"
|
|
23
|
+
eval "KIND_BASIC=t $bundle_cmd exec rake test TEST='test/kind/result/*_test.rb'"
|
|
24
|
+
}
|
|
25
|
+
|
|
5
26
|
function run_with_bundler {
|
|
6
27
|
rm Gemfile.lock
|
|
7
28
|
|
|
@@ -19,17 +40,17 @@ function run_with_am_version_and_bundler {
|
|
|
19
40
|
run_with_bundler "$2" "ACTIVEMODEL_VERSION=$1"
|
|
20
41
|
}
|
|
21
42
|
|
|
22
|
-
|
|
23
|
-
|
|
43
|
+
RUBY_2_12="ruby 2.[12]."
|
|
44
|
+
RUBY_2_2345="ruby 2.[2345]."
|
|
45
|
+
RUBY_2_12345="ruby 2.[12345]."
|
|
46
|
+
RUBY_2_567="ruby 2.[567]."
|
|
47
|
+
RUBY_3_0="ruby 3.0."
|
|
24
48
|
|
|
49
|
+
if [[ $RUBY_V =~ $RUBY_2_12 ]]; then
|
|
25
50
|
run_with_am_version_and_bundler "3.2" "$BUNDLER_V1"
|
|
26
51
|
fi
|
|
27
52
|
|
|
28
|
-
RUBY_2_2345="ruby 2.[2345]."
|
|
29
|
-
|
|
30
53
|
if [[ $RUBY_V =~ $RUBY_2_2345 ]]; then
|
|
31
|
-
run_with_bundler "$BUNDLER_V1"
|
|
32
|
-
|
|
33
54
|
run_with_am_version_and_bundler "4.0" "$BUNDLER_V1"
|
|
34
55
|
run_with_am_version_and_bundler "4.1" "$BUNDLER_V1"
|
|
35
56
|
run_with_am_version_and_bundler "4.2" "$BUNDLER_V1"
|
|
@@ -38,13 +59,17 @@ if [[ $RUBY_V =~ $RUBY_2_2345 ]]; then
|
|
|
38
59
|
run_with_am_version_and_bundler "5.2" "$BUNDLER_V1"
|
|
39
60
|
fi
|
|
40
61
|
|
|
41
|
-
|
|
42
|
-
|
|
62
|
+
if [[ $RUBY_V =~ $RUBY_2_12345 ]]; then
|
|
63
|
+
run_basic_tests "$BUNDLER_V1"
|
|
64
|
+
run_with_bundler "$BUNDLER_V1"
|
|
65
|
+
fi
|
|
43
66
|
|
|
44
|
-
if [[ $RUBY_V =~ $RUBY_2_567 ]] || [[ $RUBY_V =~ $
|
|
67
|
+
if [[ $RUBY_V =~ $RUBY_2_567 ]] || [[ $RUBY_V =~ $RUBY_3_0 ]]; then
|
|
45
68
|
gem install bundler -v ">= 2" --no-doc
|
|
46
69
|
|
|
47
|
-
run_with_bundler
|
|
48
70
|
run_with_am_version_and_bundler "6.0"
|
|
49
71
|
run_with_am_version_and_bundler "6.1"
|
|
72
|
+
|
|
73
|
+
run_basic_tests
|
|
74
|
+
run_with_bundler
|
|
50
75
|
fi
|
data/CHANGELOG.md
CHANGED
|
@@ -3,69 +3,73 @@
|
|
|
3
3
|
This project follows [semver 2.0.0](http://semver.org/spec/v2.0.0.html) and the recommendations of [keepachangelog.com](http://keepachangelog.com/).
|
|
4
4
|
|
|
5
5
|
- [Unreleased](#unreleased)
|
|
6
|
-
- [5.
|
|
6
|
+
- [5.2.0 (2021-03-17)](#520-2021-03-17)
|
|
7
7
|
- [Added](#added)
|
|
8
8
|
- [Deprecated](#deprecated)
|
|
9
|
+
- [Changes](#changes)
|
|
10
|
+
- [5.1.0 (2021-02-23)](#510-2021-02-23)
|
|
11
|
+
- [Added](#added-1)
|
|
12
|
+
- [Deprecated](#deprecated-1)
|
|
9
13
|
- [5.0.0 (2021-02-22)](#500-2021-02-22)
|
|
10
14
|
- [Breaking Changes](#breaking-changes)
|
|
11
15
|
- [Removed](#removed)
|
|
12
16
|
- [4.1.0 (2021-02-22)](#410-2021-02-22)
|
|
13
|
-
- [Added](#added-1)
|
|
14
|
-
- [4.0.0 (2021-02-22)](#400-2021-02-22)
|
|
15
17
|
- [Added](#added-2)
|
|
16
|
-
|
|
18
|
+
- [4.0.0 (2021-02-22)](#400-2021-02-22)
|
|
19
|
+
- [Added](#added-3)
|
|
20
|
+
- [Deprecated](#deprecated-2)
|
|
17
21
|
- [Fixed](#fixed)
|
|
18
22
|
- [3.1.0 (2020-07-08)](#310-2020-07-08)
|
|
19
|
-
- [Added](#added-
|
|
23
|
+
- [Added](#added-4)
|
|
20
24
|
- [3.0.0 (2020-06-25)](#300-2020-06-25)
|
|
21
25
|
- [Breaking Changes](#breaking-changes-1)
|
|
22
|
-
- [Added](#added-4)
|
|
23
|
-
- [2.3.0 (2020-06-24)](#230-2020-06-24)
|
|
24
26
|
- [Added](#added-5)
|
|
25
|
-
- [2.
|
|
27
|
+
- [2.3.0 (2020-06-24)](#230-2020-06-24)
|
|
26
28
|
- [Added](#added-6)
|
|
27
|
-
- [2.
|
|
29
|
+
- [2.2.0 (2020-06-23)](#220-2020-06-23)
|
|
28
30
|
- [Added](#added-7)
|
|
31
|
+
- [2.1.0 (2020-05-12)](#210-2020-05-12)
|
|
32
|
+
- [Added](#added-8)
|
|
29
33
|
- [Breaking Changes](#breaking-changes-2)
|
|
30
34
|
- [2.0.0 (2020-05-07)](#200-2020-05-07)
|
|
31
|
-
- [Added](#added-
|
|
35
|
+
- [Added](#added-9)
|
|
32
36
|
- [Breaking Changes](#breaking-changes-3)
|
|
33
37
|
- [Removed](#removed-1)
|
|
34
38
|
- [1.9.0 (2020-05-06)](#190-2020-05-06)
|
|
35
|
-
- [Added](#added-9)
|
|
36
|
-
- [1.8.0 (2020-05-03)](#180-2020-05-03)
|
|
37
39
|
- [Added](#added-10)
|
|
40
|
+
- [1.8.0 (2020-05-03)](#180-2020-05-03)
|
|
41
|
+
- [Added](#added-11)
|
|
38
42
|
- [1.7.0 (2020-05-03)](#170-2020-05-03)
|
|
39
43
|
- [Fixed](#fixed-1)
|
|
40
44
|
- [1.6.0 (2020-04-17)](#160-2020-04-17)
|
|
41
|
-
- [Added](#added-11)
|
|
42
|
-
- [Changes](#changes)
|
|
43
|
-
- [1.5.0 (2020-04-12)](#150-2020-04-12)
|
|
44
45
|
- [Added](#added-12)
|
|
45
|
-
- [
|
|
46
|
+
- [Changes](#changes-1)
|
|
47
|
+
- [1.5.0 (2020-04-12)](#150-2020-04-12)
|
|
46
48
|
- [Added](#added-13)
|
|
47
|
-
- [1.
|
|
49
|
+
- [1.4.0 (2020-04-12)](#140-2020-04-12)
|
|
48
50
|
- [Added](#added-14)
|
|
49
|
-
- [1.
|
|
51
|
+
- [1.3.0 (2020-04-12)](#130-2020-04-12)
|
|
50
52
|
- [Added](#added-15)
|
|
51
|
-
- [1.
|
|
53
|
+
- [1.2.0 (2020-04-12)](#120-2020-04-12)
|
|
52
54
|
- [Added](#added-16)
|
|
55
|
+
- [1.1.0 (2020-04-09)](#110-2020-04-09)
|
|
56
|
+
- [Added](#added-17)
|
|
53
57
|
- [Fixed](#fixed-2)
|
|
54
58
|
- [1.0.0 (2020-03-16)](#100-2020-03-16)
|
|
55
|
-
- [Added](#added-17)
|
|
56
|
-
- [0.6.0 (2020-01-06)](#060-2020-01-06)
|
|
57
59
|
- [Added](#added-18)
|
|
58
|
-
- [0.
|
|
60
|
+
- [0.6.0 (2020-01-06)](#060-2020-01-06)
|
|
59
61
|
- [Added](#added-19)
|
|
60
|
-
- [0.
|
|
62
|
+
- [0.5.0 (2020-01-04)](#050-2020-01-04)
|
|
61
63
|
- [Added](#added-20)
|
|
62
|
-
- [0.
|
|
64
|
+
- [0.4.0 (2020-01-03)](#040-2020-01-03)
|
|
63
65
|
- [Added](#added-21)
|
|
66
|
+
- [0.3.0 (2020-01-03)](#030-2020-01-03)
|
|
67
|
+
- [Added](#added-22)
|
|
64
68
|
- [Breaking Changes](#breaking-changes-4)
|
|
65
69
|
- [0.2.0 (2020-01-02)](#020-2020-01-02)
|
|
66
|
-
- [Added](#added-22)
|
|
67
|
-
- [0.1.0 (2019-12-26)](#010-2019-12-26)
|
|
68
70
|
- [Added](#added-23)
|
|
71
|
+
- [0.1.0 (2019-12-26)](#010-2019-12-26)
|
|
72
|
+
- [Added](#added-24)
|
|
69
73
|
|
|
70
74
|
## Unreleased
|
|
71
75
|
|
|
@@ -77,6 +81,340 @@ This project follows [semver 2.0.0](http://semver.org/spec/v2.0.0.html) and the
|
|
|
77
81
|
### Fixed
|
|
78
82
|
-->
|
|
79
83
|
|
|
84
|
+
5.2.0 (2021-03-17)
|
|
85
|
+
------------------
|
|
86
|
+
|
|
87
|
+
### Added
|
|
88
|
+
|
|
89
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind.respond_to?`. This method has two different behaviors, when it receives just one argument it will behave like the native Ruby's
|
|
90
|
+
`respond_to?` method, that is, it will check if the `Kind` method implements some method. But if it receives two arguments, the first one will be the object, and the others (one or more) will be a list of method names that will be used to check if the given object implements them. e.g.
|
|
91
|
+
```ruby
|
|
92
|
+
Kind.respond_to?(:is?) # true
|
|
93
|
+
|
|
94
|
+
Kind.respond_to?(:foo?) # true
|
|
95
|
+
|
|
96
|
+
# --
|
|
97
|
+
|
|
98
|
+
Kind.respond_to?({}, :fetch, :merge) # true
|
|
99
|
+
|
|
100
|
+
Kind.respond_to?([], :fetch, :merge) # false
|
|
101
|
+
```
|
|
102
|
+
|
|
103
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::UnionType`. This class allows the creation of an object that knows how to compare a value through different kinds of types. e.g.
|
|
104
|
+
```ruby
|
|
105
|
+
# The method [] can build a union type object that will have the method #|
|
|
106
|
+
# which allows the composition with other object kinds.
|
|
107
|
+
array_or_hash = Kind::UnionType[Array] | Hash
|
|
108
|
+
|
|
109
|
+
# The method === can verify if a given value is one of the kinds that compounds the union type.
|
|
110
|
+
array_or_hash === {} # true
|
|
111
|
+
array_or_hash === [] # true
|
|
112
|
+
array_or_hash === 1 # false
|
|
113
|
+
array_or_hash === nil # false
|
|
114
|
+
|
|
115
|
+
# The method #[] will return the given value if it has one of the expected kinds,
|
|
116
|
+
# but if not, it will raise a Kind::Error.
|
|
117
|
+
array_or_hash[{}] # {}
|
|
118
|
+
|
|
119
|
+
array_or_hash[1] # Kind::Error (1 expected to be a kind of (Array | Hash))
|
|
120
|
+
|
|
121
|
+
# At last, the method #name is an alias to the method #inspect.
|
|
122
|
+
array_or_hash.name # "(Array | Hash)"
|
|
123
|
+
array_or_hash.inspect # "(Array | Hash)"
|
|
124
|
+
```
|
|
125
|
+
|
|
126
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::Nil`. This module was added to be used to create union types. e.g.
|
|
127
|
+
```ruby
|
|
128
|
+
hash_or_nil = Kind::UnionType[Hash] | Kind::Nil
|
|
129
|
+
|
|
130
|
+
hash_or_nil === {} # true
|
|
131
|
+
hash_or_nil === [] # false
|
|
132
|
+
hash_or_nil === 1 # false
|
|
133
|
+
hash_or_nil === nil # true
|
|
134
|
+
```
|
|
135
|
+
|
|
136
|
+
* [#46](https://github.com/serradura/kind/pull/46), [#47](https://github.com/serradura/kind/pull/47) - Add `Kind::NotNil`. This module was added to perform a strict verification where the given value will be returned if it is not nil, and if not, a `Kind::Error` will be raised. e.g.
|
|
137
|
+
```ruby
|
|
138
|
+
Kind::NotNil[1] # 1
|
|
139
|
+
|
|
140
|
+
Kind::NotNil[nil] # Kind::Error (expected to not be nil)
|
|
141
|
+
|
|
142
|
+
Kind::NotNil[nil, label: 'Foo#bar'] # Kind::Error (Foo#bar: expected to not be nil)
|
|
143
|
+
```
|
|
144
|
+
|
|
145
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::RespondTo` to create objects that know how to verify if a given object implements one or more expected methods.
|
|
146
|
+
```ruby
|
|
147
|
+
HashLike = Kind::RespondTo[:fetch, :merge!]
|
|
148
|
+
Fetchable = Kind::RespondTo[:fetch]
|
|
149
|
+
|
|
150
|
+
# Verifying if an object implements the expected interface.
|
|
151
|
+
HashLike === ENV # true
|
|
152
|
+
HashLike === {} # true
|
|
153
|
+
HashLike === [] # false
|
|
154
|
+
|
|
155
|
+
Fetchable === ENV # true
|
|
156
|
+
Fetchable === [] # true
|
|
157
|
+
Fetchable === {} # true
|
|
158
|
+
|
|
159
|
+
# Performing an strict verification
|
|
160
|
+
HashLike[ENV] # true
|
|
161
|
+
HashLike[{}] # true
|
|
162
|
+
HashLike[Array.new] # false Kind::Error ([] expected to be a kind of Kind::RespondTo[:fetch, :merge!])
|
|
163
|
+
|
|
164
|
+
# Creating union types using interfaces
|
|
165
|
+
HashLikeOrArray = HashLike | Array # Kind::RespondTo[:fetch, :merge!] | Array
|
|
166
|
+
|
|
167
|
+
HashLikeOrArray === {} # true
|
|
168
|
+
HashLikeOrArray === [] # true
|
|
169
|
+
HashLikeOrArray === ENV # true
|
|
170
|
+
```
|
|
171
|
+
|
|
172
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Unfreeze the output of `Kind::Boolean.kind`.
|
|
173
|
+
|
|
174
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Freeze `Kind::UNDEFINED` and define its inspect method.
|
|
175
|
+
|
|
176
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::TypeChecker#|` to allow the creation of union types.
|
|
177
|
+
```ruby
|
|
178
|
+
StatusLabel = Kind::String | Kind::Symbol
|
|
179
|
+
|
|
180
|
+
StatusLabel === :ok # true
|
|
181
|
+
StatusLabel === 'ok' # true
|
|
182
|
+
StatusLabel === true # false
|
|
183
|
+
```
|
|
184
|
+
|
|
185
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Allow `Kind.of()` and `Kind::TypeChecker#[]` receive a label.
|
|
186
|
+
```ruby
|
|
187
|
+
# Kind.of(<Type>, value, label:)
|
|
188
|
+
class Person
|
|
189
|
+
attr_reader :name
|
|
190
|
+
|
|
191
|
+
def initialize(name:)
|
|
192
|
+
@name = Kind.of(String, name, label: 'Person#name')
|
|
193
|
+
end
|
|
194
|
+
end
|
|
195
|
+
|
|
196
|
+
Person.new(name: 'Rodrigo') # #<Person:0x0000... @name="Rodrigo">
|
|
197
|
+
Person.new(name: :ok) # Kind::Error (Person#name: :ok expected to be a kind of String)
|
|
198
|
+
|
|
199
|
+
# Kind<Type>[value, label:]
|
|
200
|
+
class User
|
|
201
|
+
attr_reader :name
|
|
202
|
+
|
|
203
|
+
def initialize(name:)
|
|
204
|
+
@name = Kind::String[name, label: 'User#name']
|
|
205
|
+
end
|
|
206
|
+
end
|
|
207
|
+
|
|
208
|
+
User.new(name: 'Rodrigo') # #<User:0x0000... @name="Rodrigo">
|
|
209
|
+
User.new(name: :ok) # Kind::Error (User#name: :ok expected to be a kind of String)
|
|
210
|
+
```
|
|
211
|
+
|
|
212
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Create `kind/basic` to expose a small set of features to do type handling/verification. This is util if you want to make use only of these features instead of all of the others that are loaded via `require "kind"`. So, use `require "kind/basic"` if you only want these features:
|
|
213
|
+
* `Kind.is?`
|
|
214
|
+
* `Kind.of`
|
|
215
|
+
* `Kind.of?`
|
|
216
|
+
* `Kind.of_class?`
|
|
217
|
+
* `Kind.of_module?`
|
|
218
|
+
* `Kind.of_module_or_class`
|
|
219
|
+
* `Kind.respond_to`
|
|
220
|
+
* `Kind.respond_to?`
|
|
221
|
+
* `Kind.value`
|
|
222
|
+
* `Kind::Error`
|
|
223
|
+
* `Kind::Undefined`
|
|
224
|
+
|
|
225
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Improve `Kind::Maybe`.
|
|
226
|
+
* Improve the `#inspect` output.
|
|
227
|
+
* Make `Kind::Maybe.{new,[],wrap}` return `None` if they receive an exception instance.
|
|
228
|
+
* Add `#accept` as an alias of `#check` method.
|
|
229
|
+
* Add `#reject` as the reverse of the methods `#check` and `#accept`.
|
|
230
|
+
* Allow the methods `#map`, `#map!`, `#then`, `#then!`, `#check`, `#accept`, `#reject` to receive one symbol as an argument, it will be used to perform the correspondent method in the `Maybe` value, so if the object responds to the expected method a `Some` will be returned.
|
|
231
|
+
* Add `Kind::Maybe#on`, this method allows you to use a block where will be possible to define a `Some` or `None` handling. The output of the matched result (some or none) will be the block's output.
|
|
232
|
+
```ruby
|
|
233
|
+
# Kind::Maybe#accept (an alias of Kind::Maybe#check)
|
|
234
|
+
Kind::Maybe[1].accept(&:odd?) # #<Kind::Some value=1>
|
|
235
|
+
Kind::Maybe[1].accept(&:even?) # #<Kind::None value=nil>
|
|
236
|
+
|
|
237
|
+
# Kind::Maybe#reject (the reverse of Kind::Maybe#check)
|
|
238
|
+
Kind::Maybe[1].reject(&:odd?) # #<Kind::None value=nil>
|
|
239
|
+
Kind::Maybe[1].reject(&:even?) # #<Kind::Some value=1>
|
|
240
|
+
|
|
241
|
+
# Passing one symbol as an argument of the methods: `#map`, `#then`, `#check`, `#accept`, `#reject`
|
|
242
|
+
Kind::Maybe['1'].map(:to_i) # #<Kind::Some value=1>
|
|
243
|
+
Kind::Maybe[' '].then(:strip) # #<Kind::Some value="">
|
|
244
|
+
|
|
245
|
+
Kind::Maybe['1'].map!(:to_i).accept(:odd?) # #<Kind::Some value=1>
|
|
246
|
+
Kind::Maybe[' '].then!(:strip).reject(:empty?) # #<Kind::None value=nil>
|
|
247
|
+
|
|
248
|
+
# `Kind::Maybe#on` making use of a block to handle Some or None results.
|
|
249
|
+
number = Kind::Maybe['2'].then(:to_i).reject(:even?).on do |result|
|
|
250
|
+
result.none { 0 }
|
|
251
|
+
result.some { 1 }
|
|
252
|
+
end
|
|
253
|
+
|
|
254
|
+
p number # 0
|
|
255
|
+
```
|
|
256
|
+
|
|
257
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::Either` (either monad). This is basically the same as the `Maybe` monad, but with `Some` called `Right` and `None` called `Left`. But this time, `Left` is also allowed to have an underlying value. This module isn't loaded by default, so you will need to require it.
|
|
258
|
+
```ruby
|
|
259
|
+
require 'kind/either'
|
|
260
|
+
|
|
261
|
+
# Use the methods Kind::Left() or Kind::Right() to create either monads
|
|
262
|
+
Kind::Left(0) # #<Kind::Left value=0>
|
|
263
|
+
Kind::Right(1) # #<Kind::Right value=1>
|
|
264
|
+
|
|
265
|
+
# The Kind::Either.new() or Kind::Either[] also creates a Kind::Right monad
|
|
266
|
+
Kind::Either.new(2) # #<Kind::Right value=2>
|
|
267
|
+
Kind::Either[3] # #<Kind::Right value=3>
|
|
268
|
+
|
|
269
|
+
# An Either has methods that allow you to know what kind it is.
|
|
270
|
+
monad = Kind::Right(1)
|
|
271
|
+
monad.right? # true
|
|
272
|
+
monad.left? # false
|
|
273
|
+
|
|
274
|
+
# This monad allows you to chain a sequence of operations that will continue while the output
|
|
275
|
+
# of each step is a Right monad. So, if some step return a Left, all of the next steps will be avoided.
|
|
276
|
+
# Let's see an example of how you can use the method #map to define a sequence of operations.
|
|
277
|
+
|
|
278
|
+
def do_some_calculation(arg)
|
|
279
|
+
Kind::Right(arg)
|
|
280
|
+
.map { |value| Kind::Numeric?(value) ? Kind::Right(value + 2) : Kind::Left('value must be numeric') }
|
|
281
|
+
.map { |value| value.odd? ? Kind::Right(value) : Kind::Left('value can\'t be even') }
|
|
282
|
+
.map { |value| Kind::Right(value * 3) }
|
|
283
|
+
end
|
|
284
|
+
|
|
285
|
+
do_some_calculation('1') # #<Kind::Left value="value must be numeric">
|
|
286
|
+
do_some_calculation(2) # #<Kind::Left value="value can't be even">
|
|
287
|
+
do_some_calculation(1) # #<Kind::Right value=9>
|
|
288
|
+
|
|
289
|
+
# You can use procs/lambdas as an alternative of blocks
|
|
290
|
+
Add = ->(a, b) do
|
|
291
|
+
return Kind::Right(a + b) if Kind::Numeric?(a, b)
|
|
292
|
+
|
|
293
|
+
Kind::Left('the arguments must be numerics')
|
|
294
|
+
end
|
|
295
|
+
|
|
296
|
+
Double = ->(number) do
|
|
297
|
+
return Kind::Right(number * 2) if Kind::Numeric?(number)
|
|
298
|
+
|
|
299
|
+
Kind::Left('the argument must be numeric')
|
|
300
|
+
end
|
|
301
|
+
|
|
302
|
+
AsString = ->(value) { Kind::Right(value.to_s) }
|
|
303
|
+
|
|
304
|
+
Add.(1, 2).map(&Double).map(&Double) # #<Kind::Right value=12>
|
|
305
|
+
Add.(1, 2).map(&AsString).map(&Double) # #<Kind::Left value="the argument must be numeric">
|
|
306
|
+
|
|
307
|
+
# The method #then is an alias for #map
|
|
308
|
+
Add.(2, 2).then(&Double).then(&AsString) # #<Kind::Right value="8">
|
|
309
|
+
|
|
310
|
+
# An exception will occur when your block or lambda doesn't return a Kind::Either
|
|
311
|
+
Add.(2, 2).map { |number| number * 2 } # Kind::Monad::Error (8 expected to be a kind of Kind::Right | Kind::Left)
|
|
312
|
+
|
|
313
|
+
# The methods #map, #then auto handle StandardError exceptions,
|
|
314
|
+
# so Left will be returned when an exception occur.
|
|
315
|
+
Add.(0, 0).map { |number| Kind::Right(10 / number) } # #<Kind::Left value=#<ZeroDivisionError: divided by 0>>
|
|
316
|
+
|
|
317
|
+
# You can use #map! or #then! if you don't want this auto exception handling.
|
|
318
|
+
Add.(0, 0).map! { |number| Kind::Right(10 / number) } # ZeroDivisionError (divided by 0)
|
|
319
|
+
|
|
320
|
+
Add.(0, 0).then! { |number| Kind::Right(10 / number) } # ZeroDivisionError (divided by 0)
|
|
321
|
+
```
|
|
322
|
+
|
|
323
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::Result` (an Either monad variation)
|
|
324
|
+
|
|
325
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::Function`.
|
|
326
|
+
|
|
327
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::Functional`.
|
|
328
|
+
|
|
329
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::Try.presence` and improve the input/output handling of `Kind::Try.call`.
|
|
330
|
+
|
|
331
|
+
* [#46](https://github.com/serradura/kind/pull/46) - Add `Kind::Dig.presence` and improve the input/output handling of `Kind::Dig.call`.
|
|
332
|
+
|
|
333
|
+
* [#47](https://github.com/serradura/kind/pull/47) - Add `Kind.is!`
|
|
334
|
+
|
|
335
|
+
* [#47](https://github.com/serradura/kind/pull/47) - Create aliases to the methods `Kind.of` (`Kind.of!`) and `Kind.respond_to` (`Kind.respond_to!`)
|
|
336
|
+
|
|
337
|
+
* [#47](https://github.com/serradura/kind/pull/47) - Add `Kind[]` as the `Kind::Of()` substitute.
|
|
338
|
+
|
|
339
|
+
* [#49](https://github.com/serradura/kind/pull/49) - Add `Kind::Either::Methods` and `Kind::Result::Methods`
|
|
340
|
+
|
|
341
|
+
* [#49](https://github.com/serradura/kind/pull/49) - Add `Kind::Undefined.empty?`
|
|
342
|
+
|
|
343
|
+
* [#50](https://github.com/serradura/kind/pull/50) - Add `Kind::<Type>.empty_or` as an alias of `Kind::<Type>.value_or_empty`
|
|
344
|
+
|
|
345
|
+
* [#46](https://github.com/serradura/kind/pull/46), [#51](https://github.com/serradura/kind/pull/51) - Add `Kind::Functional::Action`.
|
|
346
|
+
|
|
347
|
+
* [#51](https://github.com/serradura/kind/pull/51) - Add `Kind::Action`.
|
|
348
|
+
|
|
349
|
+
* [#51](https://github.com/serradura/kind/pull/51) - Add `Kind::Maybe::ImmutableAttributes`.
|
|
350
|
+
|
|
351
|
+
* [#51](https://github.com/serradura/kind/pull/51) - Add `Kind::Maybe::Methods`.
|
|
352
|
+
|
|
353
|
+
* [#51](https://github.com/serradura/kind/pull/51) - Add `Kind::Enum`.
|
|
354
|
+
|
|
355
|
+
* [#51](https://github.com/serradura/kind/pull/51) - Modularize all the kind components. So now you can require only the modules/features that do you want, `kind/action` is the minimal requirement for all of them.
|
|
356
|
+
* `kind/action`
|
|
357
|
+
* `kind/dig`
|
|
358
|
+
* `kind/either`
|
|
359
|
+
* `kind/empty`
|
|
360
|
+
* `kind/enum`
|
|
361
|
+
* `kind/function`
|
|
362
|
+
* `kind/functional`
|
|
363
|
+
* `kind/functional/action`
|
|
364
|
+
* `kind/immutable_attributes`
|
|
365
|
+
* `kind/maybe`
|
|
366
|
+
* `kind/objects`
|
|
367
|
+
* `kind/presence`
|
|
368
|
+
* `kind/result`
|
|
369
|
+
* `kind/try`
|
|
370
|
+
* `kind/validator`
|
|
371
|
+
|
|
372
|
+
* [#52](https://github.com/serradura/kind/pull/52) - Improve `Kind::Validator`, now will be possible to make use of `lambdas` or objects that responds to `.===` and `.name` to perform a kind validation. e.g.
|
|
373
|
+
```ruby
|
|
374
|
+
class User
|
|
375
|
+
include ActiveModel::Validations
|
|
376
|
+
|
|
377
|
+
attr_reader :name, :bool
|
|
378
|
+
|
|
379
|
+
FilledString = ->(value) { value.kind_of?(String) && !value.empty? }
|
|
380
|
+
|
|
381
|
+
Bool = Object.new
|
|
382
|
+
def Bool.===(value)
|
|
383
|
+
value == true || value == false
|
|
384
|
+
end
|
|
385
|
+
def Bool.name; 'Bool'; end
|
|
386
|
+
|
|
387
|
+
validates :name, kind: FilledString
|
|
388
|
+
validates :bool, kind: Bool
|
|
389
|
+
|
|
390
|
+
def initialize(name:, bool:)
|
|
391
|
+
@name, @bool = name, bool
|
|
392
|
+
end
|
|
393
|
+
end
|
|
394
|
+
|
|
395
|
+
user = User.new(name: '', bool: 1)
|
|
396
|
+
|
|
397
|
+
user.valid? # true
|
|
398
|
+
user.errors[:name] # ['invalid kind']
|
|
399
|
+
user.errors[:bool] # ['must be a kind of Bool']
|
|
400
|
+
|
|
401
|
+
User.new(name: 'Serradura', bool: true).valid? # true
|
|
402
|
+
```
|
|
403
|
+
|
|
404
|
+
* [#52](https://github.com/serradura/kind/pull/52) - Add `Kind::Enum.===`.
|
|
405
|
+
|
|
406
|
+
### Deprecated
|
|
407
|
+
|
|
408
|
+
* [#47](https://github.com/serradura/kind/pull/47) - Deprecate `Kind.is` and `Kind::Of()`.
|
|
409
|
+
|
|
410
|
+
* [#48](https://github.com/serradura/kind/pull/48) - Deprecate `Kind::Maybe()` and `Kind::Optional()`
|
|
411
|
+
|
|
412
|
+
### Changes
|
|
413
|
+
|
|
414
|
+
* [#48](https://github.com/serradura/kind/pull/48) - Rename `Kind::TypeChecker` to `Kind::Object` and `Kind::TypeChecker::Object` to `Kind::Object::Instance`.
|
|
415
|
+
|
|
416
|
+
[⬆️ Back to Top](#changelog-)
|
|
417
|
+
|
|
80
418
|
5.1.0 (2021-02-23)
|
|
81
419
|
------------------
|
|
82
420
|
|