kind 5.0.0 → 5.4.1

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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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