checker

type CaseBinding struct {
	Name  string
	Field EnumField
}

type CasePattern struct {
	Variant     EnumVariant
	Bindings    []CaseBinding
	PayloadEnum 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 CodecSchema struct {
	Type      types.Type
	Kind      string
	Module    string
	Reference *resolver.Binding
	Element   *CodecSchema
	Fields    []CodecField
}

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
	TypeParameters []string
	TypeArguments  []types.Type
	Parameters     []types.Type
	ReturnType     types.Type
	Required       int
	Variadic       bool
}

type Result struct {
	Program             *ast.Program
	Expressions         map[ast.Expression]types.Type
	Variables           map[*ast.VariableStatement]types.Type
	Iterations          map[*ast.IterationExpression]types.Type
	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
	GenericApplications map[*ast.GenericExpression]GenericApplication
	CodecApplications   map[*ast.CallExpression]CodecApplication
}