axiom-types 0.0.2 → 0.0.3

data/spec/unit/axiom/types/object/class_methods/coercion_method_spec.rb

@@ -20,8 +20,8 @@ describe Axiom::Types::Object, '.coercion_method' do
     it_should_behave_like 'a command method'
 
     it 'sets the coercion_method' do
-      expect { subject }.to change { object.coercion_method }.
-        from(coercion_method).to(symbol)
+      expect { subject }.to change { object.coercion_method }
+        .from(coercion_method).to(symbol)
     end
   end
 end

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

@@ -1,7 +1,6 @@
 # encoding: utf-8
 
 require 'spec_helper'
-require 'backports/basic_object' unless defined?(::BasicObject)
 
 describe Axiom::Types::Object, '.infer' do
   subject { object.infer(arg) }
@@ -29,6 +28,13 @@ describe Axiom::Types::Object, '.infer' do
   Axiom::Types::Object.descendants.each do |descendant|
     primitive = descendant.primitive
 
+    context "when the argument is #{descendant}" do
+      let(:object) { descendant }
+      let(:arg)    { object     }
+
+      it { should be(object) }
+    end
+
     context "when the argument is ::#{primitive}" do
       let(:arg) { primitive }
 
@@ -44,6 +50,12 @@ describe Axiom::Types::Object, '.infer' do
     end
   end
 
+  context 'when the argument is an object instance' do
+    let(:arg) { ::Object.new }
+
+    it { should be_nil }
+  end
+
   context 'when the argument is nil' do
     let(:arg) { nil }
 

data/spec/unit/axiom/types/object/class_methods/primitive_spec.rb

@@ -3,8 +3,8 @@
 require 'spec_helper'
 
 describe Axiom::Types::Object, '.primitive' do
-  let(:object)    { Class.new(described_class)                      }
-  let(:primitive) { RUBY_VERSION < '1.9' ? ::Object : ::BasicObject }
+  let(:object)    { Class.new(described_class) }
+  let(:primitive) { ::BasicObject              }
 
   context 'with no arguments' do
     subject { object.primitive }
@@ -20,8 +20,8 @@ describe Axiom::Types::Object, '.primitive' do
     it_should_behave_like 'a command method'
 
     it 'sets the primitive' do
-      expect { subject }.to change { object.primitive.object_id }.
-        from(primitive.object_id).to(klass.object_id)
+      expect { subject }.to change { object.primitive.object_id }
+        .from(primitive.object_id).to(klass.object_id)
     end
   end
 end

data/spec/unit/axiom/types/options/accept_options_spec.rb

@@ -9,7 +9,7 @@ describe Axiom::Types::Options, '#accept_options' do
   let(:descendant) { Class.new(object)                                }
 
   context 'with valid options' do
-    let(:new_options) { [ :primitive, :coerce_method ] }
+    let(:new_options) { [:primitive, :coerce_method] }
 
     it_should_behave_like 'a command method'
     it_should_behave_like 'an idempotent method'
@@ -20,10 +20,18 @@ describe Axiom::Types::Options, '#accept_options' do
       expect(object).to respond_to(*new_options)
     end
 
+    it 'defines the instance variables for the options' do
+      subject
+      expect(object.instance_variable_defined?(:@primitive)).to be(true)
+      expect(object.instance_variable_defined?(:@coerce_method)).to be(true)
+    end
+
     it 'adds methods to the object that can set a value' do
       subject
-      object.primitive(::Symbol)
-      expect(object.primitive).to be(::Symbol)
+      expect { object.primitive(Class) }
+        .to change(object, :primitive).from(nil).to(Class)
+      expect { object.coerce_method(:to_class) }
+        .to change(object, :coerce_method).from(nil).to(:to_class)
     end
 
     context 'with the descendant class' do
@@ -86,7 +94,7 @@ describe Axiom::Types::Options, '#accept_options' do
   end
 
   context 'with an option that conflicts with an existing method' do
-    let(:new_options) { [ :name ] }
+    let(:new_options) { [:name] }
 
     specify do
       expect { subject }.to raise_error(

data/spec/unit/axiom/types/options/inherited_spec.rb

@@ -21,44 +21,18 @@ describe Axiom::Types::Options, '#inherited' do
     Class.new(object)
   end
 
-  context 'when the option is not set' do
-    it 'delegates to the ancestor' do
-      ancestor.should_receive(:inherited).twice
-      subject
-    end
-
-    it 'adds the accepted option to the descendant' do
-      subject
-      expect(descendant).to respond_to(:primitive, :coerce_method)
-    end
-
-    it 'sets the default value for the descendant' do
-      subject
-      expect(descendant.primitive).to be(::String)
-    end
+  it 'delegates to the ancestor' do
+    ancestor.should_receive(:inherited).twice
+    subject
   end
 
-  context 'when the option is set' do
-    before do
-      def ancestor.inherited(descendant)
-        # set the option explicitly
-        descendant.instance_variable_set(:@primitive, ::Integer)
-      end
-    end
-
-    it 'delegates to the ancestor' do
-      ancestor.should_receive(:inherited).twice
-      subject
-    end
-
-    it 'adds the accepted option to the descendant' do
-      subject
-      expect(descendant).to respond_to(:primitive, :coerce_method)
-    end
+  it 'adds the accepted option to the descendant' do
+    subject
+    expect(descendant).to respond_to(:primitive, :coerce_method)
+  end
 
-    it 'does not set the value for the descendant when not set' do
-      subject
-      expect(descendant.primitive).to be(::Integer)
-    end
+  it 'sets the default value for the descendant' do
+    subject
+    expect(descendant.primitive).to be(::String)
   end
 end

data/spec/unit/axiom/types/type/class_methods/constraint_spec.rb

@@ -5,13 +5,8 @@ require 'spec_helper'
 describe Axiom::Types::Type, '.constraint' do
   let(:object) { Class.new(described_class) }
 
-  let(:callable) do
-    lambda { |number| number > 1 }
-  end
-
-  let(:other) do
-    lambda { |number| number < 3 }
-  end
+  let(:callable) { ->(number) { number > 1 } }
+  let(:other)    { ->(number) { number < 3 } }
 
   context 'with no arguments or block' do
     subject { object.constraint }
@@ -27,7 +22,7 @@ describe Axiom::Types::Type, '.constraint' do
 
     its(:constraint) { should respond_to(:call) }
 
-    it 'creates a constraint that matches a number greater than 1' do
+    it 'creates a constraint that matches a number > 1' do
       expect(object).to include(1)
       expect(object).to include(2)
       expect(object).to include(3)
@@ -44,7 +39,7 @@ describe Axiom::Types::Type, '.constraint' do
 
       its(:constraint) { should respond_to(:call) }
 
-      it 'creates a constraint that matches a number greater than 1 and less than 3' do
+      it 'creates a constraint that matches a number > 1 and < 3' do
         expect(object).to include(1)
         expect(object).to include(2)
         expect(object).to include(3)
@@ -63,7 +58,7 @@ describe Axiom::Types::Type, '.constraint' do
 
     its(:constraint) { should respond_to(:call) }
 
-    it 'creates a constraint that matches a number greater than 1' do
+    it 'creates a constraint that matches a number > 1' do
       expect(object).to include(1)
       expect(object).to include(2)
       expect(object).to include(3)
@@ -80,7 +75,7 @@ describe Axiom::Types::Type, '.constraint' do
 
       its(:constraint) { should respond_to(:call) }
 
-      it 'creates a constraint that matches a number greater than 1 and less than 3' do
+      it 'creates a constraint that matches a number > 1 and < 3' do
         expect(object).to include(1)
         expect(object).to include(2)
         expect(object).to include(3)

data/spec/unit/axiom/types/type/class_methods/include_predicate_spec.rb

@@ -5,20 +5,20 @@ require 'spec_helper'
 describe Axiom::Types::Type, '.include?' do
   subject { object.include?(value) }
 
-  let(:value) { Object.new }
+  let(:object) do
+    Class.new(described_class) do
+      constraint(->(object) { !object.nil? })
+    end
+  end
 
   context 'when the value matches the type constraint' do
-    let(:object) { Class.new(described_class) }
+    let(:value) { Object.new }
 
     it { should be(true) }
   end
 
   context 'when the value does not match the type constraint' do
-    let(:object) do
-      Class.new(described_class) do
-        constraint(proc { false })
-      end
-    end
+    let(:value) { nil }
 
     it { should be(false) }
   end

data/spec/unit/axiom/types/type/class_methods/includes_spec.rb

@@ -8,8 +8,8 @@ describe Axiom::Types::Type, '.includes' do
   let(:object) { Class.new(described_class) }
 
   context 'with a non-empty list' do
-    let(:member)  { Object.new         }
-    let(:members) { [ member, member ] }
+    let(:member)  { Object.new       }
+    let(:members) { [member, member] }
 
     it_should_behave_like 'a command method'
 

data/spec/unit/axiom/types/value_comparable/class_methods/extended_spec.rb

@@ -9,24 +9,33 @@ describe Axiom::Types::ValueComparable, '.extended' do
 
   it 'delegates to the ancestor' do
     # RSpec will reset stubbed methods after the example. A normal expectation
-    # causes a SystemStackError to be thrown, so we stub it first so that RSpec
-    # tracks the original method (if any), then we add our own stub that
-    # actually works, and finally when the example finishes RSpec will reset the
-    # Module#extended method back to it's original state.
+    # causes a SystemStackError to be thrown, so we stub it first so that
+    # RSpec tracks the original method (if any), then we add our own stub that
+    # actually works, and finally when the example finishes RSpec will reset
+    # the Module#extended method back to it's original state.
     Module.any_instance.stub(:extended).with(object)
 
     delegated_ancestor = false
+    Module.send(:undef_method, :extended)
     Module.send(:define_method, :extended) { |_| delegated_ancestor = true }
     expect { subject }.to change { delegated_ancestor }.from(false).to(true)
   end
 
   it 'adds minimum method' do
-    expect { subject }.to change { object.respond_to?(:minimum) }.
-      from(false).to(true)
+    expect { subject }.to change { object.respond_to?(:minimum) }
+      .from(false).to(true)
   end
 
   it 'adds maxumum method' do
-    expect { subject }.to change { object.respond_to?(:maximum) }.
-      from(false).to(true)
+    expect { subject }.to change { object.respond_to?(:maximum) }
+      .from(false).to(true)
+  end
+
+  it 'does not set the default minimum' do
+    expect(subject.minimum).to be_nil
+  end
+
+  it 'does not set the default maximum' do
+    expect(subject.maximum).to be_nil
   end
 end

metadata

@@ -1,38 +1,20 @@
 --- !ruby/object:Gem::Specification
 name: axiom-types
 version: !ruby/object:Gem::Version
-  version: 0.0.2
+  version: 0.0.3
+  prerelease: 
 platform: ruby
 authors:
 - Dan Kubb
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-06-27 00:00:00.000000000 Z
+date: 2013-08-22 00:00:00.000000000 Z
 dependencies:
-- !ruby/object:Gem::Dependency
-  name: backports
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: '3.3'
-    - - '>='
-      - !ruby/object:Gem::Version
-        version: 3.3.2
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: '3.3'
-    - - '>='
-      - !ruby/object:Gem::Version
-        version: 3.3.2
 - !ruby/object:Gem::Dependency
   name: descendants_tracker
   requirement: !ruby/object:Gem::Requirement
+    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -40,6 +22,7 @@ dependencies:
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
+    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
@@ -47,35 +30,39 @@ dependencies:
 - !ruby/object:Gem::Dependency
   name: ice_nine
   requirement: !ruby/object:Gem::Requirement
+    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.8.0
+        version: '0.9'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
+    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.8.0
+        version: '0.9'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
+    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
         version: '1.3'
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: 1.3.5
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
+    none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
         version: '1.3'
-    - - '>='
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: 1.3.5
 description: Abstract types for logic programming
@@ -107,6 +94,7 @@ files:
 - config/mutant.yml
 - config/reek.yml
 - config/roodi.yml
+- config/rubocop.yml
 - config/yardstick.yml
 - lib/axiom-types.rb
 - lib/axiom/types.rb
@@ -126,6 +114,7 @@ files:
 - lib/axiom/types/object.rb
 - lib/axiom/types/set.rb
 - lib/axiom/types/string.rb
+- lib/axiom/types/support/infinity.rb
 - lib/axiom/types/support/options.rb
 - lib/axiom/types/symbol.rb
 - lib/axiom/types/time.rb
@@ -143,8 +132,12 @@ files:
 - spec/unit/axiom/types/encodable/finalize_spec.rb
 - spec/unit/axiom/types/hash/class_methods/finalize_spec.rb
 - spec/unit/axiom/types/hash/class_methods/infer_spec.rb
+- spec/unit/axiom/types/infinity/class_methods/coerce_spec.rb
+- spec/unit/axiom/types/infinity/class_methods/spaceship_operator_spec.rb
+- spec/unit/axiom/types/infinity/class_methods/succ_spec.rb
 - spec/unit/axiom/types/length_comparable/class_methods/extended_spec.rb
 - spec/unit/axiom/types/length_comparable/finalize_spec.rb
+- spec/unit/axiom/types/negative_infinity/class_methods/spaceship_operator_spec.rb
 - spec/unit/axiom/types/object/class_methods/coercion_method_spec.rb
 - spec/unit/axiom/types/object/class_methods/finalize_spec.rb
 - spec/unit/axiom/types/object/class_methods/infer_spec.rb
@@ -163,26 +156,27 @@ 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: 2.0.3
+rubygems_version: 1.8.23
 signing_key: 
-specification_version: 4
+specification_version: 3
 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
@@ -195,8 +189,12 @@ test_files:
 - spec/unit/axiom/types/encodable/finalize_spec.rb
 - spec/unit/axiom/types/hash/class_methods/finalize_spec.rb
 - spec/unit/axiom/types/hash/class_methods/infer_spec.rb
+- spec/unit/axiom/types/infinity/class_methods/coerce_spec.rb
+- spec/unit/axiom/types/infinity/class_methods/spaceship_operator_spec.rb
+- spec/unit/axiom/types/infinity/class_methods/succ_spec.rb
 - spec/unit/axiom/types/length_comparable/class_methods/extended_spec.rb
 - spec/unit/axiom/types/length_comparable/finalize_spec.rb
+- spec/unit/axiom/types/negative_infinity/class_methods/spaceship_operator_spec.rb
 - spec/unit/axiom/types/object/class_methods/coercion_method_spec.rb
 - spec/unit/axiom/types/object/class_methods/finalize_spec.rb
 - spec/unit/axiom/types/object/class_methods/infer_spec.rb