core-type 0.0.0

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict hash type.
+      #
+      class Hash
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(value)
+          value
+        end
+
+        check "must be a hash" do |value|
+          value.is_a?(::Hash)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict integer type.
+      #
+      class Integer
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(value)
+          value
+        end
+
+        check "must be a integer" do |value|
+          value.is_a?(::Integer)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict nil type.
+      #
+      class Nil
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(...)
+          nil
+        end
+
+        check "must be nil" do |value|
+          value.is_a?(NilClass)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict object type.
+      #
+      class Object
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(value)
+          value
+        end
+
+        check "must be a object" do |value|
+          value.is_a?(::Object)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict string type.
+      #
+      class String
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(value)
+          value
+        end
+
+        check "must be a string" do |value|
+          value.is_a?(::String)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict symbol type.
+      #
+      class Symbol
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(value)
+          value
+        end
+
+        check "must be a symbol" do |value|
+          value.is_a?(::Symbol)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict time type.
+      #
+      class Time
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(value)
+          value
+        end
+
+        check "must be a time" do |value|
+          value.is_a?(::Time)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require_relative "../../../is/typed"
+
+module Core
+  module Type
+    module Types
+      # [public] Strict true type.
+      #
+      class True
+        include Is::Typed
+
+        # [public]
+        #
+        def self.build(value)
+          value
+        end
+
+        check "must be true" do |value|
+          value.is_a?(::TrueClass)
+        end
+      end
+    end
+  end
+end

data/lib/core/type/types.rb

@@ -0,0 +1,26 @@
+# frozen_string_literal: true
+
+module Core
+  module Type
+    # [public] Default strict types.
+    #
+    module Types
+      require_relative "types/array"
+      require_relative "types/boolean"
+      require_relative "types/class"
+      require_relative "types/date"
+      require_relative "types/date_time"
+      require_relative "types/decimal"
+      require_relative "types/false"
+      require_relative "types/float"
+      require_relative "types/hash"
+      require_relative "types/integer"
+      require_relative "types/nil"
+      require_relative "types/object"
+      require_relative "types/string"
+      require_relative "types/symbol"
+      require_relative "types/time"
+      require_relative "types/true"
+    end
+  end
+end

data/lib/core/type/validator.rb

@@ -0,0 +1,37 @@
+# frozen_string_literal: true
+
+require "is/pipeline"
+
+require_relative "check_failed"
+
+module Core
+  module Type
+    # [public]
+    #
+    class Validator
+      include Is::Pipeline
+
+      def initialize(type)
+        @type = type
+      end
+
+      def check(description = nil, &block)
+        action do |value, safe = false|
+          unless block.call(value)
+            if safe
+              halt(false)
+            else
+              raise CheckFailed, if description.nil?
+                "#{value.inspect} did not pass the constraint defined by #{@type}"
+              else
+                "#{value.inspect} did not pass the constraint defined by #{@type} (#{description})"
+              end
+            end
+          end
+
+          true
+        end
+      end
+    end
+  end
+end

data/lib/core/type/version.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module Core
+  module Type
+    VERSION = "0.0.0"
+
+    # [public]
+    #
+    def self.version
+      VERSION
+    end
+  end
+end

data/lib/core/type.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Core
+  module Type
+    require_relative "type/check_failed"
+    require_relative "type/coercions"
+    require_relative "type/composed"
+    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"

data/lib/is/typed.rb

@@ -0,0 +1,112 @@
+# 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

metadata

@@ -0,0 +1,153 @@
+--- !ruby/object:Gem::Specification
+name: core-type
+version: !ruby/object:Gem::Version
+  version: 0.0.0
+platform: ruby
+authors:
+- Bryan Powell
+autorequire:
+bindir: bin
+cert_chain: []
+date: 2023-12-20 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: core-extension
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.4'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.4'
+- !ruby/object:Gem::Dependency
+  name: core-global
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.1'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.1'
+- !ruby/object:Gem::Dependency
+  name: core-pipeline
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.5'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.5'
+- !ruby/object:Gem::Dependency
+  name: core-state
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.1'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.1'
+description: Types for Ruby programs.
+email: bryan@bryanp.org
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- CHANGELOG.md
+- LICENSE
+- README.md
+- lib/core/type.rb
+- lib/core/type/check_failed.rb
+- lib/core/type/coercions.rb
+- lib/core/type/coercions/array.rb
+- lib/core/type/coercions/decimal.rb
+- lib/core/type/coercions/float.rb
+- lib/core/type/coercions/hash.rb
+- lib/core/type/coercions/integer.rb
+- lib/core/type/coercions/string.rb
+- lib/core/type/coercions/symbol.rb
+- lib/core/type/composed.rb
+- lib/core/type/conversions.rb
+- lib/core/type/conversions/array.rb
+- lib/core/type/conversions/decimal.rb
+- lib/core/type/conversions/float.rb
+- lib/core/type/conversions/hash.rb
+- lib/core/type/conversions/integer.rb
+- lib/core/type/conversions/string.rb
+- lib/core/type/conversions/symbol.rb
+- lib/core/type/error.rb
+- lib/core/type/inputs.rb
+- lib/core/type/inputs/array.rb
+- lib/core/type/inputs/boolean.rb
+- lib/core/type/inputs/date.rb
+- lib/core/type/inputs/date_time.rb
+- lib/core/type/inputs/decimal.rb
+- lib/core/type/inputs/float.rb
+- lib/core/type/inputs/hash.rb
+- lib/core/type/inputs/integer.rb
+- lib/core/type/inputs/string.rb
+- lib/core/type/inputs/symbol.rb
+- lib/core/type/inputs/time.rb
+- lib/core/type/types.rb
+- lib/core/type/types/array.rb
+- lib/core/type/types/boolean.rb
+- lib/core/type/types/class.rb
+- lib/core/type/types/date.rb
+- lib/core/type/types/date_time.rb
+- lib/core/type/types/decimal.rb
+- lib/core/type/types/false.rb
+- lib/core/type/types/float.rb
+- lib/core/type/types/hash.rb
+- lib/core/type/types/integer.rb
+- lib/core/type/types/nil.rb
+- lib/core/type/types/object.rb
+- lib/core/type/types/string.rb
+- lib/core/type/types/symbol.rb
+- lib/core/type/types/time.rb
+- 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
+metadata: {}
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '3.0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.4.22
+signing_key:
+specification_version: 4
+summary: Types for Ruby programs.
+test_files: []