uinit-type 0.1.0 → 0.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c8294bdb922588856e7af78dcd2820da93c237a00cd2db24e90133600610e8ae
-  data.tar.gz: 173370c0263e2b555b906947fabaa59956ec248b9ce022837b7869069239308e
+  metadata.gz: 31a74587cea1d8bbf1d3e6e5d29850303c6ce319fadb0f9c6967d278040d12be
+  data.tar.gz: d671e387cc6793656a9f5b32c30aa5db37c6b9606df883b7c5788f9f72174361
 SHA512:
-  metadata.gz: 0ca2c4d8a705f0e5ef4eb5034355c870b5bb8fc479ce5a652034eb8b956d2350693ad6eaaf59f5ef79fac997c72bfcc92292b7460fbc55f4bce257d82329061c
-  data.tar.gz: 9cb5b519afd44840f88246be9c1052f3ea37bccd2100b23ff9192ad2ef3f0ebf931783fa1bf6de1f698035d5ce1fe6e8a3b67e3a90875594f01a720c6a681797
+  metadata.gz: a461fa8a15247c09336a8b4342f437e28ba509ca5ca00765abe77fe5c503804bf05797aa749bbe52cd4d67040c7e2306a468f2a16d68aef0122cb65ae022fd7a
+  data.tar.gz: 74aa457314cedb6ad1d9545112b2aae6cbeee66e47323e7d118386b7907b9e2accd4f8c41b2d036a91ee67faf3c817ea946709c809c6aa5cd106c03cd93f7705

data/README.md

@@ -1,35 +1,7 @@
 # Uinit::Type
 
-TODO: Delete this and the text below, and describe your gem
+Dynamic type checker
 
-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).
+## TODO 
+- type Map, an generic hash (key, value types)

data/lib/uinit/type/context.rb

@@ -10,6 +10,7 @@ module Uinit
       Float = Instance[Float].freeze
       Hsh = Instance[Hash].freeze
       Arr = Instance[Array].freeze
+      Sym = Instance[Symbol].freeze
 
       def array_of(type)
         ArrayOf.new(type)
@@ -47,6 +48,10 @@ module Uinit
         SetOf.new(type)
       end
 
+      def extends(type)
+        Extend.new(type)
+      end
+
       def nilable
         Nil
       end
@@ -79,6 +84,10 @@ module Uinit
       def array
         Arr
       end
+
+      def sym
+        Sym
+      end
     end
   end
 end

data/lib/uinit/type/extend.rb

@@ -0,0 +1,44 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Extend < Base
+      def self.from?(value)
+        value.is_a?(Class) || value.is_a?(Module)
+      end
+
+      def self.from(value)
+        new(value) if from?(value)
+      end
+
+      # TODO: Allow to pass Fn
+      def initialize(class_module)
+        super()
+
+        @class_module = class_module
+      end
+
+      attr_reader :class_module
+
+      def is?(value)
+        return false unless value.is_a?(Class) || value.is_a?(Module)
+
+        value.ancestors.include?(class_module)
+      end
+
+      def check!(value, depth)
+        unless value.is_a?(Class) || value.is_a?(Module)
+          type_error!("#{value.inspect} is not a Class or a Module", depth)
+        end
+
+        return value if value.ancestors.include?(class_module)
+
+        type_error!("#{value.inspect} does not extend #{class_module}", depth)
+      end
+
+      def inspect
+        "#{super}[#{class_module.inspect}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/version.rb

@@ -2,6 +2,6 @@
 
 module Uinit
   module Type
-    VERSION = '0.1.0'
+    VERSION = '0.1.1'
   end
 end

data/uinit-type.gemspec

@@ -0,0 +1,37 @@
+# frozen_string_literal: true
+
+lib = File.expand_path('lib', __dir__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+
+require 'uinit/type/version'
+
+Gem::Specification.new do |spec|
+  spec.name = 'uinit-type'
+  spec.version = Uinit::Type::VERSION
+  spec.authors = ['Kimoja']
+  spec.email = ['joakim.carrilho@cheerz.com']
+
+  spec.summary = 'Dynamic type checker'
+  spec.description = 'Dynamic type checker'
+  spec.homepage = 'https://github.com/Kimoja/uinit-type'
+  spec.license = 'MIT'
+  spec.required_ruby_version = '>= 3.2.1'
+  spec.files = Dir['CHANGELOG.md', 'LICENSE.txt', 'README.md', 'uinit-type.gemspec', 'lib/**/*']
+  spec.require_paths = ['lib']
+  spec.executables = []
+
+  spec.metadata['homepage_uri'] = spec.homepage
+  spec.metadata['allowed_push_host'] = 'https://rubygems.org'
+  spec.metadata['source_code_uri'] = 'https://github.com/Kimoja/uinit-type'
+  spec.metadata['changelog_uri'] = 'https://github.com/Kimoja/uinit-type/blob/main/CHANGELOG.md'
+  spec.metadata['bug_tracker_uri'] = 'https://github.com/Kimoja/uinit-type/issues'
+
+  spec.add_runtime_dependency 'zeitwerk', '~> 2.6'
+
+  spec.add_development_dependency 'bundler'
+  spec.add_development_dependency 'pry'
+  spec.add_development_dependency 'rspec'
+  spec.add_development_dependency 'rubocop'
+  spec.add_development_dependency 'rake'
+  spec.metadata['rubygems_mfa_required'] = 'true'
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: uinit-type
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.1.1
 platform: ruby
 authors:
 - Kimoja
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-05-08 00:00:00.000000000 Z
+date: 2024-09-18 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: zeitwerk
@@ -80,6 +80,20 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  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
@@ -98,6 +112,7 @@ files:
 - lib/uinit/type/const.rb
 - lib/uinit/type/context.rb
 - lib/uinit/type/error.rb
+- lib/uinit/type/extend.rb
 - lib/uinit/type/extensions.rb
 - lib/uinit/type/fn.rb
 - lib/uinit/type/generic.rb
@@ -107,6 +122,7 @@ files:
 - lib/uinit/type/operators.rb
 - lib/uinit/type/set_of.rb
 - lib/uinit/type/version.rb
+- uinit-type.gemspec
 homepage: https://github.com/Kimoja/uinit-type
 licenses:
 - MIT