3
Compiler-plugin stack enabling typeclass-oriented programming via context parameters; implicit evidence search, rule-style instances, derived instances, proof materialization, and Gradle/IDE integration.
0
Enforces explicit opt-in for global mutable state via RequiresGlobalState annotation; detects top-level and singleton mutables, offers configurable blacklist and Gradle integration.
0
Enforces structural acyclicity in source code: compiler-plugin family detecting semantic file cycles, rejecting same-file declaration recursion, enforcing declaration order, and supporting explicit all-participant opt-out annotations.