axiom-types 0.1.0 → 0.1.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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
|