thy 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: dede6c0b3036ff543a4dc62bc816a9e94ffd0ce16cf369a0910f47a32cc7507c
+  data.tar.gz: ef0219b2e4feccaf91914ecdab59c021d98aae2a28a483d760e75aacd197ab4a
+SHA512:
+  metadata.gz: f6ce5558293a911bbae3b06da8901b3c9b8a39fbe5012fc57e7093a0c1a6d0fe801bf0148084b83d325a32bdca65a2d2c11c32af05e25fe552f116404c137d55
+  data.tar.gz: d344e64a85a03895171bfd76c1b3360222cf75109e16e6248f011250567f71aca6220fe8ca5844fb809e574d15e4e4b2a5fdbaf4b689ca5ae21a6d8274e0fdd8

data/.gitignore

@@ -0,0 +1,11 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+
+# rspec failure tracking
+.rspec_status

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/.rubocop.yml

@@ -0,0 +1,26 @@
+inherit_gem:
+  armitage-rubocop:
+    - lib/rubocop.general.yml
+    - lib/rubocop.rspec.yml
+
+AllCops:
+  TargetRubyVersion: 2.6.3
+  Include:
+    - bin/console
+    - lib/**/*.rb
+    - spec/**/*.rb
+    - Gemfile
+    - Rakefile
+    - thy.gemspec
+
+Style/TrailingCommaInArguments:
+  EnforcedStyleForMultiline: comma
+
+Style/TrailingCommaInArrayLiteral:
+  EnforcedStyleForMultiline: comma
+
+Style/TrailingCommaInHashLiteral:
+  EnforcedStyleForMultiline: comma
+
+Style/MultipleComparison:
+  Enabled: false

data/.travis.yml

@@ -0,0 +1,7 @@
+---
+sudo: false
+language: ruby
+cache: bundler
+rvm:
+  - 2.6.3
+before_install: gem install bundler -v 2.0.1

data/Gemfile

@@ -0,0 +1,6 @@
+# frozen_string_literal: true
+
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in thy.gemspec
+gemspec

data/Gemfile.lock

@@ -0,0 +1,70 @@
+PATH
+  remote: .
+  specs:
+    thy (0.1.0)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    armitage-rubocop (0.70.0.110)
+      rubocop (= 0.70.0)
+      rubocop-performance (= 1.3.0)
+      rubocop-rails (= 2.0.0)
+      rubocop-rspec (= 1.33.0)
+    ast (2.4.0)
+    coderay (1.1.2)
+    diff-lcs (1.3)
+    jaro_winkler (1.5.2)
+    method_source (0.9.2)
+    parallel (1.17.0)
+    parser (2.6.3.0)
+      ast (~> 2.4.0)
+    pry (0.12.2)
+      coderay (~> 1.1.0)
+      method_source (~> 0.9.0)
+    rack (2.0.7)
+    rainbow (3.0.0)
+    rake (10.5.0)
+    rspec (3.8.0)
+      rspec-core (~> 3.8.0)
+      rspec-expectations (~> 3.8.0)
+      rspec-mocks (~> 3.8.0)
+    rspec-core (3.8.0)
+      rspec-support (~> 3.8.0)
+    rspec-expectations (3.8.3)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-mocks (3.8.0)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-support (3.8.0)
+    rubocop (0.70.0)
+      jaro_winkler (~> 1.5.1)
+      parallel (~> 1.10)
+      parser (>= 2.6)
+      rainbow (>= 2.2.2, < 4.0)
+      ruby-progressbar (~> 1.7)
+      unicode-display_width (>= 1.4.0, < 1.7)
+    rubocop-performance (1.3.0)
+      rubocop (>= 0.68.0)
+    rubocop-rails (2.0.0)
+      rack (>= 2.0)
+      rubocop (>= 0.70.0)
+    rubocop-rspec (1.33.0)
+      rubocop (>= 0.60.0)
+    ruby-progressbar (1.10.1)
+    unicode-display_width (1.6.0)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  armitage-rubocop
+  bundler (~> 2.0)
+  pry
+  rake (~> 10.0)
+  rspec (~> 3.0)
+  thy!
+
+BUNDLED WITH
+   2.0.1

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2019 Alexander Komarov
+
+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,175 @@
+# Thy [![Build Status](https://travis-ci.org/akxcv/thy.svg?branch=master)](https://travis-ci.org/akxcv/thy)
+
+Thy is a minimal, strict runtime type system for Ruby.
+
+## Motivation
+
+There are many existing runtime type systems for Ruby, most notably, dry-types. Here's why you might
+prefer Thy:
+
+- Thy encourages strictness. Avoiding type coercion as much as possible is an excellent way to keep
+your code predictable and straightforward.
+- Minimalism. Thy's API only has what's needed, nothing more.
+- No Any type. Don't worry, if you *have to*, you [can get it](#custom-types)!
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'thy'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install thy
+
+## Usage
+
+It's recommended not to use Thy directly (although [you can](#direct-usage)), but to create a module
+for working with types, and to include `Thy::Types` into it.
+
+```ruby
+module Types
+  include Thy::Types
+end
+```
+
+To run a type check, call `check` on a type you need. For example:
+
+```ruby
+module Types
+  include Thy::Types
+end
+
+Types::String.check('a string').success? # => true
+Types::Integer.check(3.14).success?      # => false
+```
+
+If a check fails, a message describing the failure is provided:
+
+```ruby
+Types::String.check(3).failure? # => true
+Types::String.check(3).message # => "Expected a String, but got: 3"
+```
+
+### Custom types
+
+Thy allows you to define custom types via `Thy::Type`'s constructor:
+
+```ruby
+module Types
+  include Thy::Types
+
+  NonZeroValue = Thy::Type.new { |value| value != 0 }
+end
+```
+
+#### Providing meaningful error messages
+
+```ruby
+module Types
+  include Thy::Types
+
+  NonZeroValue = Thy::Type.new do |value|
+    value == 0 || Thy::Result::Failure.new("Expected #{value.inspect} to be nonzero")
+  end
+end
+```
+
+#### Building on top of existing types
+
+Extending existing types is simple, too:
+
+```ruby
+module Types
+  include Thy::Types
+
+  NonZeroInteger = Thy.refine_type(Integer, Thy::Type.new { |v| v != 0 })
+end
+```
+
+### Direct usage
+
+You can use Thy types directly, for example, if you'd like to play around in the console:
+
+```ruby
+Thy::String.check('Bob').success? # => true
+PositiveInteger = Thy.refine_type(Integer, Thy::Type.new { |v| v > 0 })
+```
+
+## Built-in type reference
+
+### Primitive types
+
+```ruby
+# String
+Thy::String.check('Bob').success? # => true
+
+# Symbol
+Thy::Symbol.check(:bob).success? # => true
+
+# Numeric
+Thy::Numeric.check(3.14).success? # => true
+Thy::Numeric.check(0).success? # => true
+
+# Float
+Thy::Float.check(3.14).success? # => true
+
+# Integer
+Thy::Integer.check(3).success? # => true
+
+# Boolean
+Thy::Boolean.check(true).success? # => true
+Thy::Boolean.check(false).success? # => true
+```
+
+### Parameterized types
+
+```ruby
+# Array
+Thy::Array(Thy::Integer).check([1, 2, 3]).success? # => true
+Thy::Array(Thy::String).check(%w[hi hello sup]).success? # => true
+
+# Hash
+Thy::Hash({
+  name: Thy::String,
+  age: Thy::Integer,
+}).check({ name: 'Bob', age: 18 }).success? # => true
+
+# Map
+Thy::Map(Thy::Symbol, Thy::Integer).check({ a: 1, b: 2 }).success? # => true
+
+# Enum
+Thy::Enum(Thy::Integer, Thy::Float).check(3.14).success? # => true
+Thy::Enum(Thy::Integer, Thy::Float).check(3).success? # => true
+
+# Variant
+Thy::Variant('USD', 'EUR').check('EUR').success? # => true
+
+# Option
+Thy::Option(Thy::String).check('a string').success? # => true
+Thy::Option(Thy::String).check(nil).success? # => true
+```
+
+### Other types
+
+```ruby
+# UntypedArray
+Thy::UntypedArray.check(1, 'string', 3.14).success? # => true
+
+# UntypedHash
+Thy::UntypedHash.check({ a: 1, b: 'c', 1 => true }).success? # => true
+```
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/akxcv/thy.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).

data/Rakefile

@@ -0,0 +1,8 @@
+# frozen_string_literal: true
+
+require 'bundler/gem_tasks'
+require 'rspec/core/rake_task'
+
+RSpec::Core::RakeTask.new(:spec)
+
+task default: :spec

data/bin/console

@@ -0,0 +1,8 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require 'bundler/setup'
+require 'thy'
+
+require 'pry'
+Pry.start

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/lib/thy.rb

@@ -0,0 +1,75 @@
+# frozen_string_literal: true
+
+require 'thy/type'
+
+require 'thy/types/string'
+require 'thy/types/symbol'
+require 'thy/types/numeric'
+require 'thy/types/integer'
+require 'thy/types/float'
+require 'thy/types/boolean'
+
+require 'thy/types/array'
+require 'thy/types/untyped_array'
+
+require 'thy/types/hash'
+require 'thy/types/untyped_hash'
+require 'thy/types/map'
+
+require 'thy/types/enum'
+require 'thy/types/variant'
+
+require 'thy/types/option'
+
+require 'thy/result/success'
+require 'thy/result/failure'
+
+module Thy
+  UntypedArray = Types::UntypedArray
+  UntypedHash = Types::UntypedHash
+  String = Types::String
+  Symbol = Types::Symbol
+  Numeric = Types::Numeric
+  Float = Types::Float
+  Integer = Types::Integer
+  Boolean = Types::Boolean
+
+  class << self
+    def refine_type(type_1, type_2)
+      Type.new do |value|
+        check_1 = type_1.check(value)
+        if check_1.success?
+          type_2.check(value)
+        else
+          check_1
+        end
+      end
+    end
+
+    # rubocop:disable Naming/MethodName
+    def Array(type)
+      Types::Array.new(type)
+    end
+
+    def Hash(schema)
+      Types::Hash.new(schema)
+    end
+
+    def Map(key_type, value_type)
+      Types::Map.new(key_type, value_type)
+    end
+
+    def Enum(*types)
+      Types::Enum.new(types)
+    end
+
+    def Variant(*values)
+      Types::Variant.new(values)
+    end
+
+    def Option(type)
+      Types::Option.new(type)
+    end
+    # rubocop:enable Naming/MethodName
+  end
+end

data/lib/thy/result/failure.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+module Thy
+  module Result
+    class Failure
+      attr_reader :message
+
+      def initialize(message)
+        @message = message
+      end
+
+      def success?
+        false
+      end
+
+      def failure?
+        true
+      end
+    end
+  end
+end

data/lib/thy/result/success.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Result
+    module Success
+      def self.success?
+        true
+      end
+
+      def self.failure?
+        false
+      end
+    end
+  end
+end

data/lib/thy/type.rb

@@ -0,0 +1,18 @@
+# frozen_string_literal: true
+
+module Thy
+  class Type
+    def initialize(&checker)
+      @checker = checker
+    end
+
+    def check(value)
+      check_result = @checker.call(value)
+
+      return Result::Success if check_result == true
+      return Result::Failure.new('No message provided') if check_result == false
+
+      check_result
+    end
+  end
+end

data/lib/thy/types/array.rb

@@ -0,0 +1,27 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    class Array
+      def initialize(type)
+        @type = type
+      end
+
+      def check(values)
+        unless values.is_a?(::Array)
+          return Result::Failure.new("Expected an array, but got #{values.inspect}")
+        end
+
+        values.each do |value|
+          if @type.check(value).failure?
+            return Result::Failure.new(
+              "Expected an array of #{@type.inspect}, but got element: #{value.inspect}",
+            )
+          end
+        end
+
+        Result::Success
+      end
+    end
+  end
+end

data/lib/thy/types/boolean.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module Boolean
+      def self.check(value)
+        if value == true || value == false
+          Result::Success
+        else
+          Result::Failure.new("Expected a boolean value, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/enum.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    class Enum
+      def initialize(values)
+        @values = values
+      end
+
+      def check(value)
+        if @values.any? { |v| value == v }
+          Result::Success
+        else
+          Result::Failure.new("Expected #{value.inspect} to be one of: #{@values.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/float.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module Float
+      def self.check(value)
+        if value.is_a?(::Float)
+          Result::Success
+        else
+          Result::Failure.new("Expected a Float, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/hash.rb

@@ -0,0 +1,37 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    class Hash
+      def initialize(schema)
+        @schema = schema
+        @schema_length = schema.length
+        @schema_keys = schema.keys
+      end
+
+      def check(value)
+        unless value.is_a?(::Hash)
+          return Result::Failure.new("Expected a Hash, but got: #{value.inspect}")
+        end
+        if @schema_length != value.length
+          return Result::Failure.new("Expected #{value.inspect} to contain #{@schema_length} keys")
+        end
+        if @schema_keys != value.keys
+          return Result::Failure.new(
+            "Expected #{value.inspect} to contain keys: #{@schema_keys.inspect}",
+          )
+        end
+
+        @schema.each do |k, t|
+          v = value.fetch(k)
+
+          if t.check(v).failure?
+            return Result::Failure.new("Expected #{v.inspect} to be of type #{t.inspect}")
+          end
+        end
+
+        Result::Success
+      end
+    end
+  end
+end

data/lib/thy/types/integer.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module Integer
+      def self.check(value)
+        if value.is_a?(::Integer)
+          Result::Success
+        else
+          Result::Failure.new("Expected an Integer, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/map.rb

@@ -0,0 +1,36 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    class Map
+      def initialize(key_type, value_type)
+        @key_type = key_type
+        @value_type = value_type
+      end
+
+      def check(value)
+        unless value.is_a?(::Hash)
+          return Result::Failure.new("Expected a Hash, but got: #{value.inspect}")
+        end
+
+        value.keys.each do |k|
+          if @key_type.check(k).failure?
+            return Result::Failure.new(
+              "Expected key #{k.inspect} to be of type #{@key_type.inspect}",
+            )
+          end
+        end
+
+        value.values.each do |v|
+          if @value_type.check(v).failure?
+            return Result::Failure.new(
+              "Expected value #{v.inspect} to be of type #{@value_type.inspect}",
+            )
+          end
+        end
+
+        Result::Success
+      end
+    end
+  end
+end

data/lib/thy/types/numeric.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module Numeric
+      def self.check(value)
+        if value.is_a?(::Numeric)
+          Result::Success
+        else
+          Result::Failure.new("Expected a Numeric, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/option.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    class Option
+      def initialize(type)
+        @type = type
+      end
+
+      def check(value)
+        return Result::Success if value.nil?
+
+        if @type.check(value).success?
+          Result::Success
+        else
+          Result::Failure.new("Expected #{value.inspect} to be of type #{@type.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/string.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module String
+      def self.check(value)
+        if value.is_a?(::String)
+          Result::Success
+        else
+          Result::Failure.new("Expected a String, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/symbol.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module Symbol
+      def self.check(value)
+        if value.is_a?(::Symbol)
+          Result::Success
+        else
+          Result::Failure.new("Expected a Symbol, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/untyped_array.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module UntypedArray
+      def self.check(value)
+        if value.is_a?(::Array)
+          Result::Success
+        else
+          Result::Failure.new("Expected an Array, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/untyped_hash.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    module UntypedHash
+      def self.check(value)
+        if value.is_a?(::Hash)
+          Result::Success
+        else
+          Result::Failure.new("Expected a Hash, but got: #{value.inspect}")
+        end
+      end
+    end
+  end
+end

data/lib/thy/types/variant.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module Thy
+  module Types
+    class Variant
+      def initialize(types)
+        @types = types
+      end
+
+      def check(value)
+        if @types.any? { |t| t.check(value).success? }
+          Result::Success
+        else
+          Result::Failure.new("Expected #{value.inspect} to be within types: #{@types.inspect}")
+        end
+      end
+    end
+  end
+end

data/thy.gemspec

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+lib = File.expand_path('lib', __dir__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+
+Gem::Specification.new do |spec|
+  spec.name          = 'thy'
+  spec.version       = '0.1.0'
+  spec.authors       = ['Alexander Komarov <ak@akxcv.com>']
+  spec.email         = ['ak@akxcv.com']
+
+  spec.summary       = 'A minimal, strict runtime type system'
+  spec.description   = '@see summary'
+  spec.homepage      = 'https://github.com/akxcv/thy'
+  spec.license       = 'MIT'
+
+  spec.files         = Dir.chdir(File.expand_path(__dir__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = 'exe'
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ['lib']
+
+  spec.add_development_dependency 'bundler', '~> 2.0'
+  spec.add_development_dependency 'rake', '~> 10.0'
+  spec.add_development_dependency 'rspec', '~> 3.0'
+  spec.add_development_dependency 'armitage-rubocop'
+  spec.add_development_dependency 'pry'
+end

metadata

@@ -0,0 +1,143 @@
+--- !ruby/object:Gem::Specification
+name: thy
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Alexander Komarov <ak@akxcv.com>
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2019-09-28 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: armitage-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'
+- !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'
+description: "@see summary"
+email:
+- ak@akxcv.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".rubocop.yml"
+- ".travis.yml"
+- Gemfile
+- Gemfile.lock
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- lib/thy.rb
+- lib/thy/result/failure.rb
+- lib/thy/result/success.rb
+- lib/thy/type.rb
+- lib/thy/types/array.rb
+- lib/thy/types/boolean.rb
+- lib/thy/types/enum.rb
+- lib/thy/types/float.rb
+- lib/thy/types/hash.rb
+- lib/thy/types/integer.rb
+- lib/thy/types/map.rb
+- lib/thy/types/numeric.rb
+- lib/thy/types/option.rb
+- lib/thy/types/string.rb
+- lib/thy/types/symbol.rb
+- lib/thy/types/untyped_array.rb
+- lib/thy/types/untyped_hash.rb
+- lib/thy/types/variant.rb
+- thy.gemspec
+homepage: https://github.com/akxcv/thy
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+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.0.3
+signing_key: 
+specification_version: 4
+summary: A minimal, strict runtime type system
+test_files: []