checker

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
}

type NativeResultBridge struct {
	Kind string
	Type types.Type
}

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

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
	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
}

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
}