idea-plugin / arrow.meta.ide.plugins.proofs.annotators.coercion

Package arrow.meta.ide.plugins.proofs.annotators.coercion

Properties

explicitPropertyCoercion val IdeMetaPlugin.explicitPropertyCoercion: Annotator
explicitValArgumentCoercion val IdeMetaPlugin.explicitValArgumentCoercion: Annotator
implicitCoercion val IdeMetaPlugin.implicitCoercion: Annotator

Do you like Arrow?

Arrow Org
<