Error constructs a new error type.

Errorf formats a new error type.

FieldsString returns a parseable string representation of the given fields.

Flow returns type t as a flow type.

FreshPredicate returns a fresh predicate.

Func returns a new func type with the given element (return type) and argument fields.

IsExported returns whether the provided identifier is considered exported: that is, it begins in an uppercase character as defined by unicode.

Labeled returns a labeled version of type t.

List returns a new list type with the given element type.

Make initializes type t and returns it, propagating errors of any child type.

Map returns a new map type with the given index and element types.

Module returns a new module type with the given fields.

NewEnv creates and initializes a new Env.

Ref returns a new pseudo-type reference to the given path.

Struct returns a new struct type with the given fields.

Sum returns a new sum type with the given variants.

Swizzle returns a version of t with modified const and flow flags: - if any of the type ts are NotConst, the returned type is also NotConst - const predicates from type ts are added to t's predicate set - t's flow flag is set if any of type ts are - the returned type's level is at most maxlevel.

Tuple returns a new tuple type with the given fields.

Unify returns the minimal common supertype of ts.

Always indicates that a binding is always unused unless explicitly marked used.

BoolKind is the type of booleans.

BottomKind is a value-less type.

CanConst indicates that the value represented by this type is derived from IsConst values, and thus may be promoted to IsConst if the underlying operation allows for it.

Const indicates that the value represented by this type can be computed statically by the compiler.

DirKind is the type of directories.

ErrorKind is an illegal type.

FileKind is the type of files.

FilesetKind is the type of filesets.

FloatKind is the type of arbitrary precision floats.

FuncKind is the type of funcs (arguments and return types).

IntKind is the type of arbitrary precision integers.

ListKind is the type of lists.

MapKind is the type of maps.

ModuleKind is the type of modules.

Never indicates that a binding is never considered unused.

NotConst indicates that the value represented by this type cannot be computed statically by the compiler.

RefKind is a pseudo-kind to carry type alias references.

StringKind is the type of UTF-8 encoded strings.

StructKind is the type of structs (containing named fields).

SumKind is the kind of sum types.

TopKind is the type of any value.

TupleKind is the kind of n-tuples of values (containing positional fields).

Unexported denotes that a binding is considered unused only if it is unexported.

UnitKind is a 1-valued type.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Convenience vars for common types.

Env represents a type environment that binds value and type identifiers to *Ts.

A Field is a labelled type.

Symbol stores symbol information for a binding maintained by an environment.

A T is a Reflow type.

Variant represents a single variant of a sum type.

ConstLevel determines the "constedness" of a type.

Kind represents a type's kind.

A Predicate represents a condition upon which a type's constedness is predictated.

Predicates is a predicate set.

Symtab is a symbol table of symbols.

Use denotes how a binding is consider used.