Documentation
¶
Overview ¶
Package generics provides functions to handle generics with the GX IR.
Index ¶
- func Infer(fetcher ir.Fetcher, fExpr *ir.FuncValExpr, args []ir.AssignableExpr) (*ir.FuncValExpr, bool)
- func Instantiate(fetcher ir.Fetcher, fExpr *ir.FuncValExpr) (*ir.FuncValExpr, bool)
- func Specialise(fetcher ir.Fetcher, expr ir.Expr, fun *ir.FuncValExpr, typs []*ir.TypeValExpr) (*ir.SpecialisedFunc, bool)
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func Infer ¶
func Infer(fetcher ir.Fetcher, fExpr *ir.FuncValExpr, args []ir.AssignableExpr) (*ir.FuncValExpr, bool)
Infer the type parameters of a function given a list of argument expressions.
func Instantiate ¶
func Instantiate(fetcher ir.Fetcher, fExpr *ir.FuncValExpr) (*ir.FuncValExpr, bool)
Instantiate replaces data types either specified or inferred.
func Specialise ¶
func Specialise(fetcher ir.Fetcher, expr ir.Expr, fun *ir.FuncValExpr, typs []*ir.TypeValExpr) (*ir.SpecialisedFunc, bool)
Specialise a function signature for a given type.
Types ¶
This section is empty.
Source Files
Click to show internal directories.
Click to hide internal directories.