qrb 0.2.0 → 0.3.0

data/spec/unit/type/any_type/test_default_name.rb

@@ -0,0 +1,12 @@
+require 'spec_helper'
+module Qrb
+  describe AnyType, "default_name" do
+
+    let(:type){ AnyType.new }
+
+    it 'uses Any' do
+      type.default_name.should eq("Any")
+    end
+
+  end
+end

data/spec/unit/type/any_type/test_dress.rb

@@ -0,0 +1,22 @@
+require 'spec_helper'
+module Qrb
+  describe AnyType, "dress" do
+
+    let(:type){ AnyType.new }
+
+    subject{ type.dress(arg) }
+
+    context 'with nil' do
+      let(:arg){ nil }
+
+      it{ should be(arg) }
+    end
+
+    context 'with a Float' do
+      let(:arg){ 12.0 }
+
+      it{ should be(arg) }
+    end
+
+  end
+end

data/spec/unit/type/any_type/test_equality.rb

@@ -0,0 +1,26 @@
+require 'spec_helper'
+module Qrb
+  describe AnyType, "equality" do
+
+    let(:anyType) { AnyType.new }
+    let(:anyType2){ AnyType.new("foo") }
+    let(:fltType) { BuiltinType.new(Float)   }
+
+    it 'should apply structural equality' do
+      (anyType == anyType2).should be_true
+    end
+
+    it 'should apply distinguish different types' do
+      (anyType == fltType).should be_false
+    end
+
+    it 'should be a total function, with nil for non types' do
+      (anyType == 12).should be_false
+    end
+
+    it 'should implement hash accordingly' do
+      (anyType.hash == anyType2.hash).should be_true
+    end
+
+  end
+end

data/spec/unit/type/any_type/test_include.rb

@@ -0,0 +1,22 @@
+require 'spec_helper'
+module Qrb
+  describe AnyType, "include?" do
+
+    let(:type){ AnyType.new }
+
+    subject{ type.include?(arg) }
+
+    context 'with nil' do
+      let(:arg){ nil }
+
+      it{ should be_true }
+    end
+
+    context 'when an Integer' do
+      let(:arg){ 12 }
+
+      it{ should be_true }
+    end
+
+  end
+end

data/spec/unit/type/any_type/test_initialize.rb

@@ -0,0 +1,10 @@
+require 'spec_helper'
+module Qrb
+  describe AnyType, "initialize" do
+
+    let(:type){ AnyType.new }
+
+    it{ should be_a(AnyType) }
+
+  end
+end

data/spec/unit/type/any_type/test_name.rb

@@ -0,0 +1,24 @@
+require 'spec_helper'
+module Qrb
+  describe AnyType, "name" do
+
+    subject{ type.name }
+
+    context 'when not provided' do
+      let(:type){ AnyType.new }
+
+      it 'uses the default name' do
+        subject.should eq("Any")
+      end
+    end
+
+    context 'when provided' do
+      let(:type){ AnyType.new("foo") }
+
+      it 'uses the specified name' do
+        subject.should eq("foo")
+      end
+    end
+
+  end
+end

data/spec/unit/type_factory/dsl/test_adt.rb

@@ -5,8 +5,8 @@ module Qrb
     let(:factory){ TypeFactory.new }
 
     let(:contracts){
-      { rgb: [intType,   Color.method(:rgb) ],
-        hex: [floatType, Color.method(:hex) ]}
+      { rgb: [intType,   Color.method(:rgb), Qrb::IDENTITY ],
+        hex: [floatType, Color.method(:hex), Qrb::IDENTITY ]}
     }
 
     shared_examples_for "The <Color> type" do

data/spec/unit/type_factory/dsl/test_any.rb

@@ -0,0 +1,28 @@
+require 'spec_helper'
+module Qrb
+  describe TypeFactory, "DSL#any" do
+
+    let(:factory){ TypeFactory.new }
+
+    context 'without a name' do
+      subject do
+        factory.any
+      end
+
+      it{ should be_a(AnyType) }
+    end
+
+    context 'with a name' do
+      subject do
+        factory.any("foo")
+      end
+
+      it{ should be_a(AnyType) }
+
+      it 'should have the name' do
+        subject.name.should eq('foo')
+      end
+    end
+
+  end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: qrb
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.3.0
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-03-04 00:00:00.000000000 Z
+date: 2014-03-09 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: citrus
@@ -50,6 +50,7 @@ files:
 - lib/qrb/support/type_factory.rb
 - lib/qrb/support.rb
 - lib/qrb/syntax/ad_type.rb
+- lib/qrb/syntax/any_type.rb
 - lib/qrb/syntax/attribute.rb
 - lib/qrb/syntax/builtin_type.rb
 - lib/qrb/syntax/constraint_def.rb
@@ -57,10 +58,13 @@ files:
 - lib/qrb/syntax/contract.rb
 - lib/qrb/syntax/definitions.rb
 - lib/qrb/syntax/expression.rb
+- lib/qrb/syntax/external_pair.rb
 - lib/qrb/syntax/heading.rb
+- lib/qrb/syntax/inline_pair.rb
 - lib/qrb/syntax/lambda_expr.rb
 - lib/qrb/syntax/named_constraint.rb
 - lib/qrb/syntax/q.citrus
+- lib/qrb/syntax/q.sexp
 - lib/qrb/syntax/relation_type.rb
 - lib/qrb/syntax/seq_type.rb
 - lib/qrb/syntax/set_type.rb
@@ -75,6 +79,7 @@ files:
 - lib/qrb/syntax.rb
 - lib/qrb/system.rb
 - lib/qrb/type/ad_type.rb
+- lib/qrb/type/any_type.rb
 - lib/qrb/type/builtin_type.rb
 - lib/qrb/type/relation_type.rb
 - lib/qrb/type/seq_type.rb
@@ -104,8 +109,10 @@ files:
 - spec/unit/heading/test_initialize.rb
 - spec/unit/heading/test_size.rb
 - spec/unit/heading/test_to_name.rb
+- spec/unit/qrb/test_ast.rb
 - spec/unit/qrb/test_parse.rb
 - spec/unit/syntax/nodes/test_ad_type.rb
+- spec/unit/syntax/nodes/test_any_type.rb
 - spec/unit/syntax/nodes/test_attribute.rb
 - spec/unit/syntax/nodes/test_builtin_type.rb
 - spec/unit/syntax/nodes/test_comment.rb
@@ -120,7 +127,10 @@ files:
 - spec/unit/syntax/nodes/test_set_type.rb
 - spec/unit/syntax/nodes/test_spacing.rb
 - spec/unit/syntax/nodes/test_sub_type.rb
+- spec/unit/syntax/nodes/test_system.rb
 - spec/unit/syntax/nodes/test_tuple_type.rb
+- spec/unit/syntax/nodes/test_type_def.rb
+- spec/unit/syntax/nodes/test_type_ref.rb
 - spec/unit/syntax/nodes/test_union_type.rb
 - spec/unit/syntax/nodes/test_unnamed_constraint.rb
 - spec/unit/syntax/test_compile_type.rb
@@ -136,6 +146,12 @@ files:
 - spec/unit/type/ad_type/test_include.rb
 - spec/unit/type/ad_type/test_initialize.rb
 - spec/unit/type/ad_type/test_name.rb
+- spec/unit/type/any_type/test_default_name.rb
+- spec/unit/type/any_type/test_dress.rb
+- spec/unit/type/any_type/test_equality.rb
+- spec/unit/type/any_type/test_include.rb
+- spec/unit/type/any_type/test_initialize.rb
+- spec/unit/type/any_type/test_name.rb
 - spec/unit/type/builtin_type/test_default_name.rb
 - spec/unit/type/builtin_type/test_dress.rb
 - spec/unit/type/builtin_type/test_equality.rb
@@ -179,6 +195,7 @@ files:
 - spec/unit/type/union_type/test_initialize.rb
 - spec/unit/type/union_type/test_name.rb
 - spec/unit/type_factory/dsl/test_adt.rb
+- spec/unit/type_factory/dsl/test_any.rb
 - spec/unit/type_factory/dsl/test_attribute.rb
 - spec/unit/type_factory/dsl/test_attributes.rb
 - spec/unit/type_factory/dsl/test_builtin.rb
@@ -209,7 +226,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
       segments:
       - 0
-      hash: 2788335618468865925
+      hash: -992957242747860523
 required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
   requirements:
@@ -218,7 +235,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
       segments:
       - 0
-      hash: 2788335618468865925
+      hash: -992957242747860523
 requirements: []
 rubyforge_project: 
 rubygems_version: 1.8.25
@@ -240,8 +257,10 @@ test_files:
 - spec/unit/heading/test_initialize.rb
 - spec/unit/heading/test_size.rb
 - spec/unit/heading/test_to_name.rb
+- spec/unit/qrb/test_ast.rb
 - spec/unit/qrb/test_parse.rb
 - spec/unit/syntax/nodes/test_ad_type.rb
+- spec/unit/syntax/nodes/test_any_type.rb
 - spec/unit/syntax/nodes/test_attribute.rb
 - spec/unit/syntax/nodes/test_builtin_type.rb
 - spec/unit/syntax/nodes/test_comment.rb
@@ -256,7 +275,10 @@ test_files:
 - spec/unit/syntax/nodes/test_set_type.rb
 - spec/unit/syntax/nodes/test_spacing.rb
 - spec/unit/syntax/nodes/test_sub_type.rb
+- spec/unit/syntax/nodes/test_system.rb
 - spec/unit/syntax/nodes/test_tuple_type.rb
+- spec/unit/syntax/nodes/test_type_def.rb
+- spec/unit/syntax/nodes/test_type_ref.rb
 - spec/unit/syntax/nodes/test_union_type.rb
 - spec/unit/syntax/nodes/test_unnamed_constraint.rb
 - spec/unit/syntax/test_compile_type.rb
@@ -272,6 +294,12 @@ test_files:
 - spec/unit/type/ad_type/test_include.rb
 - spec/unit/type/ad_type/test_initialize.rb
 - spec/unit/type/ad_type/test_name.rb
+- spec/unit/type/any_type/test_default_name.rb
+- spec/unit/type/any_type/test_dress.rb
+- spec/unit/type/any_type/test_equality.rb
+- spec/unit/type/any_type/test_include.rb
+- spec/unit/type/any_type/test_initialize.rb
+- spec/unit/type/any_type/test_name.rb
 - spec/unit/type/builtin_type/test_default_name.rb
 - spec/unit/type/builtin_type/test_dress.rb
 - spec/unit/type/builtin_type/test_equality.rb
@@ -315,6 +343,7 @@ test_files:
 - spec/unit/type/union_type/test_initialize.rb
 - spec/unit/type/union_type/test_name.rb
 - spec/unit/type_factory/dsl/test_adt.rb
+- spec/unit/type_factory/dsl/test_any.rb
 - spec/unit/type_factory/dsl/test_attribute.rb
 - spec/unit/type_factory/dsl/test_attributes.rb
 - spec/unit/type_factory/dsl/test_builtin.rb