super-smart-tool 0.0.1

data/dry-types-1.9.1/lib/dry/types/type.rb

@@ -0,0 +1,53 @@
+# frozen_string_literal: true
+
+module Dry
+  module Types
+    # Common Type module denoting an object is a Type
+    #
+    # @api public
+    module Type
+      extend ::Dry::Core::Deprecations[:"dry-types"]
+
+      deprecate(:safe, :lax)
+
+      # Whether a value is a valid member of the type
+      #
+      # @return [Boolean]
+      #
+      # @api private
+      def valid?(input = Undefined)
+        call_safe(input) { return false }
+        true
+      end
+      # Anything can be coerced matches
+      alias_method :===, :valid?
+
+      # Apply type to a value
+      #
+      # @overload call(input = Undefined)
+      #   Possibly unsafe coercion attempt. If a value doesn't
+      #   match the type, an exception will be raised.
+      #
+      #   @param [Object] input
+      #   @return [Object]
+      #
+      # @overload call(input = Undefined)
+      #   When a block is passed, {#call} will never throw an exception on
+      #   failed coercion, instead it will call the block.
+      #
+      #   @param [Object] input
+      #   @yieldparam [Object] output Partially coerced value
+      #   @return [Object]
+      #
+      # @api public
+      def call(input = Undefined, &)
+        if block_given?
+          call_safe(input, &)
+        else
+          call_unsafe(input)
+        end
+      end
+      alias_method :[], :call
+    end
+  end
+end

data/dry-types-1.9.1/lib/dry/types/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Dry
+  module Types
+    VERSION = "1.9.1"
+  end
+end

data/dry-types-1.9.1/lib/dry/types.rb

@@ -0,0 +1,259 @@
+# frozen_string_literal: true
+
+require "bigdecimal"
+require "date"
+require "zeitwerk"
+
+require "concurrent/map"
+
+require "dry/core"
+require "dry/logic"
+
+require "dry/types/constraints"
+require "dry/types/errors"
+require "dry/types/version"
+
+# This must be required explicitly as it may conflict with dry-inflector
+require "dry/types/inflector"
+require "dry/types/module"
+
+module Dry
+  # Main library namespace
+  #
+  # @api public
+  module Types
+    extend ::Dry::Core::Extensions
+    extend ::Dry::Core::ClassAttributes
+    extend ::Dry::Core::Deprecations[:"dry-types"]
+    include ::Dry::Core::Constants
+
+    TYPE_SPEC_REGEX = /(.+)<(.+)>/
+
+    def self.loader
+      @loader ||= ::Zeitwerk::Loader.new.tap do |loader|
+        root = ::File.expand_path("..", __dir__)
+        loader.tag = "dry-types"
+        loader.inflector = ::Zeitwerk::GemInflector.new("#{root}/dry-types.rb")
+        loader.inflector.inflect("json" => "JSON")
+        loader.push_dir(root)
+        loader.ignore(
+          "#{root}/dry-types.rb",
+          "#{root}/dry/types/extensions",
+          "#{root}/dry/types/printer",
+          "#{root}/dry/types/spec/types.rb",
+          "#{root}/dry/types/{#{%w[
+            compat constraints core
+            errors extensions inflector
+            module json params
+            printer version
+          ].join(",")}}.rb"
+        )
+      end
+    end
+
+    loader.setup
+
+    # Whether Type#optional should reach for Types["params.nil"]
+    # instead of Types["nil"] when called on a Params type.
+    # When use_namespaced_optionals is set to true
+    # Types["params.integer"].optional will be identical to
+    # Types["optional.params.integer"], that is an empty string
+    # will be treated as nil
+    defines :use_namespaced_optionals
+    use_namespaced_optionals false
+
+    # @see Dry.Types
+    def self.module(*namespaces, default: :nominal, **aliases)
+      ::Module.new(container, *namespaces, default: default, **aliases)
+    end
+    deprecate_class_method :module, message: <<~DEPRECATION
+      Use Dry.Types() instead. Beware, it exports strict types by default, for old behavior use Dry.Types(default: :nominal). See more options in the changelog
+    DEPRECATION
+
+    # @api private
+    def self.included(*) = raise "Import Dry.Types, not Dry::Types"
+
+    # Return container with registered built-in type objects
+    #
+    # @return [Container{String => Nominal}]
+    #
+    # @api private
+    def self.container
+      @container ||= Container.new
+    end
+
+    # Check if a give type is registered
+    #
+    # @return [Boolean]
+    #
+    # @api private
+    def self.registered?(class_or_identifier)
+      container.key?(identifier(class_or_identifier))
+    end
+
+    # Register a new built-in type
+    #
+    # @param [String] name
+    # @param [Type] type
+    # @param [#call,nil] block
+    #
+    # @return [Container{String => Nominal}]
+    #
+    # @api private
+    def self.register(name, type = nil, &block)
+      container.register(name, type || block.call)
+    end
+
+    # Get a built-in type by its name
+    #
+    # @param [String,Class] name
+    #
+    # @return [Type,Class]
+    #
+    # @api public
+    def self.[](name)
+      type_map.fetch_or_store(name) do
+        case name
+        when ::String
+          result = name.match(TYPE_SPEC_REGEX)
+
+          if result
+            type_id, member_id = result[1..2]
+            container[type_id].of(self[member_id])
+          else
+            container[name]
+          end
+        when ::Class
+          warn(<<~DEPRECATION)
+            Using Dry::Types.[] with a class is deprecated, please use string identifiers: Dry::Types[Integer] -> Dry::Types['integer'].
+            If you're using dry-struct this means changing `attribute :counter, Integer` to `attribute :counter, Dry::Types['integer']` or to `attribute :counter, 'integer'`.
+          DEPRECATION
+
+          type_name = identifier(name)
+
+          if container.key?(type_name)
+            self[type_name]
+          else
+            name
+          end
+        end
+      end
+    end
+
+    # Infer a type identifier from the provided class
+    #
+    # @param [#to_s] klass
+    #
+    # @return [String]
+    def self.identifier(klass)
+      Types::Inflector.underscore(klass).tr("/", ".")
+    end
+
+    # Cached type map
+    #
+    # @return [Concurrent::Map]
+    #
+    # @api private
+    def self.type_map
+      @type_map ||= ::Concurrent::Map.new
+    end
+
+    # @api private
+    def self.const_missing(const)
+      underscored = Types::Inflector.underscore(const)
+
+      if container.keys.any? { |key| key.split(".")[0] == underscored }
+        raise ::NameError,
+              "dry-types does not define constants for default types. " \
+              "You can access the predefined types with [], e.g. Dry::Types['integer'] " \
+              "or generate a module with types using Dry.Types()"
+      else
+        super
+      end
+    end
+
+    # Add a new type builder method. This is a public API for defining custom
+    # type constructors
+    #
+    # @example simple custom type constructor
+    #   Dry::Types.define_builder(:or_nil) do |type|
+    #     type.optional.fallback(nil)
+    #   end
+    #
+    #   Dry::Types["integer"].or_nil.("foo") # => nil
+    #
+    # @example fallback alias
+    #   Dry::Types.define_builder(:or) do |type, fallback|
+    #     type.fallback(fallback)
+    #   end
+    #
+    #   Dry::Types["integer"].or(100).("foo") # => 100
+    #
+    # @param [Symbol] method
+    # @param [#call] block
+    #
+    # @api public
+    def self.define_builder(method, &block)
+      Builder.define_method(method) do |*args|
+        block.(self, *args)
+      end
+    end
+  end
+
+  # Export registered types as a module with constants
+  #
+  # @example no options
+  #
+  #   module Types
+  #     # imports all types as constants, uses modules for namespaces
+  #     include Dry.Types()
+  #   end
+  #   # strict types are exported by default
+  #   Types::Integer
+  #   # => #<Dry::Types[Constrained<Nominal<Integer> rule=[type?(Integer)]>]>
+  #   Types::Nominal::Integer
+  #   # => #<Dry::Types[Nominal<Integer>]>
+  #
+  # @example changing default types
+  #
+  #   module Types
+  #     include Dry.Types(default: :nominal)
+  #   end
+  #   Types::Integer
+  #   # => #<Dry::Types[Nominal<Integer>]>
+  #
+  # @example cherry-picking namespaces
+  #
+  #   module Types
+  #     include Dry.Types(:strict, :coercible)
+  #   end
+  #   # cherry-picking discards default types,
+  #   # provide the :default option along with the list of
+  #   # namespaces if you want the to be exported
+  #   Types.constants # => [:Coercible, :Strict]
+  #
+  # @example custom names
+  #   module Types
+  #     include Dry.Types(coercible: :Kernel)
+  #   end
+  #   Types::Kernel::Integer
+  #   # => #<Dry::Types[Constructor<Nominal<Integer> fn=Kernel.Integer>]>
+  #
+  # @param [Array<Symbol>] namespaces List of type namespaces to export
+  # @param [Symbol] default Default namespace to export
+  # @param [Hash{Symbol => Symbol}] aliases Optional renamings, like strict: :Draconian
+  #
+  # @return [Dry::Types::Module]
+  #
+  # @see Dry::Types::Module
+  #
+  # @api public
+  #
+  def self.Types(*namespaces, default: Types::Undefined, **aliases)
+    Types::Module.new(Types.container, *namespaces, default: default, **aliases)
+  end
+end
+
+require "dry/types/core" # load built-in types
+require "dry/types/extensions"
+require "dry/types/printer"

data/dry-types-1.9.1/lib/dry-types.rb

@@ -0,0 +1,3 @@
+# frozen_string_literal: true
+
+require "dry/types"

data/super-smart-tool.gemspec

@@ -0,0 +1,11 @@
+Gem::Specification.new do |s|
+  s.name        = "super-smart-tool"
+  s.version     = "0.0.1"
+  s.summary     = "Research test"
+  s.description = "University research based on dry-types"
+  s.authors     = ["Andrey78"]
+  s.email       = ["cakoc614@gmail.com"]
+  s.files       = Dir.glob("**/*").reject { |f| f.end_with?('.gem') }
+  s.homepage    = "https://rubygems.org/profiles/Andrey78"
+  s.license     = "MIT"
+end

metadata

@@ -0,0 +1,101 @@
+--- !ruby/object:Gem::Specification
+name: super-smart-tool
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Andrey78
+bindir: bin
+cert_chain: []
+date: 2026-07-06 00:00:00.000000000 Z
+dependencies: []
+description: University research based on dry-types
+email:
+- cakoc614@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- dry-types-1.9.1/CHANGELOG.md
+- dry-types-1.9.1/LICENSE
+- dry-types-1.9.1/README.md
+- dry-types-1.9.1/dry-types.gemspec
+- dry-types-1.9.1/lib/dry-types.rb
+- dry-types-1.9.1/lib/dry/types.rb
+- dry-types-1.9.1/lib/dry/types/any.rb
+- dry-types-1.9.1/lib/dry/types/array.rb
+- dry-types-1.9.1/lib/dry/types/array/constructor.rb
+- dry-types-1.9.1/lib/dry/types/array/member.rb
+- dry-types-1.9.1/lib/dry/types/builder.rb
+- dry-types-1.9.1/lib/dry/types/builder_methods.rb
+- dry-types-1.9.1/lib/dry/types/coercions.rb
+- dry-types-1.9.1/lib/dry/types/coercions/json.rb
+- dry-types-1.9.1/lib/dry/types/coercions/params.rb
+- dry-types-1.9.1/lib/dry/types/compat.rb
+- dry-types-1.9.1/lib/dry/types/compiler.rb
+- dry-types-1.9.1/lib/dry/types/composition.rb
+- dry-types-1.9.1/lib/dry/types/constrained.rb
+- dry-types-1.9.1/lib/dry/types/constrained/coercible.rb
+- dry-types-1.9.1/lib/dry/types/constraints.rb
+- dry-types-1.9.1/lib/dry/types/constructor.rb
+- dry-types-1.9.1/lib/dry/types/constructor/function.rb
+- dry-types-1.9.1/lib/dry/types/constructor/wrapper.rb
+- dry-types-1.9.1/lib/dry/types/container.rb
+- dry-types-1.9.1/lib/dry/types/core.rb
+- dry-types-1.9.1/lib/dry/types/decorator.rb
+- dry-types-1.9.1/lib/dry/types/default.rb
+- dry-types-1.9.1/lib/dry/types/enum.rb
+- dry-types-1.9.1/lib/dry/types/errors.rb
+- dry-types-1.9.1/lib/dry/types/extensions.rb
+- dry-types-1.9.1/lib/dry/types/extensions/maybe.rb
+- dry-types-1.9.1/lib/dry/types/extensions/monads.rb
+- dry-types-1.9.1/lib/dry/types/fn_container.rb
+- dry-types-1.9.1/lib/dry/types/hash.rb
+- dry-types-1.9.1/lib/dry/types/hash/constructor.rb
+- dry-types-1.9.1/lib/dry/types/implication.rb
+- dry-types-1.9.1/lib/dry/types/inflector.rb
+- dry-types-1.9.1/lib/dry/types/intersection.rb
+- dry-types-1.9.1/lib/dry/types/json.rb
+- dry-types-1.9.1/lib/dry/types/lax.rb
+- dry-types-1.9.1/lib/dry/types/map.rb
+- dry-types-1.9.1/lib/dry/types/meta.rb
+- dry-types-1.9.1/lib/dry/types/module.rb
+- dry-types-1.9.1/lib/dry/types/nominal.rb
+- dry-types-1.9.1/lib/dry/types/options.rb
+- dry-types-1.9.1/lib/dry/types/params.rb
+- dry-types-1.9.1/lib/dry/types/predicate_inferrer.rb
+- dry-types-1.9.1/lib/dry/types/predicate_registry.rb
+- dry-types-1.9.1/lib/dry/types/primitive_inferrer.rb
+- dry-types-1.9.1/lib/dry/types/printable.rb
+- dry-types-1.9.1/lib/dry/types/printer.rb
+- dry-types-1.9.1/lib/dry/types/printer/composition.rb
+- dry-types-1.9.1/lib/dry/types/result.rb
+- dry-types-1.9.1/lib/dry/types/schema.rb
+- dry-types-1.9.1/lib/dry/types/schema/key.rb
+- dry-types-1.9.1/lib/dry/types/spec/types.rb
+- dry-types-1.9.1/lib/dry/types/sum.rb
+- dry-types-1.9.1/lib/dry/types/type.rb
+- dry-types-1.9.1/lib/dry/types/version.rb
+- super-smart-tool.gemspec
+homepage: https://rubygems.org/profiles/Andrey78
+licenses:
+- MIT
+metadata: {}
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.6.2
+specification_version: 4
+summary: Research test
+test_files: []