Class: Finitio::BuiltinType

Inherits:
Type
  • Object
show all
Defined in:
lib/finitio/type/builtin_type.rb

Overview

A BuiltinType generator allows capuring an information type to a type of the host language, here a Ruby class. For instance,

Int := BuiltinType(ruby.Fixnum)

The set of values captured by the information type is the same set of values that can be represented by the host type. In the example, ‘Int` captures the same set of numbers as ruby’s Fixnum.

The ruby class is used as concrete representation of the information type. In the example:

R(Int) = Fixnum

Accordingly, the ‘dress` transformation function has the following signature:

dress :: Alpha  -> Int    throws TypeError
dress :: Object -> Fixnum throws TypeError

Constant Summary

Constants included from Metadata

Metadata::EMPTY_METADATA

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods inherited from Type

#anonymous?, #name, #name=, #named?, #to_s

Methods included from Metadata

#metadata, #metadata=, #metadata?

Constructor Details

#initialize(ruby_type, name = nil, metadata = nil) ⇒ BuiltinType

Returns a new instance of BuiltinType.



24
25
26
27
 
# File 'lib/finitio/type/builtin_type.rb', line 24

def initialize(ruby_type, name = nil, metadata = nil)
  super(name, metadata)
  @ruby_type = ruby_type
end

Instance Attribute Details

#ruby_type ⇒ Object (readonly) Also known as: representator

Returns the value of attribute ruby_type.



28
29
30
 
# File 'lib/finitio/type/builtin_type.rb', line 28

def ruby_type
  @ruby_type
end

Instance Method Details

#==(other) ⇒ Object Also known as: eql? 



47
48
49
 
# File 'lib/finitio/type/builtin_type.rb', line 47

def ==(other)
  super || (other.is_a?(BuiltinType) && other.ruby_type==ruby_type)
end

#default_name ⇒ Object 



32
33
34
 
# File 'lib/finitio/type/builtin_type.rb', line 32

def default_name
  @ruby_type.name.to_s
end

#dress(value, handler = DressHelper.new) ⇒ Object

Check that ‘value` is a valid instance of `ruby_type` through `===` or raise an error.



42
43
44
45
 
# File 'lib/finitio/type/builtin_type.rb', line 42

def dress(value, handler = DressHelper.new)
  handler.failed!(self, value) unless ruby_type===value
  value
end

#hash ⇒ Object 



52
53
54
 
# File 'lib/finitio/type/builtin_type.rb', line 52

def hash
  self.class.hash ^ ruby_type.hash
end

#include?(value) ⇒ Boolean

Returns:

  • (Boolean) 


36
37
38
 
# File 'lib/finitio/type/builtin_type.rb', line 36

def include?(value)
  ruby_type === value
end