AssertableTo reports whether a value of type V can be asserted to have type T.

AssignableTo reports whether a value of type V is assignable to a variable of type T.

Comparable reports whether values of type T are comparable.

ConvertibleTo reports whether a value of type V is convertible to a value of type T.

DefPredeclaredTestFuncs defines the assert and trace built-ins.

Eval returns the type and, if constant, the value for the expression expr, evaluated at position pos of package pkg, which must have been derived from type-checking an AST with complete position information relative to the provided file set.

ExprString returns the (possibly simplified) string representation for x.

Id returns name if it is exported, otherwise it returns the name qualified with the package path.

Identical reports whether x and y are identical.

Implements reports whether type V implements interface T.

IsInterface reports whether typ is an interface type.

LookupFieldOrMethod looks up a field or method with given package and name in T and returns the corresponding *Var or *Func, an index sequence, and a bool indicating if there were any pointer indirections on the path to the field or method.

MissingMethod returns (nil, false) if V implements T, otherwise it returns a missing method required by T and whether it is missing or just has the wrong type.

NewArray returns a new array type for the given element type and length.

NewChan returns a new channel type for the given direction and element type.

NewChecker returns a new Checker instance for a given package.

NewInterface returns a new interface for the given methods and embedded types.

NewMap returns a new map for the given key and element types.

NewMethodSet returns the method set for the given type T.

NewNamed returns a new named type for the given type name, underlying type, and associated methods.

NewPackage returns a new Package for the given package path and name; the name must not be the blank identifier.

NewPointer returns a new pointer type for the given element (base) type.

NewScope returns a new, empty scope contained in the given parent scope, if any.

NewSignature returns a new function type for the given receiver, parameters, and results, either of which may be nil.

NewSlice returns a new slice type for the given element type.

NewStruct returns a new struct with the given fields and corresponding field tags.

NewTuple returns a new tuple for the given variables.

ObjectString returns the string form of obj.

RelativeTo(pkg) returns a Qualifier that fully qualifies members of all packages other than pkg.

SelectionString returns the string form of s.

TypeString returns the string representation of typ.

WriteExpr writes the (possibly simplified) string representation for x to buf.

WriteSignature writes the representation of the signature sig to buf, without a leading "func" keyword.

WriteType writes the string representation of typ to buf.

predeclared types.

aliases.

x.f is a struct field selector.

type is invalid.

Properties of basic types.

Properties of basic types.

Properties of basic types.

Properties of basic types.

Properties of basic types.

Properties of basic types.

Properties of basic types.

Properties of basic types.

Properties of basic types.

Properties of basic types.

x.f is a method expression.

x.f is a method selector.

The direction of a channel is indicated by one of the following constants.

The direction of a channel is indicated by one of the following constants.

The direction of a channel is indicated by one of the following constants.

types for untyped values.

An Array represents an array type.

A Basic represents a basic type.

A Builtin represents a built-in function.

A Chan represents a channel type.

A Checker maintains the state of the type checker.

A Config specifies the configuration for type checking.

A Const represents a declared constant.

An Error describes a type-checking error; it implements the error interface.

A Func represents a declared function, concrete method, or abstract (interface) method.

Info holds result type information for a type-checked package.

An Initializer describes a package-level variable, or a list of variables in case of a multi-valued initialization expression, and the corresponding initialization expression.

An Interface represents an interface type.

A Label represents a declared label.

A Map represents a map type.

A MethodSet is an ordered set of concrete or abstract (interface) methods; a method is a MethodVal selection, and they are ordered by ascending m.Obj().Id().

A Named represents a named type.

Nil represents the predeclared value nil.

A Package describes a Go package.

A PkgName represents an imported Go package.

A Pointer represents a pointer type.

A Scope maintains a set of objects and links to its containing (parent) and contained (children) scopes.

A Selection describes a selector expression x.f.

A Signature represents a (non-builtin) function or method type.

A Slice represents a slice type.

StdSizes is a convenience type for creating commonly used Sizes.

A Struct represents a struct type.

A Tuple represents an ordered list of variables; a nil *Tuple is a valid (empty) tuple.

TypeAndValue reports the type and value (for constants) of the corresponding expression.

A TypeName represents a declared type.

A Variable represents a declared variable (including function parameters and results, and struct fields).

An importer resolves import paths to Packages.

An Object describes a named language entity such as a package, constant, type, variable, function (incl.

Sizes defines the sizing functions for package unsafe.

A Type represents a type of Go.

BasicInfo is a set of flags describing properties of a basic type.

BasicKind describes the kind of basic type.

A ChanDir value indicates a channel direction.

A Qualifier controls how named package-level objects are printed in calls to TypeString, ObjectString, and SelectionString.

SelectionKind describes the kind of a selector expression x.f (excluding qualified identifiers).