compiler-plugin / arrow.meta.dsl.config / ConfigSyntax / typeChecker
open fun
Meta
.typeChecker(replace: (KotlinTypeChecker) -> NewKotlinTypeChecker):
ExtensionPhase
The typeChecker function allows the user to provide a custom implementation of the KotlinTypeChecker. With a custom KotlinTypeChecker, we can redefine what subtyping and type equality means.
Do you like Arrow?
✖