class Dry::Logic::Result

def >(other)
  if success?
    other.(input)
  else
    Logic.Result(input, true, rule)
  end
end

def and(other)
  if success?
    other.(input)
  else
    self
  end
end

def call(*)
  self
end

def curry(predicate_id = nil)
  if predicate_id
    Result::Verified.new(self, predicate_id)
  else
    self
  end
end

def failure?
  ! success?
end

def initialize(input, value, rule)
  @input = input
  @value = value
  @rule = rule
  @name = rule.name
end

def negated
  self.class.new(input, !value, rule)
end

def or(other)
  if success?
    self
  else
    other.(input)
  end
end

def success?
  @value
end

def xor(other)
  Logic.Result(input, success? ^ other.(input).success?, rule)
end