TypeInferenceCache

Author

Federico Tomassetti

Constructors

Link copied to clipboard
constructor()

Functions

Link copied to clipboard
open fun addRecord(typeSolver: TypeSolver, lambdaExpr: LambdaExpr, paramName: String, type: ResolvedType)
Link copied to clipboard
open fun recordInferenceVariables(typeSolver: TypeSolver, lambdaExpr: LambdaExpr, _inferenceVariables: List<InferenceVariable>)
Link copied to clipboard
open fun retrieve(typeSolver: TypeSolver, lambdaExpr: LambdaExpr, paramName: String): Optional<ResolvedType>
Link copied to clipboard