compiler-plugin / arrow.meta.dsl.config / ConfigSyntax / typeChecker

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.