Contents

# encoding: utf-8

module Axiom
  class Function

    # Abstract base class for logical connectives
    class Connective < Function
      include AbstractType

      # Return the type returned from #call
      #
      # @example
      #   type = Axiom::Function::Connective.type  # => Axiom::Types::Boolean
      #
      # @return [Class<Types::Boolean>]
      #
      # @api public
      def self.type
        Types::Boolean
      end

    end # class Connective
  end # class Function
end # module Axiom

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
axiom-0.2.0	lib/axiom/function/connective.rb
axiom-0.1.1	lib/axiom/function/connective.rb