core-type 0.0.0 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 155ab0fe505d9c79983751a3be7825bac7a5c75babba16c83cdc9270b4273497
-  data.tar.gz: b8b265bd9d14335c12bb8a9b61450f37f117d9a2103e22c9bb3544ae1a924143
+  metadata.gz: e2d4b0a2f6620472c792c83050b13047d7f0465d2047bde18e0b0fb993d94e87
+  data.tar.gz: b030e6e63037cc970d000dc4a6541d33d1911b2b81241efd6d1f84a8bb3a940b
 SHA512:
-  metadata.gz: 42dc10420b09d0d0380e73b995c19f2c4137d985fb840942a2c630dbd5a8f1dc058ac8665734e9c501cd9a98dc4a160bf30be757cf71fc45a77bb9b32ff2bf9e
-  data.tar.gz: a5e416dde51ed16efb6ffff62b70d3a1b0d657b500d3179b2a16ee169a2edb3ffd1abf6ed0bd595693ab66d18dd002b911615e3d13f21a34f790ef26ba7205ce
+  metadata.gz: '09766d4ae818d2ae4b3dd8e3a24f2568d63e9d0f810b5ae9682ef34960c0304d1b34dd14fc74949b6e1dceaf4f326ab0f41a73ce9535fd461a3deed787ebd942'
+  data.tar.gz: 7aa279892755c016f2f5c610f7ca1867bb9ede1b4c7445ed7878886ccab3806afbc47ec8b50925c9afe0a22df9664e336e19cdd577f3f0e4180da2092b5bac68

data/CHANGELOG.md

@@ -1,3 +1,9 @@
+## [v0.1.0](https://github.com/bryanp/corerb/releases/tag/2023-12-24)
+
+*released on 2023-12-24*
+
+  * `dep` [#143](https://github.com/bryanp/corerb/pull/143) Deprecate `Is::*` and `Refine::*` namespaces ([bryanp](https://github.com/bryanp))
+
 ## [v0.0.0](https://github.com/bryanp/corerb/releases/tag/2023-12-19)
 
 *released on 2023-12-19*

data/lib/core/type/coercions/array.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Coercions
       # [public] Coercible array type.
       #
       class Array
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           value.to_ary

data/lib/core/type/coercions/decimal.rb

@@ -1,7 +1,5 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 require "bigdecimal"
 require "bigdecimal/util"
 
@@ -11,7 +9,7 @@ module Core
       # [public] Coercible decimal type.
       #
       class Decimal
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           value.to_d

data/lib/core/type/coercions/float.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Coercions
       # [public] Coercible float type.
       #
       class Float
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           Kernel.Float(value)

data/lib/core/type/coercions/hash.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Coercions
       # [public] Coercible hash type.
       #
       class Hash
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           value.to_hash

data/lib/core/type/coercions/integer.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Coercions
       # [public] Coercible integer type.
       #
       class Integer
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           value.to_int

data/lib/core/type/coercions/string.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Coercions
       # [public] Coercible string type.
       #
       class String
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           value.to_str

data/lib/core/type/coercions/symbol.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Coercions
       # [public] Coercible symbol type.
       #
       class Symbol
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           value.to_sym

data/lib/core/type/conversions/array.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Conversions
       # [public] Convertible array type.
       #
       class Array
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           Kernel.Array(value)

data/lib/core/type/conversions/decimal.rb

@@ -1,7 +1,5 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 require "bigdecimal"
 require "bigdecimal/util"
 
@@ -11,7 +9,7 @@ module Core
       # [public] Convertible decimal type.
       #
       class Decimal
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           value.to_d

data/lib/core/type/conversions/float.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Conversions
       # [public] Convertible float type.
       #
       class Float
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           case value

data/lib/core/type/conversions/hash.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Conversions
       # [public] Convertible hash type.
       #
       class Hash
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           if value.respond_to?(:to_hash)

data/lib/core/type/conversions/integer.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Conversions
       # [public] Convertible integer type.
       #
       class Integer
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           case value

data/lib/core/type/conversions/string.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Conversions
       # [public] Convertible string type.
       #
       class String
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           Kernel.String(value)

data/lib/core/type/conversions/symbol.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Conversions
       # [public] Convertible symbol type.
       #
       class Symbol
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           Kernel.String(value).to_sym

data/lib/core/type/inputs/array.rb

@@ -1,6 +1,5 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
 require_relative "../conversions/array"
 
 module Core
@@ -9,7 +8,7 @@ module Core
       # [public]
       #
       class Array
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           return [] if value == ""

data/lib/core/type/inputs/boolean.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Inputs
       # [public]
       #
       class Boolean
-        include Is::Typed
+        include Core::Type
 
         FALSE_VALUES = [
           0,

data/lib/core/type/inputs/date.rb

@@ -2,15 +2,13 @@
 
 require "date"
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Inputs
       # [public]
       #
       class Date
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           ::Date.parse(value)

data/lib/core/type/inputs/date_time.rb

@@ -2,15 +2,13 @@
 
 require "date"
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Inputs
       # [public]
       #
       class DateTime
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           ::DateTime.parse(value)

data/lib/core/type/inputs/hash.rb

@@ -1,6 +1,5 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
 require_relative "../conversions/hash"
 
 module Core
@@ -9,7 +8,7 @@ module Core
       # [public]
       #
       class Hash
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           return {} if value == ""

data/lib/core/type/inputs/time.rb

@@ -2,15 +2,13 @@
 
 require "date"
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Inputs
       # [public]
       #
       class Time
-        include Is::Typed
+        include Core::Type
 
         def self.build(value)
           ::DateTime.parse(value).to_time

data/lib/core/type/types/array.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict array type.
       #
       class Array
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/boolean.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict boolean type.
       #
       class Boolean
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/class.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict class type.
       #
       class Class
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/date.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict date type.
       #
       class Date
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/date_time.rb

@@ -1,7 +1,5 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 require "date"
 
 module Core
@@ -10,7 +8,7 @@ module Core
       # [public] Strict datetime type.
       #
       class DateTime
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/decimal.rb

@@ -1,7 +1,5 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 require "bigdecimal"
 
 module Core
@@ -10,7 +8,7 @@ module Core
       # [public] Strict decimal type.
       #
       class Decimal
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/false.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict false type.
       #
       class False
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/float.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict float type.
       #
       class Float
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/hash.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict hash type.
       #
       class Hash
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/integer.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict integer type.
       #
       class Integer
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/nil.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict nil type.
       #
       class Nil
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/object.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict object type.
       #
       class Object
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/string.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict string type.
       #
       class String
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/symbol.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict symbol type.
       #
       class Symbol
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/time.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict time type.
       #
       class Time
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/types/true.rb

@@ -1,14 +1,12 @@
 # frozen_string_literal: true
 
-require_relative "../../../is/typed"
-
 module Core
   module Type
     module Types
       # [public] Strict true type.
       #
       class True
-        include Is::Typed
+        include Core::Type
 
         # [public]
         #

data/lib/core/type/validator.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require "is/pipeline"
+require "core/pipeline"
 
 require_relative "check_failed"
 
@@ -9,7 +9,7 @@ module Core
     # [public]
     #
     class Validator
-      include Is::Pipeline
+      include Core::Pipeline
 
       def initialize(type)
         @type = type

data/lib/core/type/version.rb

@@ -2,7 +2,7 @@
 
 module Core
   module Type
-    VERSION = "0.0.0"
+    VERSION = "0.1.0"
 
     # [public]
     #

data/lib/core/type.rb

@@ -1,19 +1,123 @@
 # frozen_string_literal: true
 
+require "core/extension"
+require "core/global"
+require "core/state"
+
 module Core
+  # [public]
+  #
   module Type
     require_relative "type/check_failed"
-    require_relative "type/coercions"
     require_relative "type/composed"
+    require_relative "type/validator"
+    require_relative "type/version"
+
+    extend Core::Extension
+
+    extends :definition do
+      # [public]
+      #
+      def check(description = nil, &block)
+        validator.check(description, &block)
+      end
+
+      # [public]
+      #
+      def normalize(value)
+        value
+      end
+    end
+
+    extends :definition, prepend: true do
+      # [public]
+      #
+      def build(value = nil)
+        global.build(value)
+      end
+
+      # [public]
+      #
+      def |(other)
+        Core::Type::Composed.new(self) | other
+      end
+    end
+
+    extends :implementation do
+      # [public]
+      #
+      attr_reader :builder
+
+      # [public]
+      #
+      def build(value = nil)
+        finalize.build(value)
+      end
+
+      # [public]
+      #
+      def try(value = nil)
+        finalize.try(value)
+      end
+
+      # [public]
+      #
+      def valid?(value = nil)
+        finalize.valid?(value)
+      end
+
+      # [public]
+      #
+      def finalize
+        super if defined?(super)
+
+        @builder = self.class.method(:build).super_method
+        @normalizer = self.class.method(:normalize)
+
+        singleton_class.class_eval(<<~CODE, __FILE__, __LINE__ + 1)
+          def build(value = nil)
+            value = @normalizer.call(value)
+            @validator.call(value)
+            @builder.call(value)
+          rescue ArgumentError, TypeError => error
+            raise Core::Type::Error, error.message
+          end
+
+          def try(value = nil)
+            value = @normalizer.call(value)
+            if @validator.call(value, true)
+              @builder.call(value)
+            end
+          end
+
+          def valid?(value = nil)
+            value = @normalizer.call(value)
+            @validator.call(value, true)
+          end
+        CODE
+
+        self
+      end
+    end
+
+    extends dependencies: [
+      Core::Global,
+      Core::State
+    ]
+
+    applies do
+      # [public]
+      #
+      state :validator, default: Core::Type::Validator.new(self)
+    end
+
+    require_relative "type/coercions"
     require_relative "type/conversions"
     require_relative "type/inputs"
     require_relative "type/types"
-    require_relative "type/version"
 
     # Allow default strict types to be accessed through the top-level `Core::Type` namespace.
     #
     include Types
   end
 end
-
-require_relative "../is/typed"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: core-type
 version: !ruby/object:Gem::Version
-  version: 0.0.0
+  version: 0.1.0
 platform: ruby
 authors:
 - Bryan Powell
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-12-20 00:00:00.000000000 Z
+date: 2023-12-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: core-extension
@@ -16,56 +16,56 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.4'
+        version: '0.5'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.4'
+        version: '0.5'
 - !ruby/object:Gem::Dependency
   name: core-global
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.3'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.3'
 - !ruby/object:Gem::Dependency
   name: core-pipeline
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '0.6'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '0.6'
 - !ruby/object:Gem::Dependency
   name: core-state
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.2'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.2'
 description: Types for Ruby programs.
 email: bryan@bryanp.org
 executables: []
@@ -126,7 +126,6 @@ files:
 - lib/core/type/types/true.rb
 - lib/core/type/validator.rb
 - lib/core/type/version.rb
-- lib/is/typed.rb
 homepage: https://github.com/bryanp/corerb/
 licenses:
 - MPL-2.0
@@ -146,7 +145,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.4.22
+rubygems_version: 3.5.1
 signing_key:
 specification_version: 4
 summary: Types for Ruby programs.

data/lib/is/typed.rb

@@ -1,112 +0,0 @@
-# frozen_string_literal: true
-
-require "is/extension"
-require "is/global"
-require "is/stateful"
-
-require_relative "../core/type/composed"
-require_relative "../core/type/validator"
-
-module Is
-  # [public]
-  #
-  module Typed
-    extend Is::Extension
-
-    extends :definition do
-      # [public]
-      #
-      def check(description = nil, &block)
-        validator.check(description, &block)
-      end
-
-      # [public]
-      #
-      def normalize(value)
-        value
-      end
-    end
-
-    extends :definition, prepend: true do
-      # [public]
-      #
-      def build(value = nil)
-        global.build(value)
-      end
-
-      # [public]
-      #
-      def |(other)
-        Core::Type::Composed.new(self) | other
-      end
-    end
-
-    extends :implementation do
-      # [public]
-      #
-      attr_reader :builder
-
-      # [public]
-      #
-      def build(value = nil)
-        finalize.build(value)
-      end
-
-      # [public]
-      #
-      def try(value = nil)
-        finalize.try(value)
-      end
-
-      # [public]
-      #
-      def valid?(value = nil)
-        finalize.valid?(value)
-      end
-
-      # [public]
-      #
-      def finalize
-        super if defined?(super)
-
-        @builder = self.class.method(:build).super_method
-        @normalizer = self.class.method(:normalize)
-
-        singleton_class.class_eval(<<~CODE, __FILE__, __LINE__ + 1)
-          def build(value = nil)
-            value = @normalizer.call(value)
-            @validator.call(value)
-            @builder.call(value)
-          rescue ArgumentError, TypeError => error
-            raise Core::Type::Error, error.message
-          end
-
-          def try(value = nil)
-            value = @normalizer.call(value)
-            if @validator.call(value, true)
-              @builder.call(value)
-            end
-          end
-
-          def valid?(value = nil)
-            value = @normalizer.call(value)
-            @validator.call(value, true)
-          end
-        CODE
-
-        self
-      end
-    end
-
-    extends dependencies: [
-      Is::Global,
-      Is::Stateful
-    ]
-
-    applies do
-      # [public]
-      #
-      state :validator, default: Core::Type::Validator.new(self)
-    end
-  end
-end