kind 3.0.1 → 5.1.0

data/lib/kind/core/type_checkers.rb

@@ -0,0 +1,30 @@
+# frozen_string_literal: true
+
+require 'kind/core/type_checkers/ruby/array'
+require 'kind/core/type_checkers/ruby/class'
+require 'kind/core/type_checkers/ruby/comparable'
+require 'kind/core/type_checkers/ruby/enumerable'
+require 'kind/core/type_checkers/ruby/enumerator'
+require 'kind/core/type_checkers/ruby/file'
+require 'kind/core/type_checkers/ruby/float'
+require 'kind/core/type_checkers/ruby/hash'
+require 'kind/core/type_checkers/ruby/integer'
+require 'kind/core/type_checkers/ruby/io'
+require 'kind/core/type_checkers/ruby/module'
+require 'kind/core/type_checkers/ruby/method'
+require 'kind/core/type_checkers/ruby/numeric'
+require 'kind/core/type_checkers/ruby/proc'
+require 'kind/core/type_checkers/ruby/queue'
+require 'kind/core/type_checkers/ruby/range'
+require 'kind/core/type_checkers/ruby/regexp'
+require 'kind/core/type_checkers/ruby/string'
+require 'kind/core/type_checkers/ruby/struct'
+require 'kind/core/type_checkers/ruby/symbol'
+require 'kind/core/type_checkers/ruby/time'
+
+require 'kind/core/type_checkers/stdlib/open_struct'
+require 'kind/core/type_checkers/stdlib/set'
+
+require 'kind/core/type_checkers/custom/boolean'
+require 'kind/core/type_checkers/custom/callable'
+require 'kind/core/type_checkers/custom/lambda'

data/lib/kind/core/type_checkers/custom/boolean.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Kind
+  module Boolean
+    extend self, TypeChecker
+
+    def kind; [TrueClass, FalseClass].freeze; end
+
+    def name; 'Boolean'; end
+
+    def ===(value)
+      ::TrueClass === value || ::FalseClass === value
+    end
+  end
+
+  def self.Boolean?(*values)
+    KIND.of?(Boolean, values)
+  end
+end

data/lib/kind/core/type_checkers/custom/callable.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Kind
+  module Callable
+    extend self, TypeChecker
+
+    def kind; raise NotImplementedError; end
+
+    def name; 'Callable'; end
+
+    def ===(value)
+      value.respond_to?(:call)
+    end
+  end
+
+  def self.Callable?(*values)
+    KIND.of?(Callable, values)
+  end
+end

data/lib/kind/core/type_checkers/custom/lambda.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Kind
+  module Lambda
+    extend self, TypeChecker
+
+    def kind; ::Proc; end
+
+    def name; 'Lambda'; end
+
+    def ===(value)
+      value.kind_of?(::Proc) && value.lambda?
+    end
+  end
+
+  def self.Lambda?(*values)
+    KIND.of?(Lambda, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/array.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+module Kind
+  module Array
+    extend self, TypeChecker
+
+    def kind; ::Array; end
+
+    def value_or_empty(arg)
+      KIND.value(self, arg, Empty::ARRAY)
+    end
+  end
+
+  def self.Array?(*values)
+    KIND.of?(::Array, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/class.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Class
+    extend self, TypeChecker
+
+    def kind; ::Class; end
+  end
+
+  def self.Class?(*values)
+    KIND.of?(::Class, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/comparable.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Comparable
+    extend self, TypeChecker
+
+    def kind; ::Comparable; end
+  end
+
+  def self.Comparable?(*values)
+    KIND.of?(::Comparable, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/enumerable.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Enumerable
+    extend self, TypeChecker
+
+    def kind; ::Enumerable; end
+  end
+
+  def self.Enumerable?(*values)
+    KIND.of?(::Enumerable, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/enumerator.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Enumerator
+    extend self, TypeChecker
+
+    def kind; ::Enumerator; end
+  end
+
+  def self.Enumerator?(*values)
+    KIND.of?(::Enumerator, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/file.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module File
+    extend self, TypeChecker
+
+    def kind; ::File; end
+  end
+
+  def self.File?(*values)
+    KIND.of?(::File, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/float.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Float
+    extend self, TypeChecker
+
+    def kind; ::Float; end
+  end
+
+  def self.Float?(*values)
+    KIND.of?(::Float, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/hash.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+module Kind
+  module Hash
+    extend self, TypeChecker
+
+    def kind; ::Hash; end
+
+    def value_or_empty(arg)
+      KIND.value(self, arg, Empty::HASH)
+    end
+  end
+
+  def self.Hash?(*values)
+    KIND.of?(::Hash, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/integer.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Integer
+    extend self, TypeChecker
+
+    def kind; ::Integer; end
+  end
+
+  def self.Integer?(*values)
+    KIND.of?(::Integer, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/io.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module IO
+    extend self, TypeChecker
+
+    def kind; ::IO; end
+  end
+
+  def self.IO?(*values)
+    KIND.of?(::IO, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/method.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Method
+    extend self, TypeChecker
+
+    def kind; ::Method; end
+  end
+
+  def self.Method?(*values)
+    KIND.of?(::Method, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/module.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+module Kind
+  module Module
+    extend self, TypeChecker
+
+    def kind; ::Module; end
+
+    def ===(value)
+      Kind.of_module?(value)
+    end
+  end
+
+  def self.Module?(*values)
+    KIND.of?(::Kind::Module, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/numeric.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Numeric
+    extend self, TypeChecker
+
+    def kind; ::Numeric; end
+  end
+
+  def self.Numeric?(*values)
+    KIND.of?(::Numeric, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/proc.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Proc
+    extend self, TypeChecker
+
+    def kind; ::Proc; end
+  end
+
+  def self.Proc?(*values)
+    KIND.of?(::Proc, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/queue.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+module Kind
+  module Queue
+    extend self, TypeChecker
+
+    def kind; ::Queue; end
+    def name; 'Queue'; end
+  end
+
+  def self.Queue?(*values)
+    KIND.of?(::Queue, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/range.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Range
+    extend self, TypeChecker
+
+    def kind; ::Range; end
+  end
+
+  def self.Range?(*values)
+    KIND.of?(::Range, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/regexp.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Regexp
+    extend self, TypeChecker
+
+    def kind; ::Regexp; end
+  end
+
+  def self.Regexp?(*values)
+    KIND.of?(::Regexp, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/string.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+module Kind
+  module String
+    extend self, TypeChecker
+
+    def kind; ::String; end
+
+    def value_or_empty(arg)
+      KIND.value(self, arg, Empty::STRING)
+    end
+  end
+
+  def self.String?(*values)
+    KIND.of?(::String, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/struct.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Struct
+    extend self, TypeChecker
+
+    def kind; ::Struct; end
+  end
+
+  def self.Struct?(*values)
+    KIND.of?(::Struct, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/symbol.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Symbol
+    extend self, TypeChecker
+
+    def kind; ::Symbol; end
+  end
+
+  def self.Symbol?(*values)
+    KIND.of?(::Symbol, values)
+  end
+end

data/lib/kind/core/type_checkers/ruby/time.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module Time
+    extend self, TypeChecker
+
+    def kind; ::Time; end
+  end
+
+  def self.Time?(*values)
+    KIND.of?(::Time, values)
+  end
+end

data/lib/kind/core/type_checkers/stdlib/open_struct.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Kind
+  module OpenStruct
+    extend self, TypeChecker
+
+    def kind; ::OpenStruct; end
+  end
+
+  def self.OpenStruct?(*values)
+    KIND.of?(::OpenStruct, values)
+  end
+end

data/lib/kind/core/type_checkers/stdlib/set.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+module Kind
+  module Set
+    extend self, TypeChecker
+
+    def kind; ::Set; end
+
+    def value_or_empty(arg)
+      KIND.value(self, arg, Empty::SET)
+    end
+  end
+
+  def self.Set?(*values)
+    KIND.of?(::Set, values)
+  end
+end