ir

Sep 5, 2026

Changes in this version

type Call

+ NewtypeMethod *NewtypeMethodCall

+ func (c *Call) NewtypeReceiver() Expression

type Newtype

+ Body []Statement

+ PrivateNew bool

+ type NewtypeMethodCall struct

+ Dispatch identity.Dispatch

+ Reference *Reference

Aug 31, 2026

Changes in this version

type Call

+ PresentType types.Type

type Member

+ PresentType types.Type

Aug 29, 2026

Changes in this version

type Import

+ NestedTypeSymbols map[string]string

+ QualifiedRoot string

+ SymbolAliases map[string]string

+ UsedSymbols []string

type Program

+ NativeSyntax bool

type Reference

+ PackageRoot bool

Aug 28, 2026

Changes in this version

type CallArgument

+ Field string

type Class

+ Declaration identity.Declaration

+ ImplementReferences []*Reference

+ ResolvedImplementReferences []*Reference

+ ResolvedImplements []types.Type

type Enum

+ Declaration identity.Declaration

type EnumCall

+ Owner string

+ OwnerIdentity identity.Declaration

type EnumConstruct

+ CallSignature []callsignature.Parameter

+ Declaration identity.Declaration

+ Owner string

type EnumMember

+ Attributes []Attribute

type Identifier

+ Declaration identity.Declaration

+ Dispatch identity.Dispatch

type Import

+ RecordDefaults map[string]bool

type Interface

+ Declaration identity.Declaration

type Member

+ Declaration identity.Declaration

+ Dispatch identity.Dispatch

type Method

+ Declaration identity.Declaration

+ Dispatch identity.Dispatch

type Module

+ Declaration identity.Declaration

type Newtype

+ Declaration identity.Declaration

type Parameter

+ Mutable bool

type Record

+ Declaration identity.Declaration

+ type RecordConstruct struct

+ Arguments []CallArgument

+ Declaration identity.Declaration

+ Fields []RecordFieldContract

+ Target Expression

+ TypeArguments []types.Type

type RecordField

+ Default Expression

+ type RecordFieldContract struct

+ HasDefault bool

+ Name string

+ Type types.Type

type Reference

+ ClassMember bool

+ Declaration identity.Declaration

+ Dispatch identity.Dispatch

+ Owner string

type TypeAlias

+ AuthoredTarget types.Type

+ AuthoredTargetReference *Reference

+ Declaration identity.Declaration

+ TargetReference *Reference

type TypeApply

+ Declaration identity.Declaration

+ Dispatch identity.Dispatch

Aug 26, 2026

Changes in this version

type Transform

+ Limit Expression

Aug 25, 2026

Changes in this version

type Call

+ DeclarationOnly bool

Aug 25, 2026

Changes in this version

type Call

+ CallSignature []callsignature.Parameter

type EnumCall

+ CallSignature []callsignature.Parameter

type Parameter

+ NamedOnly bool

Aug 23, 2026

Changes in this version

type Import

+ RuntimeSymbols map[string]RuntimeBinding

type Reference

+ Runtime *RuntimeBinding

+ type RuntimeBinding struct

+ CallConvention string

+ Dependency string

+ Identity string

+ MaySuspend bool

+ Module string

+ PropagatesExecutionScope bool

+ Symbol string

Aug 23, 2026

Changes in this version

type ConversionKind

+ const PromiseRejectionToResultConversion

Aug 23, 2026

Changes in this version

type ConversionKind

+ const NewtypeConstructionConversion

+ const NewtypeValueConversion

+ type Newtype struct

+ Name string

+ Target types.Type

Aug 19, 2026

Changes in this version

type Import

+ DeclaredPath string

Aug 19, 2026

Changes in this version

type Iterate

+ ResultBoundary bool

Aug 17, 2026

Changes in this version

type Import

+ TypeContracts map[string]TypeContract

+ type MemberContract struct

+ Class bool

+ Fails types.Type

+ Kind string

+ Parameters []types.Type

+ Readonly bool

+ Required int

+ Type types.Type

+ TypeParameters []string

+ Variadic bool

+ type TypeContract struct

+ AliasTarget *types.Type

+ Members map[string]MemberContract

+ TypeParameters []string

Aug 15, 2026

Changes in this version

type Transform

+ Fails types.Type

+ SuccessType types.Type

Aug 15, 2026

Changes in this version

type CaseBranch

+ Alternatives []Expression

Aug 15, 2026

Changes in this version

type Interface

+ TypeParameters []string

Aug 14, 2026

Changes in this version

type Base

+ func (b Base) SourceSpan() token.Span

type ConversionKind

+ const NullableToNonNullableConversion

+ const RangeToIterableConversion

type Expression

+ SourceSpan func() token.Span

type Program

+ SourcePath string

type Statement

+ SourceSpan func() token.Span

Aug 13, 2026

Changes in this version

type Case

+ ElseNarrowings []CaseBinding

type CaseBranch

+ Narrowings []CaseBinding

type Class

+ TypeParameters []string

type ConversionKind

+ const PureFunctionToFallibleConversion

+ const ResultFunctionToPromiseRejectionConversion

type Import

+ GeneratedTypeSymbols []string

+ Native bool

+ SymbolParameters map[string][]types.Type

+ SymbolTypeParameters map[string][]string

+ SymbolTypes map[string]types.Type

+ type JSXAttribute struct

+ Boolean bool

+ Name string

+ Value Expression

+ type JSXChild interface

+ type JSXElement struct

+ Attributes []JSXAttribute

+ Children []JSXChild

+ Component Expression

+ Fragment bool

+ Name string

+ type JSXExpression struct

+ Value Expression

+ type JSXText struct

+ Text string

+ type Lambda struct

+ Body []Statement

+ Fails types.Type

+ Parameters []Parameter

+ ReturnType types.Type

+ SuccessType types.Type

type Member

+ UnionAlternatives []UnionMemberAlternative

type Program

+ Declarations *declaration.Catalog

+ UsesJSX bool

type Record

+ TypeParameters []string

type TypeApply

+ Kind string

+ Owner string

+ OwnerArguments []types.Type

+ type UnionMemberAlternative struct

+ MemberType types.Type

+ Type types.Type

Aug 11, 2026

Changes in this version

type CodecSchema

+ RawType types.Type

+ RawValues []EnumRawValue

type Enum

+ RawType types.Type

+ type EnumCall struct

+ Arguments []CallArgument

+ EnumName string

+ Fails types.Type

+ Method string

+ RawType types.Type

+ RawValues []EnumRawValue

+ Receiver Expression

+ Reference *Reference

type EnumMember

+ RawValue Expression

+ type EnumRawValue struct

+ Member string

+ Raw string

Aug 10, 2026

Changes in this version

+ type Attempt struct

+ Body []Statement

+ BodyResult Expression

+ Fails types.Type

+ Success types.Type

+ Value Expression

type Call

+ Fails types.Type

type CaseBinding

+ Generated bool

type Class

+ External bool

type Iterate

+ CaptureEffect bool

+ EffectSuccess types.Type

+ Fails types.Type

+ Intrinsic string

+ Result *IterationResult

+ UnhandledEffect bool

+ type IterationResult struct

+ Return bool

+ Target Expression

+ Type types.Type

+ Variable *Variable

type Member

+ ClassField bool

type Method

+ Alternatives []MethodSignature

+ External bool

+ Fails types.Type

+ Loadable bool

+ Property bool

+ SuccessType types.Type

+ type MethodSignature struct

+ Parameters []Parameter

+ ReturnType types.Type

+ Variadic bool

type Parameter

+ LiteralArrayElements []string

+ LiteralArrays [][]string

+ LiteralValues []string

type Program

+ TypeScriptRuntime string

+ type StructuredBlock struct

+ Bindings []IterationBinding

+ Body []Statement

+ Call *Call

+ CaptureEffect bool

+ EffectSuccess types.Type

+ Fails types.Type

+ Intrinsic string

+ PropagateSuccess types.Type

+ Result *StructuredBlockResult

+ UnhandledEffect bool

+ Value Expression

+ type StructuredBlockResult struct

+ Return bool

+ Target Expression

+ Type types.Type

+ Variable *Variable

+ type TypeAlias struct

+ Name string

+ Target types.Type

+ TypeParameters []string

+ Variants []EnumMember

+ type UnhandledEffect struct

+ Fails types.Type

+ Value Expression

Aug 8, 2026

Changes in this version

type ConversionKind

+ const NonNullableToNullableConversion

+ type Extension interface

+ ExtensionName func() string

type Import

+ Official bool

+ RuntimeIndependentSymbols map[string]bool

+ RuntimeRequired bool

type Method

+ TargetName string

type Program

+ Extensions []Extension

Aug 7, 2026

Changes in this version

type Case

+ ElseDiverges bool

+ ElseResult Expression

type CaseBranch

+ Diverges bool

+ Result Expression

type Identifier

+ Generated bool

type If

+ ElseDiverges bool

+ ElseResult Expression

+ HasElse bool

+ ThenDiverges bool

+ ThenResult Expression

type IfBranch

+ Diverges bool

+ Result Expression

+ type Temporary struct

+ Name string

+ Type types.Type

Aug 7, 2026

Changes in this version

type Case

+ TypeUnion bool

type CaseBranch

+ MatchType types.Type

+ TypePattern bool

type ConversionKind

+ const UnionIntegerToFloatConversion

type Identifier

+ Lexical bool

type Iterate

+ Bindings []IterationBinding

+ type IterationBinding struct

+ Name string

+ Type types.Type

Aug 6, 2026

Changes in this version

type Import

+ Implicit bool

Aug 5, 2026

Changes in this version

+ type Conversion struct

+ Kind ConversionKind

+ Value Expression

+ type ConversionKind string

+ const IntegerToFloatConversion

Aug 5, 2026

Changes in this version

+ type Array struct

+ Elements []Expression

+ type Assignment struct

+ Operator string

+ Target Expression

+ Value Expression

+ type Attribute struct

+ Arguments []CallArgument

+ Name string

+ type Base struct

+ Span token.Span

+ TrailingComment string

+ type Binary struct

+ Left Expression

+ Operator string

+ Right Expression

+ type Block struct

+ Body []Statement

+ Brace bool

+ Parameters []string

+ type Break struct

+ type Call struct

+ Arguments []CallArgument

+ Block *Block

+ Callee Expression

+ Codec *CodecSchema

+ type CallArgument struct

+ Name string

+ Splat string

+ Value Expression

+ type Case struct

+ Branches []CaseBranch

+ Else []Statement

+ HasElse bool

+ Leading []Statement

+ Value Expression

+ type CaseBinding struct

+ Field string

+ Name string

+ Type types.Type

+ type CaseBranch struct

+ Bindings []CaseBinding

+ Body []Statement

+ EnumName string

+ Member string

+ PayloadEnum bool

+ Value Expression

+ type Class struct

+ Body []Statement

+ Implements []string

+ Name string

+ Superclass Expression

+ type CodecField struct

+ Name string

+ Schema *CodecSchema

+ WireName string

+ type CodecSchema struct

+ Element *CodecSchema

+ Fields []CodecField

+ Kind string

+ Module string

+ Reference *Reference

+ Type types.Type

+ type Comment struct

+ Text string

+ type Enum struct

+ Body []Statement

+ Name string

+ TypeParameters []string

+ type EnumConstruct struct

+ Arguments []Expression

+ EnumName string

+ Member string

+ Reference *Reference

+ TypeArguments []types.Type

+ type EnumMember struct

+ Fields []Parameter

+ Name string

+ type ExprBase struct

+ Type types.Type

+ func NewExprBase(span token.Span, typ types.Type) ExprBase

+ func (e ExprBase) ExprType() types.Type

+ type Expression interface

+ ExprType func() types.Type

+ type ExpressionStatement struct

+ Expression Expression

+ type Field struct

+ Name string

+ ReadOnly bool

+ Type types.Type

+ Value Expression

+ type Hash struct

+ Entries []HashEntry

+ type HashEntry struct

+ Key Expression

+ Value Expression

+ type Identifier struct

+ Name string

+ Owner string

+ Reference *Reference

+ type If struct

+ Condition Expression

+ Else []Statement

+ ElseIf []IfBranch

+ Then []Statement

+ type IfBranch struct

+ Body []Statement

+ Condition Expression

+ type Import struct

+ Alias string

+ IntrinsicSymbols map[string]bool

+ Kind string

+ Namespace bool

+ Path string

+ Platform bool

+ Runtime bool

+ Standard bool

+ SymbolKinds map[string]string

+ Symbols []string

+ type Index struct

+ Index Expression

+ Receiver Expression

+ type Interface struct

+ Methods []*Method

+ Name string

+ type InterpolatedString struct

+ Parts []StringPart

+ Raw string

+ type Iterate struct

+ Body []Statement

+ Index string

+ Item string

+ ItemType types.Type

+ Operation string

+ SliceSize Expression

+ Source Expression

+ WithIndex bool

+ type Literal struct

+ Kind string

+ Raw string

+ type Member struct

+ Name string

+ Namespace bool

+ Receiver Expression

+ Reference *Reference

+ Safe bool

+ type Method struct

+ Body []Statement

+ Class bool

+ Name string

+ Parameters []Parameter

+ ReturnType types.Type

+ TypeParameters []string

+ type Module struct

+ Body []Statement

+ Name string

+ type Native struct

+ Text string

+ type NativeBlock struct

+ Body []Statement

+ Closer string

+ Header string

+ type NativeExpression struct

+ Text string

+ type Next struct

+ type Parameter struct

+ Default Expression

+ Keyword bool

+ KeywordRest bool

+ Name string

+ Rest bool

+ Type types.Type

+ type Program struct

+ GoModule string

+ Mode string

+ ModulePath string

+ Package string

+ RubyLoader string

+ Statements []Statement

+ type Range struct

+ End Expression

+ Exclusive bool

+ Start Expression

+ type Record struct

+ Body []Statement

+ Name string

+ type RecordField struct

+ Attributes []Attribute

+ Name string

+ Type types.Type

+ type Reference struct

+ Alias string

+ ExportKind string

+ Intrinsic string

+ Package string

+ ReceiverMethod bool

+ Symbol string

+ type Return struct

+ Value Expression

+ type Statement interface

+ type StringPart struct

+ Expression Expression

+ Text string

+ type Symbol struct

+ Name string

+ Raw string

+ type Transform struct

+ Accumulator string

+ Body []Statement

+ Index string

+ Initial Expression

+ Item string

+ ItemType types.Type

+ Operation string

+ Result Expression

+ Source Expression

+ WithIndex bool

+ type TypeApply struct

+ Arguments []types.Type

+ Receiver Expression

+ type Unary struct

+ Operand Expression

+ Operator string

+ type Variable struct

+ Constant bool

+ Mutable bool

+ Name string

+ Owner string

+ Type types.Type

+ Value Expression

+ type While struct

+ Body []Statement

+ Condition Expression