lib/types/generic.rb


# frozen_string_literal: true
# typed: true

# Use as a mixin with extend (`extend T::Generic`).
module T::Generic
  include T::Helpers
  include Kernel

  ### Class/Module Helpers ###

  def [](*types)
    self
  end

  def type_member(variance=:invariant, &blk)
    T::Types::TypeMember.new(variance)
  end

  def type_template(variance=:invariant, &blk)
    T::Types::TypeTemplate.new(variance)
  end

  def has_attached_class!(variance=:invariant, &blk); end
end