type_constraints 0.0.1 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 1c09c6618b3335ab1fe15343695323df479d872d
-  data.tar.gz: 7bc2530f521a40381e98b600bcdcce3bf9d4a4cb
+  metadata.gz: d321d732d3d4087cda537651e00118b23d9337f6
+  data.tar.gz: bb47d587b09dd20882f273235a01fb66676c58c2
 SHA512:
-  metadata.gz: 28f2a447bf63a6e714ed7190094f5afac7a441a040ab6c547a59894b19c6733baa21a3ee2d6cdebd0847e914a7ff5e2207a6f3bb83b05ad51cd75c121ba64854
-  data.tar.gz: 331697c3de260279fbe87d0c3aecd400526bb46c564447385bf69425176f4728d5fdf7ec7f754dcef275e9958708d26b30269d4834a0a7802778ab6258459dea
+  metadata.gz: 28e407443eeb983a0f35409af49177b9ab417f7fabc813b1121a68a4a76d44cb82a54b20c3528fb5995f63885ac950712d62ef29acc6b9664dc9067fc056ced4
+  data.tar.gz: 71ce039bda02c0f5d9d0499f9e22c79d6295702d016db6aa327df96c75b150fd5791ede1917c91c4de94d81fa24ec153f7e2afab8216c3980a3fd1f9507cb85d

data/README.md

@@ -25,6 +25,7 @@ p TypeConstraints.check?(:Array, {}) #=> false
 puts "testing ArrayOfString"
 p TypeConstraints.check?(:ArrayOfString, ["1000", "2000"]) #=> true
 p TypeConstraints.check?(:ArrayOfString, [1000, 2000])     #=> false
+p TypeConstraints.check?(:ArrayOfString, {})               #=> false
 
 puts "testing ArrayOfHisa"
 p TypeConstraints.check?(:ArrayOfHisa, ["5518"]) #=> true
@@ -32,6 +33,35 @@ p TypeConstraints.check?(:ArrayOfHisa, ["hisa"]) #=> false
 p TypeConstraints.check?(:ArrayOfHisa, [5518])   #=> false
 ```
 
+## Default Type Constrains
+
+```ruby
+BasicObject
+  Object
+    Hash
+    Array
+    Method
+    UnboundMethod
+    String
+    Symbol
+    Range
+    Exception
+    NilClass
+    TrueClass
+    FalseClass
+    Regexp
+    Time
+    MatchData
+    Proc
+    Module
+      Class
+    Numeric
+      Float
+      Integer
+        Bignum
+        Fixnum
+```
+
 ## Installation
 
 Add this line to your application's Gemfile:

data/lib/type_constraints/registry.rb

@@ -16,5 +16,12 @@ module TypeConstraints
       meta.instance_eval(&code)
       metas[name] = meta
     end
+
+    # hash_type :Test, :key_name, ...
+    def hash_type(name, *keys, &code)
+      meta = Meta.new(name: name, parent: metas[:Hash], constraint: -> v { keys.all?() {|k| v.key?(k)} })
+      meta.instance_eval(&code) if code
+      metas[name] = meta
+    end
   end
 end

data/lib/type_constraints/type/default.rb

@@ -0,0 +1,51 @@
+module TypeConstraints
+  module Type
+    module Default
+    end
+  end
+end
+
+module TypeConstraints::Type::Default
+  DEFAULT_TYPES = {
+    BasicObject:   [-> v { v.kind_of?(BasicObject) }],
+    Object:        [-> v { v.kind_of?(Object) }, :BasicObject],
+    Hash:          [-> v { v.kind_of?(Hash) }, :Object],
+    Array:         [-> v { v.kind_of?(Array) }, :Object],
+    Method:        [-> v { v.kind_of?(Method) }, :Object],
+    UnboundMethod: [-> v { v.kind_of?(UnboundMethod) }, :Object],
+    String:        [-> v { v.kind_of?(String) }, :Object],
+    Symbol:        [-> v { v.kind_of?(Symbol) }, :Object],
+    Range:         [-> v { v.kind_of?(Range) }, :Object],
+    Exception:     [-> v { v.kind_of?(Exception) }, :Object],
+    NilClass:      [-> v { v.kind_of?(NilClass) }, :Object],
+    TrueClass:     [-> v { v.kind_of?(TrueClass) }, :Object],
+    FalseClass:    [-> v { v.kind_of?(FalseClass) }, :Object],
+    Regexp:        [-> v { v.kind_of?(Regexp) }, :Object],
+    Time:          [-> v { v.kind_of?(Time) }, :Object],
+    MatchData:     [-> v { v.kind_of?(MatchData) }, :MatchData],
+    Proc:          [-> v { v.kind_of?(Proc) }, :Object],
+    Module:        [-> v { v.kind_of?(Module) }, :Object],
+    Class:         [-> v { v.kind_of?(Class) }, :Module],
+    Numeric:       [-> v { v.kind_of?(Numeric) }, :Object],
+    Float:         [-> v { v.kind_of?(Float) }, :Numeric],
+    Integer:       [-> v { v.kind_of?(Integer) }, :Numeric],
+    Bignum:        [-> v { v.kind_of?(Bignum) }, :Integer],
+    Fixnum:        [-> v { v.kind_of?(Fixnum) }, :Integer],
+    Bignum:        [-> v { v.kind_of?(Bignum) }, :Integer],
+    Fixnum:        [-> v { v.kind_of?(Fixnum) }, :Integer],
+  }.freeze
+
+  TypeConstraints.setup do
+    DEFAULT_TYPES.each do |key, array|
+      if array[1] # has parent
+        subtype(key, array[1]) do
+          constraint array[0]
+        end
+      else
+        type(key) do
+          constraint array[0]
+        end
+      end
+    end
+  end
+end

data/lib/type_constraints/version.rb

@@ -1,3 +1,3 @@
 module TypeConstraints
-  VERSION = "0.0.1"
+  VERSION = "0.1.0"
 end

data/lib/type_constraints.rb

@@ -17,3 +17,5 @@ module TypeConstraints
     end
   end
 end
+
+require "type_constraints/type/default"

data/spec/type_constraints/registry_spec.rb

@@ -31,4 +31,19 @@ describe TypeConstraints::Registry do
       expect(@r.metas[:ChildConstraint].nil?).to eq false
     end
   end
+
+  describe "#hash_type" do
+    before do
+      @r = TypeConstraints::Registry.new
+      @r.hash_type(:ChildConstraint, :test, :hoge)
+    end
+
+    it "Sets meta object for metas" do
+      expect(@r.metas.size).to eq 1
+    end
+    it "Sets hash_type meta" do
+      expect(@r.metas[:ChildConstraint].check?({test: "hoge"})).to eq false
+      expect(@r.metas[:ChildConstraint].check?({test: "hoge", hoge: "test"})).to eq true
+    end
+  end
 end

data/spec/type_constraints/type/default_spec.rb

@@ -0,0 +1,8 @@
+require 'spec_helper'
+require 'type_constraints/type/default'
+
+describe TypeConstraints::Type::Default do
+  it "return true" do
+    TypeConstraints.check?(:String, "test")
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: type_constraints
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.1.0
 platform: ruby
 authors:
 - hisaichi5518
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-12-16 00:00:00.000000000 Z
+date: 2014-12-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -69,10 +69,12 @@ files:
 - lib/type_constraints.rb
 - lib/type_constraints/meta.rb
 - lib/type_constraints/registry.rb
+- lib/type_constraints/type/default.rb
 - lib/type_constraints/version.rb
 - spec/spec_helper.rb
 - spec/type_constraints/meta_spec.rb
 - spec/type_constraints/registry_spec.rb
+- spec/type_constraints/type/default_spec.rb
 - spec/type_constraints_spec.rb
 - type_constraints.gemspec
 homepage: https://github.com/hisaichi5518/type_constraints
@@ -103,4 +105,5 @@ test_files:
 - spec/spec_helper.rb
 - spec/type_constraints/meta_spec.rb
 - spec/type_constraints/registry_spec.rb
+- spec/type_constraints/type/default_spec.rb
 - spec/type_constraints_spec.rb