module Axiom::Types

Gem namespace

Constants

Contradiction

A false proposition

Tautology

A true proposition

Undefined

Represent an undefined argument

VERSION

Gem version

Public Class Methods

finalize() click to toggle source

Finalize Axiom::Types::Type subclasses

@example

Axiom::Types.finalize  # => Axiom::Types

@return [Module<Axiom::Types>]

@api public

# File lib/axiom/types.rb, line 55
def self.finalize
  Type.descendants.each(&:finalize)
  self
end
infer(object) click to toggle source

Infer the type of an object

@example

Axiom::Types.infer(Integer)  # => Axiom::Types::Integer

@param [Object] object

object to infer the type of

@return [Class<Axiom::Types::Type>]

@api public

# File lib/axiom/types.rb, line 43
def self.infer(object)
  @inference_cache[object]
end