/arrow-meta-examples

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

Primary LanguageKotlinApache License 2.0Apache-2.0

Λrrow Meta examples

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

optics-compiler-plugin-demo

Context.kt

optics-compiler-plugin-demo in IDE

in IDE

refined-types-compiler-plugin-demo

Context.kt

refined-types-library-demo

Context.kt