axiom-types 0.0.1

checksums.yaml

@@ -0,0 +1,15 @@
+---
+!binary "U0hBMQ==":
+  metadata.gz: !binary |-
+    ODQxZTk1YzZmZDU0YjMyNTU1ZmMzNzI4ZWY2YzA5ZGZmODFmNTU4ZA==
+  data.tar.gz: !binary |-
+    YzU3ZjcxZjZjYzQwZGVkODY5YTgyM2YzNjI5Y2YzMmVlMjRlYTI0Yg==
+!binary "U0hBNTEy":
+  metadata.gz: !binary |-
+    NGYzODhiZmE3NzA2ODI0MWUyZjQ5ZTBjNTBiMDljNWYxOWQ3MTZjZmI1ODVh
+    MmYyNDcyNzcwMTNlZTgxNmE1MTc3MzFlNDRiNWI4YzhkNGZjZmJiMzUxZjcw
+    NTFlMThkNWM5NTM3MDUyOWMxN2NmMTYxODRiNTBlNGFhYzhmOTg=
+  data.tar.gz: !binary |-
+    MWNkMmEwZTQ4NmMzZTc0YmRhYTI0YTE4ZjM4Yzk3YmQ4MjRhOWM4NTBhNTlk
+    MzU2MjhhNTYxZmI4NTc4ZmZmNWNmMWUxNjBkNTU3ZjJjOGQzZjVjOWQ1MzEx
+    MWFhZDA2N2MzMDRmNGE1YWFkZDc0MWZhYmIyOWNmZDlhOTg5ODg=

data/.gitignore

@@ -0,0 +1,37 @@
+## MAC OS
+.DS_Store
+
+## TEXTMATE
+*.tmproj
+tmtags
+
+## EMACS
+*~
+\#*
+.\#*
+
+## VIM
+*.swp
+
+## Rubinius
+*.rbc
+.rbx
+
+## PROJECT::GENERAL
+*.gem
+coverage
+profiling
+turbulence
+rdoc
+pkg
+tmp
+doc
+log
+.yardoc
+measurements
+
+## BUNDLER
+.bundle
+Gemfile.lock
+
+## PROJECT::SPECIFIC

data/.rspec

@@ -0,0 +1,4 @@
+--color
+--format progress
+--profile
+--order random

data/.rvmrc

@@ -0,0 +1 @@
+rvm use @$(basename `pwd`) --create

data/.travis.yml

@@ -0,0 +1,35 @@
+language: ruby
+before_install: gem install bundler
+bundler_args: --without yard guard benchmarks
+script: "bundle exec rake ci"
+rvm:
+  - ree
+  - 1.8.7
+  - 1.9.2
+  - 1.9.3
+  - 2.0.0
+  - ruby-head
+  - rbx-18mode
+  - rbx-19mode
+notifications:
+  irc:
+    channels:
+      - "irc.freenode.org#datamapper"
+    on_success: never
+    on_failure: change
+  email:
+    recipients:
+      - dan.kubb@gmail.com
+    on_success: never
+    on_failure: change
+matrix:
+  include:
+    - rvm: jruby-18mode
+    - rvm: jruby-19mode
+      env: JRUBY_OPTS="$JRUBY_OPTS --debug"
+    - rvm: jruby-head
+      env: JRUBY_OPTS="$JRUBY_OPTS --debug"
+  allow_failures:
+    # yard parser fails
+    - rvm: jruby-head
+      env: JRUBY_OPTS="$JRUBY_OPTS --debug"

data/.yardopts

@@ -0,0 +1,4 @@
+--quiet
+README.md
+lib/**/*.rb
+LICENSE

data/Gemfile

@@ -0,0 +1,10 @@
+# encoding: utf-8
+
+source 'https://rubygems.org'
+
+gemspec
+
+gem 'coveralls', '~> 0.6.2'
+
+gem 'devtools', :git => 'https://github.com/datamapper/devtools.git'
+eval File.read('Gemfile.devtools')

data/Gemfile.devtools

@@ -0,0 +1,62 @@
+# encoding: utf-8
+
+group :development do
+  gem 'rake',  '~> 10.0.3'
+  gem 'rspec', '~> 2.13.0'
+  gem 'yard',  '~> 0.8.5'
+end
+
+group :yard do
+  gem 'kramdown', '~> 1.0.1'
+end
+
+group :guard do
+  gem 'guard',         '~> 1.6.2'
+  gem 'guard-bundler', '~> 1.0.0'
+  gem 'guard-rspec',   '~> 2.5.1'
+
+  # file system change event handling
+  gem 'rb-fchange', '~> 0.0.6', :require => false
+  gem 'rb-fsevent', '~> 0.9.3', :require => false
+  gem 'rb-inotify', '~> 0.9.0', :require => false
+
+  gem 'listen', '~> 0.7.3'
+
+  # notification handling
+  gem 'libnotify',               '~> 0.8.0', :require => false
+  gem 'rb-notifu',               '~> 0.0.4', :require => false
+  gem 'terminal-notifier-guard', '~> 1.5.3', :require => false
+end
+
+group :metrics do
+  gem 'backports',       '~> 3.1', '>= 3.1.1'
+  gem 'flay',            '~> 2.1.0'
+  gem 'flog',            '~> 3.2.2'
+  gem 'reek',            '~> 1.3.1', :git => 'https://github.com/troessner/reek.git'
+  gem 'metric_fu-roodi', '~> 2.2.1'
+  gem 'simplecov',       '~> 0.7.1'
+  gem 'yardstick',       '~> 0.9.4'
+
+  platforms :ruby_18, :ruby_19 do
+    # this indirectly depends on ffi which does not build on ruby-head
+    gem 'yard-spellcheck', '~> 0.1.5'
+  end
+
+  platforms :mri_19, :rbx do
+    gem 'mutant', '~> 0.2.20'
+  end
+
+  platforms :rbx do
+    gem 'pelusa', '~> 0.2.2'
+  end
+end
+
+group :benchmarks do
+  gem 'rbench', '~> 0.2.3'
+end
+
+platform :jruby do
+  group :jruby do
+    gem 'jruby-openssl', '~> 0.8.2'
+  end
+end

data/Guardfile

@@ -0,0 +1,24 @@
+# encoding: utf-8
+
+guard :bundler do
+  watch('Gemfile')
+  watch('axiom-types.gemspec')
+end
+
+guard :rspec, :keep_failed => false do
+  # run all specs if configuration is modified
+  watch('Guardfile')           { 'spec' }
+  watch('Gemfile.lock')        { 'spec' }
+  watch('spec/spec_helper.rb') { 'spec' }
+
+  # run all specs if supporting files files are modified
+  watch(%r{\Aspec/(?:lib|support|shared)/.+\.rb\z}) { 'spec' }
+
+  # run unit specs if associated lib code is modified
+  watch(%r{\Alib/(.+)\.rb\z})                                         { |m| Dir["spec/unit/#{m[1]}"]         }
+  watch(%r{\Alib/(.+)/support/(.+)\.rb\z})                            { |m| Dir["spec/unit/#{m[1]}/#{m[2]}"] }
+  watch("lib/#{File.basename(File.expand_path('../', __FILE__))}.rb") { 'spec'                               }
+
+  # run a spec if it is modified
+  watch(%r{\Aspec/(?:unit|integration)/.+_spec\.rb\z})
+end

data/LICENSE

@@ -0,0 +1,20 @@
+Copyright (c) 2013 Dan Kubb
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,76 @@
+[![Gem Version](https://badge.fury.io/rb/axiom-types.png)][gem]
+[![Build Status](https://secure.travis-ci.org/dkubb/axiom-types.png?branch=master)][travis]
+[![Dependency Status](https://gemnasium.com/dkubb/axiom-types.png)][gemnasium]
+[![Code Climate](https://codeclimate.com/github/dkubb/axiom-types.png)][codeclimate]
+[![Coverage Status](https://coveralls.io/repos/dkubb/axiom-types/badge.png?branch=master)][coveralls]
+
+[gem]: https://rubygems.org/gems/axiom-types
+[travis]: https://travis-ci.org/dkubb/axiom-types
+[gemnasium]: https://gemnasium.com/dkubb/axiom-types
+[codeclimate]: https://codeclimate.com/github/dkubb/axiom-types
+[coveralls]: https://coveralls.io/r/dkubb/axiom-types
+
+axiom-types
+===========
+
+Define types with optional constraints for use within axiom and other libraries.
+
+Examples
+--------
+
+```ruby
+# Setup constraints for all defined types
+Axiom::Types.finalize
+
+# Create Name subtype
+Name = Axiom::Types::String.new do
+  minimum_length 1
+  maximum_length 30
+end
+
+# Test if the string is a member of the type
+Name.include?('a')       # => true
+Name.include?('a' * 30)  # => true
+Name.include?('')        # => false
+Name.include?('a' * 31)  # => false
+```
+
+Installation
+------------
+
+With Rubygems:
+
+```bash
+$ gem install axiom-types
+$ irb -rubygems
+>> require 'axiom-types'
+=> true
+```
+
+With git and local working copy:
+
+```bash
+$ git clone git://github.com/dkubb/axiom-types.git
+$ cd axiom-types
+$ rake install
+$ irb -rubygems
+>> require 'axiom-types'
+=> true
+```
+
+Contributing
+-------------
+
+* If you want your code merged into the mainline, please discuss the proposed changes with me before doing any work on it. This library is still in early development, and the direction it is going may not always be clear. Some features may not be appropriate yet, may need to be deferred until later when the foundation for them is laid, or may be more applicable in a plugin.
+* Fork the project.
+* Make your feature addition or bug fix.
+  * Follow this [style guide](https://github.com/dkubb/styleguide).
+* Add specs for it. This is important so I don't break it in a future version unintentionally. Tests must cover all branches within the code, and code must be fully covered.
+* Commit, do not mess with Rakefile, version, or history. (if you want to have your own version, that is fine but bump version in a commit by itself I can ignore when I pull)
+* Run "rake ci". This must pass and not show any regressions in the metrics for the code to be merged.
+* Send me a pull request. Bonus points for topic branches.
+
+Copyright
+---------
+
+Copyright © 2013 Dan Kubb. See LICENSE for details.

data/Rakefile

@@ -0,0 +1,6 @@
+# encoding: utf-8
+
+require 'rake'
+require 'devtools'
+
+Devtools.init_rake_tasks

data/TODO

@@ -0,0 +1,25 @@
+TODO
+----
+
+* Add mechanism to find best matching type for a given primitive.
+
+* Add finite limits to all "primitive" types.
+
+* Add optional constraint on Date for the timezone
+* Add optional constraint on DateTime for the timezone
+* Add optional constraint on Time for the timezone
+* Add optional regexp constraint to String
+  * format /\A[a-z]+\z/
+* Add optional allowed characters constraint to String
+  * allowed_characters 'a', 'b', 'c'
+  * allowed_characters 'a'..'c'
+  * allowed_characters 'a'..'c', 'e', 'f', 'g', 'i'
+  * allowed_characters 'a'..'c', 'e'..'g', 'i'
+
+* When axiom-logic is available, replace the Proc based constraints with real
+  predicates so that they can be serialized into SQL or optimized, etc.
+  * Can be performed as part of type finalization
+
+* Create a factory method for the Hash type
+  * Make sure the primitive lookup system can use the key/value to find the best
+    match for a given Hash type.

data/axiom-types.gemspec

@@ -0,0 +1,26 @@
+# encoding: utf-8
+
+require File.expand_path('../lib/axiom/types/version', __FILE__)
+
+Gem::Specification.new do |gem|
+  gem.name             = 'axiom-types'
+  gem.version          = Axiom::Types::VERSION.dup
+  gem.authors          = ['Dan Kubb']
+  gem.email            = 'dan.kubb@gmail.com'
+  gem.description      = 'Abstract types for logic programming'
+  gem.summary          = gem.description
+  gem.homepage         = 'https://github.com/dkubb/axiom-types'
+
+  gem.require_paths    = %w[lib]
+  gem.files            = `git ls-files`.split($/)
+  gem.test_files       = `git ls-files spec/{unit,integration}`.split($/)
+  gem.extra_rdoc_files = %w[LICENSE README.md TODO]
+
+  gem.add_runtime_dependency('backports',           '~> 3.1', '>= 3.1.1')
+  gem.add_runtime_dependency('descendants_tracker', '~> 0.0.1')
+  gem.add_runtime_dependency('ice_nine',            '~> 0.7.0')
+
+  gem.add_development_dependency('rake',  '~> 10.0.3')
+  gem.add_development_dependency('rspec', '~> 2.13.0')
+  gem.add_development_dependency('yard',  '~> 0.8.5')
+end

data/config/flay.yml

@@ -0,0 +1,3 @@
+---
+threshold: 14
+total_score: 82

data/config/flog.yml

@@ -0,0 +1,2 @@
+---
+threshold: 11.6

data/config/mutant.yml

@@ -0,0 +1,3 @@
+---
+name: axiom-types
+namespace: Axiom::Types

data/config/reek.yml

@@ -0,0 +1,100 @@
+---
+UncommunicativeParameterName:
+  accept: []
+  exclude: []
+  enabled: true
+  reject:
+  - !ruby/regexp /^.$/
+  - !ruby/regexp /[0-9]$/
+  - !ruby/regexp /[A-Z]/
+LargeClass:
+  max_methods: 0
+  exclude: []
+  enabled: true
+  max_instance_variables: 1
+UncommunicativeMethodName:
+  accept: []
+  exclude: []
+  enabled: true
+  reject:
+  - !ruby/regexp /^[a-z]$/
+  - !ruby/regexp /[0-9]$/
+  - !ruby/regexp /[A-Z]/
+LongParameterList:
+  max_params: 2
+  exclude: []
+  enabled: true
+  overrides: {}
+FeatureEnvy:
+  exclude:
+    - Axiom::Types::Encodable#has_encoding
+  enabled: true
+ClassVariable:
+  exclude: []
+  enabled: true
+BooleanParameter:
+  exclude: []
+  enabled: true
+IrresponsibleModule:
+  exclude: []
+  enabled: true
+UncommunicativeModuleName:
+  accept: []
+  exclude: []
+  enabled: true
+  reject:
+  - !ruby/regexp /^.$/
+  - !ruby/regexp /[0-9]$/
+NestedIterators:
+  ignore_iterators: []
+  exclude:
+    - Axiom::Types::Hash#self.matches
+  enabled: true
+  max_allowed_nesting: 1
+LongMethod:
+  max_statements: 5
+  exclude: []
+  enabled: true
+Duplication:
+  allow_calls: []
+  exclude: []
+  enabled: true
+  max_calls: 1
+UtilityFunction:
+  max_helper_calls: 0
+  exclude: []
+  enabled: true
+Attribute:
+  exclude: []
+  enabled: false
+UncommunicativeVariableName:
+  accept: []
+  exclude: []
+  enabled: true
+  reject:
+  - !ruby/regexp /^.$/
+  - !ruby/regexp /[0-9]$/
+  - !ruby/regexp /[A-Z]/
+SimulatedPolymorphism:
+  exclude: []
+  enabled: true
+  max_ifs: 1
+DataClump:
+  exclude: []
+  enabled: true
+  max_copies: 0
+  min_clump_size: 2
+ControlCouple:
+  exclude: []
+  enabled: true
+LongYieldList:
+  max_params: 0
+  exclude: []
+  enabled: true
+UnusedParameters:
+  enabled: true
+  exclude: []
+NilCheck:
+  enabled: true
+  exclude:
+    - Axiom::Types::Type#self.constraint