uinit-type 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: c8294bdb922588856e7af78dcd2820da93c237a00cd2db24e90133600610e8ae
+  data.tar.gz: 173370c0263e2b555b906947fabaa59956ec248b9ce022837b7869069239308e
+SHA512:
+  metadata.gz: 0ca2c4d8a705f0e5ef4eb5034355c870b5bb8fc479ce5a652034eb8b956d2350693ad6eaaf59f5ef79fac997c72bfcc92292b7460fbc55f4bce257d82329061c
+  data.tar.gz: 9cb5b519afd44840f88246be9c1052f3ea37bccd2100b23ff9192ad2ef3f0ebf931783fa1bf6de1f698035d5ce1fe6e8a3b67e3a90875594f01a720c6a681797

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2024 Kimoja
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,35 @@
+# Uinit::Type
+
+TODO: Delete this and the text below, and describe your gem
+
+Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library into a gem. Put your Ruby code in the file `lib/uinit/type`. To experiment with that code, run `bin/console` for an interactive prompt.
+
+## Installation
+
+TODO: Replace `UPDATE_WITH_YOUR_GEM_NAME_IMMEDIATELY_AFTER_RELEASE_TO_RUBYGEMS_ORG` with your gem name right after releasing it to RubyGems.org. Please do not do it earlier due to security reasons. Alternatively, replace this section with instructions to install your gem from git if you don't plan to release to RubyGems.org.
+
+Install the gem and add to the application's Gemfile by executing:
+
+    $ bundle add UPDATE_WITH_YOUR_GEM_NAME_IMMEDIATELY_AFTER_RELEASE_TO_RUBYGEMS_ORG
+
+If bundler is not being used to manage dependencies, install the gem by executing:
+
+    $ gem install UPDATE_WITH_YOUR_GEM_NAME_IMMEDIATELY_AFTER_RELEASE_TO_RUBYGEMS_ORG
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and the created tag, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/uinit-type.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).

data/lib/uinit/type/array_of.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class ArrayOf < Generic
+      def self.from?(array)
+        array.is_a?(Array)
+      end
+
+      def self.from(array)
+        new(array.first) if from?(array)
+      end
+
+      def is?(value)
+        return false unless value.is_a?(Array)
+
+        value.all? { |val| type.is?(val) }
+      end
+
+      def check!(value, depth)
+        type_error!("#{value.inspect} must be an Array", depth) unless value.is_a?(Array)
+
+        value.each_with_index do |val, index|
+          type.check!(val, depth + 1)
+        rescue Error => e
+          trace!(e, "[#{index}]")
+        end
+
+        value
+      end
+    end
+  end
+end

data/lib/uinit/type/base.rb

@@ -0,0 +1,50 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Base
+      include Operators
+
+      def self.from?(type)
+        type.is_a?(Base)
+      end
+
+      def self.from(type)
+        type if from?(type)
+      end
+
+      def self.[](...)
+        new(...)
+      end
+
+      def type_error!(message, depth, trace = [])
+        raise Error.new(message.to_s, [self], depth, trace)
+      end
+
+      def trace!(error, trace)
+        error.trace(self, trace)
+
+        raise error
+      end
+
+      def inspect
+        "$#{self.class.name.split('::').last}"
+      end
+
+      def to_s
+        inspect
+      end
+
+      def ==(other)
+        inspect == other.inspect
+      end
+
+      def is!(value)
+        check!(value, 0)
+      rescue Error => e
+        e.value = value
+        raise
+      end
+    end
+  end
+end

data/lib/uinit/type/check.rb

@@ -0,0 +1,50 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Check < Base
+      def self.from?(check)
+        check.is_a?(Proc)
+      end
+
+      def self.from(check)
+        new(check) if from?(check)
+      end
+
+      def initialize(check)
+        super()
+
+        raise ArgumentError, 'check must be a Proc' unless self.class.from?(check)
+
+        @check = check
+      end
+
+      attr_reader :check
+
+      def is?(value)
+        res = check[value]
+
+        res == true || res.nil?
+      end
+
+      def check!(value, depth)
+        res = check[value]
+
+        return value if res == true || res.nil?
+
+        file, line = check.source_location
+
+        type_error!(
+          "#{value.inspect} does not respect rule specified in #{file}:#{line}",
+          depth
+        )
+      end
+
+      def inspect
+        file, line = check.source_location
+
+        "#{super}[#{file}:#{line}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/composition.rb

@@ -0,0 +1,115 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Composition < Base
+      INTERSECTION = '&'
+      UNION = '|'
+
+      def initialize(operand, compositions = [])
+        super()
+
+        @operand = Type.from(operand)
+        @compositions = compositions
+      end
+
+      attr_reader :operand, :compositions
+
+      def &(other)
+        clone.add_intersection_composition(other)
+      end
+
+      def |(other)
+        clone.add_union_composition(other)
+      end
+
+      def add_intersection_composition(operand)
+        add_composition(INTERSECTION, operand)
+      end
+
+      def add_union_composition(operand)
+        add_composition(UNION, operand)
+      end
+
+      def is?(value)
+        is = operand.is?(value)
+
+        compositions.each do |operator, operand|
+          break if is && operator == UNION
+          next if !is && operator == INTERSECTION
+
+          is = operand.is?(value)
+        end
+
+        is
+      end
+
+      # rubocop:disable Metrics/AbcSize
+      # rubocop:disable Metrics/CyclomaticComplexity
+      # rubocop:disable Metrics/PerceivedComplexity
+      def check!(value, depth)
+        errors = []
+        is = true
+
+        begin
+          operand.check!(value, depth + 1)
+        rescue Error => e
+          errors << e
+          is = false
+        end
+
+        compositions.each do |operator, operand|
+          break if is && operator == UNION
+          next if !is && operator == INTERSECTION
+
+          begin
+            operand.check!(value, depth + 1)
+            is = true
+          rescue Error => e
+            errors << e
+            is = false
+          end
+        end
+
+        return value if is
+
+        type_error!(value, errors.max_by(&:depth))
+      end
+      # rubocop:enable Metrics/AbcSize
+      # rubocop:enable Metrics/CyclomaticComplexity
+      # rubocop:enable Metrics/PerceivedComplexity
+
+      def inspect
+        "(#{[operand, *compositions.flatten].join(' ')})"
+      end
+
+      private
+
+      def add_composition(operator, operand)
+        compositions << [operator, Type.from(operand)]
+
+        self
+      end
+
+      def clone
+        Composition.new(operand, compositions.dup)
+      end
+
+      def type_error!(value, deepest_error)
+        error_message =
+          if deepest_error.types.first.is_a?(Composition)
+            deepest_error.error_message
+          else
+            "#{value.inspect}: No type composition matches\nDeepest error: #{deepest_error.error_message}"
+          end
+
+        raise Error.new(
+          error_message,
+          [self] + deepest_error.types.dup,
+          deepest_error.depth,
+          deepest_error.traces
+        )
+      end
+    end
+  end
+end

data/lib/uinit/type/const.rb

@@ -0,0 +1,40 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Const < Base
+      def self.from?(_val)
+        true
+      end
+
+      def self.from(val)
+        new(val) if from?(val)
+      end
+
+      def initialize(value)
+        super()
+
+        @value = value
+      end
+
+      attr_reader :value
+
+      def is?(value)
+        self.value == value
+      end
+
+      def check!(value, depth)
+        return value if is?(value)
+
+        type_error!(
+          "#{value.inspect} must be equal to #{self.value.inspect}",
+          depth
+        )
+      end
+
+      def inspect
+        "#{super}[#{value.inspect}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/context.rb

@@ -0,0 +1,84 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    module Context
+      Nil = Const[nil].freeze
+      Boolean = (Const[true] | Const[false]).freeze
+      Str = Instance[String].freeze
+      Int = Instance[Integer].freeze
+      Float = Instance[Float].freeze
+      Hsh = Instance[Hash].freeze
+      Arr = Instance[Array].freeze
+
+      def array_of(type)
+        ArrayOf.new(type)
+      end
+
+      def any_of(const, *consts)
+        consts.reduce(Const[const]) { |type, cst| type | Const[cst] }
+      end
+
+      def check(check = nil, &proc_check)
+        Check.new(check || proc_check)
+      end
+
+      def const(const)
+        Const.new(const)
+      end
+
+      def fn(arity = -1)
+        Fn.new(arity)
+      end
+
+      def hash_of(schema, strict: false)
+        HashOf.new(schema, strict:)
+      end
+
+      def impl(*, **)
+        Impl.new(*, **)
+      end
+
+      def instance(type)
+        Instance.new(type)
+      end
+
+      def set_of(type) # rubocop:disable Naming/AccessorMethodName
+        SetOf.new(type)
+      end
+
+      def nilable
+        Nil
+      end
+      alias null nilable
+      alias none nilable
+
+      def boolean
+        Boolean
+      end
+      alias bool boolean
+
+      def string
+        Str
+      end
+      alias str string
+
+      def integer
+        Int
+      end
+      alias int integer
+
+      def float
+        Float
+      end
+
+      def hash
+        Hsh
+      end
+
+      def array
+        Arr
+      end
+    end
+  end
+end

data/lib/uinit/type/error.rb

@@ -0,0 +1,41 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Error < TypeError
+      def initialize(error_message, types, depth, trace = [])
+        super()
+
+        @error_message = error_message
+        @types = types
+        @depth = depth
+        @traces = trace
+      end
+
+      attr_reader :error_message, :instance, :types, :depth, :traces
+      attr_accessor :value
+
+      def trace(type, trace)
+        types.unshift(type)
+        traces.unshift(trace)
+      end
+
+      def message
+        msg = error_message
+
+        msg =
+          if types.size == 1
+            "#{msg}\nType: #{types.first}"
+          else
+            "#{msg}\nTypes:\n  #{types * "\n  "}"
+          end
+
+        msg = "#{msg}\nTraces: #{traces.join}" unless traces.empty?
+
+        msg = "#{msg}\nValue: #{value.inspect}" if value
+
+        msg
+      end
+    end
+  end
+end

data/lib/uinit/type/extensions.rb

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+class Class
+  include Uinit::Type::Operators
+end
+
+class Module
+  include Uinit::Type::Operators
+end

data/lib/uinit/type/fn.rb

@@ -0,0 +1,43 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Fn < Base
+      # TODO: arguments
+      def initialize(arity = -1)
+        super()
+
+        raise ArgumentError, 'arity must be an Integer' unless arity.is_a?(Integer)
+
+        @arity = arity
+      end
+
+      attr_reader :arity
+
+      def is?(value)
+        return false unless value.is_a?(Proc) || value.is_a?(Method) || value.is_a?(UnboundMethod)
+
+        return true if arity == -1 || value.arity == -1
+
+        value.arity == arity
+      end
+
+      def check!(value, depth)
+        unless value.is_a?(Proc) || value.is_a?(Method) || value.is_a?(UnboundMethod)
+          type_error!("#{value.inspect} must be an Proc a Method or a UnboundMethod", depth)
+        end
+
+        return value if arity == -1 || value.arity == -1 || value.arity == arity
+
+        type_error!(
+          "#{value.inspect} does not respect expected arity #{arity}, defined arity #{value.arity}",
+          depth
+        )
+      end
+
+      def inspect
+        "#{super}[arity = #{arity}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/generic.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Generic < Base
+      def initialize(type)
+        super()
+
+        @type = Type.from(type)
+      end
+
+      attr_reader :type
+
+      def inspect
+        "#{super}[#{type.inspect}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/hash_of.rb

@@ -0,0 +1,61 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class HashOf < Base
+      def self.from?(schema)
+        schema.is_a?(Hash)
+      end
+
+      def self.from(schema)
+        new(schema) if from?(schema)
+      end
+
+      def initialize(schema, strict: false)
+        super()
+
+        raise ArgumentError, 'schema must be a Hash' unless self.class.from?(schema)
+
+        @schema =
+          schema.transform_values do |type|
+            Type.from(type)
+          end
+
+        @strict = !!strict
+      end
+
+      attr_reader :schema, :strict
+
+      def is?(value)
+        return false unless value.is_a?(Hash)
+
+        is =
+          schema.all? do |key, type|
+            type.is?(value[key])
+          end
+
+        return is unless strict
+
+        extra = value.keys - schema
+
+        extra.empty?
+      end
+
+      def check!(value, depth)
+        type_error!("#{value.inspect} must be a Hash", depth) unless value.is_a?(Hash)
+
+        schema.each do |key, type|
+          type.check!(value[key], depth + 1)
+        rescue Error => e
+          trace!(e, "[#{key.inspect}]")
+        end
+
+        value
+      end
+
+      def inspect
+        "#{super}[#{schema.inspect}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/impl.rb

@@ -0,0 +1,63 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Impl < Base
+      # TODO: Allow to pass Fn
+      def initialize(*sym_interface, **interface)
+        super()
+
+        sym_interface.each do |meth|
+          next if meth.is_a?(Symbol)
+
+          raise ArgumentError, "#{meth.inspect} must be a Symbol"
+        end
+
+        interface.each do |(meth, fn)|
+          next if fn.nil? || fn.is_a?(Fn)
+
+          raise ArgumentError, "#{meth.inspect} must be Fn or Nil"
+        end
+
+        @interface =
+          sym_interface.each_with_object(interface.dup) do |meth, inter|
+            inter[meth] = nil
+          end
+      end
+
+      attr_reader :interface
+
+      def is?(value)
+        interface.all? do |(meth, fn)|
+          is = value.respond_to?(meth)
+
+          next is if !is || fn.nil?
+
+          fn.is?(value.method(meth))
+        end
+      end
+
+      def check!(value, depth)
+        interface.each do |meth, fn|
+          is = value.respond_to?(meth)
+
+          type_error!("#{value.inspect} do not implement #{meth.inspect} method", depth) unless is
+
+          next if fn.nil?
+
+          begin
+            fn.check!(value.method(meth), depth + 1)
+          rescue Error => e
+            trace!(e, ".#{meth}()")
+          end
+        end
+
+        value
+      end
+
+      def inspect
+        "#{super}[#{interface.inspect}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/instance.rb

@@ -0,0 +1,39 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Instance < Base
+      def self.from?(class_module)
+        class_module.is_a?(::Class) || class_module.is_a?(::Module)
+      end
+
+      def self.from(class_module)
+        new(class_module) if from?(class_module)
+      end
+
+      def initialize(class_module)
+        super()
+
+        raise ArgumentError, 'class_module must be a Class or a Module' unless self.class.from?(class_module)
+
+        @class_module = class_module
+      end
+
+      attr_reader :class_module
+
+      def is?(value)
+        value.is_a?(class_module)
+      end
+
+      def check!(value, depth)
+        return value if is?(value)
+
+        type_error!("#{value.inspect} must be an instance of #{class_module}", depth)
+      end
+
+      def inspect
+        "#{super}[#{class_module.inspect}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/operators.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    module Operators
+      def &(other)
+        Composition[self].add_intersection_composition(other)
+      end
+
+      def |(other)
+        Composition[self].add_union_composition(other)
+      end
+    end
+  end
+end

data/lib/uinit/type/set_of.rb

@@ -0,0 +1,35 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class SetOf < Generic
+      def self.from?(set)
+        set.is_a?(::Set)
+      end
+
+      def self.from(set)
+        new(set.first) if from?(set)
+      end
+
+      def is?(value)
+        return false unless value.is_a?(::Set)
+
+        value.all? do |val|
+          type.is?(val)
+        end
+      end
+
+      def check!(value, depth)
+        type_error!("#{value.inspect} must be a Set", depth) unless value.is_a?(::Set)
+
+        value.each_with_index do |val, index|
+          type.check!(val, depth + 1)
+        rescue Error => e
+          trace!(e, "[#{index}]")
+        end
+
+        value
+      end
+    end
+  end
+end

data/lib/uinit/type/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    VERSION = '0.1.0'
+  end
+end

data/lib/uinit/type.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+require 'zeitwerk'
+
+module Uinit; end
+
+Zeitwerk::Loader.for_gem.tap do |loader|
+  loader.push_dir(__dir__, namespace: Uinit)
+  loader.setup
+end
+
+module Uinit
+  module Type
+    def self.is?(type, value)
+      from(type).is?(value)
+    end
+
+    def self.is!(type, value)
+      from(type).is?(value)
+    end
+
+    def self.from(arg)
+      klass =
+        [Base, Instance, ArrayOf, SetOf, HashOf, Check, Const].find do |type_class|
+          type_class.from?(arg)
+        end
+
+      klass.from(arg)
+    end
+  end
+end
+
+require_relative 'type/extensions'

metadata

@@ -0,0 +1,139 @@
+--- !ruby/object:Gem::Specification
+name: uinit-type
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Kimoja
+autorequire:
+bindir: bin
+cert_chain: []
+date: 2024-05-08 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: zeitwerk
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.6'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.6'
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: pry
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rubocop
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: Dynamic type checker
+email:
+- joakim.carrilho@cheerz.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- CHANGELOG.md
+- LICENSE.txt
+- README.md
+- lib/uinit/type.rb
+- lib/uinit/type/array_of.rb
+- lib/uinit/type/base.rb
+- lib/uinit/type/check.rb
+- lib/uinit/type/composition.rb
+- lib/uinit/type/const.rb
+- lib/uinit/type/context.rb
+- lib/uinit/type/error.rb
+- lib/uinit/type/extensions.rb
+- lib/uinit/type/fn.rb
+- lib/uinit/type/generic.rb
+- lib/uinit/type/hash_of.rb
+- lib/uinit/type/impl.rb
+- lib/uinit/type/instance.rb
+- lib/uinit/type/operators.rb
+- lib/uinit/type/set_of.rb
+- lib/uinit/type/version.rb
+homepage: https://github.com/Kimoja/uinit-type
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/Kimoja/uinit-type
+  allowed_push_host: https://rubygems.org
+  source_code_uri: https://github.com/Kimoja/uinit-type
+  changelog_uri: https://github.com/Kimoja/uinit-type/blob/main/CHANGELOG.md
+  bug_tracker_uri: https://github.com/Kimoja/uinit-type/issues
+  rubygems_mfa_required: 'true'
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.2.1
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.4.6
+signing_key:
+specification_version: 4
+summary: Dynamic type checker
+test_files: []