module Dry
module Dry::Logic
module Dry::Logic::PredicateSet
module Dry::Logic::PredicateSet::Methods
module Dry::Logic::Predicates
class Dry::Logic::Predicate
class Dry::Logic::Result
class Dry::Logic::Result::Result::Set
class Dry::Logic::Result::Result::Value
class Dry::Logic::Result::Result::Verified
class Dry::Logic::Rule
class Dry::Logic::Rule::Check
class Dry::Logic::Rule::Composite
class Dry::Logic::Rule::Conjunction
class Dry::Logic::Rule::Disjunction
class Dry::Logic::Rule::Each
class Dry::Logic::Rule::ExclusiveDisjunction
class Dry::Logic::Rule::Group
class Dry::Logic::Rule::Implication
class Dry::Logic::Rule::Key
class Dry::Logic::Rule::Negation
class Dry::Logic::Rule::Set
class Dry::Logic::Rule::Value
class Dry::Logic::RuleCompiler
dry-logic
0.1.0
# visit_check
def visit_check(node) name, predicate = node Rule::Check.new(name, visit(predicate)) end