kotlin-typeclasses

Published documentation for this repository.

• Guides: Repo guides, reference docs, and module notes.
• kotlin-typeclasses: Runtime APIs for Kotlin typeclass programming, including annotations, evidence summoning, derivation markers, and proof types.
• kotlin-typeclasses-plugin: K2 compiler plugin that resolves typeclass evidence, validates instances and derivations, and rewrites contextual calls for kotlin-typeclasses.
• kotlin-typeclasses-ij-plugin: IntelliJ IDEA helper plugin for kotlin-typeclasses projects, enabling external compiler-plugin loading during IDE analysis.
• kotlin-typeclasses-gradle-plugin: Gradle plugin that wires the kotlin-typeclasses runtime and Kotlin-line-specific compiler plugin into Kotlin builds.
• Repository