axiom-types 0.0.1 → 0.0.2

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

@@ -0,0 +1,52 @@
+# encoding: utf-8
+
+require 'spec_helper'
+require 'backports/basic_object' unless defined?(::BasicObject)
+
+describe Axiom::Types::Object, '.infer' do
+  subject { object.infer(arg) }
+
+  let(:object) { described_class }
+
+  context 'when the argument is the type object' do
+    let(:arg) { object }
+
+    it { should be(object) }
+  end
+
+  context 'when the argument is ::BasicObject' do
+    let(:arg) { ::BasicObject }
+
+    it { should be(object) }
+  end
+
+  context 'when the argument is ::Object' do
+    let(:arg) { ::Object }
+
+    it { should be(object) }
+  end
+
+  Axiom::Types::Object.descendants.each do |descendant|
+    primitive = descendant.primitive
+
+    context "when the argument is ::#{primitive}" do
+      let(:arg) { primitive }
+
+      if primitive.instance_of?(::Module)
+        it 'does not match modules' do
+          should be_nil
+        end
+      else
+        it 'matches all classes' do
+          should be(object)
+        end
+      end
+    end
+  end
+
+  context 'when the argument is nil' do
+    let(:arg) { nil }
+
+    it { should be_nil }
+  end
+end

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

@@ -21,18 +21,44 @@ describe Axiom::Types::Options, '#inherited' do
     Class.new(object)
   end
 
-  it 'delegates to the ancestor' do
-    ancestor.should_receive(:inherited).twice
-    subject
-  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 'adds the accepted option to the descendant' do
-    subject
-    expect(descendant).to respond_to(:primitive, :coerce_method)
+    it 'sets the default value for the descendant' do
+      subject
+      expect(descendant.primitive).to be(::String)
+    end
   end
 
-  it 'sets the default value for the descendant' do
-    subject
-    expect(descendant.primitive).to be(::String)
+  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 'does not set the value for the descendant when not set' do
+      subject
+      expect(descendant.primitive).to be(::Integer)
+    end
   end
 end

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

@@ -0,0 +1,99 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::Set, '.infer' do
+  subject { object.infer(arg) }
+
+  before do
+    object.finalize
+  end
+
+  context 'with Axiom::Types::Set' do
+    let(:object) { described_class }
+
+    context 'when the argument is the type object' do
+      let(:arg) { object }
+
+      it { should be(object) }
+    end
+
+    context 'when the argument is ::Set' do
+      let(:arg) { ::Set }
+
+      it { should be(object) }
+    end
+
+    context 'when the argument is an empty Set' do
+      let(:arg) { ::Set[] }
+
+      it { should be(object) }
+    end
+
+    context 'when the argument is an Set with a type' do
+      let(:arg) { ::Set[object] }
+
+      its(:ancestors) { should include(object) }
+
+      its(:primitive) { should be(object.primitive) }
+
+      its(:member_type) { should be(object) }
+    end
+
+    context 'when the argument is an Set with a primitive' do
+      let(:arg) { ::Set[::Set] }
+
+      its(:ancestors) { should include(object) }
+
+      its(:primitive) { should be(object.primitive) }
+
+      its(:member_type) { should be(object) }
+    end
+
+    context 'when the argument is nil' do
+      let(:arg) { nil }
+
+      it { should be_nil }
+    end
+  end
+
+  context 'with Axiom::Types::Set subclass' do
+    let(:object) { Class.new(described_class) }
+
+    context 'when the argument is the type object' do
+      let(:arg) { object }
+
+      it { should be(object) }
+    end
+
+    context 'when the argument is ::Set' do
+      let(:arg) { ::Set }
+
+      it { should be(object) }
+    end
+
+    context 'when the argument is an empty Set' do
+      let(:arg) { ::Set[] }
+
+      it { should be(object) }
+    end
+
+    context 'when the argument is an Set with a type' do
+      let(:arg) { ::Set[object] }
+
+      it { should be_nil }
+    end
+
+    context 'when the argument is an Set with a primitive' do
+      let(:arg) { ::Set[::Set] }
+
+      it { should be_nil }
+    end
+
+    context 'when the argument is nil' do
+      let(:arg) { nil }
+
+      it { should be_nil }
+    end
+  end
+end

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

@@ -5,6 +5,14 @@ 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
+
   context 'with no arguments or block' do
     subject { object.constraint }
 
@@ -13,20 +21,74 @@ describe Axiom::Types::Type, '.constraint' do
   end
 
   context 'with a callable object' do
-    subject { object.constraint(Contradiction) }
+    subject { object.constraint(callable) }
 
     it_should_behave_like 'a command method'
 
     its(:constraint) { should respond_to(:call) }
-    its(:constraint) { should_not be(Tautology) }
+
+    it 'creates a constraint that matches a number greater than 1' do
+      expect(object).to include(1)
+      expect(object).to include(2)
+      expect(object).to include(3)
+      subject
+      expect(object).to_not include(1)
+      expect(object).to     include(2)
+      expect(object).to     include(3)
+    end
+
+    context 'with another constraint' do
+      subject { super().constraint(other) }
+
+      it_should_behave_like 'a command method'
+
+      its(:constraint) { should respond_to(:call) }
+
+      it 'creates a constraint that matches a number greater than 1 and less than 3' do
+        expect(object).to include(1)
+        expect(object).to include(2)
+        expect(object).to include(3)
+        subject
+        expect(object).to_not include(1)
+        expect(object).to     include(2)
+        expect(object).to_not include(3)
+      end
+    end
   end
 
   context 'with a block' do
-    subject { object.constraint { false } }
+    subject { object.constraint(&callable) }
 
     it_should_behave_like 'a command method'
 
     its(:constraint) { should respond_to(:call) }
-    its(:constraint) { should_not be(Tautology) }
+
+    it 'creates a constraint that matches a number greater than 1' do
+      expect(object).to include(1)
+      expect(object).to include(2)
+      expect(object).to include(3)
+      subject
+      expect(object).to_not include(1)
+      expect(object).to     include(2)
+      expect(object).to     include(3)
+    end
+
+    context 'with another constraint' do
+      subject { super().constraint(&other) }
+
+      it_should_behave_like 'a command method'
+
+      its(:constraint) { should respond_to(:call) }
+
+      it 'creates a constraint that matches a number greater than 1 and less than 3' do
+        expect(object).to include(1)
+        expect(object).to include(2)
+        expect(object).to include(3)
+        subject
+        expect(object).to_not include(1)
+        expect(object).to     include(2)
+        expect(object).to_not include(3)
+      end
+    end
   end
 end

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

@@ -0,0 +1,25 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::Type, '.infer' do
+  subject { object.infer(arg) }
+
+  let(:object) { described_class }
+
+  context 'when the argument is the type object' do
+    let(:arg) { object }
+
+    it { should be(object) }
+  end
+
+  Axiom::Types::Type.descendants.each do |descendant|
+    context "when the argument is #{descendant}" do
+      let(:arg) { descendant }
+
+      it 'does not match any other type' do
+        should be_nil
+      end
+    end
+  end
+end

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

@@ -5,6 +5,10 @@ require 'spec_helper'
 describe Axiom::Types::Type, '.new' do
   let(:undefined) { Axiom::Types::Undefined }
 
+  before do
+    object.finalize
+  end
+
   context 'with no arguments' do
     subject { object.new }
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: axiom-types
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
 platform: ruby
 authors:
 - Dan Kubb
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-03-17 00:00:00.000000000 Z
+date: 2013-06-27 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: backports
@@ -16,20 +16,20 @@ dependencies:
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: '3.1'
-    - - ! '>='
+        version: '3.3'
+    - - '>='
       - !ruby/object:Gem::Version
-        version: 3.1.1
+        version: 3.3.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: '3.1'
-    - - ! '>='
+        version: '3.3'
+    - - '>='
       - !ruby/object:Gem::Version
-        version: 3.1.1
+        version: 3.3.2
 - !ruby/object:Gem::Dependency
   name: descendants_tracker
   requirement: !ruby/object:Gem::Requirement
@@ -50,56 +50,34 @@ dependencies:
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.7.0
+        version: 0.8.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.7.0
+        version: 0.8.0
 - !ruby/object:Gem::Dependency
-  name: rake
+  name: bundler
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 10.0.3
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: 10.0.3
-- !ruby/object:Gem::Dependency
-  name: rspec
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ~>
+        version: '1.3'
+    - - '>='
       - !ruby/object:Gem::Version
-        version: 2.13.0
+        version: 1.3.5
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 2.13.0
-- !ruby/object:Gem::Dependency
-  name: yard
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: 0.8.5
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ~>
+        version: '1.3'
+    - - '>='
       - !ruby/object:Gem::Version
-        version: 0.8.5
+        version: 1.3.5
 description: Abstract types for logic programming
 email: dan.kubb@gmail.com
 executables: []
@@ -111,9 +89,10 @@ extra_rdoc_files:
 files:
 - .gitignore
 - .rspec
-- .rvmrc
+- .ruby-gemset
 - .travis.yml
 - .yardopts
+- CONTRIBUTING.md
 - Gemfile
 - Gemfile.devtools
 - Guardfile
@@ -122,6 +101,7 @@ files:
 - Rakefile
 - TODO
 - axiom-types.gemspec
+- config/devtools.yml
 - config/flay.yml
 - config/flog.yml
 - config/mutant.yml
@@ -133,6 +113,7 @@ files:
 - lib/axiom/types/array.rb
 - lib/axiom/types/boolean.rb
 - lib/axiom/types/class.rb
+- lib/axiom/types/collection.rb
 - lib/axiom/types/date.rb
 - lib/axiom/types/date_time.rb
 - lib/axiom/types/decimal.rb
@@ -152,26 +133,36 @@ files:
 - lib/axiom/types/value_comparable.rb
 - lib/axiom/types/version.rb
 - spec/spec_helper.rb
+- spec/unit/axiom/types/array/class_methods/infer_spec.rb
+- spec/unit/axiom/types/boolean/class_methods/infer_spec.rb
 - spec/unit/axiom/types/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/class_methods/infer_spec.rb
+- spec/unit/axiom/types/collection/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/collection/class_methods/infer_spec.rb
 - spec/unit/axiom/types/encodable/class_methods/extended_spec.rb
 - 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/length_comparable/class_methods/extended_spec.rb
 - spec/unit/axiom/types/length_comparable/finalize_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
 - spec/unit/axiom/types/object/class_methods/primitive_spec.rb
 - spec/unit/axiom/types/options/accept_options_spec.rb
 - spec/unit/axiom/types/options/inherited_spec.rb
+- spec/unit/axiom/types/set/class_methods/infer_spec.rb
 - spec/unit/axiom/types/type/class_methods/constraint_spec.rb
 - spec/unit/axiom/types/type/class_methods/finalize_spec.rb
 - spec/unit/axiom/types/type/class_methods/include_predicate_spec.rb
 - spec/unit/axiom/types/type/class_methods/includes_spec.rb
+- spec/unit/axiom/types/type/class_methods/infer_spec.rb
 - spec/unit/axiom/types/type/class_methods/new_spec.rb
 - spec/unit/axiom/types/value_comparable/class_methods/extended_spec.rb
 - spec/unit/axiom/types/value_comparable/finalize_spec.rb
 homepage: https://github.com/dkubb/axiom-types
-licenses: []
+licenses:
+- MIT
 metadata: {}
 post_install_message: 
 rdoc_options: []
@@ -179,12 +170,12 @@ require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ! '>='
+  - - '>='
     - !ruby/object:Gem::Version
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ! '>='
+  - - '>='
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
@@ -192,23 +183,32 @@ rubyforge_project:
 rubygems_version: 2.0.3
 signing_key: 
 specification_version: 4
-summary: Abstract types for logic programming
+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
+- spec/unit/axiom/types/boolean/class_methods/infer_spec.rb
 - spec/unit/axiom/types/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/class_methods/infer_spec.rb
+- spec/unit/axiom/types/collection/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/collection/class_methods/infer_spec.rb
 - spec/unit/axiom/types/encodable/class_methods/extended_spec.rb
 - 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/length_comparable/class_methods/extended_spec.rb
 - spec/unit/axiom/types/length_comparable/finalize_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
 - spec/unit/axiom/types/object/class_methods/primitive_spec.rb
 - spec/unit/axiom/types/options/accept_options_spec.rb
 - spec/unit/axiom/types/options/inherited_spec.rb
+- spec/unit/axiom/types/set/class_methods/infer_spec.rb
 - spec/unit/axiom/types/type/class_methods/constraint_spec.rb
 - spec/unit/axiom/types/type/class_methods/finalize_spec.rb
 - spec/unit/axiom/types/type/class_methods/include_predicate_spec.rb
 - spec/unit/axiom/types/type/class_methods/includes_spec.rb
+- spec/unit/axiom/types/type/class_methods/infer_spec.rb
 - spec/unit/axiom/types/type/class_methods/new_spec.rb
 - spec/unit/axiom/types/value_comparable/class_methods/extended_spec.rb
 - spec/unit/axiom/types/value_comparable/finalize_spec.rb