typedast

type TypedApp struct {
	TypedExpr
	Func TypedNode
	Args []TypedNode
}

type TypedArray struct {
	TypedExpr
	Elements []TypedNode
}

type TypedBinOp struct {
	TypedExpr
	Op    string
	Left  TypedNode
	Right TypedNode
}

type TypedConstructorPattern struct {
	Name string
	Args []TypedPattern
}

type TypedExpr struct {
	NodeID    uint64
	Span      ast.Pos
	Type      interface{}   // types.Type - Always monomorphic
	EffectRow interface{}   // *types.Row - Effect row with kind
	Core      core.CoreExpr // Underlying core expression
}

type TypedIf struct {
	TypedExpr
	Cond TypedNode
	Then TypedNode
	Else TypedNode
}

type TypedLambda struct {
	TypedExpr
	Params     []string
	ParamTypes []interface{} // []types.Type
	Body       TypedNode
}

type TypedLet struct {
	TypedExpr
	Name   string
	Scheme interface{} // *types.Scheme - Generalized type (only here!)
	Value  TypedNode
	Body   TypedNode
}

type TypedLetRec struct {
	TypedExpr
	Bindings []TypedRecBinding
	Body     TypedNode
}

type TypedList struct {
	TypedExpr
	Elements []TypedNode
}

type TypedListPattern struct {
	Elements []TypedPattern
	Tail     *TypedPattern // For spread patterns: [x, ...rest]
}

type TypedLit struct {
	TypedExpr
	Kind  core.LitKind
	Value interface{}
}

type TypedLitPattern struct {
	Value interface{}
}

type TypedMatch struct {
	TypedExpr
	Scrutinee  TypedNode
	Arms       []TypedMatchArm
	Exhaustive bool
}

type TypedMatchArm struct {
	Pattern TypedPattern
	Guard   TypedNode // Optional
	Body    TypedNode
}

type TypedNode interface {
	GetNodeID() uint64
	GetSpan() ast.Pos
	GetType() interface{}      // types.Type
	GetEffectRow() interface{} // *types.Row
	GetCore() core.CoreExpr
	String() string
}

type TypedPattern interface {
	String() string
	// contains filtered or unexported methods
}

type TypedProgram struct {
	Decls []TypedNode
}

type TypedRecBinding struct {
	Name   string
	Scheme interface{} // *types.Scheme - Generalized type for recursive binding
	Value  TypedNode
}

type TypedRecord struct {
	TypedExpr
	Fields map[string]TypedNode
}

type TypedRecordAccess struct {
	TypedExpr
	Record TypedNode
	Field  string
}

type TypedRecordPattern struct {
	Fields map[string]TypedPattern
}

type TypedTuple struct {
	TypedExpr
	Elements []TypedNode
}

type TypedTuplePattern struct {
	Elements []TypedPattern
}

type TypedUnOp struct {
	TypedExpr
	Op      string
	Operand TypedNode
}

type TypedVar struct {
	TypedExpr
	Name string
}

type TypedVarPattern struct {
	Name string
	Type interface{} // types.Type
}

type TypedWildcardPattern struct{}