kind 3.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 -0
- data/.travis.sh +67 -12
- data/.travis.yml +7 -5
- data/CHANGELOG.md +1647 -0
- data/Gemfile +22 -7
- data/README.md +920 -486
- data/kind.gemspec +1 -1
- data/lib/kind.rb +2 -314
- 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 +3 -4
- data/lib/kind/basic.rb +73 -0
- data/lib/kind/basic/error.rb +29 -0
- data/lib/kind/{undefined.rb → basic/undefined.rb} +8 -1
- data/lib/kind/dig.rb +31 -11
- 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/empty.rb +4 -10
- data/lib/kind/empty/constant.rb +7 -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 +35 -159
- 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/maybe/none.rb +50 -0
- data/lib/kind/maybe/some.rb +132 -0
- data/lib/kind/maybe/typed.rb +35 -0
- data/lib/kind/maybe/wrapper.rb +37 -0
- 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/objects/modules/core/array.rb +19 -0
- data/lib/kind/objects/modules/core/class.rb +13 -0
- data/lib/kind/objects/modules/core/comparable.rb +13 -0
- data/lib/kind/objects/modules/core/enumerable.rb +13 -0
- data/lib/kind/objects/modules/core/enumerator.rb +13 -0
- data/lib/kind/objects/modules/core/file.rb +13 -0
- data/lib/kind/objects/modules/core/float.rb +13 -0
- data/lib/kind/objects/modules/core/hash.rb +19 -0
- data/lib/kind/objects/modules/core/integer.rb +13 -0
- data/lib/kind/objects/modules/core/io.rb +13 -0
- data/lib/kind/objects/modules/core/method.rb +13 -0
- data/lib/kind/objects/modules/core/module.rb +17 -0
- data/lib/kind/objects/modules/core/numeric.rb +13 -0
- data/lib/kind/objects/modules/core/proc.rb +13 -0
- data/lib/kind/objects/modules/core/queue.rb +14 -0
- data/lib/kind/objects/modules/core/range.rb +13 -0
- data/lib/kind/objects/modules/core/regexp.rb +13 -0
- data/lib/kind/objects/modules/core/string.rb +19 -0
- data/lib/kind/objects/modules/core/struct.rb +13 -0
- data/lib/kind/objects/modules/core/symbol.rb +13 -0
- data/lib/kind/objects/modules/core/time.rb +13 -0
- data/lib/kind/objects/modules/custom/boolean.rb +19 -0
- data/lib/kind/objects/modules/custom/callable.rb +19 -0
- data/lib/kind/objects/modules/custom/lambda.rb +19 -0
- data/lib/kind/objects/modules/stdlib/open_struct.rb +15 -0
- data/lib/kind/objects/modules/stdlib/set.rb +19 -0
- 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/presence.rb +35 -0
- 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 +112 -1
- data/lib/kind/version.rb +1 -1
- data/test.sh +4 -4
- metadata +81 -13
- data/lib/kind/active_model/kind_validator.rb +0 -96
- data/lib/kind/checker.rb +0 -15
- data/lib/kind/checker/factory.rb +0 -35
- data/lib/kind/checker/protocol.rb +0 -73
- data/lib/kind/error.rb +0 -19
- data/lib/kind/is.rb +0 -19
- data/lib/kind/of.rb +0 -11
- data/lib/kind/types.rb +0 -115
@@ -0,0 +1,19 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Hash
|
5
|
+
extend self, ::Kind::Object
|
6
|
+
|
7
|
+
def kind; ::Hash; end
|
8
|
+
|
9
|
+
def value_or_empty(arg)
|
10
|
+
KIND.value(self, arg, Empty::HASH)
|
11
|
+
end
|
12
|
+
|
13
|
+
alias empty_or value_or_empty
|
14
|
+
end
|
15
|
+
|
16
|
+
def self.Hash?(*values)
|
17
|
+
KIND.of?(::Hash, values)
|
18
|
+
end
|
19
|
+
end
|
@@ -0,0 +1,17 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Module
|
5
|
+
extend self, ::Kind::Object
|
6
|
+
|
7
|
+
def kind; ::Module; end
|
8
|
+
|
9
|
+
def ===(value)
|
10
|
+
Kind.of_module?(value)
|
11
|
+
end
|
12
|
+
end
|
13
|
+
|
14
|
+
def self.Module?(*values)
|
15
|
+
KIND.of?(::Kind::Module, values)
|
16
|
+
end
|
17
|
+
end
|
@@ -0,0 +1,19 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module String
|
5
|
+
extend self, ::Kind::Object
|
6
|
+
|
7
|
+
def kind; ::String; end
|
8
|
+
|
9
|
+
def value_or_empty(arg)
|
10
|
+
KIND.value(self, arg, Empty::STRING)
|
11
|
+
end
|
12
|
+
|
13
|
+
alias empty_or value_or_empty
|
14
|
+
end
|
15
|
+
|
16
|
+
def self.String?(*values)
|
17
|
+
KIND.of?(::String, values)
|
18
|
+
end
|
19
|
+
end
|
@@ -0,0 +1,19 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Boolean
|
5
|
+
extend self, ::Kind::Object
|
6
|
+
|
7
|
+
def kind; [TrueClass, FalseClass]; 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, ::Kind::Object
|
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, ::Kind::Object
|
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,19 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
module Kind
|
4
|
+
module Set
|
5
|
+
extend self, ::Kind::Object
|
6
|
+
|
7
|
+
def kind; ::Set; end
|
8
|
+
|
9
|
+
def value_or_empty(arg)
|
10
|
+
KIND.value(self, arg, Empty::SET)
|
11
|
+
end
|
12
|
+
|
13
|
+
alias empty_or value_or_empty
|
14
|
+
end
|
15
|
+
|
16
|
+
def self.Set?(*values)
|
17
|
+
KIND.of?(::Set, values)
|
18
|
+
end
|
19
|
+
end
|
@@ -0,0 +1,56 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require 'kind/maybe'
|
4
|
+
|
5
|
+
module Kind
|
6
|
+
module Object
|
7
|
+
include Kind::BasicObject
|
8
|
+
include Maybe::Buildable
|
9
|
+
include UnionType::Buildable
|
10
|
+
|
11
|
+
def name
|
12
|
+
kind.name
|
13
|
+
end
|
14
|
+
|
15
|
+
def ===(value)
|
16
|
+
kind === value
|
17
|
+
end
|
18
|
+
|
19
|
+
def inspect
|
20
|
+
"Kind::Object<#{name}>"
|
21
|
+
end
|
22
|
+
end
|
23
|
+
|
24
|
+
class Object::Instance # :nodoc: all
|
25
|
+
include ::Kind::Object
|
26
|
+
|
27
|
+
ResolveKindName = ->(kind, opt) do
|
28
|
+
name = Try.call!(opt, :[], :name)
|
29
|
+
name || Try.call!(kind, :name)
|
30
|
+
end
|
31
|
+
|
32
|
+
attr_reader :kind, :name
|
33
|
+
|
34
|
+
def initialize(kind, opt)
|
35
|
+
name = ResolveKindName.(kind, opt)
|
36
|
+
|
37
|
+
@name = KIND.of!(::String, name)
|
38
|
+
@kind = KIND.respond_to!(:===, kind)
|
39
|
+
end
|
40
|
+
|
41
|
+
private_constant :ResolveKindName
|
42
|
+
end
|
43
|
+
|
44
|
+
# Kind[]
|
45
|
+
def self.[](kind, opt = Empty::HASH)
|
46
|
+
Object::Instance.new(kind, opt)
|
47
|
+
end
|
48
|
+
|
49
|
+
# Kind::Of()
|
50
|
+
def self.Of(*args)
|
51
|
+
warn '[DEPRECATION] Kind::Of() is deprecated; use Kind[] instead. ' \
|
52
|
+
'It will be removed on next major release.'
|
53
|
+
|
54
|
+
self[*args]
|
55
|
+
end
|
56
|
+
end
|