kind 5.1.0 → 5.2.0

data/lib/kind/{core/maybe/wrappable.rb → maybe/wrapper.rb}

@@ -2,7 +2,7 @@
 
 module Kind
   module Maybe
-    module Wrappable
+    module Wrapper
       def wrap(arg = UNDEFINED)
         if block_given?
           begin
@@ -12,15 +12,19 @@ module Kind
 
             input.kind_of?(Maybe::None) ? input : new(yield(input))
           rescue StandardError => exception
-            Maybe.__none__(exception)
+            Maybe::None.new(exception)
           end
         else
           return new(arg) if UNDEFINED != arg
 
-          raise ArgumentError, 'wrong number of arguments (given 0, expected 1)'
+          Error.wrong_number_of_args!(given: 0, expected: 1)
         end
       end
 
+      def from(&block)
+        wrap(&block)
+      end
+
       private
 
         def __call_before_expose_the_arg_in_a_block(input)
@@ -28,6 +32,6 @@ module Kind
         end
     end
 
-    private_constant :Wrappable
+    private_constant :Wrapper
   end
 end

data/lib/kind/monad.rb

@@ -0,0 +1,22 @@
+# frozen_string_literal: true
+
+module Kind
+  module Monad
+    Error = ::Class.new(Kind::Error)
+
+    class Wrapper
+      def initialize(monad)
+        @monad = monad
+        @output = UNDEFINED
+      end
+
+      def output?
+        UNDEFINED != @output
+      end
+
+      def output
+        @output if output?
+      end
+    end
+  end
+end

data/lib/kind/monads.rb

@@ -0,0 +1,5 @@
+# frozen_string_literal: true
+
+require 'kind/maybe'
+require 'kind/either'
+require 'kind/result'

data/lib/kind/objects.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+require 'kind/try'
+require 'kind/maybe'
+
+require 'kind/objects/basic_object'
+require 'kind/objects/respond_to'
+require 'kind/objects/union_type'
+require 'kind/objects/nil'
+require 'kind/objects/not_nil'
+require 'kind/objects/object'
+require 'kind/objects/modules'
+
+module Kind
+  UnionType.send(:include, Maybe::Buildable)
+  RespondTo.send(:include, Maybe::Buildable)
+end

data/lib/kind/objects/basic_object.rb

@@ -0,0 +1,45 @@
+# frozen_string_literal: true
+
+module Kind
+  module BasicObject
+    def [](value, label: nil)
+      return value if self === value
+
+      KIND.error!(name, value, label)
+    end
+
+    def or_nil(value)
+      return value if self === value
+    end
+
+    def or_undefined(value)
+      or_nil(value) || Undefined
+    end
+
+    def or(fallback, value = UNDEFINED)
+      return __or_func.(fallback) if UNDEFINED === value
+
+      self === value ? value : fallback
+    end
+
+    def value?(value = UNDEFINED)
+      return self === value if UNDEFINED != value
+
+      @__is_value ||= ->(tc) { ->(arg) { tc === arg } }.(self)
+    end
+
+    def value(arg, default:)
+      KIND.value(self, arg, self[default])
+    end
+
+    def or_null(value) # :nodoc:
+      KIND.null?(value) ? value : self[value]
+    end
+
+    private
+
+      def __or_func
+        @__or_func ||= ->(tc, fb, value) { tc === value ? value : tc.or_null(fb) }.curry[self]
+      end
+  end
+end

data/lib/kind/objects/modules.rb

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

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

@@ -2,13 +2,15 @@
 
 module Kind
   module Array
-    extend self, TypeChecker
+    extend self, ::Kind::Object
 
     def kind; ::Array; end
 
     def value_or_empty(arg)
       KIND.value(self, arg, Empty::ARRAY)
     end
+
+    alias empty_or value_or_empty
   end
 
   def self.Array?(*values)

data/lib/kind/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/type_checkers/ruby → 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/{core/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/{core/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/{core/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/{core/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