Contents

RSpec.describe Operations::Implication do
  subject(:operation) { Operations::Implication.new(left, right) }

  include_context 'predicates'

  let(:left) { Rule::Predicate.new(int?) }
  let(:right) { Rule::Predicate.new(gt?).curry(18) }

  describe '#call' do
    it 'calls left and right' do
      expect(operation.('19')).to be_success
      expect(operation.(19)).to be_success
      expect(operation.(18)).to be_failure
    end
  end

  describe '#to_ast' do
    it 'returns ast' do
      expect(operation.to_ast).to eql(
        [:implication, [[:predicate, [:int?, [[:input, Undefined]]]], [:predicate, [:gt?, [[:num, 18], [:input, Undefined]]]]]]
      )
    end
  end

  describe '#to_s' do
    it 'returns string representation' do
      expect(operation.to_s).to eql('int? THEN gt?(18)')
    end
  end
end

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
dry-logic-0.5.0	spec/unit/operations/implication_spec.rb
dry-logic-0.4.2	spec/unit/operations/implication_spec.rb
dry-logic-0.4.1	spec/unit/operations/implication_spec.rb
dry-logic-0.4.0	spec/unit/operations/implication_spec.rb