module Dry
module Dry::Logic
module Dry::Logic::PredicateSet
module Dry::Logic::PredicateSet::Methods
module Dry::Logic::Predicates
class Dry::Logic::Evaluator
class Dry::Logic::Evaluator::Attr
class Dry::Logic::Evaluator::Key
class Dry::Logic::Evaluator::Set
class Dry::Logic::Predicate
class Dry::Logic::Predicate::Curried
class Dry::Logic::Result
class Dry::Logic::Result::Each
class Dry::Logic::Result::Multi
class Dry::Logic::Result::Named
class Dry::Logic::Result::Set
class Dry::Logic::Result::Value
class Dry::Logic::Rule
class Dry::Logic::Rule::Attr
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::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.3.0
# type
def type :implication end