Merges arrow-meta-prototype

modules/meta/arrow-meta-prototype/.gitignore

@@ -0,0 +1,134 @@
+# Created by https://www.gitignore.io/api/android,intellij
+
+### Android ###
+# Built application files
+*.apk
+*.ap_
+
+# Files for the ART/Dalvik VM
+*.dex
+
+# Java class files
+*.class
+
+# Generated files
+bin/
+gen/
+out/
+
+# Gradle files
+.gradle/
+build/
+
+# dokka + ank apidocs merge to sources
+apidocs/
+
+# Local configuration file (sdk path, etc)
+local.properties
+
+# Proguard folder generated by Eclipse
+proguard/
+
+# Log Files
+*.log
+
+# Android Studio Navigation editor temp files
+.navigation/
+
+# Android Studio captures folder
+captures/
+
+# Intellij
+*.iml
+.idea/workspace.xml
+.idea/tasks.xml
+.idea/gradle.xml
+.idea/libraries
+.idea/markdown-navigator
+.idea/
+
+# Keystore files
+*.jks
+
+# External native build folder generated in Android Studio 2.2 and later
+.externalNativeBuild
+
+# Google Services (e.g. APIs or Firebase)
+google-services.json
+
+# Freeline
+freeline.py
+freeline/
+freeline_project_description.json
+
+### Android Patch ###
+gen-external-apklibs
+
+### Intellij ###
+# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio and Webstorm
+# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
+
+# User-specific stuff:
+.idea/**/workspace.xml
+.idea/**/tasks.xml
+
+# Sensitive or high-churn files:
+.idea/**/dataSources/
+.idea/**/dataSources.ids
+.idea/**/dataSources.xml
+.idea/**/dataSources.local.xml
+.idea/**/sqlDataSources.xml
+.idea/**/dynamic.xml
+.idea/**/uiDesigner.xml
+
+# Gradle:
+.idea/**/gradle.xml
+.idea/**/libraries
+
+# Mongo Explorer plugin:
+.idea/**/mongoSettings.xml
+
+## File-based project format:
+*.iws
+
+## Plugin-specific files:
+
+# IntelliJ
+/out/
+
+# mpeltonen/sbt-idea plugin
+.idea_modules/
+
+# JIRA plugin
+atlassian-ide-plugin.xml
+
+# Crashlytics plugin (for Android Studio and IntelliJ)
+com_crashlytics_export_strings.xml
+crashlytics.properties
+crashlytics-build.properties
+fabric.properties
+
+# Jekyll
+_site
+.sass-cache
+
+### Intellij Patch ###
+# Comment Reason: https://github.com/joeblau/gitignore.io/issues/186#issuecomment-215987721
+
+# *.iml
+# modules.xml
+# .idea/misc.xml
+# *.ipr
+
+######################
+
+reports/
+
+# End of https://www.gitignore.io/api/android,intellij
+/.idea/misc.xml
+
+.DS_Store
+
+target/
+
+.bash_profile

modules/meta/arrow-meta-prototype/README.md

@@ -0,0 +1,7 @@
+# arrow-meta-prototype
+
+**Build and run in the IDE**
+
+```
+./gradlew clean gradle-plugin:publishArrowPluginMarkerMavenPublicationToMavenLocal gradle-plugin:publishPluginMavenPublicationToMavenLocal idea-plugin:runIde -Dorg.gradle.debug=true -Dkotlin.compiler.execution.strategy="in-process"
+```

modules/meta/arrow-meta-prototype/build.gradle

@@ -0,0 +1,21 @@
+buildscript {
+    ext.kotlin_version = '1.3.50'
+
+  repositories {
+    mavenCentral()
+  }
+}
+
+plugins {
+  id 'org.jetbrains.kotlin.jvm' version '1.3.50'
+  id 'org.jetbrains.kotlin.kapt' version '1.3.50'
+  id 'com.github.johnrengelman.shadow' version '5.0.0'
+}
+
+allprojects {
+  repositories {
+    maven { url "https://kotlin.bintray.com/kotlinx" }
+    mavenCentral()
+    jcenter()
+  }
+}

modules/meta/arrow-meta-prototype/compiler-plugin/build.gradle

@@ -0,0 +1,132 @@
+apply plugin: 'kotlin'
+apply plugin: 'kotlin-kapt'
+apply plugin: 'com.github.johnrengelman.shadow'
+
+
+//compileKotlin.kotlinOptions.freeCompilerArgs = ['-Xskip-runtime-version-check', 'true']
+
+dependencies {
+  compileOnly "org.jetbrains.kotlin:kotlin-stdlib:$kotlin_version"
+  compileOnly "org.jetbrains.kotlin:kotlin-stdlib:$kotlin_version"
+  compileOnly "org.jetbrains.kotlin:kotlin-compiler-embeddable:$kotlin_version"
+  compileOnly "com.intellij:openapi:7.0.3"
+}
+
+compileKotlin {
+  kotlinOptions.jvmTarget = "1.8"
+}
+compileTestKotlin {
+  kotlinOptions.jvmTarget = "1.8"
+}
+jar {
+  manifest {
+    attributes["Specification-Title"] = project.name
+    attributes["Specification-Version"] = project.version
+    attributes["Implementation-Title"] = "arrow.meta.plugin.compiler"
+    attributes["Implementation-Version"] = project.version
+  }
+}
+
+shadowJar {
+  configurations = [project.configurations.compile]
+  relocate 'org.jetbrains.kotlin.com.intellij', 'com.intellij'
+  //relocate 'org.jetbrains.kotlin.load', 'kotlin.reflect.jvm.internal.impl.load'
+}
+//
+//com.intellij.findUsagesHandlerFactory
+//org.jetbrains.kotlin.scriptDefinitionsProvider
+//com.intellij.runConfigurationTemplateProvider
+//com.intellij.compiler.task
+//org.jetbrains.kotlin.syntheticResolveExtension
+//com.intellij.handleTypeFactory
+//org.jetbrains.kotlin.expressionCodegenExtension
+//org.jetbrains.kotlin.gradleProjectImportHandler
+//com.intellij.projectExtension
+//com.intellij.java.elementFinder
+//org.jetbrains.kotlin.extraImportsProviderExtension
+//com.intellij.compilerFactory
+//com.intellij.fileContextProvider
+//com.intellij.vcs
+//org.jetbrains.kotlin.scriptDefinitionContributor
+//com.intellij.prePushHandler
+//com.intellij.projectViewNodeDecorator
+//org.jetbrains.kotlin.classBuilderFactoryInterceptorExtension
+//org.jetbrains.kotlin.scriptAdditionalIdeaDependenciesProvider
+//org.jetbrains.kotlin.irGenerationExtension
+//com.intellij.nonProjectFileWritingAccessExtension
+//org.jetbrains.kotlin.jsSyntheticTranslateExtension
+//com.intellij.changesViewContent
+//com.intellij.vcsRepositoryCreator
+//com.intellij.highlightErrorFilter
+//com.intellij.projectViewPane
+//com.intellij.hectorComponentProvider
+//com.intellij.cachedValuesFactory
+//com.intellij.vcs.baseContentProvider
+//com.intellij.analyzeStacktraceFilter
+//org.jetbrains.kotlin.mavenProjectImportHandler
+//com.intellij.stepsBeforeRunProvider
+//com.intellij.previewPanelProvider
+//com.intellij.vcsIgnoreChecker
+//com.intellij.checkinHandlerFactory
+//com.intellij.compiler.inspectionValidator
+//com.intellij.java-i18n.resourceBundleManager
+//com.intellij.openapi.extensions.epAvailabilityListener
+//com.intellij.editorNotificationProvider
+//com.intellij.ignoredFileContentProvider
+//com.intellij.highlightVisitor
+//org.jetbrains.kotlin.androidDexer
+//com.intellij.java.shortNamesCache
+//com.intellij.logHighlighterFactory
+//com.intellij.vcs.ignoredFilesHolder
+//com.intellij.debugger.positionManagerFactory
+//com.intellij.paletteItemProvider
+//com.intellij.jvm.elementProvider
+//com.intellij.favoriteNodeProvider
+//org.jetbrains.android.uipreview.viewLoaderExtension
+//org.jetbrains.kotlin.declarationAttributeAltererExtension
+//com.intellij.vcs.taskHandler
+//com.intellij.ideRootPaneNorth
+//com.intellij.writingAccessProvider
+//com.intellij.logProvider
+//com.intellij.scopeTreeExpander
+//com.intellij.coverageOptions
+//com.intellij.lang.inferredAnnotationProvider
+//com.intellij.java.compiler
+//com.intellij.directoryIndexExcludePolicy
+//org.jetbrains.kotlin.packageFragmentProviderExtension
+//com.intellij.runConfigurationsSettings
+//com.intellij.selectInTarget
+//com.intellij.customScopesProvider
+//org.jetbrains.kotlin.scriptTemplatesProvider
+//com.intellij.fileBreadcrumbsCollector
+//com.intellij.vcs.fileStatusProvider
+//com.intellij.vcs.changes.changesViewModifier
+//com.intellij.customFileDropHandler
+//org.jetbrains.kotlin.kotlinIndicesHelperExtension
+//com.intellij.javadocTagInfo
+//com.intellij.problemFileHighlightFilter
+//com.intellij.patch.extension
+//com.intellij.streamProviderFactory
+//com.intellij.multiHostInjector
+//com.intellij.treeStructureProvider
+//com.intellij.projectModelModifier
+//com.intellij.psi.treeChangePreprocessor
+//com.intellij.projectUndoProvider
+//com.intellij.cherryPicker
+//com.intellij.compiler
+//com.intellij.autoImportOptionsProvider
+//com.intellij.buildProcess.parametersProvider
+//com.intellij.editChangelistSupport
+//com.intellij.favoritesListProvider
+//com.intellij.pushSupport
+//com.intellij.roots.watchedRootsProvider
+//com.intellij.compilerSettingsFactory
+//org.jetbrains.kotlin.simpleNameReferenceExtension
+//com.intellij.vcsChangesViewRefresher
+//com.intellij.vcs.branchStateProvider
+//org.jetbrains.kotlin.storageComponentContainerContributor
+//com.intellij.refactoring.elementListenerProvider
+//com.intellij.usageContextPanelProvider
+//com.intellij.projectConfigurable
+//org.jetbrains.kotlin.syntheticScopeProviderExtension
+//com.android.project.projectsystem

modules/meta/arrow-meta-prototype/compiler-plugin/src/main/kotlin/arrow/meta/MetaCliProcessor.kt

@@ -0,0 +1,13 @@
+package arrow.meta
+
+import org.jetbrains.kotlin.compiler.plugin.CliOption
+import org.jetbrains.kotlin.compiler.plugin.CommandLineProcessor
+
+//@AutoService(CommandLineProcessor::class)
+class MetaCliProcessor : CommandLineProcessor {
+
+  override val pluginId: String = "arrow.meta.plugin.compiler"
+
+  override val pluginOptions: Collection<CliOption> = emptyList()
+
+}

modules/meta/arrow-meta-prototype/compiler-plugin/src/main/kotlin/arrow/meta/MetaCommandLineProcessor.kt

@@ -0,0 +1,12 @@
+package arrow.meta
+
+import org.jetbrains.kotlin.compiler.plugin.CliOption
+import org.jetbrains.kotlin.compiler.plugin.CommandLineProcessor
+
+class MetaCommandLineProcessor : CommandLineProcessor {
+
+  override val pluginId: String = "arrow.meta.plugin.compiler"
+
+  override val pluginOptions: Collection<CliOption> = emptyList()
+
+}

modules/meta/arrow-meta-prototype/compiler-plugin/src/main/kotlin/arrow/meta/MetaComponentRegistrar.kt

@@ -0,0 +1,18 @@
+package arrow.meta
+
+import arrow.meta.dsl.MetaPluginSyntax
+import arrow.meta.internal.registry.InternalRegistry
+import arrow.meta.phases.ExtensionPhase
+import org.jetbrains.kotlin.com.intellij.mock.MockProject
+import org.jetbrains.kotlin.compiler.plugin.ComponentRegistrar
+import org.jetbrains.kotlin.config.CompilerConfiguration
+import org.jetbrains.kotlin.name.Name
+
+interface MetaComponentRegistrar : ComponentRegistrar, MetaPluginSyntax, InternalRegistry {
+
+  override fun intercept(): List<Pair<Name, List<ExtensionPhase>>>
+
+  override fun registerProjectComponents(project: MockProject, configuration: CompilerConfiguration) =
+    super.registerProjectComponents(project, configuration)
+
+}

modules/meta/arrow-meta-prototype/compiler-plugin/src/main/kotlin/arrow/meta/MetaPlugin.kt

@@ -0,0 +1,11 @@
+package arrow.meta
+
+import arrow.meta.phases.ExtensionPhase
+import arrow.meta.plugins.higherkind.higherKindedTypes
+import arrow.meta.plugins.typeclasses.typeClasses
+import org.jetbrains.kotlin.name.Name
+
+open class MetaPlugin : MetaComponentRegistrar {
+  override fun intercept(): List<Pair<Name, List<ExtensionPhase>>> =
+    listOf(higherKindedTypes, typeClasses) //, higherKindedTypes, typeClasses, comprehensions)
+}

modules/meta/arrow-meta-prototype/compiler-plugin/src/main/kotlin/arrow/meta/dsl/MetaPluginSyntax.kt

@@ -0,0 +1,14 @@
+package arrow.meta.dsl
+
+import arrow.meta.dsl.analysis.AnalysisSyntax
+import arrow.meta.dsl.codegen.CodegenSyntax
+import arrow.meta.dsl.config.ConfigSyntax
+import arrow.meta.dsl.resolve.ResolveSyntax
+import arrow.meta.phases.ExtensionPhase
+
+interface MetaPluginSyntax : ConfigSyntax, AnalysisSyntax, ResolveSyntax, CodegenSyntax {
+
+  fun meta(vararg phases: ExtensionPhase): List<ExtensionPhase> =
+    phases.toList()
+
+}