Class: Axiom::Function::Predicate

Inherits:

Axiom::Function

• Object
• Axiom::Function
• Axiom::Function::Predicate

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

Direct Known Subclasses

Equality, Exclusion, GreaterThan, GreaterThanOrEqualTo, Inclusion, Inequality, LessThan, LessThanOrEqualTo, Match, NoMatch

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

Class Method Summary

• .type ⇒ Class<Types::Boolean>

  Return the type returned from #call.

Methods included from Binary::Invertible

#inverse

Methods included from Binary

#call, #rename, #type

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, #type

Methods included from Visitable

#accept

Class Method Details

.type ⇒ Class<Types::Boolean>

Return the type returned from #call

Examples:

type = Axiom::Function::Predicate.type  # => Axiom::Types::Boolean

Returns:

• (Class<Types::Boolean>)

# File 'lib/axiom/function/predicate.rb', line 23

def self.type
  Types::Boolean
end