idea-plugin / arrow.meta.ide.plugins.proofs.inspections.coercions.implicit

Package arrow.meta.ide.plugins.proofs.inspections.coercions.implicit

Properties

IMPLICIT_COERCION_INSPECTION_ID const val IMPLICIT_COERCION_INSPECTION_ID: String
implicitCoercion val IdeMetaPlugin.implicitCoercion: AbstractApplicabilityBasedInspection<KtDotQualifiedExpression>
localImplicitCoercion localImplicitCoercion: for explicit coercion to make it implicitval IdeMetaPlugin.localImplicitCoercion: ExtensionPhase

Do you like Arrow?

Arrow Org
<