class Dhallish::Types::Type

Attributes

metadata[RW]

metadata contains information about that type, for example if its a list type. This is important for the static type checks.

Public Class Methods

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

Public Instance Methods

==(otype) click to toggle source
# File lib/types.rb, line 16
def ==(otype)
        if !otype.is_a? Type
                false
        elsif @metadata != nil && otype.metadata != nil
                @metadata == otype.metadata
        else
                true
        end
end
to_s() click to toggle source
# File lib/types.rb, line 25
def to_s()
        if @metadata.nil? or @metadata.is_a? Unresolved
                "Type"
        else
                "Type(#{@metadata.to_s})"
        end
end