monkey_type 0.0.4

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 45353da6ea03574b9449b6528d1cb2b17a36a82b
+  data.tar.gz: 182c5e58931b9034cf2d6c19bdf2c91acc993200
+SHA512:
+  metadata.gz: c47abf0aeddc4084eb4dda9c07c93d5d56e48e6f80ff89ddc8008ea2b9eafaed8ed2ec05ad784c5b26e426b1ee1669255123e726bc0d948f400f395ebdadd28a
+  data.tar.gz: cd77a49238afa1b2e7fe7f7ce6253a8e4d0550040a46856e0e4e920a71f5970fd4b232291c685ef8e8b244dca2ae09f9ed2b2bb13791faac4a043d17e34c4e10

data/lib/monkey_type.rb

@@ -0,0 +1,71 @@
+module MonkeyType
+
+  refine Class do
+    def contract(method, type)
+      alias_method "#{method}_typeless" , "#{method}"
+
+      define_method "#{method}" do |*args|
+        returned = send("#{method}_typeless",*args)
+        unless returned.is_duck? type
+          raise TypeError, "returned value #{returned} is not #{type}"
+        end
+        returned
+      end
+    end
+  end
+
+  refine Object do
+    def is (type)
+      unless is_duck? type
+        raise TypeError, "error: #{self.class} is not an #{type}"
+      end
+    end
+
+    def is_duck?(type)
+
+      if type.is_a? Option
+        if self == nil then return true end
+        type = type.get_type
+      end
+
+      if type.is_a? Boolean
+        return self == true || self == false
+      end
+
+      if self.is_a? type then return true end
+
+      self_methods = self.methods
+      type.instance_methods.each do |method|
+        unless self_methods.include? method
+          return false
+        end
+      end
+
+      return true
+    end
+  end
+
+  refine Object do
+    def option(type)
+      MonkeyType::Option.new(type)
+    end
+
+    def boolean
+      MonkeyType::Boolean.new
+    end
+  end
+
+  class Option
+    def initialize(type)
+      @type = type
+    end
+
+    def get_type
+      @type
+    end
+  end
+
+  class Boolean
+  end
+
+end

metadata

@@ -0,0 +1,46 @@
+--- !ruby/object:Gem::Specification
+name: monkey_type
+version: !ruby/object:Gem::Version
+  version: 0.0.4
+platform: ruby
+authors:
+- Felipe Vieira
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-07-24 00:00:00.000000000 Z
+dependencies: []
+description: |-
+  Only 70 lines. Add a optional type system to ruby using runtime checks and contracts . make it crash early, know exactly what a function (or method)
+                    returns and specify the 'type' of the parameters using good old ducktyping
+email: felipetavres@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/monkey_type.rb
+homepage: https://github.com/nemoNoboru/monkey_type
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '2.0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.5.1
+signing_key: 
+specification_version: 4
+summary: A microgem thats adds a micro type system to ruby
+test_files: []