kind 4.0.0 → 5.3.0

data/lib/kind/result/monad/wrapper.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Kind
+  require 'kind/monad'
+
+  class Result::Monad::Wrapper < Kind::Monad::Wrapper
+    def failure(types = Undefined, matcher = Undefined)
+      return if @monad.success? || output?
+
+      @output = yield(@monad.value) if @monad.result?(types, matcher)
+    end
+
+    def success(types = Undefined, matcher = Undefined)
+      return if @monad.failure? || output?
+
+      @output = yield(@monad.value) if @monad.result?(types, matcher)
+    end
+  end
+end

data/lib/kind/result/success.rb

@@ -0,0 +1,53 @@
+# frozen_string_literal: true
+
+module Kind
+  class Result::Success < Result::Monad
+    DEFAULT_TYPE = :ok
+
+    def success?
+      true
+    end
+
+    def value_or(_default = UNDEFINED, &block)
+      @value
+    end
+
+    def map(callable = UNDEFINED, &fn)
+      _resolve_map(callable, fn)
+    rescue Kind::Monad::Error => e
+      raise e
+    rescue StandardError => e
+      Result::Failure[:exception, e]
+    end
+
+    alias_method :then, :map
+    alias_method :and_then, :map
+
+    def map!(callable = UNDEFINED, &fn)
+      _resolve_map(callable, fn)
+    end
+
+    alias_method :|, :map!
+    alias_method :>>, :map!
+    alias_method :then!, :map!
+    alias_method :and_then!, :map!
+
+    def inspect
+      '#<%s type=%p value=%p>' % ['Kind::Success', type, value]
+    end
+
+    private
+
+      def _resolve_map(callable, fn)
+        callable.respond_to?(:call) ? _map(callable) : _map(fn)
+      end
+
+      def _map(fn)
+        monad = fn.call(@value)
+
+        return monad if Result::Monad === monad
+
+        raise Kind::Monad::Error.new('Kind::Success | Kind::Failure', monad)
+      end
+  end
+end

data/lib/kind/strict/disabled.rb

@@ -0,0 +1,34 @@
+# frozen_string_literal: true
+
+module Kind
+  module STRICT
+    [
+      :object_is_a, :class!, :kind_of,
+      :module_or_class, :module!, :not_nil
+    ].each { |method_name| remove_method(method_name) }
+
+    def object_is_a(_kind, value, _label = nil) # :nodoc:
+      value
+    end
+
+    def class!(value) # :nodoc:
+      value
+    end
+
+    def kind_of(_kind, value, _kind_name = nil) # :nodoc:
+      value
+    end
+
+    def module_or_class(value) # :nodoc:
+      value
+    end
+
+    def module!(value) # :nodoc:
+      value
+    end
+
+    def not_nil(value, label) # :nodoc:
+      value
+    end
+  end
+end

data/lib/kind/try.rb

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

data/lib/kind/validator.rb

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require 'kind/basic'
+
 module Kind
   module Validator
     DEFAULT_STRATEGIES = ::Set.new(%w[instance_of kind_of]).freeze
@@ -38,3 +40,112 @@ module Kind
     end
   end
 end
+
+require 'active_model'
+require 'active_model/validations'
+
+class KindValidator < ActiveModel::EachValidator
+  def validate_each(record, attribute, value)
+    return if options[:allow_nil] && value.nil?
+
+    return unless error = call_validation_for(attribute, value)
+
+    raise Kind::Error.new("#{attribute} #{error}") if options[:strict]
+
+    record.errors.add(attribute, error)
+  end
+
+  private
+
+    def call_validation_for(attribute, value)
+      expected = options[:with] || options[:in]
+
+      return validate_with_default_strategy(expected, value) if expected
+
+      return kind_of(expected, value) if expected = options[:of]
+      return kind_is(expected, value) if expected = options[:is]
+      return respond_to(expected, value) if expected = options[:respond_to]
+      return instance_of(expected, value) if expected = options[:instance_of]
+      return array_with(expected, value) if expected = options[:array_with]
+      return array_of(expected, value) if expected = options[:array_of]
+
+      raise Kind::Validator::InvalidDefinition.new(attribute)
+    end
+
+    def validate_with_default_strategy(expected, value)
+      send(Kind::Validator.default_strategy, expected, value)
+    end
+
+    def kind_of(expected, value)
+      if ::Array === expected
+        return if expected.any? { |type| type === value }
+
+        "must be a kind of #{expected.map { |type| type.name }.join(', ')}"
+      else
+        return if expected === value
+
+        expected.respond_to?(:name) ? "must be a kind of #{expected.name}" : 'invalid kind'
+      end
+    end
+
+    CLASS_OR_MODULE = 'Class/Module'.freeze
+
+    def kind_is(expected, value)
+      return kind_is_not(expected, value) unless expected.kind_of?(::Array)
+
+      result = expected.map { |kind| kind_is_not(kind, value) }.tap(&:compact!)
+
+      result.empty? || result.size < expected.size ? nil : result.join(', ')
+    end
+
+    def kind_is_not(expected, value)
+      case expected
+      when ::Class
+        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 expected == Kind.of_module_or_class(value) || value.kind_of?(expected)
+
+        "must include the `#{expected.name}` module"
+      else
+        raise Kind::Error.new(CLASS_OR_MODULE, expected)
+      end
+    end
+
+    def respond_to(expected, value)
+      method_names = Array(expected)
+
+      expected_methods = method_names.select { |method_name| !value.respond_to?(method_name) }
+      expected_methods.map! { |method_name| "`#{method_name}`" }
+
+      return if expected_methods.empty?
+
+      methods = expected_methods.size == 1 ? 'method' : 'methods'
+
+      "must respond to the #{methods}: #{expected_methods.join(', ')}"
+    end
+
+    def instance_of(expected, value)
+      types = Array(expected)
+
+      return if types.any? { |type| value.instance_of?(type) }
+
+      "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.of!(::Array, expected)).empty?
+
+      "must be an array with #{expected.join(', ')}"
+    end
+
+    def array_of(expected, value)
+      types = Array(expected)
+
+      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(', ')}"
+    end
+end

data/lib/kind/version.rb

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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: kind
 version: !ruby/object:Gem::Version
-  version: 4.0.0
+  version: 5.3.0
 platform: ruby
 authors:
 - Rodrigo Serradura
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-02-22 00:00:00.000000000 Z
+date: 2021-03-23 00:00:00.000000000 Z
 dependencies: []
 description: A simple type system (at runtime) for Ruby - free of dependencies.
 email:
@@ -31,59 +31,89 @@ files:
 - bin/setup
 - kind.gemspec
 - lib/kind.rb
-- lib/kind/active_model/kind_validator.rb
+- lib/kind/__lib__/action_steps.rb
+- lib/kind/__lib__/attributes.rb
+- lib/kind/__lib__/kind.rb
+- lib/kind/__lib__/of.rb
+- lib/kind/__lib__/strict.rb
+- lib/kind/__lib__/undefined.rb
+- lib/kind/action.rb
 - lib/kind/active_model/validation.rb
-- lib/kind/core.rb
-- lib/kind/core/deprecation.rb
-- lib/kind/core/kind.rb
-- lib/kind/core/undefined.rb
-- lib/kind/deprecations/built_in_type_checkers.rb
-- lib/kind/deprecations/checker.rb
-- lib/kind/deprecations/checker/factory.rb
-- lib/kind/deprecations/checker/protocol.rb
-- lib/kind/deprecations/is.rb
-- lib/kind/deprecations/of.rb
-- lib/kind/deprecations/types.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/error.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/result.rb
 - lib/kind/maybe/some.rb
 - lib/kind/maybe/typed.rb
-- lib/kind/maybe/wrappable.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/strict/disabled.rb
 - lib/kind/try.rb
-- lib/kind/type_checker.rb
-- lib/kind/type_checkers.rb
-- lib/kind/type_checkers/core/array.rb
-- lib/kind/type_checkers/core/class.rb
-- lib/kind/type_checkers/core/comparable.rb
-- lib/kind/type_checkers/core/enumerable.rb
-- lib/kind/type_checkers/core/enumerator.rb
-- lib/kind/type_checkers/core/file.rb
-- lib/kind/type_checkers/core/float.rb
-- lib/kind/type_checkers/core/hash.rb
-- lib/kind/type_checkers/core/integer.rb
-- lib/kind/type_checkers/core/io.rb
-- lib/kind/type_checkers/core/method.rb
-- lib/kind/type_checkers/core/module.rb
-- lib/kind/type_checkers/core/numeric.rb
-- lib/kind/type_checkers/core/proc.rb
-- lib/kind/type_checkers/core/queue.rb
-- lib/kind/type_checkers/core/range.rb
-- lib/kind/type_checkers/core/regexp.rb
-- lib/kind/type_checkers/core/string.rb
-- lib/kind/type_checkers/core/struct.rb
-- lib/kind/type_checkers/core/symbol.rb
-- lib/kind/type_checkers/core/time.rb
-- lib/kind/type_checkers/custom/boolean.rb
-- lib/kind/type_checkers/custom/callable.rb
-- lib/kind/type_checkers/custom/lambda.rb
-- lib/kind/type_checkers/stdlib/open_struct.rb
-- lib/kind/type_checkers/stdlib/set.rb
-- lib/kind/undefined.rb
 - lib/kind/validator.rb
 - lib/kind/version.rb
 - test.sh
@@ -101,14 +131,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.2.0
+      version: 2.1.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !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.