Class: Axiom::Function::Predicate

Inherits:
Axiom::Function show all
Includes:
AbstractType, Binary, Binary::Invertible, Connective::Conjunction::Methods, Connective::Disjunction::Methods, Connective::Negation::Methods
Defined in:
lib/axiom/function/predicate.rb,
lib/axiom/function/predicate/match.rb,
lib/axiom/function/predicate/equality.rb,
lib/axiom/function/predicate/no_match.rb,
lib/axiom/function/predicate/exclusion.rb,
lib/axiom/function/predicate/inclusion.rb,
lib/axiom/function/predicate/less_than.rb,
lib/axiom/function/predicate/enumerable.rb,
lib/axiom/function/predicate/inequality.rb,
lib/axiom/function/predicate/greater_than.rb,
lib/axiom/function/predicate/less_than_or_equal_to.rb,
lib/axiom/function/predicate/greater_than_or_equal_to.rb

Overview

Abstract base class for logical predicates

Defined Under Namespace

Modules: Enumerable Classes: Equality, Exclusion, GreaterThan, GreaterThanOrEqualTo, Inclusion, Inequality, LessThan, LessThanOrEqualTo, Match, NoMatch

Instance Attribute Summary

Attributes included from Operation::Binary

#left, #right

Instance Method Summary collapse

Methods included from Binary::Invertible

#inverse

Methods included from Binary

#call, #rename

Methods included from Operation::Binary

#initialize

Methods included from Connective::Conjunction::Methods

#and

Methods included from Aliasable

#inheritable_alias

Methods included from Connective::Disjunction::Methods

#or

Methods included from Connective::Negation::Methods

#not

Methods inherited from Axiom::Function

extract_value, rename_attributes

Methods included from Visitable

#accept

Instance Method Details

#type ⇒ Class<Attribute::Boolean>

Return the type returned from #call

Returns:



20
21
22
 
# File 'lib/axiom/function/predicate.rb', line 20

def type
  Attribute::Boolean
end