axiom-types 0.1.0 → 0.1.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.rubocop.yml +1 -0
- data/.travis.yml +4 -1
- data/Gemfile.devtools +18 -16
- data/axiom-types.gemspec +5 -5
- data/config/rubocop.yml +28 -2
- data/lib/axiom/types/version.rb +1 -1
- metadata +18 -11
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 198218a63ea4a5914c74bed8fb8a303fa8eb5dfb
|
4
|
+
data.tar.gz: 0961eec88ea2dde71b610c31f97d3483e62717ea
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 8c0573d3246698dd1a2fd07f419668df2c005c141393cb6438fb87fe14528c67a1f03707869c0f82180a2221446f0b50297546462fbed626c2b7cacbd970e855
|
7
|
+
data.tar.gz: 60e295e8bc26c8399043e4acd0851a19b402f4fa537a4638aa97c98a6b1317f33dd4b700c5f95d645fe6b16c571edd2e8db715e37cb6146963cad53646d6cbb0
|
data/.rubocop.yml
CHANGED
data/.travis.yml
CHANGED
@@ -6,8 +6,9 @@ rvm:
|
|
6
6
|
- 1.9.3
|
7
7
|
- 2.0.0
|
8
8
|
- 2.1.0
|
9
|
+
- 2.1.1
|
9
10
|
- ruby-head
|
10
|
-
- rbx
|
11
|
+
- rbx-2
|
11
12
|
matrix:
|
12
13
|
include:
|
13
14
|
- rvm: jruby-19mode
|
@@ -20,6 +21,8 @@ matrix:
|
|
20
21
|
env: JRUBY_OPTS="$JRUBY_OPTS --debug" # for simplecov
|
21
22
|
allow_failures:
|
22
23
|
- rvm: 2.1.0 # buggy runtime
|
24
|
+
- rvm: ruby-head
|
25
|
+
- rvm: jruby-head
|
23
26
|
fast_finish: true
|
24
27
|
notifications:
|
25
28
|
irc:
|
data/Gemfile.devtools
CHANGED
@@ -1,9 +1,10 @@
|
|
1
1
|
# encoding: utf-8
|
2
2
|
|
3
3
|
group :development do
|
4
|
-
gem 'rake',
|
5
|
-
gem 'rspec',
|
6
|
-
gem '
|
4
|
+
gem 'rake', '~> 10.2.1'
|
5
|
+
gem 'rspec', '~> 2.14.1'
|
6
|
+
gem 'rspec-core', '~> 2.14.8'
|
7
|
+
gem 'yard', '~> 0.8.7.4'
|
7
8
|
|
8
9
|
platform :rbx do
|
9
10
|
gem 'rubysl-singleton', '~> 2.0.0'
|
@@ -11,23 +12,23 @@ group :development do
|
|
11
12
|
end
|
12
13
|
|
13
14
|
group :yard do
|
14
|
-
gem 'kramdown', '~> 1.3.
|
15
|
+
gem 'kramdown', '~> 1.3.3'
|
15
16
|
end
|
16
17
|
|
17
18
|
group :guard do
|
18
|
-
gem 'guard', '~> 2.
|
19
|
+
gem 'guard', '~> 2.6.0'
|
19
20
|
gem 'guard-bundler', '~> 2.0.0'
|
20
|
-
gem 'guard-rspec', '~> 4.2.
|
21
|
-
gem 'guard-rubocop', '~> 1.0.
|
21
|
+
gem 'guard-rspec', '~> 4.2.8'
|
22
|
+
gem 'guard-rubocop', '~> 1.0.2'
|
22
23
|
|
23
24
|
# file system change event handling
|
24
|
-
gem 'listen', '~> 2.
|
25
|
+
gem 'listen', '~> 2.7.1'
|
25
26
|
gem 'rb-fchange', '~> 0.0.6', require: false
|
26
|
-
gem 'rb-fsevent', '~> 0.9.
|
27
|
-
gem 'rb-inotify', '~> 0.9.
|
27
|
+
gem 'rb-fsevent', '~> 0.9.4', require: false
|
28
|
+
gem 'rb-inotify', '~> 0.9.3', require: false
|
28
29
|
|
29
30
|
# notification handling
|
30
|
-
gem 'libnotify', '~> 0.8.
|
31
|
+
gem 'libnotify', '~> 0.8.2', require: false
|
31
32
|
gem 'rb-notifu', '~> 0.0.4', require: false
|
32
33
|
gem 'terminal-notifier-guard', '~> 1.5.3', require: false
|
33
34
|
end
|
@@ -36,13 +37,14 @@ group :metrics do
|
|
36
37
|
gem 'coveralls', '~> 0.7.0'
|
37
38
|
gem 'flay', '~> 2.4.0'
|
38
39
|
gem 'flog', '~> 4.2.0'
|
39
|
-
gem 'reek', '~> 1.3.
|
40
|
-
gem 'rubocop', '~> 0.
|
40
|
+
gem 'reek', '~> 1.3.7'
|
41
|
+
gem 'rubocop', '~> 0.19.1'
|
41
42
|
gem 'simplecov', '~> 0.8.2'
|
42
43
|
gem 'yardstick', '~> 0.9.9'
|
43
44
|
|
44
45
|
platforms :mri do
|
45
|
-
gem 'mutant',
|
46
|
+
gem 'mutant', '~> 0.5.8'
|
47
|
+
gem 'mutant-rspec', '~> 0.5.3'
|
46
48
|
end
|
47
49
|
|
48
50
|
platforms :ruby_19, :ruby_20 do
|
@@ -51,10 +53,10 @@ group :metrics do
|
|
51
53
|
|
52
54
|
platform :rbx do
|
53
55
|
gem 'json', '~> 1.8.1'
|
54
|
-
gem 'racc', '~> 1.4'
|
56
|
+
gem 'racc', '~> 1.4.11'
|
55
57
|
gem 'rubysl-logger', '~> 2.0.0'
|
56
58
|
gem 'rubysl-open-uri', '~> 2.0.0'
|
57
|
-
gem 'rubysl-prettyprint', '~> 2.0.
|
59
|
+
gem 'rubysl-prettyprint', '~> 2.0.3'
|
58
60
|
end
|
59
61
|
end
|
60
62
|
|
data/axiom-types.gemspec
CHANGED
@@ -7,8 +7,8 @@ Gem::Specification.new do |gem|
|
|
7
7
|
gem.version = Axiom::Types::VERSION.dup
|
8
8
|
gem.authors = ['Dan Kubb']
|
9
9
|
gem.email = 'dan.kubb@gmail.com'
|
10
|
-
gem.
|
11
|
-
gem.
|
10
|
+
gem.summary = 'Abstract types for logic programming'
|
11
|
+
gem.description = 'Define types with optional constraints for use within axiom and other libraries.'
|
12
12
|
gem.homepage = 'https://github.com/dkubb/axiom-types'
|
13
13
|
gem.license = 'MIT'
|
14
14
|
|
@@ -19,9 +19,9 @@ Gem::Specification.new do |gem|
|
|
19
19
|
|
20
20
|
gem.required_ruby_version = '>= 1.9.3'
|
21
21
|
|
22
|
-
gem.add_runtime_dependency('descendants_tracker', '~> 0.0.
|
22
|
+
gem.add_runtime_dependency('descendants_tracker', '~> 0.0.4')
|
23
23
|
gem.add_runtime_dependency('ice_nine', '~> 0.11.0')
|
24
|
-
gem.add_runtime_dependency('thread_safe', '~> 0.
|
24
|
+
gem.add_runtime_dependency('thread_safe', '~> 0.3', '>= 0.3.1')
|
25
25
|
|
26
|
-
gem.add_development_dependency('bundler', '~> 1.5', '>= 1.5.
|
26
|
+
gem.add_development_dependency('bundler', '~> 1.5', '>= 1.5.3')
|
27
27
|
end
|
data/config/rubocop.yml
CHANGED
@@ -5,6 +5,11 @@ ParameterLists:
|
|
5
5
|
Max: 3
|
6
6
|
CountKeywordArgs: true
|
7
7
|
|
8
|
+
# Limit method length
|
9
|
+
MethodLength:
|
10
|
+
CountComments: false
|
11
|
+
Max: 7
|
12
|
+
|
8
13
|
# Avoid more than `Max` levels of nesting.
|
9
14
|
BlockNesting:
|
10
15
|
Max: 3
|
@@ -54,10 +59,31 @@ ConstantName:
|
|
54
59
|
TrivialAccessors:
|
55
60
|
Enabled: false
|
56
61
|
|
57
|
-
#
|
58
|
-
|
62
|
+
# Do not prefer do/end over {} for multiline blocks
|
63
|
+
Blocks:
|
59
64
|
Enabled: false
|
60
65
|
|
61
66
|
# Allow empty lines around body
|
62
67
|
EmptyLinesAroundBody:
|
63
68
|
Enabled: false
|
69
|
+
|
70
|
+
# Prefer String#% over Kernel#sprintf
|
71
|
+
FormatString:
|
72
|
+
Enabled: false
|
73
|
+
|
74
|
+
# Use square brackets for literal Array objects
|
75
|
+
PercentLiteralDelimiters:
|
76
|
+
PreferredDelimiters:
|
77
|
+
'%': ()
|
78
|
+
'%i': '[]'
|
79
|
+
'%q': ()
|
80
|
+
'%Q': ()
|
81
|
+
'%r': '{}'
|
82
|
+
'%s': ()
|
83
|
+
'%w': '[]'
|
84
|
+
'%W': '[]'
|
85
|
+
'%x': ()
|
86
|
+
|
87
|
+
# The #<=> method argument has an underscore because it is not referenced
|
88
|
+
OpMethod:
|
89
|
+
Enabled: false
|
data/lib/axiom/types/version.rb
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: axiom-types
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.1.
|
4
|
+
version: 0.1.1
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Dan Kubb
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date: 2014-
|
11
|
+
date: 2014-03-27 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: descendants_tracker
|
@@ -16,14 +16,14 @@ dependencies:
|
|
16
16
|
requirements:
|
17
17
|
- - ~>
|
18
18
|
- !ruby/object:Gem::Version
|
19
|
-
version: 0.0.
|
19
|
+
version: 0.0.4
|
20
20
|
type: :runtime
|
21
21
|
prerelease: false
|
22
22
|
version_requirements: !ruby/object:Gem::Requirement
|
23
23
|
requirements:
|
24
24
|
- - ~>
|
25
25
|
- !ruby/object:Gem::Version
|
26
|
-
version: 0.0.
|
26
|
+
version: 0.0.4
|
27
27
|
- !ruby/object:Gem::Dependency
|
28
28
|
name: ice_nine
|
29
29
|
requirement: !ruby/object:Gem::Requirement
|
@@ -44,14 +44,20 @@ dependencies:
|
|
44
44
|
requirements:
|
45
45
|
- - ~>
|
46
46
|
- !ruby/object:Gem::Version
|
47
|
-
version: 0.
|
47
|
+
version: '0.3'
|
48
|
+
- - '>='
|
49
|
+
- !ruby/object:Gem::Version
|
50
|
+
version: 0.3.1
|
48
51
|
type: :runtime
|
49
52
|
prerelease: false
|
50
53
|
version_requirements: !ruby/object:Gem::Requirement
|
51
54
|
requirements:
|
52
55
|
- - ~>
|
53
56
|
- !ruby/object:Gem::Version
|
54
|
-
version: 0.
|
57
|
+
version: '0.3'
|
58
|
+
- - '>='
|
59
|
+
- !ruby/object:Gem::Version
|
60
|
+
version: 0.3.1
|
55
61
|
- !ruby/object:Gem::Dependency
|
56
62
|
name: bundler
|
57
63
|
requirement: !ruby/object:Gem::Requirement
|
@@ -61,7 +67,7 @@ dependencies:
|
|
61
67
|
version: '1.5'
|
62
68
|
- - '>='
|
63
69
|
- !ruby/object:Gem::Version
|
64
|
-
version: 1.5.
|
70
|
+
version: 1.5.3
|
65
71
|
type: :development
|
66
72
|
prerelease: false
|
67
73
|
version_requirements: !ruby/object:Gem::Requirement
|
@@ -71,8 +77,9 @@ dependencies:
|
|
71
77
|
version: '1.5'
|
72
78
|
- - '>='
|
73
79
|
- !ruby/object:Gem::Version
|
74
|
-
version: 1.5.
|
75
|
-
description:
|
80
|
+
version: 1.5.3
|
81
|
+
description: Define types with optional constraints for use within axiom and other
|
82
|
+
libraries.
|
76
83
|
email: dan.kubb@gmail.com
|
77
84
|
executables: []
|
78
85
|
extensions: []
|
@@ -188,10 +195,10 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
188
195
|
version: '0'
|
189
196
|
requirements: []
|
190
197
|
rubyforge_project:
|
191
|
-
rubygems_version: 2.
|
198
|
+
rubygems_version: 2.2.2
|
192
199
|
signing_key:
|
193
200
|
specification_version: 4
|
194
|
-
summary:
|
201
|
+
summary: Abstract types for logic programming
|
195
202
|
test_files:
|
196
203
|
- spec/unit/axiom/types/array/class_methods/infer_spec.rb
|
197
204
|
- spec/unit/axiom/types/boolean/class_methods/infer_spec.rb
|