idea-plugin / arrow.meta.ide.plugins.proofs.markers
Package arrow.meta.ide.plugins.proofs.markers
Extensions for External Classes
| arrow.meta.plugins.proofs.phases.Proof | |
| org.jetbrains.kotlin.psi.KtClass | |
| org.jetbrains.kotlin.psi.KtDeclaration | |
| org.jetbrains.kotlin.psi.KtValueArgument |
Properties
| proofLineMarkers | val IdeMetaPlugin.proofLineMarkers: ExtensionPhase |
| unionTypeLineMarker | val IdeMetaPlugin.unionTypeLineMarker: ExtensionPhase |
Functions
| proofLineMarkers | fun <A : KtNamedDeclaration> IdeMetaPlugin.proofLineMarkers(icon: Icon, filter: A.() -> Boolean): ExtensionPhase |