Versions in this module Expand all Collapse all v0 v0.0.2 Apr 25, 2026 Changes in this version + type LineAndChar struct + Character int + Line int + type Location struct + End *LineAndChar + Path string + Start *LineAndChar + type Phase string + const PhaseBind + const PhaseCheck + const PhaseCheckTypes + const PhaseEmit + const PhaseParse + const PhaseProgram + const PhaseSession + type TraceRecord struct + ConfigFilePath string + TracePath string + TypesPath string + type TracedType interface + AliasSymbol func() *ast.Symbol + AliasTypeArguments func() []TracedType + ConditionalCheckType func() TracedType + ConditionalExtendsType func() TracedType + ConditionalFalseType func() TracedType + ConditionalTrueType func() TracedType + Display func() string + EvolvingArrayElementType func() TracedType + EvolvingArrayFinalType func() TracedType + FormatFlags func() []string + Id func() uint32 + IndexType func() TracedType + IndexedAccessIndexType func() TracedType + IndexedAccessObjectType func() TracedType + IntersectionTypes func() []TracedType + IntrinsicName func() string + IsConditional func() bool + IsTuple func() bool + Pattern func() *ast.Node + RecursionIdentity func() any + ReferenceNode func() *ast.Node + ReferenceTarget func() TracedType + ReferenceTypeArguments func() []TracedType + ReverseMappedConstraintType func() TracedType + ReverseMappedMappedType func() TracedType + ReverseMappedSourceType func() TracedType + SubstitutionBaseType func() TracedType + SubstitutionConstraintType func() TracedType + Symbol func() *ast.Symbol + UnionTypes func() []TracedType + type Tracer interface + DumpTypes func() error + RecordType func(t TracedType) + type Tracing struct + func StartTracing(fs vfs.FS, traceDir string, configFilePath string, deterministic bool) (*Tracing, error) + func (tr *Tracing) Instant(phase Phase, name string, args map[string]any) + func (tr *Tracing) NewTypeTracer(checkerIndex int) Tracer + func (tr *Tracing) Push(phase Phase, name string, args map[string]any, separateBeginAndEnd bool) func() + func (tr *Tracing) StopTracing() error + type TypeDescriptor struct + AliasTypeArguments []uint32 + ConditionalCheckType *uint32 + ConditionalExtendsType *uint32 + ConditionalFalseType *int32 + ConditionalTrueType *int32 + ConstraintType *uint32 + DestructuringPattern *Location + Display string + EvolvingArrayElementType *uint32 + EvolvingArrayFinalType *uint32 + FirstDeclaration *Location + Flags []string + ID uint32 + IndexedAccessIndexType *uint32 + IndexedAccessObjectType *uint32 + InstantiatedType *uint32 + IntersectionTypes []uint32 + IntrinsicName string + IsTuple bool + KeyofType *uint32 + RecursionID *int + ReferenceLocation *Location + ReverseMappedConstraintType *uint32 + ReverseMappedMappedType *uint32 + ReverseMappedSourceType *uint32 + SubstitutionBaseType *uint32 + SymbolName string + TypeArguments []uint32 + UnionTypes []uint32