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 58 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 46 def self.infer(object) @inference_cache[object] end