axiom-types 0.0.3 → 0.0.4

checksums.yaml

@@ -0,0 +1,15 @@
+---
+!binary "U0hBMQ==":
+  metadata.gz: !binary |-
+    ODM0YjEzMzYzZTYwY2JhYTg5ZDQwNDRiNGJjZjMzOWEzNDljMTkzYw==
+  data.tar.gz: !binary |-
+    NTQ1ZjM0ODk1NzA0OThmYzAyYWM1MmMxN2E5MGRmZjkxNWRjODA0Zg==
+SHA512:
+  metadata.gz: !binary |-
+    ZTlhM2FmMWM4MTY1NmI5MDc2ZDc4MjYxMGRkNzIyNDRkYzJiMGVlMDkzN2I3
+    Yjk0MDEwZmI2NzIzMzNhYTczYWJlYzZlZTRiNDcwYjVmYmY2ZjA0MGY1Mjg3
+    YmFmYjYyNTk5ODEzYmVkMjI0MDdmZDYyZDA4MWJiNjAzMjFhZjE=
+  data.tar.gz: !binary |-
+    ZGY5ZjFiYjlhN2E2ZjRkMTYxZjdjMTI1ZjA5MGE3Y2EzODIwNTlmMmNkMzE5
+    NjliMzg5Y2U3MDQ3MGRkNzMzNmE0YzgyMzYzM2UzMDgxYzQxNjY3MDFlNmY3
+    Y2FmYmEwMzZjOWM3ZWYxZTZhMmU4N2Q1YWFmMGI1OWY5NTg2ZDk=

data/Gemfile.devtools

@@ -7,7 +7,7 @@ group :development do
 end
 
 group :yard do
-  gem 'kramdown', '~> 1.1.0'
+  gem 'kramdown', '~> 1.2.0'
 end
 
 group :guard do
@@ -34,7 +34,7 @@ group :metrics do
   gem 'flay',      '~> 2.4.0'
   gem 'flog',      '~> 4.1.1'
   gem 'reek',      '~> 1.3.2'
-  gem 'rubocop',   '~> 0.11.0'
+  gem 'rubocop',   '~> 0.13.0'
   gem 'simplecov', '~> 0.7.1'
   gem 'yardstick', '~> 0.9.7', git: 'https://github.com/dkubb/yardstick.git'
 

data/config/flay.yml

@@ -1,3 +1,3 @@
 ---
 threshold: 19
-total_score: 142
+total_score: 155

data/lib/axiom/types.rb

@@ -16,10 +16,10 @@ module Axiom
     Undefined = Object.new.freeze
 
     # A true proposition
-    Tautology = proc { true }.freeze
+    Tautology = ->(_value) { true }.freeze
 
     # A false proposition
-    Contradiction = proc { false }.freeze
+    Contradiction = ->(_value) { true }.freeze
 
     # Cache the type inference lookup by object
     @inference_cache = Hash.new do |cache, object|

data/lib/axiom/types/collection.rb

@@ -61,6 +61,18 @@ module Axiom
         super
       end
 
+      # Test if the type matches a primitive class
+      #
+      # @param [Object] object
+      #
+      # @return [Boolean]
+      #
+      # @api private
+      def self.match_primitive?(*)
+        super && member_type.equal?(Object)
+      end
+      private_class_method :match_primitive?
+
       # Infer the type from a primitive instance
       #
       # @param [Object] object

data/lib/axiom/types/hash.rb

@@ -47,6 +47,18 @@ module Axiom
         super
       end
 
+      # Test if the type matches a primitive class
+      #
+      # @param [Object] object
+      #
+      # @return [Boolean]
+      #
+      # @api private
+      def self.match_primitive?(*)
+        super && key_type.equal?(Object) && value_type.equal?(Object)
+      end
+      private_class_method :match_primitive?
+
       # Infer the type from a primitive instance
       #
       # @param [Object] object
@@ -77,9 +89,8 @@ module Axiom
       #
       # @api private
       def self.infer_from(key_type, value_type)
-        if self.key_type.equal?(key_type) && self.value_type.equal?(value_type)
-          self
-        end
+        self if self.key_type.equal?(key_type) &&
+                self.value_type.equal?(value_type)
       end
       private_class_method :infer_from
 

data/lib/axiom/types/object.rb

@@ -48,11 +48,23 @@ module Axiom
       #
       # @api private
       def self.infer_from_primitive_class(object)
-        self if object.respond_to?(:ancestors) &&
-                object.ancestors.include?(primitive)
+        self if match_primitive?(object)
       end
       private_class_method :infer_from_primitive_class
 
+      # Test if the type matches a primitive class
+      #
+      # @param [Object] object
+      #
+      # @return [Boolean]
+      #
+      # @api private
+      def self.match_primitive?(object)
+        object.respond_to?(:ancestors) &&
+        object.ancestors.include?(primitive)
+      end
+      private_class_method :match_primitive?
+
       # Add a constraint for the primitive
       #
       # @return [undefined]

data/lib/axiom/types/type.rb

@@ -88,7 +88,7 @@ module Axiom
       # Add a constraint to the type
       #
       # @example with an argument
-      #   type.constraint(lambda { |object| object == 42 }
+      #   type.constraint(->(object) { object == 42 }
       #
       # @example with a block
       #   type.constraint { |object| object == 42 }

data/lib/axiom/types/version.rb

@@ -4,7 +4,7 @@ module Axiom
   module Types
 
     # Gem version
-    VERSION = '0.0.3'.freeze
+    VERSION = '0.0.4'.freeze
 
   end # module Types
 end # module Axiom

data/spec/spec_helper.rb

@@ -1,7 +1,5 @@
 # encoding: utf-8
 
-require 'devtools/spec_helper'
-
 if ENV['COVERAGE'] == 'true'
   require 'simplecov'
   require 'coveralls'
@@ -12,22 +10,21 @@ if ENV['COVERAGE'] == 'true'
   ]
 
   SimpleCov.start do
-    command_name     'spec:unit'
-    add_filter       'config'
-    add_filter       'spec'
+    command_name 'spec:unit'
+
+    add_filter 'config'
+    add_filter 'spec'
+    add_filter 'vendor'
+
     minimum_coverage 100
   end
 end
 
+require 'devtools/spec_helper'
 require 'axiom-types'
 
 include Axiom::Types
 
-# Require spec support files and shared behavior
-Dir[File.expand_path('../{support,shared}/**/*.rb', __FILE__)].each do |file|
-  require file.chomp('.rb')
-end
-
 RSpec.configure do |config|
   config.expect_with :rspec do |expect_with|
     expect_with.syntax = :expect

data/spec/unit/axiom/types/array/class_methods/infer_spec.rb

@@ -9,6 +9,12 @@ describe Axiom::Types::Array, '.infer' do
     object.finalize
   end
 
+  before do
+    # Initialize a custom type that will be used if the class lookup does not
+    # restrict matching to only types with an Object member_type
+    Axiom::Types.infer(Array[Float])
+  end
+
   context 'with Axiom::Types::Array' do
     let(:object) { described_class }
 

data/spec/unit/axiom/types/collection/class_methods/infer_spec.rb

@@ -9,6 +9,12 @@ describe Axiom::Types::Collection, '.infer' do
     object.finalize
   end
 
+  before do
+    # Initialize a custom type that will be used if the class lookup does not
+    # restrict matching to only types with an Object member_type
+    Axiom::Types.infer(SortedSet[Float])
+  end
+
   context 'with a base class' do
     let(:object) do
       Class.new(described_class) do

data/spec/unit/axiom/types/hash/class_methods/infer_spec.rb

@@ -9,6 +9,13 @@ describe Axiom::Types::Hash, '.infer' do
     object.finalize
   end
 
+  before do
+    # Initialize custom types that will be used if the class lookup does not
+    # restrict matching to only types with an Object key and value types
+    Axiom::Types.infer(Hash[Object => Float])
+    Axiom::Types.infer(Hash[Float  => Object])
+  end
+
   context 'with Axiom::Types::Hash' do
     let(:object) { described_class }
 

data/spec/unit/axiom/types/set/class_methods/infer_spec.rb

@@ -9,6 +9,12 @@ describe Axiom::Types::Set, '.infer' do
     object.finalize
   end
 
+  before do
+    # Initialize a custom type that will be used if the class lookup does not
+    # restrict matching to only types with an Object member_type
+    Axiom::Types.infer(Set[Float])
+  end
+
   context 'with Axiom::Types::Set' do
     let(:object) { described_class }
 

metadata

@@ -1,20 +1,18 @@
 --- !ruby/object:Gem::Specification
 name: axiom-types
 version: !ruby/object:Gem::Version
-  version: 0.0.3
-  prerelease: 
+  version: 0.0.4
 platform: ruby
 authors:
 - Dan Kubb
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-08-22 00:00:00.000000000 Z
+date: 2013-09-29 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: descendants_tracker
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -22,7 +20,6 @@ dependencies:
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -30,7 +27,6 @@ dependencies:
 - !ruby/object:Gem::Dependency
   name: ice_nine
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -38,7 +34,6 @@ dependencies:
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -46,7 +41,6 @@ dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -57,7 +51,6 @@ dependencies:
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -156,27 +149,26 @@ files:
 homepage: https://github.com/dkubb/axiom-types
 licenses:
 - MIT
+metadata: {}
 post_install_message: 
 rdoc_options: []
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
   - - ! '>='
     - !ruby/object:Gem::Version
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
   - - ! '>='
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 1.8.23
+rubygems_version: 2.1.1
 signing_key: 
-specification_version: 3
+specification_version: 4
 summary: Define types with optional constraints for use within axiom and other libraries.
 test_files:
 - spec/unit/axiom/types/array/class_methods/infer_spec.rb