RubyGems - kind - Versions diffs - 5.0.0 → 5.4.1 - Mend

kind 5.0.0 → 5.4.1

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 (103) hide show

checksums.yaml +4 -4
data/.tool-versions +1 -1
data/.travis.sh +39 -7
data/.travis.yml +1 -0
data/CHANGELOG.md +506 -28
data/Gemfile +13 -6
data/README.md +50 -42
data/kind.gemspec +3 -3
data/lib/kind.rb +2 -60
data/lib/kind/__lib__/action_steps.rb +57 -0
data/lib/kind/__lib__/attributes.rb +66 -0
data/lib/kind/__lib__/kind.rb +51 -0
data/lib/kind/__lib__/of.rb +17 -0
data/lib/kind/__lib__/strict.rb +49 -0
data/lib/kind/__lib__/undefined.rb +14 -0
data/lib/kind/action.rb +127 -0
data/lib/kind/active_model/validation.rb +3 -4
data/lib/kind/basic.rb +79 -0
data/lib/kind/basic/error.rb +29 -0
data/lib/kind/{undefined.rb → basic/undefined.rb} +6 -1
data/lib/kind/dig.rb +21 -5
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 +2 -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 +45 -0
data/lib/kind/functional.rb +89 -0
data/lib/kind/functional/action.rb +87 -0
data/lib/kind/functional/steps.rb +22 -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 +37 -12
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 +12 -19
data/lib/kind/maybe/some.rb +68 -26
data/lib/kind/maybe/typed.rb +11 -5
data/lib/kind/maybe/{wrappable.rb → 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 +43 -0
data/lib/kind/objects/modules.rb +32 -0
data/lib/kind/{type_checkers → objects/modules}/core/array.rb +3 -1
data/lib/kind/{type_checkers → objects/modules}/core/class.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/comparable.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/enumerable.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/enumerator.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/file.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/float.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/hash.rb +3 -1
data/lib/kind/{type_checkers → objects/modules}/core/integer.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/io.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/method.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/module.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/numeric.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/proc.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/queue.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/range.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/regexp.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/string.rb +3 -1
data/lib/kind/{type_checkers → objects/modules}/core/struct.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/symbol.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/core/time.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/custom/boolean.rb +2 -2
data/lib/kind/{type_checkers → objects/modules}/custom/callable.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/custom/lambda.rb +1 -1
data/lib/kind/{type_checkers → objects/modules}/stdlib/open_struct.rb +3 -1
data/lib/kind/{type_checkers → objects/modules}/stdlib/set.rb +3 -1
data/lib/kind/objects/nil.rb +17 -0
data/lib/kind/objects/not_nil.rb +9 -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 +4 -2
data/lib/kind/result.rb +31 -0
data/lib/kind/result/abstract.rb +53 -0
data/lib/kind/result/failure.rb +33 -0
data/lib/kind/result/methods.rb +17 -0
data/lib/kind/result/monad.rb +74 -0
data/lib/kind/result/monad/wrapper.rb +19 -0
data/lib/kind/result/success.rb +53 -0
data/lib/kind/strict/disabled.rb +34 -0
data/lib/kind/try.rb +22 -10
data/lib/kind/validator.rb +111 -0
data/lib/kind/version.rb +1 -1
metadata +83 -42
data/lib/kind/active_model/kind_validator.rb +0 -103
data/lib/kind/core.rb +0 -8
data/lib/kind/core/kind.rb +0 -61
data/lib/kind/core/undefined.rb +0 -7
data/lib/kind/error.rb +0 -15
data/lib/kind/maybe/result.rb +0 -51
data/lib/kind/type_checker.rb +0 -87
data/lib/kind/type_checkers.rb +0 -30

data/lib/kind/{type_checkers → objects/modules}/core/class.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Class
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Class; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/comparable.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Comparable
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Comparable; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/enumerable.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Enumerable
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Enumerable; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/enumerator.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Enumerator
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Enumerator; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/file.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module File
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::File; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/float.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Float
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Float; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/hash.rb RENAMED Viewed

@@ -2,13 +2,15 @@
 module Kind
   module Hash
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Hash; end
     def value_or_empty(arg)
       KIND.value(self, arg, Empty::HASH)
     end
+    alias empty_or value_or_empty
   end
   def self.Hash?(*values)

data/lib/kind/{type_checkers → objects/modules}/core/integer.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Integer
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Integer; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/io.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module IO
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::IO; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/method.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Method
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Method; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/module.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Module
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Module; end

data/lib/kind/{type_checkers → objects/modules}/core/numeric.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Numeric
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Numeric; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/proc.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Proc
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Proc; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/queue.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Queue
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Queue; end
     def name; 'Queue'; end

data/lib/kind/{type_checkers → objects/modules}/core/range.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Range
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Range; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/regexp.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Regexp
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Regexp; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/string.rb RENAMED Viewed

@@ -2,13 +2,15 @@
 module Kind
   module String
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::String; end
     def value_or_empty(arg)
       KIND.value(self, arg, Empty::STRING)
     end
+    alias empty_or value_or_empty
   end
   def self.String?(*values)

data/lib/kind/{type_checkers → objects/modules}/core/struct.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Struct
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Struct; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/symbol.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Symbol
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Symbol; end
   end

data/lib/kind/{type_checkers → objects/modules}/core/time.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Time
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Time; end
   end

data/lib/kind/{type_checkers → objects/modules}/custom/boolean.rb RENAMED Viewed

@@ -2,9 +2,9 @@
 module Kind
   module Boolean
-    extend self, TypeChecker
+    extend self, ::Kind::Object
-    def kind; [TrueClass, FalseClass].freeze; end
+    def kind; [TrueClass, FalseClass]; end
     def name; 'Boolean'; end

data/lib/kind/{type_checkers → objects/modules}/custom/callable.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Callable
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; raise NotImplementedError; end

data/lib/kind/{type_checkers → objects/modules}/custom/lambda.rb RENAMED Viewed

@@ -2,7 +2,7 @@
 module Kind
   module Lambda
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Proc; end

data/lib/kind/{type_checkers → objects/modules}/stdlib/open_struct.rb RENAMED Viewed

@@ -1,8 +1,10 @@
 # frozen_string_literal: true
+require 'ostruct'
 module Kind
   module OpenStruct
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::OpenStruct; end
   end

data/lib/kind/{type_checkers → objects/modules}/stdlib/set.rb RENAMED Viewed

@@ -2,13 +2,15 @@
 module Kind
   module Set
-    extend self, TypeChecker
+    extend self, ::Kind::Object
     def kind; ::Set; end
     def value_or_empty(arg)
       KIND.value(self, arg, Empty::SET)
     end
+    alias empty_or value_or_empty
   end
   def self.Set?(*values)

data/lib/kind/objects/nil.rb ADDED Viewed

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+module Kind
+  module Nil
+    def self.|(another_kind)
+      UnionType[self] | another_kind
+    end
+    def self.name
+      'nil'
+    end
+    def self.===(value)
+      value.nil?
+    end
+  end
+end

data/lib/kind/objects/not_nil.rb ADDED Viewed

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+module Kind
+  module NotNil
+    def self.[](value, label: nil)
+      STRICT.not_nil(value, label)
+    end
+  end
+end

data/lib/kind/objects/object.rb ADDED Viewed

@@ -0,0 +1,56 @@
+# frozen_string_literal: true
+require 'kind/maybe'
+module Kind
+  module Object
+    include Kind::BasicObject
+    include Maybe::Buildable
+    include UnionType::Buildable
+    def name
+      kind.name
+    end
+    def ===(value)
+      kind === value
+    end
+    def inspect
+      "Kind::Object<#{name}>"
+    end
+  end
+  class Object::Instance # :nodoc: all
+    include ::Kind::Object
+    ResolveKindName = ->(kind, opt) do
+      name = Try.call!(opt, :[], :name)
+      name || Try.call!(kind, :name)
+    end
+    attr_reader :kind, :name
+    def initialize(kind, opt)
+      name = ResolveKindName.(kind, opt)
+      @name = STRICT.kind_of(::String, name)
+      @kind = KIND.respond_to!(:===, kind)
+    end
+    private_constant :ResolveKindName
+  end
+  # Kind[]
+  def self.[](kind, opt = Empty::HASH)
+    Object::Instance.new(kind, opt)
+  end
+  # Kind::Of()
+  def self.Of(*args)
+    warn '[DEPRECATION] Kind::Of() is deprecated; use Kind[] instead. ' \
+        'It will be removed on next major release.'
+    self[*args]
+  end
+end

data/lib/kind/objects/respond_to.rb ADDED Viewed

@@ -0,0 +1,30 @@
+# frozen_string_literal: true
+module Kind
+  class RespondTo
+    include Kind::BasicObject
+    def self.[](*args)
+      args.each { |arg| STRICT.kind_of(::Symbol, arg) }
+      new(args)
+    end
+    private_class_method :new
+    attr_reader :inspect
+    def initialize(method_names)
+      @method_names = method_names
+      @inspect = "Kind::RespondTo#{@method_names}"
+    end
+    def ===(value)
+      KIND.interface?(@method_names, value)
+    end
+    alias_method :call, :===
+    alias_method :name, :inspect
+  end
+end

data/lib/kind/objects/union_type.rb ADDED Viewed

@@ -0,0 +1,44 @@
+# frozen_string_literal: true
+module Kind
+  class UnionType
+    include Kind::BasicObject
+    Interface = Kind::RespondTo[:name, :===]
+    singleton_class.send(:alias_method, :[], :new)
+    attr_reader :inspect
+    def initialize(kind)
+      @kinds = Array(kind)
+      @inspect = "(#{@kinds.map(&:name).join(' | ')})"
+    end
+    def |(kind)
+      self.class.new(@kinds + [Interface[kind]])
+    end
+    def ===(value)
+      @kinds.any? { |kind| kind === value }
+    end
+    alias_method :name, :inspect
+    module Buildable
+      def |(another_kind)
+        __union_type | another_kind
+      end
+      private
+        def __union_type
+          @__union_type ||= UnionType[self]
+        end
+    end
+    private_constant :Interface
+  end
+  RespondTo.send(:include, UnionType::Buildable)
+end