compiler-plugin / arrow.meta.plugins.proofs.phases.quotes

Package arrow.meta.plugins.proofs.phases.quotes

Extensions for External Classes

org.jetbrains.kotlin.psi.KtObjectDeclaration  

Functions

generateGivenExtensionsFile fun CompilerContext.generateGivenExtensionsFile(meta: Meta): ExtensionPhase
refinementExpression fun ObjectDeclaration.refinementExpression(): String?

Do you like Arrow?

Arrow Org
<