smart_types 0.1.0 → 0.6.0

data/lib/smart_core/types/value/class.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Class) do |type|
   type.define_checker do |value|
     value.is_a?(::Class)

data/lib/smart_core/types/value/date.rb

@@ -2,8 +2,11 @@
 
 require 'date'
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Date) do |type|
   type.define_checker do |value|
     value.is_a?(::Date) || value == ::Date::Infinity

data/lib/smart_core/types/value/date_time.rb

@@ -2,8 +2,11 @@
 
 require 'date'
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:DateTime) do |type|
   type.define_checker do |value|
     value.is_a?(::DateTime) || value == ::DateTime::Infinity

data/lib/smart_core/types/value/enumerable.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 # @api public
-# @since 0.1.0
+# @since 0.x.0
 SmartCore::Types::Value.define_type(:Enumerable) do |type|
   type.define_checker do |value|
     # TODO: realize

data/lib/smart_core/types/value/enumerator.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:Enumerator) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

data/lib/smart_core/types/value/enumerator_chain.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:EnumeratorChain) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

data/lib/smart_core/types/value/float.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Float) do |type|
   type.define_checker do |value|
     value.is_a?(::Float)

data/lib/smart_core/types/value/hash.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Hash) do |type|
   type.define_checker do |value|
     value.is_a?(::Hash)

data/lib/smart_core/types/value/integer.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Integer) do |type|
   type.define_checker do |value|
     value.is_a?(::Integer)

data/lib/smart_core/types/value/io.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:IO) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

data/lib/smart_core/types/value/method.rb

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:Method) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+end

data/lib/smart_core/types/value/module.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Module) do |type|
   type.define_checker do |value|
     value.is_a?(::Module)

data/lib/smart_core/types/value/nil.rb

@@ -4,8 +4,6 @@
 # @since 0.1.0
 SmartCore::Types::Value.define_type(:Nil) do |type|
   type.define_checker do |value|
-    # rubocop:disable Style/NilComparison
     value == nil # NOTE: #nil? is not used cuz BasicObject hasn't #nil? method
-    # rubocop:enable Style/NilComparison
   end
 end

data/lib/smart_core/types/value/numeric.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Numeric) do |type|
   type.define_checker do |value|
     value.is_a?(::Numeric)

data/lib/smart_core/types/value/proc.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Proc) do |type|
   type.define_checker do |value|
     value.is_a?(::Proc)

data/lib/smart_core/types/value/range.rb

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:Range) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+end

data/lib/smart_core/types/value/rational.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:Rational) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

data/lib/smart_core/types/value/set.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require 'set'
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.3.0
+SmartCore::Types::Value.define_type(:Set) do |type|
+  type.define_checker do |value|
+    value.is_a?(::Set)
+  end
+
+  type.define_caster do |value|
+    begin
+      ::Set.new(SmartCore::Types::Value::Array.cast(value))
+    rescue ::ArgumentError, ::NoMethodError
+      raise(SmartCore::Types::TypeCastingError, 'Non-castable to Set')
+    end
+  end
+end

data/lib/smart_core/types/value/string.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:String) do |type|
   type.define_checker do |value|
     value.is_a?(::String)

data/lib/smart_core/types/value/string_io.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+require 'stringio'
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:StringIO) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

data/lib/smart_core/types/value/symbol.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Symbol) do |type|
   type.define_checker do |value|
     value.is_a?(::Symbol)

data/lib/smart_core/types/value/text.rb

@@ -2,10 +2,12 @@
 
 # @api public
 # @since 0.1.0
-SmartCore::Types::Value::Text = SmartCore::Types::System.type_sum(
-  SmartCore::Types::Value::String,
-  SmartCore::Types::Value::Symbol
-) do |type|
+# @version 0.3.0
+SmartCore::Types::Value.define_type(:Text) do |type|
+  type.define_checker do |value|
+    SmartCore::Types::Value::String.valid?(value) || SmartCore::Types::Value::Symbol.valid?(value)
+  end
+
   type.define_caster do |value|
     next value if SmartCore::Types::Value::String.valid?(value)
     next value if SmartCore::Types::Value::Symbol.valid?(value)

data/lib/smart_core/types/value/time.rb

@@ -2,8 +2,11 @@
 
 require 'time'
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Time) do |type|
   type.define_checker do |value|
     value.is_a?(::Time)

data/lib/smart_core/types/value/time_based.rb

@@ -2,11 +2,14 @@
 
 # @api public
 # @since 0.1.0
-SmartCore::Types::Value::TimeBased = SmartCore::Types::System.type_sum(
-  SmartCore::Types::Value::Time,
-  SmartCore::Types::Value::DateTime,
-  SmartCore::Types::Value::Date
-) do |type|
+# @version 0.3.0
+SmartCore::Types::Value.define_type(:TimeBased) do |type|
+  type.define_checker do |value|
+    SmartCore::Types::Value::Time.valid?(value) ||
+      SmartCore::Types::Value::DateTime.valid?(value) ||
+      SmartCore::Types::Value::Date.valid?(value)
+  end
+
   type.define_caster do |value|
     next value if SmartCore::Types::Value::Time.valid?(value)
     next value if SmartCore::Types::Value::DateTime.valid?(value)

data/lib/smart_core/types/value/unbound_method.rb

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

data/lib/smart_core/types/value.rb

@@ -5,6 +5,7 @@
 class SmartCore::Types::Value < SmartCore::Types::Primitive
   require_relative 'value/nil'
   require_relative 'value/string'
+  require_relative 'value/string_io'
   require_relative 'value/symbol'
   require_relative 'value/text'
   require_relative 'value/integer'
@@ -13,6 +14,7 @@ class SmartCore::Types::Value < SmartCore::Types::Primitive
   require_relative 'value/boolean'
   require_relative 'value/array'
   require_relative 'value/hash'
+  require_relative 'value/io'
   require_relative 'value/proc'
   require_relative 'value/class'
   require_relative 'value/module'
@@ -22,6 +24,13 @@ class SmartCore::Types::Value < SmartCore::Types::Primitive
   require_relative 'value/date_time'
   require_relative 'value/time_based'
   require_relative 'value/enumerable'
+  require_relative 'value/enumerator'
+  require_relative 'value/enumerator_chain'
   require_relative 'value/comparable'
   require_relative 'value/big_decimal'
+  require_relative 'value/range'
+  require_relative 'value/method'
+  require_relative 'value/unbound_method'
+  require_relative 'value/set'
+  require_relative 'value/rational'
 end

data/lib/smart_core/types/variadic/array_of.rb

@@ -0,0 +1,23 @@
+# frozen_string_literal: true
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.6.0
+SmartCore::Types::Variadic.define_type(:ArrayOf) do |type|
+  type.define_caster { |value| SmartCore::Types::Value::Array.cast(value) }
+
+  type.runtime_attributes_checker do |runtime_attrs|
+    runtime_attrs.any? && runtime_attrs.all? do |runtime_attr|
+      runtime_attr.is_a?(::Class)
+    end
+  end
+
+  type.define_checker do |value, expected_types|
+    next false unless SmartCore::Types::Value::Array.valid?(value)
+
+    value.all? do |elem|
+      expected_types.any? { |expected_type| elem.is_a?(expected_type) }
+    end
+  end
+end

data/lib/smart_core/types/variadic/enum.rb

@@ -0,0 +1,11 @@
+# frozen_string_literal: true
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.5.0
+SmartCore::Types::Variadic.define_type(:Enum) do |type|
+  type.runtime_attributes_checker(&:any?)
+
+  type.define_checker { |value, enum| enum.include?(value) }
+end

data/lib/smart_core/types/variadic/tuple.rb

@@ -0,0 +1,23 @@
+# frozen_string_literal: true
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.3.0
+SmartCore::Types::Variadic.define_type(:Tuple) do |type|
+  type.runtime_attributes_checker do |runtime_attrs|
+    runtime_attrs.any? && runtime_attrs.all? do |runtime_attr|
+      runtime_attr.is_a?(::Class)
+    end
+  end
+
+  type.define_checker do |value, tuple_signature|
+    next false unless SmartCore::Types::Value::Array.valid?(value)
+    next false if value.size != tuple_signature.size
+
+    value.each_with_index.all? do |tuple_val, tuple_val_index|
+      expected_tuple_type = tuple_signature.at(tuple_val_index)
+      tuple_val.is_a?(expected_tuple_type)
+    end
+  end
+end

data/lib/smart_core/types/variadic.rb

@@ -0,0 +1,10 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.3.0
+# @version 0.6.0
+class SmartCore::Types::Variadic < SmartCore::Types::Primitive
+  require_relative 'variadic/array_of'
+  require_relative 'variadic/enum'
+  require_relative 'variadic/tuple'
+end