Versions in this module Expand all Collapse all v0 v0.1.1 May 12, 2022 v0.1.0 May 12, 2022 Changes in this version + const Enabled + var ErrEmptyTypeSet = errors.New("empty type set") + func ForFuncType(n *ast.FuncType) *ast.FieldList + func ForTypeSpec(n *ast.TypeSpec) *ast.FieldList + func GenericAssignableTo(ctxt *Context, V, T types.Type) bool + func GetInstances(info *types.Info) map[*ast.Ident]Instance + func InitInstanceInfo(info *types.Info) + func Instantiate(ctxt *Context, typ types.Type, targs []types.Type, validate bool) (types.Type, error) + func IsComparable(iface *types.Interface) bool + func IsImplicit(iface *types.Interface) bool + func IsMethodSet(iface *types.Interface) bool + func IsTypeParam(t types.Type) bool + func MarkImplicit(iface *types.Interface) + func NamedTypeOrigin(named *types.Named) types.Type + func NewSignatureType(recv *types.Var, recvTypeParams, typeParams []*TypeParam, ...) *types.Signature + func OriginMethod(fn *types.Func) *types.Func + func PackIndexExpr(x ast.Expr, lbrack token.Pos, indices []ast.Expr, rbrack token.Pos) ast.Expr + func SetForNamed(n *types.Named, tparams []*TypeParam) + func SetTypeParamConstraint(tparam *TypeParam, constraint types.Type) + func UnpackIndexExpr(n ast.Node) (x ast.Expr, lbrack token.Pos, indices []ast.Expr, rbrack token.Pos) + type Context = types.Context + func NewContext() *Context + type IndexListExpr = ast.IndexListExpr + type Instance = types.Instance + type Term = types.Term + func InterfaceTermSet(iface *types.Interface) ([]*Term, error) + func NewTerm(tilde bool, typ types.Type) *Term + func StructuralTerms(tparam *TypeParam) ([]*Term, error) + func UnionTermSet(union *Union) ([]*Term, error) + type TypeList = types.TypeList + func NamedTypeArgs(named *types.Named) *TypeList + type TypeParam = types.TypeParam + func NewTypeParam(name *types.TypeName, constraint types.Type) *TypeParam + type TypeParamList = types.TypeParamList + func ForNamed(named *types.Named) *TypeParamList + func ForSignature(sig *types.Signature) *TypeParamList + func RecvTypeParams(sig *types.Signature) *TypeParamList + type Union = types.Union + func NewUnion(terms []*Term) *Union
Go to main page