Sha256: e835c8fd8f9f575002d054d60467f56733fc31991052e36f1c62d56941322130
Contents?: true
Size: 1.02 KB
Versions: 31
Compression:
Stored size: 1.02 KB
Contents
module Steep module AST module Types class Tuple attr_reader :types attr_reader :location def initialize(types:, location: nil) @types = types @location = location end def ==(other) other.is_a?(Tuple) && other.types == types end def hash self.class.hash ^ types.hash end alias eql? == def subst(s) self.class.new(location: location, types: types.map {|ty| ty.subst(s) }) end def to_s "[#{types.join(", ")}]" end def free_variables types.each.with_object(Set.new) do |type, set| set.merge(type.free_variables) end end include Helper::ChildrenLevel def level [0] + level_of_children(types) end def with_location(new_location) self.class.new(types: types, location: new_location) end end end end end
Version data entries
31 entries across 31 versions & 1 rubygems