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

Do you like Arrow?

Arrow Org
<