Module: Philosophal::Types

Included in:

Properties

Defined in:

lib/philosophal/types.rb,
lib/philosophal/types/any_type.rb,
lib/philosophal/types/boolean_type.rb,
lib/philosophal/types/hash_of_type.rb,
lib/philosophal/types/array_of_type.rb

Defined Under Namespace

Classes: AnyType, ArrayOfType, BooleanType, HashOfType

Instance Method Summary

• #_Any ⇒ Object
• #_ArrayOf(subtype) ⇒ Object
• #_Boolean ⇒ Object
• #_HashOf(key_type, value_type) ⇒ Object

Instance Method Details

#_Any ⇒ Object

# File 'lib/philosophal/types.rb', line 10

def _Any
  AnyType::Instance
end

#_ArrayOf(subtype) ⇒ Object

# File 'lib/philosophal/types.rb', line 18

def _ArrayOf(subtype)
  ArrayOfType.instance(subtype)
end

#_Boolean ⇒ Object

# File 'lib/philosophal/types.rb', line 14

def _Boolean
  BooleanType::Instance
end

#_HashOf(key_type, value_type) ⇒ Object

# File 'lib/philosophal/types.rb', line 22

def _HashOf(key_type, value_type)
  HashOfType.instance(key_type, value_type)
end