kind 4.0.0 → 4.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 62e657cbbdd2af4aebab8cde9f010744a0321c7fceff24f3574a2f9ac4c2a9ad
-  data.tar.gz: c0f5690cef9d736b703ac2f1f75c23b30fccc309ad58c18972060074c8946d3b
+  metadata.gz: ffb9807682a295f94cb8e4076d32fc3217da97268e943e7d6b028b6de95ed765
+  data.tar.gz: 7b61164996c0d96853ad5a0cde9269ecd18bb489b483b46956a7fa2e9b9f2cd6
 SHA512:
-  metadata.gz: 15281701426737bbf5c5cd4fa669ecb7c245fb520c1feb79d344d271f6552388111f75245babeffd4eadb3cd98120a3041a4d65959c78f0983ad167ce7060104
-  data.tar.gz: 6bd17ee29bcbf1bda1273eebf7ef2999a74a0e55935622330b19a07efac4f0e448436eb26115042e828c1e7ed9e00c1435207ddbcb84bbd11dcb15a1371a2a3a
+  metadata.gz: 0f23b38b9f63d03638ded172c037b6ba9e048c397e9a31907850beca5151822c4983129e5726b777ccbdb30db18c8bcdfb9392c813c3e05546dfd33f97db9660
+  data.tar.gz: 3d7e663d65a591bff7bfeb152dd4e605948df7e95de15bb3632be0f52c747fd522041fc1be7678c8385cd9c0606a688abd203348e376ce264f3088d62ecb5f88

data/CHANGELOG.md

@@ -3,61 +3,63 @@
 This project follows [semver 2.0.0](http://semver.org/spec/v2.0.0.html) and the recommendations of [keepachangelog.com](http://keepachangelog.com/).
 
 - [Unreleased](#unreleased)
-- [4.0.0 (2021-02-22)](#400-2021-02-22)
+- [4.1.0 (2021-02-22)](#410-2021-02-22)
   - [Added](#added)
+- [4.0.0 (2021-02-22)](#400-2021-02-22)
+  - [Added](#added-1)
   - [Deprecated](#deprecated)
   - [Fixed](#fixed)
 - [3.1.0 (2020-07-08)](#310-2020-07-08)
-  - [Added](#added-1)
+  - [Added](#added-2)
 - [3.0.0 (2020-06-25)](#300-2020-06-25)
   - [Breaking Changes](#breaking-changes)
-  - [Added](#added-2)
-- [2.3.0 (2020-06-24)](#230-2020-06-24)
   - [Added](#added-3)
-- [2.2.0 (2020-06-23)](#220-2020-06-23)
+- [2.3.0 (2020-06-24)](#230-2020-06-24)
   - [Added](#added-4)
-- [2.1.0 (2020-05-12)](#210-2020-05-12)
+- [2.2.0 (2020-06-23)](#220-2020-06-23)
   - [Added](#added-5)
+- [2.1.0 (2020-05-12)](#210-2020-05-12)
+  - [Added](#added-6)
   - [Breaking Changes](#breaking-changes-1)
 - [2.0.0 (2020-05-07)](#200-2020-05-07)
-  - [Added](#added-6)
+  - [Added](#added-7)
   - [Breaking Changes](#breaking-changes-2)
   - [Removed](#removed)
 - [1.9.0 (2020-05-06)](#190-2020-05-06)
-  - [Added](#added-7)
-- [1.8.0 (2020-05-03)](#180-2020-05-03)
   - [Added](#added-8)
+- [1.8.0 (2020-05-03)](#180-2020-05-03)
+  - [Added](#added-9)
 - [1.7.0 (2020-05-03)](#170-2020-05-03)
   - [Fixed](#fixed-1)
 - [1.6.0 (2020-04-17)](#160-2020-04-17)
-  - [Added](#added-9)
+  - [Added](#added-10)
   - [Changes](#changes)
 - [1.5.0 (2020-04-12)](#150-2020-04-12)
-  - [Added](#added-10)
-- [1.4.0 (2020-04-12)](#140-2020-04-12)
   - [Added](#added-11)
-- [1.3.0 (2020-04-12)](#130-2020-04-12)
+- [1.4.0 (2020-04-12)](#140-2020-04-12)
   - [Added](#added-12)
-- [1.2.0 (2020-04-12)](#120-2020-04-12)
+- [1.3.0 (2020-04-12)](#130-2020-04-12)
   - [Added](#added-13)
-- [1.1.0 (2020-04-09)](#110-2020-04-09)
+- [1.2.0 (2020-04-12)](#120-2020-04-12)
   - [Added](#added-14)
+- [1.1.0 (2020-04-09)](#110-2020-04-09)
+  - [Added](#added-15)
   - [Fixed](#fixed-2)
 - [1.0.0 (2020-03-16)](#100-2020-03-16)
-  - [Added](#added-15)
-- [0.6.0 (2020-01-06)](#060-2020-01-06)
   - [Added](#added-16)
-- [0.5.0 (2020-01-04)](#050-2020-01-04)
+- [0.6.0 (2020-01-06)](#060-2020-01-06)
   - [Added](#added-17)
-- [0.4.0 (2020-01-03)](#040-2020-01-03)
+- [0.5.0 (2020-01-04)](#050-2020-01-04)
   - [Added](#added-18)
-- [0.3.0 (2020-01-03)](#030-2020-01-03)
+- [0.4.0 (2020-01-03)](#040-2020-01-03)
   - [Added](#added-19)
+- [0.3.0 (2020-01-03)](#030-2020-01-03)
+  - [Added](#added-20)
   - [Breaking Changes](#breaking-changes-3)
 - [0.2.0 (2020-01-02)](#020-2020-01-02)
-  - [Added](#added-20)
-- [0.1.0 (2019-12-26)](#010-2019-12-26)
   - [Added](#added-21)
+- [0.1.0 (2019-12-26)](#010-2019-12-26)
+  - [Added](#added-22)
 
 ## Unreleased
 
@@ -69,6 +71,41 @@ This project follows [semver 2.0.0](http://semver.org/spec/v2.0.0.html) and the
 ### Fixed
 -->
 
+4.1.0 (2021-02-22)
+------------------
+
+### Added
+
+* [#43](https://github.com/serradura/kind/pull/43) - Make `Kind::Maybe::Typed` verify the kind of the value via `===`, because of this, now is possible to use type checkers in typed Maybes.
+  ```ruby
+  Kind::Maybe(Kind::Boolean).wrap(nil).value_or(false)  # false
+
+  Kind::Maybe(Kind::Boolean).wrap(true).value_or(false) # true
+  ```
+
+* [#43](https://github.com/serradura/kind/pull/43) - Add `Kind::<Type>.maybe` and `Kind::<Type>.optional`. This method returns a typed Maybe with the expected kind when it is invoked without arguments. But, if it receives arguments, it will behave like the `Kind::Maybe.wrap` method. e.g.
+  ```ruby
+  Kind::Integer.maybe #<Kind::Maybe::Typed:0x0000... @kind=Kind::Integer>
+
+  Kind::Integer.maybe(0).some?               # true
+  Kind::Integer.maybe { 1 }.some?            # true
+  Kind::Integer.maybe(2) { |n| n * 2 }.some? # true
+
+  Kind::Integer.maybe { 2 / 0 }.none?          # true
+  Kind::Integer.maybe(2) { |n| n / 0 }.none?   # true
+  Kind::Integer.maybe('2') { |n| n * n }.none? # true
+  ```
+
+* [#43](https://github.com/serradura/kind/pull/43) - Make the `:respond_to` kind validation verify by one or multiple methods. e.g.
+  ```ruby
+  validates :params, kind: { respond_to: [:[], :values_at] }
+  ```
+
+* [#43](https://github.com/serradura/kind/pull/43) - Make the `:of` kind validation verify the expected value kind using `===`, because of this, now is possible to use type checkers as expected kinds. e.g.
+  ```ruby
+  validates :alive, kind: Kind::Boolean
+  ```
+
 4.0.0 (2021-02-22)
 ------------------
 

data/README.md

@@ -35,7 +35,7 @@ One of the goals of this project is to do simple type checking like `"some strin
 Version    | Documentation
 ---------- | -------------
 unreleased | https://github.com/serradura/u-case/blob/main/README.md
-4.0.0      | https://github.com/serradura/u-case/blob/v4.x/README.md
+4.1.0      | https://github.com/serradura/u-case/blob/v4.x/README.md
 3.1.0      | https://github.com/serradura/u-case/blob/v3.x/README.md
 2.3.0      | https://github.com/serradura/u-case/blob/v2.x/README.md
 1.9.0      | https://github.com/serradura/u-case/blob/v1.x/README.md
@@ -51,9 +51,10 @@ unreleased | https://github.com/serradura/u-case/blob/main/README.md
   - [Kind::\<Type\>.or_undefined()](#kindtypeor_undefined)
   - [Kind::\<Type\>.or()](#kindtypeor)
   - [Kind::\<Type\>.value()](#kindtypevalue-1)
+  - [Kind::\<Type\>.maybe](#kindtypemaybe)
   - [Kind::\<Type\>?](#kindtype-2)
   - [Kind::{Array,Hash,String,Set}.value_or_empty()](#kindarrayhashstringsetvalue_or_empty)
-  - [List of all type checkers (Kind::<Type>)](#list-of-all-type-checkers-kindtype)
+  - [List of all type checkers](#list-of-all-type-checkers)
     - [Core](#core)
     - [Stdlib](#stdlib)
     - [Custom](#custom)
@@ -92,11 +93,18 @@ unreleased | https://github.com/serradura/u-case/blob/main/README.md
   - [Kind::Maybe#try!](#kindmaybetry-1)
   - [Kind::Maybe#dig](#kindmaybedig)
   - [Kind::Maybe#check](#kindmaybecheck)
+  - [Kind::Maybe#presence](#kindmaybepresence)
 - [Kind::Empty](#kindempty)
 - [Kind::Validator (ActiveModel::Validations)](#kindvalidator-activemodelvalidations)
   - [Usage](#usage-1)
-    - [Defining the default validation strategy](#defining-the-default-validation-strategy)
-    - [Using the `allow_nil` and `strict` options](#using-the-allow_nil-and-strict-options)
+    - [Object#===](#object)
+    - [Kind.is](#kindis-1)
+    - [Object#instance_of?](#objectinstance_of)
+    - [Object#respond_to?](#objectrespond_to)
+    - [Array.new.all? { |item| item.kind_of?(Class) }](#arraynewall--item-itemkind_ofclass-)
+    - [Array.new.all? { |item| expected_values.include?(item) }](#arraynewall--item-expected_valuesincludeitem-)
+  - [Defining the default validation strategy](#defining-the-default-validation-strategy)
+  - [Using the `allow_nil` and `strict` options](#using-the-allow_nil-and-strict-options)
 - [Similar Projects](#similar-projects)
 - [Development](#development)
 - [Contributing](#contributing)
@@ -108,7 +116,7 @@ unreleased | https://github.com/serradura/u-case/blob/main/README.md
 | u-case         | branch  | ruby     |  activemodel   |
 | -------------- | ------- | -------- | -------------- |
 | unreleased     | main    | >= 2.2.0 | >= 3.2, <= 6.1 |
-| 4.0.0          | v4.x    | >= 2.2.0 | >= 3.2, <= 6.1 |
+| 4.1.0          | v4.x    | >= 2.2.0 | >= 3.2, <= 6.1 |
 | 3.1.0          | v3.x    | >= 2.2.0 | >= 3.2, <= 6.1 |
 | 2.3.0          | v2.x    | >= 2.2.0 | >= 3.2, <= 6.0 |
 | 1.9.0          | v1.x    | >= 2.2.0 | >= 3.2, <= 6.0 |
@@ -257,6 +265,39 @@ Kind::String.value('1', default: 1)  # Kind::Error (1 expected to be a kind of S
 
 [⬆️ &nbsp;Back to Top](#table-of-contents-)
 
+### Kind::\<Type\>.maybe
+
+This method exposes a [typed `Kind::Maybe`](#kindmaybetype) and using it will be possible to apply a sequence of operations in the case of the wrapped value has the expected kind.
+
+```ruby
+Double = ->(value) do
+  Kind::Numeric.maybe(value)
+               .then { |number| number * 2 }
+               .value_or(0)
+end
+
+Double.('2') # 0
+Double.(2)   # 4
+```
+
+If it is invoked without arguments, it returns the typed Maybe. But, if it receives arguments, it will behave like the `Kind::Maybe.wrap` method. e.g.
+
+```ruby
+Kind::Integer.maybe #<Kind::Maybe::Typed:0x0000... @kind=Kind::Integer>
+
+Kind::Integer.maybe(0).some?               # true
+Kind::Integer.maybe { 1 }.some?            # true
+Kind::Integer.maybe(2) { |n| n * 2 }.some? # true
+
+Kind::Integer.maybe { 2 / 0 }.none?          # true
+Kind::Integer.maybe(2) { |n| n / 0 }.none?   # true
+Kind::Integer.maybe('2') { |n| n * n }.none? # true
+```
+
+> **Note:** You can use `Kind::\<Type\>.optional` as an alias for `Kind::\<Type\>.maybe`.
+
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
 ### Kind::\<Type\>?
 
 There is a second way to do a type verification and know if one or multiple values has the expected type. You can use the predicate kind methods (`Kind::Hash?`). e.g:
@@ -289,7 +330,7 @@ Kind::Array.value_or_empty({}).frozen? # true
 
 [⬆️ &nbsp;Back to Top](#table-of-contents-)
 
-### List of all type checkers (Kind::<Type>)
+### List of all type checkers
 
 #### Core
 
@@ -396,6 +437,10 @@ kind_of_user.value(User.new, default: User.new) # #<User:0x0000...>
 kind_of_user.value('1', default: User.new)      # #<User:0x0000...>
 
 kind_of_user.value('1', default: 1)  # Kind::Error (1 expected to be a kind of User)
+
+# kind_of_user.maybe
+# This method returns a typed Kind::Maybe.
+kind_of_user.maybe('1').value_or(User.new) # #<User:0x0000...>
 ```
 
 [⬆️ &nbsp;Back to Top](#table-of-contents-)
@@ -463,6 +508,12 @@ PositiveInteger.value(2, default: 1)   # 2
 PositiveInteger.value('1', default: 1) # 1
 
 PositiveInteger.value('1', default: 0) # Kind::Error (0 expected to be a kind of PositiveInteger)
+
+# PositiveInteger.maybe
+# This method returns a typed Kind::Maybe.
+PositiveInteger.maybe(0).value_or(1) # 1
+
+PositiveInteger.maybe(2).value_or(1) # 2
 ```
 
 [⬆️ &nbsp;Back to Top](#table-of-contents-)
@@ -1099,7 +1150,7 @@ def person_name(params)
 
   return default if names.size != 2
 
-  first_name, last_name = default
+  first_name, last_name = names
 
   "#{first_name} #{last_name}"
 end
@@ -1126,7 +1177,7 @@ module PersonIntroduction1
     end
 
     def age(optional)
-      optional.map { |hash| hash[:age] }.value_or(0)
+      optional.dig(:age).value_or(0)
     end
 end
 
@@ -1336,6 +1387,18 @@ Kind::Maybe(Array)
 
 [⬆️ &nbsp;Back to Top](#table-of-contents-)
 
+### Kind::Maybe#presence
+
+This method will return None if the wrapped value wasn't present.
+
+```ruby
+result = Kind::Maybe(Hash).wrap(foo: '').dig(:foo).presence
+result.none? # true
+result.value # nil
+```
+
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
 ## Kind::Empty
 
 When you define a method that has default arguments, for certain data types, you will always create a new object in memory. e.g:
@@ -1407,20 +1470,31 @@ gem 'kind', require: 'kind/active_model/validation'
 require 'kind/active_model/validation'
 ```
 
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
 ### Usage
 
-**[Object#kind_of?](https://ruby-doc.org/core-2.6.4/Object.html#method-i-kind_of-3F)**
+#### [Object#===](https://ruby-doc.org/core-3.0.0/Object.html#method-i-3D-3D-3D)
 
 ```ruby
 validates :name, kind: { of: String }
+```
 
-# Use an array to verify if the attribute
-# is an instance of one of the classes/modules.
+Use an array to verify if the attribute is an instance of one of the classes/modules.
 
+```ruby
 validates :status, kind: { of: [String, Symbol]}
 ```
 
-**[Kind.is](#verifying-the-kind-of-some-classmodule)**
+Because of kind verification be made via `===` you can use type checkers as the expected kinds.
+
+```ruby
+validates :alive, kind: Kind::Boolean
+```
+
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
+#### [Kind.is](#verifying-the-kind-of-some-classmodule)
 
 ```ruby
 #
@@ -1456,7 +1530,9 @@ validates :human_kind, kind: { is: Human }
 validates :human_kind, kind: { is: [Person, User] }
 ```
 
-**[Object#instance_of?](https://ruby-doc.org/core-2.6.4/Object.html#method-i-instance_of-3F)**
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
+#### [Object#instance_of?](https://ruby-doc.org/core-3.0.0/Object.html#method-i-instance_of-3F)
 
 ```ruby
 validates :name, kind: { instance_of: String }
@@ -1467,13 +1543,23 @@ validates :name, kind: { instance_of: String }
 validates :name, kind: { instance_of: [String, Symbol] }
 ```
 
-**[Object#respond_to?](https://ruby-doc.org/core-2.6.4/Object.html#method-i-respond_to-3F)**
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
+#### [Object#respond_to?](https://ruby-doc.org/core-3.0.0/Object.html#method-i-respond_to-3F)
 
 ```ruby
 validates :handler, kind: { respond_to: :call }
 ```
 
-**Array.new.all? { |item| item.kind_of?(Class) }**
+This validation can verify one or multiple methods.
+
+```ruby
+validates :params, kind: { respond_to: [:[], :values_at] }
+```
+
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
+#### Array.new.all? { |item| item.kind_of?(Class) }
 
 ```ruby
 validates :account_types, kind: { array_of: String }
@@ -1484,7 +1570,9 @@ validates :account_types, kind: { array_of: String }
 validates :account_types, kind: { array_of: [String, Symbol] }
 ```
 
-**Array.new.all? { |item| expected_values.include?(item) }**
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
+#### Array.new.all? { |item| expected_values.include?(item) }
 
 ```ruby
 # Verifies if the attribute value
@@ -1493,7 +1581,9 @@ validates :account_types, kind: { array_of: [String, Symbol] }
 validates :account_types, kind: { array_with: ['foo', 'bar'] }
 ```
 
-#### Defining the default validation strategy
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
+### Defining the default validation strategy
 
 By default, you can define the attribute type directly (without a hash). e.g.
 
@@ -1515,7 +1605,9 @@ And these are the available options to define the default strategy:
 -  `kind_of` *(default)*
 -  `instance_of`
 
-#### Using the `allow_nil` and `strict` options
+[⬆️ &nbsp;Back to Top](#table-of-contents-)
+
+### Using the `allow_nil` and `strict` options
 
 You can use the `allow_nil` option with any of the kind validations. e.g.
 

data/lib/kind.rb

@@ -12,10 +12,10 @@ require 'kind/dig'
 require 'kind/try'
 require 'kind/presence'
 require 'kind/undefined'
-require 'kind/type_checker'
+require 'kind/maybe'
 
+require 'kind/type_checker'
 require 'kind/type_checkers'
-require 'kind/maybe'
 
 require 'kind/deprecations/checker'
 require 'kind/deprecations/of'
@@ -59,7 +59,7 @@ module Kind
 
     return is?(expected, object) if UNDEFINED != object
 
-    raise ArgumentError, 'wrong number of arguments (given 1, expected 2)'
+    WRONG_NUMBER_OF_ARGS.error!(given: 1, expected: 2)
   end
 
   def self.of(kind = UNDEFINED, object = UNDEFINED)

data/lib/kind/active_model/kind_validator.rb

@@ -35,9 +35,9 @@ class KindValidator < ActiveModel::EachValidator
     def kind_of(expected, value)
       types = Array(expected)
 
-      return if types.any? { |type| value.kind_of?(type) }
+      return if types.any? { |type| type === value }
 
-      "must be a kind of: #{types.map { |klass| klass.name }.join(', ')}"
+      "must be a kind of: #{types.map { |type| type.name }.join(', ')}"
     end
 
     CLASS_OR_MODULE = 'Class/Module'.freeze
@@ -45,7 +45,7 @@ class KindValidator < ActiveModel::EachValidator
     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) }.compact
+      result = expected.map { |kind| kind_is_not(kind, value) }.tap(&:compact!)
 
       result.empty? || result.size < expected.size ? nil : result.join(', ')
     end
@@ -66,10 +66,17 @@ class KindValidator < ActiveModel::EachValidator
       end
     end
 
-    def respond_to(method_name, value)
-      return if value.respond_to?(method_name)
+    def respond_to(expected, value)
+      method_names = Array(expected)
 
-      "must respond to the method `#{method_name}`"
+      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)

data/lib/kind/core.rb

@@ -2,6 +2,7 @@
 
 module Kind
   module Core
+    require 'kind/core/wrong_number_of_args'
     require 'kind/core/deprecation'
     require 'kind/core/kind'
     require 'kind/core/undefined'

data/lib/kind/core/kind.rb

@@ -27,7 +27,7 @@ module Kind
     end
 
     def self.of_module?(value) # :nodoc:
-      ::Module == value || (value.is_a?(::Module) && !of_class?(value))
+      ::Module == value || (value.kind_of?(::Module) && !of_class?(value))
     end
 
     def self.of_module_or_class!(value) # :nodoc:

data/lib/kind/core/wrong_number_of_args.rb

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+module Kind
+  module WRONG_NUMBER_OF_ARGS
+    def self.error!(given:, expected:)
+      raise ArgumentError, "wrong number of arguments (given #{given}, expected #{expected})"
+    end
+  end
+end

data/lib/kind/dig.rb

@@ -5,7 +5,7 @@ module Kind
     extend self
 
     def call(data, keys)
-      return unless keys.is_a?(::Array)
+      return unless keys.kind_of?(::Array)
 
       keys.reduce(data) do |memo, key|
         value = get(memo, key)

data/lib/kind/maybe/none.rb

@@ -23,7 +23,7 @@ module Kind
       alias_method :check, :map
 
       def try!(method_name = UNDEFINED, *args, &block)
-        Kind::Symbol[method_name] if UNDEFINED != method_name
+        KIND.of!(::Symbol, method_name)if UNDEFINED != method_name
 
         self
       end

data/lib/kind/maybe/result.rb

@@ -5,7 +5,7 @@ module Kind
     class Result
       attr_reader :value
 
-      Value = ->(arg) { arg.kind_of?(::Kind::Maybe::Result) ? arg.value : arg } # :nodoc:
+      Value = ->(arg) { arg.kind_of?(Maybe::Result) ? arg.value : arg } # :nodoc:
 
       def initialize(arg)
         @value = Value.(arg)

data/lib/kind/maybe/some.rb

@@ -58,7 +58,7 @@ module Kind
       private
 
         def __try_method__(method_name, args)
-          __try_block__(Kind::Symbol[method_name].to_proc, args)
+          __try_block__(KIND.of!(::Symbol, method_name).to_proc, args)
         end
 
         def __try_block__(block, args)

data/lib/kind/maybe/typed.rb

@@ -12,7 +12,7 @@ module Kind
       def new(arg)
         value = Result::Value.(arg)
 
-        value.kind_of?(@kind) ? Maybe.some(value) : Maybe.none
+        @kind === value ? Maybe.some(value) : Maybe.none
       end
 
       alias_method :[], :new
@@ -22,7 +22,7 @@ module Kind
         def __call_before_expose_the_arg_in_a_block(arg)
           value = Result::Value.(arg)
 
-          value.kind_of?(@kind) ? value : Maybe.none
+          @kind === value ? value : Maybe.none
         end
     end
   end

data/lib/kind/maybe/wrappable.rb

@@ -3,8 +3,6 @@
 module Kind
   module Maybe
     module Wrappable
-      WRONG_NUMBER_OF_ARGS = 'wrong number of arguments (given 0, expected 1)'.freeze
-
       def wrap(arg = UNDEFINED)
         if block_given?
           begin
@@ -12,14 +10,14 @@ module Kind
 
             input = __call_before_expose_the_arg_in_a_block(arg)
 
-            input.kind_of?(Kind::Maybe::None) ? input : new(yield(input))
+            input.kind_of?(Maybe::None) ? input : new(yield(input))
           rescue StandardError => exception
             Maybe.__none__(exception)
           end
         else
           return new(arg) if UNDEFINED != arg
 
-          raise ArgumentError, WRONG_NUMBER_OF_ARGS
+          WRONG_NUMBER_OF_ARGS.error!(given: 0, expected: 1)
         end
       end
 

data/lib/kind/try.rb

@@ -11,8 +11,6 @@ module Kind
     end
 
     def self.[](*args)
-      Array[args]
-
       method_name = args.shift
 
       ->(object) { call!(object, method_name, args) }

data/lib/kind/type_checker.rb

@@ -44,8 +44,22 @@ module Kind
       KIND.null?(value) ? value : self[value]
     end
 
+    def maybe(value = UNDEFINED, &block)
+      return __maybe[value] if UNDEFINED != value && !block
+      return __maybe.wrap(&block) if UNDEFINED == value && block
+      return __maybe.wrap(value, &block) if UNDEFINED != value && block
+
+      __maybe
+    end
+
+    alias optional maybe
+
     private
 
+      def __maybe
+        @__maybe ||= Maybe::Typed.new(self)
+      end
+
       def __or_func
         @__or_func ||= ->(tc, fb, value) { tc === value ? value : tc.or_null(fb) }.curry[self]
       end

data/lib/kind/version.rb

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

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kind
 version: !ruby/object:Gem::Version
-  version: 4.0.0
+  version: 4.1.0
 platform: ruby
 authors:
 - Rodrigo Serradura
@@ -37,6 +37,7 @@ files:
 - lib/kind/core/deprecation.rb
 - lib/kind/core/kind.rb
 - lib/kind/core/undefined.rb
+- lib/kind/core/wrong_number_of_args.rb
 - lib/kind/deprecations/built_in_type_checkers.rb
 - lib/kind/deprecations/checker.rb
 - lib/kind/deprecations/checker/factory.rb