package typeparams

import "golang.org/x/tools/internal/typeparams"

Package typeparams provides functions to work indirectly with type parameter data stored in go/ast and go/types objects, while these API are guarded by a build constraint.

This package exists to make it easier for tools to work with generic code, while also compiling against older Go versions.

Index ¶

• Constants
• func ForFuncType(*ast.FuncType) *ast.FieldList
• func ForTypeSpec(*ast.TypeSpec) *ast.FieldList
• func InitInstanceInfo(*types.Info)
• func Instantiate(env *Environment, typ types.Type, targs []types.Type, validate bool) (types.Type, error)
• func IsComparable(*types.Interface) bool
• func IsConstraint(*types.Interface) bool
• func NamedTypeOrigin(named *types.Named) types.Type
• func SetForNamed(_ *types.Named, tparams []*TypeParam)
• func SetForSignature(_ *types.Signature, tparams []*TypeParam)
• func SetRecvTypeParams(sig *types.Signature, rparams []*TypeParam)
• func SetTypeParamConstraint(tparam *TypeParam, constraint types.Type)
• type Environment
• type IndexExprData
• func GetIndexExprData(n ast.Node) *IndexExprData
• type Term
• func NewTerm(tilde bool, typ types.Type) *Term
• func (*Term) String() string
• func (*Term) Tilde() bool
• func (*Term) Type() types.Type
• func (*Term) Underlying() types.Type
• type TypeList
• func GetInstance(*types.Info, *ast.Ident) (*TypeList, types.Type)
• func NamedTypeArgs(*types.Named) *TypeList
• func (*TypeList) At(int) types.Type
• func (*TypeList) Len() int
• type TypeParam
• func NewTypeParam(name *types.TypeName, constraint types.Type) *TypeParam
• func (*TypeParam) Constraint() types.Type
• func (*TypeParam) Obj() *types.TypeName
• type TypeParamList
• func ForNamed(*types.Named) *TypeParamList
• func ForSignature(*types.Signature) *TypeParamList
• func RecvTypeParams(sig *types.Signature) *TypeParamList
• func (*TypeParamList) At(int) *TypeParam
• func (*TypeParamList) Len() int
• type Union
• func NewUnion(terms []*Term) *Union
• func (*Union) Len() int
• func (*Union) Term(i int) *Term

Constants ¶

const Enabled = false

Enabled reports whether type parameters are enabled in the current build environment.

Functions ¶

func ForFuncType ¶

func ForFuncType(*ast.FuncType) *ast.FieldList

ForFuncType returns an empty field list, as type parameters are not supported at this Go version.

func ForTypeSpec ¶

func ForTypeSpec(*ast.TypeSpec) *ast.FieldList

ForTypeSpec returns an empty field list, as type parameters on not supported at this Go version.

func InitInstanceInfo ¶

func InitInstanceInfo(*types.Info)

InitInstanceInfo is a noop at this Go version.

func Instantiate ¶

func Instantiate(env *Environment, typ types.Type, targs []types.Type, validate bool) (types.Type, error)

Instantiate is unsupported on this Go version, and panics.

func IsComparable ¶

func IsComparable(*types.Interface) bool

IsComparable returns false, as no interfaces are type-restricted at this Go version.

func IsConstraint ¶

func IsConstraint(*types.Interface) bool

IsConstraint returns false, as no interfaces are type-restricted at this Go version.

func NamedTypeOrigin ¶

func NamedTypeOrigin(named *types.Named) types.Type

NamedTypeOrigin is the identity method at this Go version.

func SetForNamed ¶

func SetForNamed(_ *types.Named, tparams []*TypeParam)

SetForNamed panics if tparams is non-empty.

func SetForSignature ¶

func SetForSignature(_ *types.Signature, tparams []*TypeParam)

SetForSignature panics if tparams is non-empty.

func SetRecvTypeParams ¶

func SetRecvTypeParams(sig *types.Signature, rparams []*TypeParam)

SetRecvTypeParams panics if rparams is non-empty.

func SetTypeParamConstraint ¶

func SetTypeParamConstraint(tparam *TypeParam, constraint types.Type)

SetTypeParamConstraint is unsupported at this Go version, and panics.

Types ¶

type Environment ¶

type Environment struct{}

Environment is a placeholder type, as type parameters are not supported at this Go version.

type IndexExprData ¶

type IndexExprData struct {
	X       ast.Expr   // expression
	Lbrack  token.Pos  // position of "["
	Indices []ast.Expr // index expressions
	Rbrack  token.Pos  // position of "]"
}

A IndexExprData holds data from both ast.IndexExpr and the new ast.MultiIndexExpr, which was introduced in Go 1.18.

func GetIndexExprData ¶

func GetIndexExprData(n ast.Node) *IndexExprData

GetIndexExprData extracts data from *ast.IndexExpr nodes. For other nodes, GetIndexExprData returns nil.

type Term ¶

type Term struct{}

Term is a placeholder type, as type parameters are not supported at this Go version. Its methods panic on use.

func NewTerm ¶

func NewTerm(tilde bool, typ types.Type) *Term

NewTerm is unsupported at this Go version, and panics.

func (*Term) String ¶

func (*Term) String() string

func (*Term) Tilde ¶

func (*Term) Tilde() bool

func (*Term) Type ¶

func (*Term) Type() types.Type

func (*Term) Underlying ¶

func (*Term) Underlying() types.Type

type TypeList ¶

type TypeList struct{}

TypeList is a placeholder for an empty type list.

func GetInstance ¶

func GetInstance(*types.Info, *ast.Ident) (*TypeList, types.Type)

GetInstance returns nothing, as type parameters are not supported at this Go version.

func NamedTypeArgs ¶

func NamedTypeArgs(*types.Named) *TypeList

NamedTypeArgs returns nil.

func (*TypeList) At ¶

func (*TypeList) At(int) types.Type

func (*TypeList) Len ¶

func (*TypeList) Len() int

type TypeParam ¶

type TypeParam struct{ types.Type }

TypeParam is a placeholder type, as type parameters are not supported at this Go version. Its methods panic on use.

func NewTypeParam ¶

func NewTypeParam(name *types.TypeName, constraint types.Type) *TypeParam

NewTypeParam is unsupported at this Go version, and panics.

func (*TypeParam) Constraint ¶

func (*TypeParam) Constraint() types.Type

func (*TypeParam) Obj ¶

func (*TypeParam) Obj() *types.TypeName

type TypeParamList ¶

type TypeParamList struct{}

TypeParamList is a placeholder for an empty type parameter list.

func ForNamed ¶

func ForNamed(*types.Named) *TypeParamList

ForNamed returns an empty type parameter list, as type parameters are not supported at this Go version.

func ForSignature ¶

func ForSignature(*types.Signature) *TypeParamList

ForSignature returns an empty slice.

func RecvTypeParams ¶

func RecvTypeParams(sig *types.Signature) *TypeParamList

RecvTypeParams returns a nil slice.

func (*TypeParamList) At ¶

func (*TypeParamList) At(int) *TypeParam

func (*TypeParamList) Len ¶

func (*TypeParamList) Len() int

type Union ¶

type Union struct{ types.Type }

Union is a placeholder type, as type parameters are not supported at this Go version. Its methods panic on use.

func NewUnion ¶

func NewUnion(terms []*Term) *Union

NewUnion is unsupported at this Go version, and panics.

func (*Union) Len ¶

func (*Union) Len() int

func (*Union) Term ¶

func (*Union) Term(i int) *Term

Source Files ¶

common.go enabled_go117.go typeparams_go117.go