kind 5.1.0 → 5.2.0

data/lib/kind/try.rb

@@ -0,0 +1,46 @@
+# frozen_string_literal: true
+
+require 'kind/basic'
+require 'kind/empty'
+require 'kind/presence'
+
+module Kind
+  module Try
+    extend self
+
+    def call!(object, method_name, args = Empty::ARRAY) # :nodoc
+      return if KIND.null?(object)
+
+      resolve(object, method_name, args)
+    end
+
+    def call(object, *input)
+      args = input.size == 1 && input[0].kind_of?(::Array) ? input[0] : input
+
+      result = call!(object, args.shift, args)
+
+      return result unless block_given?
+
+      yield(result) unless KIND.null?(result)
+    end
+
+    def presence(*args, &block)
+      Presence.(call(*args, &block))
+    end
+
+    def self.[](*args)
+      method_name = args.shift
+
+      ->(object) { call!(object, method_name, args) }
+    end
+
+    private
+
+      def resolve(object, method_name, args)
+        return unless object.respond_to?(method_name)
+        return object.public_send(method_name) if args.empty?
+
+        object.public_send(method_name, *args)
+      end
+  end
+end

data/lib/kind/validator.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'kind'
+require 'kind/basic'
 
 module Kind
   module Validator
@@ -77,11 +77,15 @@ class KindValidator < ActiveModel::EachValidator
     end
 
     def kind_of(expected, value)
-      types = Array(expected)
+      if ::Array === expected
+        return if expected.any? { |type| type === value }
 
-      return if types.any? { |type| type === value }
+        "must be a kind of #{expected.map { |type| type.name }.join(', ')}"
+      else
+        return if expected === value
 
-      "must be a kind of: #{types.map { |type| type.name }.join(', ')}"
+        expected.respond_to?(:name) ? "must be a kind of #{expected.name}" : 'invalid kind'
+      end
     end
 
     CLASS_OR_MODULE = 'Class/Module'.freeze
@@ -97,11 +101,11 @@ class KindValidator < ActiveModel::EachValidator
     def kind_is_not(expected, value)
       case expected
       when ::Class
-        return if expected == Kind::Class[value] || value < expected
+        return if expected == Kind.of!(::Class, value) || value < expected
 
         "must be the class or a subclass of `#{expected.name}`"
       when ::Module
-        return if value.kind_of?(Class) && value <= expected
+        return if value.kind_of?(::Class) && value <= expected
         return if expected == Kind.of_module_or_class(value) || value.kind_of?(expected)
 
         "must include the `#{expected.name}` module"
@@ -128,13 +132,13 @@ class KindValidator < ActiveModel::EachValidator
 
       return if types.any? { |type| value.instance_of?(type) }
 
-      "must be an instance of: #{types.map { |klass| klass.name }.join(', ')}"
+      "must be an instance of #{types.map { |klass| klass.name }.join(', ')}"
     end
 
     def array_with(expected, value)
-      return if value.kind_of?(::Array) && !value.empty? && (value - Kind::Array[expected]).empty?
+      return if value.kind_of?(::Array) && !value.empty? && (value - Kind.of!(::Array, expected)).empty?
 
-      "must be an array with: #{expected.join(', ')}"
+      "must be an array with #{expected.join(', ')}"
     end
 
     def array_of(expected, value)
@@ -142,6 +146,6 @@ class KindValidator < ActiveModel::EachValidator
 
       return if value.kind_of?(::Array) && !value.empty? && value.all? { |val| types.any? { |type| type === val } }
 
-      "must be an array of: #{types.map { |klass| klass.name }.join(', ')}"
+      "must be an array of #{types.map { |klass| klass.name }.join(', ')}"
     end
 end

data/lib/kind/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Kind
-  VERSION = '5.1.0'
+  VERSION = '5.2.0'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: kind
 version: !ruby/object:Gem::Version
-  version: 5.1.0
+  version: 5.2.0
 platform: ruby
 authors:
 - Rodrigo Serradura
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-02-24 00:00:00.000000000 Z
+date: 2021-03-18 00:00:00.000000000 Z
 dependencies: []
 description: A simple type system (at runtime) for Ruby - free of dependencies.
 email:
@@ -31,51 +31,85 @@ files:
 - bin/setup
 - kind.gemspec
 - lib/kind.rb
+- lib/kind/__lib__/attributes.rb
+- lib/kind/__lib__/kind.rb
+- lib/kind/__lib__/undefined.rb
+- lib/kind/action.rb
 - lib/kind/active_model/validation.rb
-- lib/kind/core.rb
-- lib/kind/core/dig.rb
-- lib/kind/core/empty.rb
-- lib/kind/core/empty/constant.rb
-- lib/kind/core/error.rb
-- lib/kind/core/maybe.rb
-- lib/kind/core/maybe/none.rb
-- lib/kind/core/maybe/result.rb
-- lib/kind/core/maybe/some.rb
-- lib/kind/core/maybe/typed.rb
-- lib/kind/core/maybe/wrappable.rb
-- lib/kind/core/presence.rb
-- lib/kind/core/try.rb
-- lib/kind/core/type_checker.rb
-- lib/kind/core/type_checkers.rb
-- lib/kind/core/type_checkers/custom/boolean.rb
-- lib/kind/core/type_checkers/custom/callable.rb
-- lib/kind/core/type_checkers/custom/lambda.rb
-- lib/kind/core/type_checkers/ruby/array.rb
-- lib/kind/core/type_checkers/ruby/class.rb
-- lib/kind/core/type_checkers/ruby/comparable.rb
-- lib/kind/core/type_checkers/ruby/enumerable.rb
-- lib/kind/core/type_checkers/ruby/enumerator.rb
-- lib/kind/core/type_checkers/ruby/file.rb
-- lib/kind/core/type_checkers/ruby/float.rb
-- lib/kind/core/type_checkers/ruby/hash.rb
-- lib/kind/core/type_checkers/ruby/integer.rb
-- lib/kind/core/type_checkers/ruby/io.rb
-- lib/kind/core/type_checkers/ruby/method.rb
-- lib/kind/core/type_checkers/ruby/module.rb
-- lib/kind/core/type_checkers/ruby/numeric.rb
-- lib/kind/core/type_checkers/ruby/proc.rb
-- lib/kind/core/type_checkers/ruby/queue.rb
-- lib/kind/core/type_checkers/ruby/range.rb
-- lib/kind/core/type_checkers/ruby/regexp.rb
-- lib/kind/core/type_checkers/ruby/string.rb
-- lib/kind/core/type_checkers/ruby/struct.rb
-- lib/kind/core/type_checkers/ruby/symbol.rb
-- lib/kind/core/type_checkers/ruby/time.rb
-- lib/kind/core/type_checkers/stdlib/open_struct.rb
-- lib/kind/core/type_checkers/stdlib/set.rb
-- lib/kind/core/undefined.rb
-- lib/kind/core/utils/kind.rb
-- lib/kind/core/utils/undefined.rb
+- lib/kind/basic.rb
+- lib/kind/basic/error.rb
+- lib/kind/basic/undefined.rb
+- lib/kind/dig.rb
+- lib/kind/either.rb
+- lib/kind/either/left.rb
+- lib/kind/either/methods.rb
+- lib/kind/either/monad.rb
+- lib/kind/either/monad/wrapper.rb
+- lib/kind/either/right.rb
+- lib/kind/empty.rb
+- lib/kind/empty/constant.rb
+- lib/kind/enum.rb
+- lib/kind/enum/item.rb
+- lib/kind/enum/methods.rb
+- lib/kind/function.rb
+- lib/kind/functional.rb
+- lib/kind/functional/action.rb
+- lib/kind/immutable_attributes.rb
+- lib/kind/immutable_attributes/initializer.rb
+- lib/kind/immutable_attributes/reader.rb
+- lib/kind/maybe.rb
+- lib/kind/maybe/methods.rb
+- lib/kind/maybe/monad.rb
+- lib/kind/maybe/monad/wrapper.rb
+- lib/kind/maybe/none.rb
+- lib/kind/maybe/some.rb
+- lib/kind/maybe/typed.rb
+- lib/kind/maybe/wrapper.rb
+- lib/kind/monad.rb
+- lib/kind/monads.rb
+- lib/kind/objects.rb
+- lib/kind/objects/basic_object.rb
+- lib/kind/objects/modules.rb
+- lib/kind/objects/modules/core/array.rb
+- lib/kind/objects/modules/core/class.rb
+- lib/kind/objects/modules/core/comparable.rb
+- lib/kind/objects/modules/core/enumerable.rb
+- lib/kind/objects/modules/core/enumerator.rb
+- lib/kind/objects/modules/core/file.rb
+- lib/kind/objects/modules/core/float.rb
+- lib/kind/objects/modules/core/hash.rb
+- lib/kind/objects/modules/core/integer.rb
+- lib/kind/objects/modules/core/io.rb
+- lib/kind/objects/modules/core/method.rb
+- lib/kind/objects/modules/core/module.rb
+- lib/kind/objects/modules/core/numeric.rb
+- lib/kind/objects/modules/core/proc.rb
+- lib/kind/objects/modules/core/queue.rb
+- lib/kind/objects/modules/core/range.rb
+- lib/kind/objects/modules/core/regexp.rb
+- lib/kind/objects/modules/core/string.rb
+- lib/kind/objects/modules/core/struct.rb
+- lib/kind/objects/modules/core/symbol.rb
+- lib/kind/objects/modules/core/time.rb
+- lib/kind/objects/modules/custom/boolean.rb
+- lib/kind/objects/modules/custom/callable.rb
+- lib/kind/objects/modules/custom/lambda.rb
+- lib/kind/objects/modules/stdlib/open_struct.rb
+- lib/kind/objects/modules/stdlib/set.rb
+- lib/kind/objects/nil.rb
+- lib/kind/objects/not_nil.rb
+- lib/kind/objects/object.rb
+- lib/kind/objects/respond_to.rb
+- lib/kind/objects/union_type.rb
+- lib/kind/presence.rb
+- lib/kind/result.rb
+- lib/kind/result/abstract.rb
+- lib/kind/result/failure.rb
+- lib/kind/result/methods.rb
+- lib/kind/result/monad.rb
+- lib/kind/result/monad/wrapper.rb
+- lib/kind/result/success.rb
+- lib/kind/try.rb
 - lib/kind/validator.rb
 - lib/kind/version.rb
 - test.sh
@@ -100,7 +134,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.1.4
+rubygems_version: 3.2.11
 signing_key: 
 specification_version: 4
 summary: A simple type system (at runtime) for Ruby.

data/lib/kind/core.rb

@@ -1,15 +0,0 @@
-# frozen_string_literal: true
-
-require 'kind/core/utils/kind'
-require 'kind/core/utils/undefined'
-
-require 'kind/core/error'
-require 'kind/core/empty'
-require 'kind/core/dig'
-require 'kind/core/try'
-require 'kind/core/presence'
-require 'kind/core/undefined'
-require 'kind/core/maybe'
-
-require 'kind/core/type_checker'
-require 'kind/core/type_checkers'

data/lib/kind/core/error.rb

@@ -1,15 +0,0 @@
-# frozen_string_literal: true
-
-module Kind
-  class Error < TypeError
-    def initialize(arg, object = UNDEFINED)
-      if UNDEFINED == object
-        # Will be used when the exception was raised with a message. e.g:
-        # raise Kind::Error, "some message"
-        super(arg)
-      else
-        super("#{object.inspect} expected to be a kind of #{arg}")
-      end
-    end
-  end
-end

data/lib/kind/core/maybe.rb

@@ -1,42 +0,0 @@
-# frozen_string_literal: true
-
-module Kind
-  module Maybe
-    require 'kind/core/maybe/result'
-    require 'kind/core/maybe/none'
-    require 'kind/core/maybe/some'
-    require 'kind/core/maybe/wrappable'
-    require 'kind/core/maybe/typed'
-
-    extend self
-
-    def new(value)
-      (KIND.null?(value) ? None : Some)
-        .new(value)
-    end
-
-    alias_method :[], :new
-
-    extend Wrappable
-  end
-
-  Optional = Maybe
-
-  None = Maybe.none
-
-  def self.None
-    None
-  end
-
-  def self.Some(value)
-    Maybe.some(value)
-  end
-
-  def self.Maybe(kind)
-    Maybe::Typed.new(kind)
-  end
-
-  def self.Optional(kind)
-    Maybe::Typed.new(kind)
-  end
-end

data/lib/kind/core/maybe/result.rb

@@ -1,51 +0,0 @@
-# frozen_string_literal: true
-
-module Kind
-  module Maybe
-    class Result
-      attr_reader :value
-
-      Value = ->(arg) { arg.kind_of?(Maybe::Result) ? arg.value : arg } # :nodoc:
-
-      def initialize(arg)
-        @value = Value.(arg)
-      end
-
-      def value_or(method_name = UNDEFINED, &block)
-        raise NotImplementedError
-      end
-
-      def none?
-        raise NotImplementedError
-      end
-
-      def some?; !none?; end
-
-      def map(&fn)
-        raise NotImplementedError
-      end
-
-      alias_method :map!, :map
-      alias_method :then, :map
-      alias_method :then!, :map
-
-      def check(&fn)
-        raise NotImplementedError
-      end
-
-      def try(method_name = UNDEFINED, &block)
-        raise NotImplementedError
-      end
-
-      alias_method :try!, :try
-
-      def dig(*keys)
-        raise NotImplementedError
-      end
-
-      def presence
-        raise NotImplementedError
-      end
-    end
-  end
-end

data/lib/kind/core/maybe/some.rb

@@ -1,90 +0,0 @@
-# frozen_string_literal: true
-
-module Kind
-  module Maybe
-    class Some < Result
-      def value_or(default = UNDEFINED, &block)
-        @value
-      end
-
-      def none?; false; end
-
-      def map(&fn)
-        map!(&fn)
-      rescue StandardError => exception
-        None.new(exception)
-      end
-
-      alias_method :then, :map
-
-      def check(&fn)
-        result = fn.call(@value)
-
-        !result || KIND.null?(result) ? NONE_WITH_NIL_VALUE : self
-      end
-
-      def map!(&fn)
-        result = fn.call(@value)
-
-        resolve(result)
-      end
-
-      alias_method :then!, :map!
-
-      def try!(method_name = UNDEFINED, *args, &block)
-        return __try_block__(block, args) if block
-
-        return __try_method__(method_name, args) if UNDEFINED != method_name
-
-        raise ArgumentError, 'method name or a block must be present'
-      end
-
-      def try(method_name = UNDEFINED, *args, &block)
-        return __try_block__(block, args) if block
-
-        return __try_method__(method_name, args) if value.respond_to?(method_name)
-
-        NONE_WITH_NIL_VALUE
-      end
-
-      def dig(*keys)
-        resolve(Dig.(value, keys))
-      end
-
-      def presence
-        resolve(Presence.(value))
-      end
-
-      private
-
-        def __try_method__(method_name, args)
-          __try_block__(KIND.of!(::Symbol, method_name).to_proc, args)
-        end
-
-        def __try_block__(block, args)
-          result = args.empty? ? block.call(value) : block.call(*args.unshift(value))
-
-          resolve(result)
-        end
-
-        def resolve(result)
-          return result if Maybe::None === result
-          return None.new(result) if Exception === result
-          return NONE_WITH_NIL_VALUE if result.nil?
-          return NONE_WITH_UNDEFINED_VALUE if Undefined == result
-
-          Some.new(result)
-        end
-    end
-
-    VALUE_CANT_BE_NONE = "value can't be nil or Kind::Undefined".freeze
-
-    def self.some(value)
-      return Maybe::Some.new(value) if !KIND.null?(value)
-
-      raise ArgumentError, VALUE_CANT_BE_NONE
-    end
-
-    private_constant :VALUE_CANT_BE_NONE
-  end
-end