Merge pull request #19 from smart-rb/feature/types-value-unboundmethod

[types/value/unbound_method]  SmartCore::Types::Value::UnboundMethod

CHANGELOG.md

@@ -1,6 +1,10 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
+# [Unreleased]
+- New types of `SmartCore::Types::Value` category:
+  - `SmartComre::Types::Value::UnboundMethod`;
+
 # [0.8.0] - 2022-11-25
 ### Added
 - New types of `SmartCore::Types::Value` category:

lib/smart_core/types/value/unbound_method.rb

@@ -1,9 +1,11 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
-# @since 0.x.0
+# @since 0.9.0
 SmartCore::Types::Value.define_type(:UnboundMethod) do |type|
   type.define_checker do |value|
-    # TODO: realize
+    value.is_a?(::UnboundMethod)
   end
 end

spec/types/value/unbound_method_spec.rb

@@ -1,4 +1,127 @@
 # frozen_string_literal: true
 
-RSpec.describe 'SmartCore::Types::Value::UnboundMehtod' do
+RSpec.describe 'SmartCore::Types::Value::UnboundMethod' do
+  shared_examples 'type-casting' do
+    specify 'type-casting' do
+      expect { type.cast(nil) }.to raise_error(SmartCore::Types::TypeCastingUnsupportedError)
+      expect { type.cast(Class) }.to raise_error(SmartCore::Types::TypeCastingUnsupportedError)
+      expect { type.cast(Module) }.to raise_error(SmartCore::Types::TypeCastingUnsupportedError)
+    end
+  end
+
+  shared_examples 'type-checking / type-validation (non-nilable)' do
+    specify 'type-checking' do
+      unbound_method_object = Object.new.method(:nil?).unbind
+      method_object = Object.new.method(:nil?)
+
+      expect(type.valid?(unbound_method_object)).to eq(true)
+      expect(type.valid?(method_object)).to eq(false)
+      expect(type.valid?(nil)).to eq(false)
+
+      expect(type.valid?(-> {})).to eq(false)
+      expect(type.valid?(proc {})).to eq(false)
+
+      expect(type.valid?(Object.new)).to eq(false)
+      expect(type.valid?(BasicObject.new)).to eq(false)
+      expect(type.valid?(123)).to eq(false)
+      expect(type.valid?(123.456)).to eq(false)
+      expect(type.valid?('test')).to eq(false)
+      expect(type.valid?(:test)).to eq(false)
+      expect(type.valid?({})).to eq(false)
+      expect(type.valid?([])).to eq(false)
+    end
+
+    specify 'type-valdation' do
+      unbound_method_object = Object.new.method(:nil?).unbind
+      method_object = Object.new.method(:nil?)
+
+      expect { type.validate!(unbound_method_object) }.not_to raise_error
+      expect { type.validate!(method_object) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(nil) }.to raise_error(SmartCore::Types::TypeError)
+
+      expect { type.validate!(-> {}) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(proc {}) }.to raise_error(SmartCore::Types::TypeError)
+
+      expect { type.validate!(Object.new) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(BasicObject.new) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(123) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(123.456) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!('test') }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(:test) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!({}) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!([]) }.to raise_error(SmartCore::Types::TypeError)
+    end
+  end
+
+  shared_examples 'type-checking / type-validation (nilable)' do
+    specify 'type-checking' do
+      unbound_method_object = Object.new.method(:nil?).unbind
+      method_object = Object.new.method(:nil?)
+
+      expect(type.valid?(unbound_method_object)).to eq(true)
+      expect(type.valid?(method_object)).to eq(false)
+      expect(type.valid?(nil)).to eq(true)
+
+      expect(type.valid?(-> {})).to eq(false)
+      expect(type.valid?(proc {})).to eq(false)
+
+      expect(type.valid?(Object.new)).to eq(false)
+      expect(type.valid?(BasicObject.new)).to eq(false)
+      expect(type.valid?(123)).to eq(false)
+      expect(type.valid?(123.456)).to eq(false)
+      expect(type.valid?('test')).to eq(false)
+      expect(type.valid?(:test)).to eq(false)
+      expect(type.valid?({})).to eq(false)
+      expect(type.valid?([])).to eq(false)
+    end
+
+    specify 'type-valdation' do
+      unbound_method_object = Object.new.method(:nil?).unbind
+      method_object = Object.new.method(:nil?)
+
+      expect { type.validate!(unbound_method_object) }.not_to raise_error
+      expect { type.validate!(method_object) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(nil) }.not_to raise_error
+
+      expect { type.validate!(-> {}) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(proc {}) }.to raise_error(SmartCore::Types::TypeError)
+
+      expect { type.validate!(Object.new) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(BasicObject.new) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(123) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(123.456) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!('test') }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!(:test) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!({}) }.to raise_error(SmartCore::Types::TypeError)
+      expect { type.validate!([]) }.to raise_error(SmartCore::Types::TypeError)
+    end
+  end
+
+  context 'non-nilable type' do
+    let(:type) { SmartCore::Types::Value::UnboundMethod }
+
+    it_behaves_like 'type-casting'
+    it_behaves_like 'type-checking / type-validation (non-nilable)'
+  end
+
+  context 'runtime-based non-nilable type' do
+    let(:type) { SmartCore::Types::Value::UnboundMethod() }
+
+    it_behaves_like 'type-casting'
+    it_behaves_like 'type-checking / type-validation (non-nilable)'
+  end
+
+  context 'nilable type' do
+    let(:type) { SmartCore::Types::Value::UnboundMethod.nilable }
+
+    it_behaves_like 'type-casting'
+    it_behaves_like 'type-checking / type-validation (nilable)'
+  end
+
+  context 'runtime-based nilable type' do
+    let(:type) { SmartCore::Types::Value::UnboundMethod().nilable }
+
+    it_behaves_like 'type-casting'
+    it_behaves_like 'type-checking / type-validation (nilable)'
+  end
 end