Class: Dry::Logic::Operations::And

Inherits:
Binary show all
Defined in:
lib/dry/logic/operations/and.rb

Instance Attribute Summary collapse

Attributes inherited from Binary

#left, #right

Attributes inherited from Abstract

#options, #rules

Instance Method Summary collapse

Methods inherited from Binary

#ast, #to_s

Methods inherited from Abstract

#curry, #id, #new, #to_ast, #with

Methods included from Dry::Logic::Operators

#and, #or, #then, #xor

Constructor Details

#initializeAnd

Returns a new instance of And.



10
11
12
13
# File 'lib/dry/logic/operations/and.rb', line 10

def initialize(*)
  super
  @hints = options.fetch(:hints, true)
end

Instance Attribute Details

#hintsObject (readonly)

Returns the value of attribute hints.



8
9
10
# File 'lib/dry/logic/operations/and.rb', line 8

def hints
  @hints
end

Instance Method Details

#[](input) ⇒ Object



39
40
41
# File 'lib/dry/logic/operations/and.rb', line 39

def [](input)
  left[input] && right[input]
end

#call(input) ⇒ Object



20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# File 'lib/dry/logic/operations/and.rb', line 20

def call(input)
  left_result = left.(input)

  if left_result.success?
    right_result = right.(input)

    if right_result.success?
      Result::SUCCESS
    else
      Result.new(false, id) { right_result.ast(input) }
    end
  else
    Result.new(false, id) do
      left_ast = left_result.to_ast
      hints ? [type, [left_ast, [:hint, right.ast(input)]]] : left_ast
    end
  end
end

#typeObject Also known as: operator



15
16
17
# File 'lib/dry/logic/operations/and.rb', line 15

def type
  :and
end