class Dhallish::Types::Union

Attributes

types[RW]

types: label -> Type

Public Class Methods

new(types) click to toggle source
# File lib/types.rb, line 131
def initialize(types)
        @types = types
end

Public Instance Methods

==(otype) click to toggle source
# File lib/types.rb, line 135
def ==(otype)
        if !otype.is_a? Union
                return false
        end

        @types.keys.reduce(true) { |isequal, key|
                isequal and (otype.types.include? key and @types[key] == otype.types[key])
        }
end
to_s() click to toggle source
# File lib/types.rb, line 145
def to_s()
        "< #{@types.keys.map { |key|
                "#{key}: #{@types[key].to_s}"
        }.join(" | ")} >"
end