checker

type CallSpecialization struct {
	Callee    string
	Arguments []ast.Expression
}

type CallSpecializationRequest struct {
	Request  packageextension.SpecializeCallRequest
	Receiver ast.Expression
}

type CaseBinding struct {
	Name  string
	Field EnumField
}

type CaseNarrowing struct {
	Name     string
	Branches map[ast.Expression]types.Type
	Else     types.Type
}

type CasePattern struct {
	Variant     EnumVariant
	Bindings    []CaseBinding
	PayloadEnum bool
	MatchType   types.Type
	TypeUnion   bool
}

type Checker struct {
	// contains filtered or unexported fields
}

type CodecApplication struct {
	Operation string
	Schema    CodecSchema
}

type CodecField struct {
	Name     string
	WireName string
	Schema   *CodecSchema
}

type CodecRawValue struct {
	Member string
	Raw    string
}

type CodecSchema struct {
	Type      types.Type
	Kind      string
	Module    string
	Reference *resolver.Binding
	Element   *CodecSchema
	Fields    []CodecField
	RawType   types.Type
	RawValues []CodecRawValue
}

type EnumCall struct {
	EnumName  string
	Method    string
	Receiver  ast.Expression
	Reference *resolver.Binding
	Raw       *RawEnum
}

type EnumField struct {
	Name string
	Type types.Type
}

type EnumVariant struct {
	EnumName      string
	Name          string
	Fields        []EnumField
	TypeArguments []types.Type
	Reference     *resolver.Binding
}

type GenericApplication struct {
	Name                   string
	Kind                   string
	Owner                  string
	TypeParameters         []string
	TypeArguments          []types.Type
	OwnerArguments         []types.Type
	Parameters             []types.Type
	ParameterResultBridges []resolver.NativeResultBridge
	ReturnType             types.Type
	Required               int
	Variadic               bool
	Specializer            string
}

type NativeResultBridge struct {
	Kind string
	Type types.Type
}

type Options struct {
	AllowUnusedImports     bool
	InteractiveTopLevel    bool
	RunnableMain           *ast.MethodStatement
	CompilerGeneratedStart int
}

type RawEnum struct {
	Type   types.Type
	Values map[string]RawEnumValue
}

type RawEnumValue struct {
	Raw  string
	Type types.Type
}

type Result struct {
	Program                    *ast.Program
	Expressions                map[ast.Expression]types.Type
	Conversions                map[ast.Expression]types.Type
	NullableUnwraps            map[ast.Expression]types.Type
	NativeResultBridges        map[ast.Expression]NativeResultBridge
	Variables                  map[*ast.VariableStatement]types.Type
	Iterations                 map[*ast.IterationExpression]types.Type
	IterationBindings          map[*ast.IterationExpression][]types.Type
	LexicalBindings            map[*ast.Identifier]bool
	Constants                  map[ast.Expression]string
	ConstantOwners             map[*ast.VariableStatement]string
	Resolution                 resolver.Result
	References                 map[ast.Expression]resolver.Binding
	EnumConstructors           map[*ast.CallExpression]EnumVariant
	CasePatterns               map[ast.Expression]CasePattern
	CaseNarrowings             map[*ast.CaseStatement]CaseNarrowing
	GenericApplications        map[*ast.GenericExpression]GenericApplication
	CodecApplications          map[*ast.CallExpression]CodecApplication
	CallSpecializationRequests map[*ast.CallExpression]CallSpecializationRequest
	CallSpecializations        map[*ast.CallExpression]CallSpecialization
	RawEnums                   map[*ast.EnumStatement]RawEnum
	EnumCalls                  map[*ast.CallExpression]EnumCall
	TypeAliases                map[*ast.TypeAliasStatement]TypeAlias
	ResultTries                map[*ast.TryExpression]ResultTry
	ResultCatches              map[*ast.CatchExpression]ResultCatch
	StructuredBlocks           map[*ast.CallExpression]StructuredBlock
	ExternalMembers            map[ast.Expression]declaration.Member
	ClassFieldAccesses         map[*ast.MemberExpression]bool
	UnionMemberAccesses        map[*ast.MemberExpression][]UnionMemberAccess
	RuntimeDependencies        map[string]*stdlib.Package
	ImportUses                 map[*ast.ImportStatement]map[string]bool
	CompilerGeneratedStart     int
}

type ResultCatch struct {
	SuccessType     types.Type
	ErrorType       types.Type
	ResultType      types.Type
	HandlerResult   ast.Expression
	HandlerDiverges bool
}

type ResultTry struct {
	SuccessType       types.Type
	ErrorType         types.Type
	ReturnSuccessType types.Type
	ReturnErrorType   types.Type
	ReturnType        types.Type
}

type StructuredBlock struct {
	Parameters     []types.Type
	Return         types.Type
	Result         ast.Expression
	ResultBoundary types.Type
	ResultType     types.Type
}

type TypeAlias struct {
	Target   types.Type
	Variants []EnumVariant
}

type UnionMemberAccess struct {
	Alternative types.Type
	Member      types.Type
}