Contents

module Yoda
  module Typing
    module Types
      class Tuple < Base
        # @return [Array<Base>]
        attr_reader :types

        # @param types [Array<Base>]
        def initialize(*types)
          @types = types
        end

        def to_expression
          Model::TypeExpressions::InstanceType.new('Array')
        end

        def to_type_string
          inner = types.map(&:to_type_string)
          "(#{inner.join(', ')})"
        end
      end
    end
  end
end

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
yoda-language-server-0.10.1	lib/yoda/typing/types/tuple.rb
yoda-language-server-0.10.0	lib/yoda/typing/types/tuple.rb
yoda-language-server-0.9.0	lib/yoda/typing/types/tuple.rb
yoda-language-server-0.8.0	lib/yoda/typing/types/tuple.rb