module Dry
module Dry::Logic
module Dry::Logic::Appliable
module Dry::Logic::Builder
module Dry::Logic::Builder::Context::Predicates
module Dry::Logic::Operations
module Dry::Logic::Operators
module Dry::Logic::Predicates
module Dry::Logic::Predicates::Methods
class Dry::Logic::Builder::Context
class Dry::Logic::Evaluator
class Dry::Logic::Evaluator::Attr
class Dry::Logic::Evaluator::Key
class Dry::Logic::Evaluator::Set
class Dry::Logic::Operations::Abstract
class Dry::Logic::Operations::And
class Dry::Logic::Operations::Attr
class Dry::Logic::Operations::Binary
class Dry::Logic::Operations::Check
class Dry::Logic::Operations::Each
class Dry::Logic::Operations::Implication
class Dry::Logic::Operations::Key
class Dry::Logic::Operations::Negation
class Dry::Logic::Operations::Or
class Dry::Logic::Operations::Set
class Dry::Logic::Operations::Unary
class Dry::Logic::Operations::Xor
class Dry::Logic::Result
class Dry::Logic::Rule
class Dry::Logic::Rule::Interface
class Dry::Logic::Rule::Predicate
class Dry::Logic::RuleCompiler
dry-logic
1.6.0
# visit_implication
def visit_implication(node) left, right = node visit(left).then(visit(right)) end