Sha256: bba6c6c58ca4c82815332d0c1df0bc6a209a6a6da9ac588909691839d5a6f8c2

Contents?: true

Size: 1.66 KB

Versions: 46

Compression:

Stored size: 1.66 KB

Contents

# frozen_string_literal: true

module RBS
  class Substitution
    attr_reader :mapping
    attr_accessor :instance_type

    def empty?
      mapping.empty? && instance_type.nil?
    end

    def initialize()
      @mapping = {}
    end

    def add(from:, to:)
      mapping[from] = to
    end

    def self.build(variables, types, instance_type: nil, &block)
      unless variables.size == types.size
        raise "Broken substitution: variables=#{variables}, types=#{types}"
      end

      mapping = variables.zip(types).to_h

      self.new.tap do |subst|
        mapping.each do |v, t|
          type = block_given? ? yield(t) : t
          subst.add(from: v, to: type)
        end

        subst.instance_type = instance_type
      end
    end

    def apply(ty)
      case ty
      when Types::Variable
        # @type var ty: Types::Variable
        mapping[ty.name] || ty
      when Types::Bases::Instance
        if t = instance_type
          t
        else
          ty
        end
      else
        ty
      end
    end

    alias [] apply

    def without(*vars)
      Substitution.new.tap do |subst|
        subst.mapping.merge!(mapping)
        vars.each do |var|
          subst.mapping.delete(var)
        end

        subst.instance_type = self.instance_type
      end
    end

    def +(other)
      return self if other.empty?
      return other if self.empty?

      Substitution.new.tap do |subst|
        subst.mapping.merge!(mapping)

        other.mapping.each do |var, type|
          if mapping.key?(var)
            subst.add(from: var, to: self[type])
          else
            subst.add(from: var, to: type)
          end
        end
      end
    end
  end
end

Version data entries

46 entries across 46 versions & 2 rubygems

Version Path
rbs-relaxed-3.9.0.1 lib/rbs/substitution.rb
rbs-3.8.1 lib/rbs/substitution.rb
rbs-3.8.0 lib/rbs/substitution.rb
rbs-3.8.0.pre.1 lib/rbs/substitution.rb
rbs-3.7.0.pre.1 lib/rbs/substitution.rb
rbs-3.7.0.dev.1 lib/rbs/substitution.rb
rbs-3.6.1 lib/rbs/substitution.rb
rbs-3.6.0 lib/rbs/substitution.rb
rbs-3.6.0.pre.3 lib/rbs/substitution.rb
rbs-3.6.0.pre.2 lib/rbs/substitution.rb
rbs-3.6.0.pre.1 lib/rbs/substitution.rb
rbs-3.6.0.dev.1 lib/rbs/substitution.rb
rbs-3.5.3 lib/rbs/substitution.rb
rbs-3.5.2 lib/rbs/substitution.rb
rbs-3.5.1 lib/rbs/substitution.rb
rbs-3.5.1.pre.1 lib/rbs/substitution.rb
rbs-3.5.0 lib/rbs/substitution.rb
rbs-3.5.0.pre.2 lib/rbs/substitution.rb
rbs-3.5.0.pre.1 lib/rbs/substitution.rb
rbs-3.4.4 lib/rbs/substitution.rb