uinit-type 0.1.0 → 0.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c8294bdb922588856e7af78dcd2820da93c237a00cd2db24e90133600610e8ae
-  data.tar.gz: 173370c0263e2b555b906947fabaa59956ec248b9ce022837b7869069239308e
+  metadata.gz: fb64282929e802a3990850303298f7ef0d760a4ba0de2f76238c7fcdae78be34
+  data.tar.gz: 56b41392670ebf1a6d75821dc35566efebc76237bc7f40add95a042208b873d4
 SHA512:
-  metadata.gz: 0ca2c4d8a705f0e5ef4eb5034355c870b5bb8fc479ce5a652034eb8b956d2350693ad6eaaf59f5ef79fac997c72bfcc92292b7460fbc55f4bce257d82329061c
-  data.tar.gz: 9cb5b519afd44840f88246be9c1052f3ea37bccd2100b23ff9192ad2ef3f0ebf931783fa1bf6de1f698035d5ce1fe6e8a3b67e3a90875594f01a720c6a681797
+  metadata.gz: 40959dc6b5d6eb837add87f3773d0b68bbb5763793454ec0a5efed2bb97a3a664e0fed858d35afc05b9729e32bc439ec59019c2cfca778a6bb2806d61ebedd36
+  data.tar.gz: cbc772cc6614ca3c8ad07293d3e0f0f50be232e6d7b85e35beeda0352a61b945fb9485e88f2e50bc16650f5b0a37c9b0bb0c15ce51437d243a06a019629ec830

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 typeof(type)
+        TypeOf.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/type_of.rb

@@ -0,0 +1,44 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class TypeOf < 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 or include or preprend #{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.2'
   end
 end

data/lib/uinit/type.rb

@@ -21,7 +21,7 @@ module Uinit
 
     def self.from(arg)
       klass =
-        [Base, Instance, ArrayOf, SetOf, HashOf, Check, Const].find do |type_class|
+        [Base, Instance, ArrayOf, SetOf, HashOf, Check, TypeOf, Const].find do |type_class|
           type_class.from?(arg)
         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.2
 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
@@ -106,7 +120,9 @@ files:
 - lib/uinit/type/instance.rb
 - lib/uinit/type/operators.rb
 - lib/uinit/type/set_of.rb
+- lib/uinit/type/type_of.rb
 - lib/uinit/type/version.rb
+- uinit-type.gemspec
 homepage: https://github.com/Kimoja/uinit-type
 licenses:
 - MIT