Update examples with the new plugins (#53)

Author: rachelcarmena

.github/workflows/build.yml

@@ -15,14 +15,17 @@ jobs:
         echo "$JAVA_HOME_8_X64/bin" >> $GITHUB_PATH
         echo "JAVA_HOME=$JAVA_HOME_8_X64" >> $GITHUB_ENV
     - uses: actions/checkout@v2
-    - name: "Build example: Hello World"
-      working-directory: hello-world
+    - name: "Refined Types compile demo"
+      working-directory: demos
       run: |
-        ./gradlew clean build
-        java -jar use-plugin/build/libs/use-plugin.jar
-    - name: "Build example: use of Arrow Meta Compiler Plugin with Gradle Plugin"
-      working-directory: use-arrow-meta-compiler-plugins
-      run: ./gradlew clean build
-    - name: "Build example: create new plugin to generate sources"
+        ./gradlew :refined-types-compiler-plugin-demo:assemble 2> error.log || echo "Compilation failed as expected!"
+        grep -e "-1 should be even" error.log
+    - name: "Refined Types runtime demo"
+      working-directory: demos
+      run: ./gradlew :refined-types-library-demo:build
+    - name: "Optics Compiler Plugin demo"
+      working-directory: demos
+      run: ./gradlew :optics-compiler-plugin-demo:build
+    - name: "Create new plugin to generate sources"
       working-directory: generate-sources
       run: ./gradlew clean build

.gitignore

@@ -3,3 +3,4 @@
 *.iml
 build
 *.meta
+*.log

README.md

@@ -4,73 +4,23 @@
 
 Some examples for [Λrrow Meta](https://github.com/arrow-kt/arrow-meta/) the functional companion to Kotlin's Compiler & IDE.
 
-## Hello World Compiler Plugin
-
-![Hello World Compiler Plugin Demo](https://github.com/arrow-kt/arrow-meta/raw/main/docs/docs/img/demos/hello-world-compiler-plugin.gif)
-
-The following example shows a Hello World Compiler Plugin.
-The Hello World plugin auto implements the `helloWorld` function by rewriting the Kotlin AST before the compiler proceeds.
-
-```kotlin
-val Meta.helloWorld: CliPlugin
-  get() =
-    "Hello World" {
-      meta(
-        namedFunction(this, { element.name == "helloWorld" }) { (c, _) ->
-          Transform.replace(
-            replacing = c,
-            newDeclaration =
-            """|fun helloWorld(): Unit =
-               |  println("Hello ΛRROW Meta!")
-               |""".function(descriptor).syntheticScope
-          )
-        }
-      )
-    }
-```
-
-For any user code whose function name is `helloWorld` our compiler plugin will replace the matching function for a
-function that returns Unit and prints our message.
-
-```diff
-- fun helloWorld(): Unit = TODO()
-+ fun helloWorld(): Unit =
-+   println("Hello ΛRROW Meta!")
-```
-
-### How to run it from IDE
-
-1. Create a new project from existing sources: `hello-world` directory
-2. Open `use-plugin/src/main/kotlin/io/arrowkt/example/HelloWorld.kt`
-3. Run `main` function 
-
-### How to run it from command line
-
-```
-cd hello-world
-./gradlew clean build
-java -jar use-plugin/build/libs/use-plugin.jar
-```
-
-## Use of Λrrow Meta Compiler Plugin
-
-Λrrow Meta Compiler Plugin can be used through Λrrow Meta Gradle Plugin.
+## Use of Compiler Plugins created with Arrow Meta
 
 ### How to run it from IDE
 
-1. Create a new project from existing sources: `use-arrow-meta-compiler-plugins` directory
-2. Build project to run the test
+1. Create a new project from existing sources: `demos` directory
+2. Build root project
 
 ### How to run it from command line
 
 ```
-cd use-arrow-meta-compiler-plugins
+cd demos
 ./gradlew clean build
 ```
 
-## Other examples
+## Use of Λrrow Meta to create other Compiler Plugins
 
-* Create a new plugin to generate sources: `generate-sources` directory
+* Create a new compiler plugin to generate sources: `generate-sources` directory
 
 ## License
 

demos/build.gradle

@@ -0,0 +1,40 @@
+/*
+ * Copyright (C) 2021 The Arrow Authors
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *       http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+plugins {
+    id "org.jetbrains.kotlin.jvm" version "$KOTLIN_VERSION"
+}
+
+subprojects {
+    compileKotlin {
+        kotlinOptions {
+            jvmTarget = "$JVM_TARGET_VERSION"
+        }
+    }
+
+    compileTestKotlin {
+        kotlinOptions {
+            jvmTarget = "$JVM_TARGET_VERSION"
+        }
+    }
+}
+
+allprojects {
+    repositories {
+        mavenCentral()
+        maven { url 'https://oss.sonatype.org/content/repositories/snapshots/' }
+    }
+}