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::LazyValue
class Dry::Logic::Result::Result::Set
class Dry::Logic::Result::Result::Value
class Dry::Logic::Result::Result::Verified
class Dry::Logic::Result::Result::Wrapped
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::Group
class Dry::Logic::Rule::Implication
class Dry::Logic::Rule::Key
class Dry::Logic::Rule::Negation
class Dry::Logic::Rule::Result
class Dry::Logic::Rule::Set
class Dry::Logic::Rule::Value
class Dry::Logic::RuleCompiler
dry-logic
0.1.1
def call(*args) left.(*args) > right end
def type :implication end