Class: Dhallish::Types::Record

Inherits:
Object
  • Object
show all
Defined in:
lib/types.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(types) ⇒ Record

Returns a new instance of Record.



56
57
58
 
# File 'lib/types.rb', line 56

def initialize(types)
  @types = types
end

Instance Attribute Details

#types ⇒ Object

Hash: keyname -> type



55
56
57
 
# File 'lib/types.rb', line 55

def types
  @types
end

Instance Method Details

#==(otype) ⇒ Object 



60
61
62
63
64
65
66
67
68
69
70
71
72
 
# File 'lib/types.rb', line 60

def ==(otype)
  if !otype.is_a? Record or @types.size != otype.types.size
    return false
  end

  @types.keys.reduce(true) { |isequal, key|
    if !isequal or !(otype.types.key? key)
      false
    else
      otype.types[key] == @types[key]
    end
  }
end

#to_s ⇒ Object 



74
75
76
77
78
 
# File 'lib/types.rb', line 74

def to_s()
  "{ #{@types.keys.map { |key|
    "#{key}: #{@types[key].to_s}"
  }.join(", ")} }"
end