dry-logic 1.0.5 → 1.0.6
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/CHANGELOG.md +76 -26
- data/LICENSE +1 -1
- data/README.md +12 -14
- data/dry-logic.gemspec +27 -20
- data/lib/dry/logic/predicates.rb +1 -1
- data/lib/dry/logic/rule/interface.rb +1 -1
- data/lib/dry/logic/version.rb +1 -1
- metadata +9 -150
- data/.codeclimate.yml +0 -12
- data/.github/ISSUE_TEMPLATE/----please-don-t-ask-for-support-via-issues.md +0 -10
- data/.github/ISSUE_TEMPLATE/---bug-report.md +0 -34
- data/.github/ISSUE_TEMPLATE/---feature-request.md +0 -18
- data/.github/workflows/ci.yml +0 -70
- data/.github/workflows/docsite.yml +0 -34
- data/.github/workflows/sync_configs.yml +0 -34
- data/.gitignore +0 -9
- data/.rspec +0 -4
- data/.rubocop.yml +0 -89
- data/CODE_OF_CONDUCT.md +0 -13
- data/CONTRIBUTING.md +0 -29
- data/Gemfile +0 -16
- data/Rakefile +0 -14
- data/benchmarks/rule_application.rb +0 -30
- data/benchmarks/setup.rb +0 -13
- data/bin/console +0 -11
- data/docsite/source/index.html.md +0 -54
- data/docsite/source/operations.html.md +0 -62
- data/docsite/source/predicates.html.md +0 -102
- data/examples/basic.rb +0 -16
- data/spec/integration/result_spec.rb +0 -61
- data/spec/integration/rule_spec.rb +0 -55
- data/spec/shared/predicates.rb +0 -59
- data/spec/shared/rule.rb +0 -74
- data/spec/spec_helper.rb +0 -30
- data/spec/support/mutant.rb +0 -11
- data/spec/unit/operations/and_spec.rb +0 -70
- data/spec/unit/operations/attr_spec.rb +0 -29
- data/spec/unit/operations/check_spec.rb +0 -51
- data/spec/unit/operations/each_spec.rb +0 -49
- data/spec/unit/operations/implication_spec.rb +0 -32
- data/spec/unit/operations/key_spec.rb +0 -135
- data/spec/unit/operations/negation_spec.rb +0 -51
- data/spec/unit/operations/or_spec.rb +0 -75
- data/spec/unit/operations/set_spec.rb +0 -43
- data/spec/unit/operations/xor_spec.rb +0 -63
- data/spec/unit/predicates/array_spec.rb +0 -43
- data/spec/unit/predicates/attr_spec.rb +0 -31
- data/spec/unit/predicates/bool_spec.rb +0 -36
- data/spec/unit/predicates/bytesize_spec.rb +0 -48
- data/spec/unit/predicates/case_spec.rb +0 -35
- data/spec/unit/predicates/date_spec.rb +0 -33
- data/spec/unit/predicates/date_time_spec.rb +0 -33
- data/spec/unit/predicates/decimal_spec.rb +0 -34
- data/spec/unit/predicates/empty_spec.rb +0 -40
- data/spec/unit/predicates/eql_spec.rb +0 -23
- data/spec/unit/predicates/even_spec.rb +0 -33
- data/spec/unit/predicates/excluded_from_spec.rb +0 -37
- data/spec/unit/predicates/excludes_spec.rb +0 -58
- data/spec/unit/predicates/false_spec.rb +0 -37
- data/spec/unit/predicates/filled_spec.rb +0 -40
- data/spec/unit/predicates/float_spec.rb +0 -33
- data/spec/unit/predicates/format_spec.rb +0 -31
- data/spec/unit/predicates/gt_spec.rb +0 -42
- data/spec/unit/predicates/gteq_spec.rb +0 -42
- data/spec/unit/predicates/hash_spec.rb +0 -40
- data/spec/unit/predicates/included_in_spec.rb +0 -37
- data/spec/unit/predicates/includes_spec.rb +0 -24
- data/spec/unit/predicates/int_spec.rb +0 -36
- data/spec/unit/predicates/key_spec.rb +0 -31
- data/spec/unit/predicates/lt_spec.rb +0 -42
- data/spec/unit/predicates/lteq_spec.rb +0 -42
- data/spec/unit/predicates/max_bytesize_spec.rb +0 -39
- data/spec/unit/predicates/max_size_spec.rb +0 -51
- data/spec/unit/predicates/min_bytesize_spec.rb +0 -39
- data/spec/unit/predicates/min_size_spec.rb +0 -51
- data/spec/unit/predicates/none_spec.rb +0 -30
- data/spec/unit/predicates/not_eql_spec.rb +0 -23
- data/spec/unit/predicates/number_spec.rb +0 -39
- data/spec/unit/predicates/odd_spec.rb +0 -33
- data/spec/unit/predicates/respond_to_spec.rb +0 -31
- data/spec/unit/predicates/size_spec.rb +0 -57
- data/spec/unit/predicates/str_spec.rb +0 -34
- data/spec/unit/predicates/time_spec.rb +0 -33
- data/spec/unit/predicates/true_spec.rb +0 -37
- data/spec/unit/predicates/type_spec.rb +0 -37
- data/spec/unit/predicates/uuid_v4_spec.rb +0 -29
- data/spec/unit/predicates_spec.rb +0 -25
- data/spec/unit/rule/predicate_spec.rb +0 -55
- data/spec/unit/rule_compiler_spec.rb +0 -129
- data/spec/unit/rule_spec.rb +0 -213
@@ -1,75 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
RSpec.describe Operations::Or do
|
4
|
-
subject(:operation) { Operations::Or.new(left, right) }
|
5
|
-
|
6
|
-
include_context 'predicates'
|
7
|
-
|
8
|
-
let(:left) { Rule::Predicate.build(nil?) }
|
9
|
-
let(:right) { Rule::Predicate.build(gt?).curry(18) }
|
10
|
-
|
11
|
-
let(:other) do
|
12
|
-
Rule::Predicate.build(int?) & Rule::Predicate.build(lt?).curry(14)
|
13
|
-
end
|
14
|
-
|
15
|
-
describe '#call' do
|
16
|
-
it 'calls left and right' do
|
17
|
-
expect(operation.(nil)).to be_success
|
18
|
-
expect(operation.(19)).to be_success
|
19
|
-
expect(operation.(18)).to be_failure
|
20
|
-
end
|
21
|
-
end
|
22
|
-
|
23
|
-
describe '#to_ast' do
|
24
|
-
it 'returns ast' do
|
25
|
-
expect(operation.to_ast).to eql(
|
26
|
-
[:or, [
|
27
|
-
[:predicate, [:nil?, [[:input, Undefined]]]],
|
28
|
-
[:predicate, [:gt?, [[:num, 18], [:input, Undefined]]]]]
|
29
|
-
]
|
30
|
-
)
|
31
|
-
end
|
32
|
-
|
33
|
-
it 'returns result ast' do
|
34
|
-
expect(operation.(17).to_ast).to eql(
|
35
|
-
[:or, [
|
36
|
-
[:predicate, [:nil?, [[:input, 17]]]],
|
37
|
-
[:predicate, [:gt?, [[:num, 18], [:input, 17]]]]]
|
38
|
-
]
|
39
|
-
)
|
40
|
-
end
|
41
|
-
|
42
|
-
it 'returns failure result ast' do
|
43
|
-
expect(operation.with(id: :age).(17).to_ast).to eql(
|
44
|
-
[:failure, [:age, [:or, [
|
45
|
-
[:predicate, [:nil?, [[:input, 17]]]],
|
46
|
-
[:predicate, [:gt?, [[:num, 18], [:input, 17]]]]]
|
47
|
-
]]]
|
48
|
-
)
|
49
|
-
end
|
50
|
-
end
|
51
|
-
|
52
|
-
describe '#and' do
|
53
|
-
it 'creates and with the other' do
|
54
|
-
expect(operation.and(other).(nil)).to be_failure
|
55
|
-
expect(operation.and(other).(19)).to be_failure
|
56
|
-
expect(operation.and(other).(13)).to be_failure
|
57
|
-
expect(operation.and(other).(14)).to be_failure
|
58
|
-
end
|
59
|
-
end
|
60
|
-
|
61
|
-
describe '#or' do
|
62
|
-
it 'creates or with the other' do
|
63
|
-
expect(operation.or(other).(nil)).to be_success
|
64
|
-
expect(operation.or(other).(19)).to be_success
|
65
|
-
expect(operation.or(other).(13)).to be_success
|
66
|
-
expect(operation.or(other).(14)).to be_failure
|
67
|
-
end
|
68
|
-
end
|
69
|
-
|
70
|
-
describe '#to_s' do
|
71
|
-
it 'returns string representation' do
|
72
|
-
expect(operation.to_s).to eql('nil? OR gt?(18)')
|
73
|
-
end
|
74
|
-
end
|
75
|
-
end
|
@@ -1,43 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
RSpec.describe Operations::Set do
|
4
|
-
subject(:operation) { Operations::Set.new(is_int, gt_18) }
|
5
|
-
|
6
|
-
include_context 'predicates'
|
7
|
-
|
8
|
-
let(:is_int) { Rule::Predicate.build(int?) }
|
9
|
-
let(:gt_18) { Rule::Predicate.build(gt?, args: [18]) }
|
10
|
-
|
11
|
-
describe '#call' do
|
12
|
-
it 'applies all its rules to the input' do
|
13
|
-
expect(operation.(19)).to be_success
|
14
|
-
expect(operation.(17)).to be_failure
|
15
|
-
end
|
16
|
-
end
|
17
|
-
|
18
|
-
describe '#to_ast' do
|
19
|
-
it 'returns ast' do
|
20
|
-
expect(operation.to_ast).to eql(
|
21
|
-
[:set, [[:predicate, [:int?, [[:input, Undefined]]]], [:predicate, [:gt?, [[:num, 18], [:input, Undefined]]]]]]
|
22
|
-
)
|
23
|
-
end
|
24
|
-
|
25
|
-
it 'returns result ast' do
|
26
|
-
expect(operation.(17).to_ast).to eql(
|
27
|
-
[:set, [[:predicate, [:gt?, [[:num, 18], [:input, 17]]]]]]
|
28
|
-
)
|
29
|
-
end
|
30
|
-
|
31
|
-
it 'returns result ast with an :id' do
|
32
|
-
expect(operation.with(id: :age).(17).to_ast).to eql(
|
33
|
-
[:failure, [:age, [:set, [[:predicate, [:gt?, [[:num, 18], [:input, 17]]]]]]]]
|
34
|
-
)
|
35
|
-
end
|
36
|
-
end
|
37
|
-
|
38
|
-
describe '#to_s' do
|
39
|
-
it 'returns string representation' do
|
40
|
-
expect(operation.to_s).to eql('set(int?, gt?(18))')
|
41
|
-
end
|
42
|
-
end
|
43
|
-
end
|
@@ -1,63 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
RSpec.describe Operations::Xor do
|
4
|
-
subject(:operation) { Operations::Xor.new(left, right) }
|
5
|
-
|
6
|
-
include_context 'predicates'
|
7
|
-
|
8
|
-
let(:left) { Rule::Predicate.build(array?) }
|
9
|
-
let(:right) { Rule::Predicate.build(empty?) }
|
10
|
-
|
11
|
-
let(:other) do
|
12
|
-
Rule::Predicate.build(str?)
|
13
|
-
end
|
14
|
-
|
15
|
-
describe '#call' do
|
16
|
-
it 'calls left and right' do
|
17
|
-
expect(operation.(nil)).to be_success
|
18
|
-
expect(operation.('')).to be_success
|
19
|
-
expect(operation.([])).to be_failure
|
20
|
-
end
|
21
|
-
end
|
22
|
-
|
23
|
-
describe '#to_ast' do
|
24
|
-
it 'returns ast' do
|
25
|
-
expect(operation.to_ast).to eql(
|
26
|
-
[:xor, [[:predicate, [:array?, [[:input, Undefined]]]], [:predicate, [:empty?, [[:input, Undefined]]]]]]
|
27
|
-
)
|
28
|
-
end
|
29
|
-
|
30
|
-
it 'returns result ast' do
|
31
|
-
expect(operation.([]).to_ast).to eql(
|
32
|
-
[:xor, [[:predicate, [:array?, [[:input, []]]]], [:predicate, [:empty?, [[:input, []]]]]]]
|
33
|
-
)
|
34
|
-
end
|
35
|
-
|
36
|
-
it 'returns failure result ast' do
|
37
|
-
expect(operation.with(id: :name).([]).to_ast).to eql(
|
38
|
-
[:failure, [:name, [:xor, [[:predicate, [:array?, [[:input, []]]]], [:predicate, [:empty?, [[:input, []]]]]]]]]
|
39
|
-
)
|
40
|
-
end
|
41
|
-
end
|
42
|
-
|
43
|
-
describe '#and' do
|
44
|
-
it 'creates conjunction with the other' do
|
45
|
-
expect(operation.and(other).(nil)).to be_failure
|
46
|
-
expect(operation.and(other).(19)).to be_failure
|
47
|
-
expect(operation.and(other).('')).to be_success
|
48
|
-
end
|
49
|
-
end
|
50
|
-
|
51
|
-
describe '#or' do
|
52
|
-
it 'creates disjunction with the other' do
|
53
|
-
expect(operation.or(other).([])).to be_failure
|
54
|
-
expect(operation.or(other).('')).to be_success
|
55
|
-
end
|
56
|
-
end
|
57
|
-
|
58
|
-
describe '#to_s' do
|
59
|
-
it 'returns string representation' do
|
60
|
-
expect(operation.to_s).to eql('array? XOR empty?')
|
61
|
-
end
|
62
|
-
end
|
63
|
-
end
|
@@ -1,43 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
require 'dry/logic/predicates'
|
4
|
-
|
5
|
-
RSpec.describe Dry::Logic::Predicates do
|
6
|
-
describe '#array?' do
|
7
|
-
let(:predicate_name) { :array? }
|
8
|
-
|
9
|
-
context 'when value is an array' do
|
10
|
-
let(:arguments_list) do
|
11
|
-
[
|
12
|
-
[ [] ],
|
13
|
-
[ ['other', 'array'] ],
|
14
|
-
[ [123, 'really', :blah] ],
|
15
|
-
[ Array.new ],
|
16
|
-
[ [nil] ],
|
17
|
-
[ [false] ],
|
18
|
-
[ [true] ]
|
19
|
-
]
|
20
|
-
end
|
21
|
-
|
22
|
-
it_behaves_like 'a passing predicate'
|
23
|
-
end
|
24
|
-
|
25
|
-
context 'when value is not an array' do
|
26
|
-
let(:arguments_list) do
|
27
|
-
[
|
28
|
-
[''],
|
29
|
-
[{}],
|
30
|
-
[nil],
|
31
|
-
[:symbol],
|
32
|
-
[String],
|
33
|
-
[1],
|
34
|
-
[1.0],
|
35
|
-
[true],
|
36
|
-
[Hash.new]
|
37
|
-
]
|
38
|
-
end
|
39
|
-
|
40
|
-
it_behaves_like 'a failing predicate'
|
41
|
-
end
|
42
|
-
end
|
43
|
-
end
|
@@ -1,31 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
require 'dry/logic/predicates'
|
4
|
-
|
5
|
-
RSpec.describe Dry::Logic::Predicates do
|
6
|
-
describe '#attr?' do
|
7
|
-
let(:predicate_name) { :attr? }
|
8
|
-
|
9
|
-
context 'when value responds to the attr name' do
|
10
|
-
let(:arguments_list) do
|
11
|
-
[
|
12
|
-
[:name, Struct.new(:name).new('John')],
|
13
|
-
[:age, Struct.new(:age).new(18)]
|
14
|
-
]
|
15
|
-
end
|
16
|
-
|
17
|
-
it_behaves_like 'a passing predicate'
|
18
|
-
end
|
19
|
-
|
20
|
-
context 'with value does not respond to the attr name' do
|
21
|
-
let(:arguments_list) do
|
22
|
-
[
|
23
|
-
[:name, Struct.new(:age).new(18)],
|
24
|
-
[:age, Struct.new(:name).new('Jill')]
|
25
|
-
]
|
26
|
-
end
|
27
|
-
|
28
|
-
it_behaves_like 'a failing predicate'
|
29
|
-
end
|
30
|
-
end
|
31
|
-
end
|
@@ -1,36 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
require 'dry/logic/predicates'
|
4
|
-
|
5
|
-
RSpec.describe Dry::Logic::Predicates do
|
6
|
-
describe '#bool?' do
|
7
|
-
let(:predicate_name) { :bool? }
|
8
|
-
|
9
|
-
context 'when value is a boolean' do
|
10
|
-
let(:arguments_list) do
|
11
|
-
[[true], [false]]
|
12
|
-
end
|
13
|
-
|
14
|
-
it_behaves_like 'a passing predicate'
|
15
|
-
end
|
16
|
-
|
17
|
-
context 'when value is not a bool' do
|
18
|
-
let(:arguments_list) do
|
19
|
-
[
|
20
|
-
[''],
|
21
|
-
[[]],
|
22
|
-
[{}],
|
23
|
-
[nil],
|
24
|
-
[:symbol],
|
25
|
-
[String],
|
26
|
-
[1],
|
27
|
-
[0],
|
28
|
-
['true'],
|
29
|
-
['false']
|
30
|
-
]
|
31
|
-
end
|
32
|
-
|
33
|
-
it_behaves_like 'a failing predicate'
|
34
|
-
end
|
35
|
-
end
|
36
|
-
end
|
@@ -1,48 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
require 'dry/logic/predicates'
|
4
|
-
|
5
|
-
RSpec.describe Dry::Logic::Predicates do
|
6
|
-
describe '#bytesize?' do
|
7
|
-
let(:predicate_name) { :bytesize? }
|
8
|
-
|
9
|
-
context 'when value size is equal to n' do
|
10
|
-
let(:arguments_list) do
|
11
|
-
[
|
12
|
-
[4, 'こa'],
|
13
|
-
[1..8, 'こa']
|
14
|
-
]
|
15
|
-
end
|
16
|
-
|
17
|
-
it_behaves_like 'a passing predicate'
|
18
|
-
end
|
19
|
-
|
20
|
-
context 'when value size is greater than n' do
|
21
|
-
let(:arguments_list) do
|
22
|
-
[
|
23
|
-
[3, 'こa'],
|
24
|
-
[1..3, 'こa']
|
25
|
-
]
|
26
|
-
end
|
27
|
-
|
28
|
-
it_behaves_like 'a failing predicate'
|
29
|
-
end
|
30
|
-
|
31
|
-
context 'with value size is less than n' do
|
32
|
-
let(:arguments_list) do
|
33
|
-
[
|
34
|
-
[5, 'こa'],
|
35
|
-
[5..10, 'こa']
|
36
|
-
]
|
37
|
-
end
|
38
|
-
|
39
|
-
it_behaves_like 'a failing predicate'
|
40
|
-
end
|
41
|
-
|
42
|
-
context 'with an unsupported size' do
|
43
|
-
it 'raises an error' do
|
44
|
-
expect { Predicates[:bytesize?].call('oops', 1) }.to raise_error(ArgumentError, /oops/)
|
45
|
-
end
|
46
|
-
end
|
47
|
-
end
|
48
|
-
end
|
@@ -1,35 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
require 'dry/logic/predicates'
|
4
|
-
|
5
|
-
RSpec.describe Dry::Logic::Predicates do
|
6
|
-
describe '#case?' do
|
7
|
-
let(:predicate_name) { :case? }
|
8
|
-
|
9
|
-
context 'when the value matches the pattern' do
|
10
|
-
let(:arguments_list) do
|
11
|
-
[
|
12
|
-
[11, 11],
|
13
|
-
[:odd?.to_proc, 11],
|
14
|
-
[/\Af/, 'foo'],
|
15
|
-
[Integer, 11]
|
16
|
-
]
|
17
|
-
end
|
18
|
-
|
19
|
-
it_behaves_like 'a passing predicate'
|
20
|
-
end
|
21
|
-
|
22
|
-
context "when the value doesn't match the pattern" do
|
23
|
-
let(:arguments_list) do
|
24
|
-
[
|
25
|
-
[13, 14],
|
26
|
-
[:odd?.to_proc, 12],
|
27
|
-
[/\Af/, 'bar'],
|
28
|
-
[String, 11]
|
29
|
-
]
|
30
|
-
end
|
31
|
-
|
32
|
-
it_behaves_like 'a failing predicate'
|
33
|
-
end
|
34
|
-
end
|
35
|
-
end
|
@@ -1,33 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
require 'dry/logic/predicates'
|
4
|
-
|
5
|
-
RSpec.describe Dry::Logic::Predicates do
|
6
|
-
describe '#date?' do
|
7
|
-
let(:predicate_name) { :date? }
|
8
|
-
|
9
|
-
context 'when value is a date' do
|
10
|
-
let(:arguments_list) do
|
11
|
-
[[Date.today]]
|
12
|
-
end
|
13
|
-
|
14
|
-
it_behaves_like 'a passing predicate'
|
15
|
-
end
|
16
|
-
|
17
|
-
context 'with value is not an integer' do
|
18
|
-
let(:arguments_list) do
|
19
|
-
[
|
20
|
-
[''],
|
21
|
-
[[]],
|
22
|
-
[{}],
|
23
|
-
[nil],
|
24
|
-
[:symbol],
|
25
|
-
[String],
|
26
|
-
[1]
|
27
|
-
]
|
28
|
-
end
|
29
|
-
|
30
|
-
it_behaves_like 'a failing predicate'
|
31
|
-
end
|
32
|
-
end
|
33
|
-
end
|
@@ -1,33 +0,0 @@
|
|
1
|
-
# frozen_string_literal: true
|
2
|
-
|
3
|
-
require 'dry/logic/predicates'
|
4
|
-
|
5
|
-
RSpec.describe Dry::Logic::Predicates do
|
6
|
-
describe '#date_time?' do
|
7
|
-
let(:predicate_name) { :date_time? }
|
8
|
-
|
9
|
-
context 'when value is a datetime' do
|
10
|
-
let(:arguments_list) do
|
11
|
-
[[DateTime.now]]
|
12
|
-
end
|
13
|
-
|
14
|
-
it_behaves_like 'a passing predicate'
|
15
|
-
end
|
16
|
-
|
17
|
-
context 'with value is not an integer' do
|
18
|
-
let(:arguments_list) do
|
19
|
-
[
|
20
|
-
[''],
|
21
|
-
[[]],
|
22
|
-
[{}],
|
23
|
-
[nil],
|
24
|
-
[:symbol],
|
25
|
-
[String],
|
26
|
-
[1]
|
27
|
-
]
|
28
|
-
end
|
29
|
-
|
30
|
-
it_behaves_like 'a failing predicate'
|
31
|
-
end
|
32
|
-
end
|
33
|
-
end
|