kotlin-algebraic-types-plugin

alltypes

@DslMarker annotation class AlgebraicTypesDsl

AlgebraicTypesDsl()

open class AlgebraicTypesExtension

AlgebraicTypesExtension()
var dataClasses: DataClasses?
var dualities: DimensionSelection?
var evoleqProducts: DimensionSelection?
var evoleqSums: DimensionSelection?
val keys: ArrayList<Keys>
var outputs: Outputs
var productTypeArithmetics: DimensionSelection?
var productTypes: DimensionSelection?
var sumTypes: DimensionSelection?

data class BandData

BandData(left: String = "", current: String = "", right: String)
val current: String
val left: String
val right: String

open class BandParser : Parser<BandData>

BandParser()
open val id: KClass<*>
open val parse: (BandData) -> BandData
open val parsers: HashMap<KClass<*>, Parser<*>>

class CharParser : BandParser

CharParser(char: Char)
val char: Char
val id: KClass<*>
val parse: (BandData) -> BandData

open class Class : ClassRepresentation

Class()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

interface Class : Type, Comment

abstract val parameters: ArrayList<Parameter>

interface ClassRepresentation

abstract val comment: ArrayList<String>
abstract var domain: String
abstract var name: String
abstract var packageName: String
abstract val parameters: ArrayList<Parameter>
abstract var serializable: Boolean
abstract var serializationType: SerializationType
abstract var setters: Setters
abstract var settersPostFix: String
abstract var sourceFolder: String

interface Comment

abstract val comment: ArrayList<String>

object Config

object Defaults

const val equalSignLine: String
const val offset: String
const val starLine: String

object GeneratedSources

object AlgebraicTypes

const val packageName: String

object Base

const val folderName: String
const val packageName: String

const val baseFolder: String
const val basePackage: String
object DataClasses

const val folderName: String

const val dualitiesFolder: String
const val dualityFileNamePrefix: String
const val keysFolder: String
const val productFileNamePrefix: String
object Products

const val fileNamePrefix: String
const val folderName: String
const val packageName: String

const val productsFolder: String
object SealedClasses

const val folderName: String

const val sumFileNamePrefix: String
object Sums

const val fileNamePrefix: String
const val folderName: String
const val packageName: String

const val sumsFolder: String

object Serialization

val imports: ArrayList<String>

object Tasks

const val generateAlgebraicTypes: String

open class DataClass : ClassRepresentation

DataClass()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

data class DataClass : Class

DataClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val sourceFolder: String

open class DataClassConfiguration : Configuration<DataClass>

DataClassConfiguration()
val comment: ArrayList<String>
open fun configure(): DataClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>

open class DataClasses

DataClasses()
val classes: ArrayList<Class>
val dataClasses: ArrayList<DataClass>
val interfaces: ArrayList<Object>
val objects: ArrayList<Object>
val sealedClasses: ArrayList<SealedClass>

data class DataSubClass : SubClass

DataSubClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>, parent: Class)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val parent: Class
val sourceFolder: String

open class DataSubClassConfiguration : Configuration<DataSubClass>

DataSubClassConfiguration()
val comment: ArrayList<String>
open fun configure(): DataSubClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>
lateinit var parent: Class

sealed class DimensionSelection

data class Complex : DimensionSelection

Complex(list: ArrayList<DimensionSelection> = arrayListOf(), sourceFolder: String = "", domain: String = "", packageName: String = "")
val domain: String
val list: ArrayList<DimensionSelection>
val packageName: String
val sourceFolder: String

open val domain: String
data class List : DimensionSelection

List(list: ArrayList<Int>, sourceFolder: String = "", domain: String = "", packageName: String = "")
val domain: String
val list: ArrayList<Int>
val packageName: String
val sourceFolder: String

open val packageName: String
data class Range : DimensionSelection

Range(from: Int = 2, to: Int, sourceFolder: String = "", domain: String = "", packageName: String = "")
val domain: String
val from: Int
val packageName: String
val sourceFolder: String
val to: Int

data class Single : DimensionSelection

Single(dimension: Int, sourceFolder: String = "", domain: String = "", packageName: String = "")
val dimension: Int
val domain: String
val packageName: String
val sourceFolder: String

open val sourceFolder: String

open class DimensionSelectionExtension

DimensionSelectionExtension()
fun dimension(dimension: Int, sourceFolder: String = "", packageName: String = ""): Unit
var dimensionSelection: DimensionSelection?
fun list(vararg dimensions: Int, sourceFolder: String = "", packageName: String = ""): Unit
fun range(from: Int, to: Int, sourceFolder: String = "", packageName: String = ""): Unit
fun single(dimension: Int, sourceFolder: String = "", packageName: String = ""): Unit

data class Encodings

Encodings(remainder: String, items: ArrayList<Pair<String, String>> = arrayListOf())
val items: ArrayList<Pair<String, String>>
val remainder: String

class ExtractionParser : Parser<BandData>

ExtractionParser(leftSymbol: String, rightSymbol: String)
val id: KClass<*>
val leftSymbol: String
val parse: (BandData) -> BandData
val parsers: HashMap<KClass<*>, Parser<*>>
val rightSymbol: String

open class GenerateTypes : DefaultTask

GenerateTypes()
val extension: AlgebraicTypesExtension
fun generate(): Unit

interface Identifier

abstract val name: String
abstract val packageName: String
abstract val sourceFolder: String

open class Interface : ClassRepresentation

Interface()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

sealed class IsGeneric

object AsSuch : IsGeneric
data class In : IsGeneric

In(type: VaryingType, vararg types: VaryingType)
In(types: HashSet<VaryingType> = hashSetOf())
val types: HashSet<VaryingType>

object No : IsGeneric
object WrapperType : IsGeneric

sealed class IsSerializable

data class AsSuch : IsSerializable

AsSuch(serializer: Identifier?, serialModule: Identifier?)
val serializer: Identifier?
val serialModule: Identifier?

object No : IsSerializable
object Polymorphic : IsSerializable
object Transient : IsSerializable
object WrapperType : IsSerializable

java.util.ArrayList

fun ArrayList<Keys>.modularize(moduleExtension: ModuleExtension): ArrayList<Keys>

java.util.ArrayList

fun <T> ArrayList<T>.addAll(vararg elements: T): Boolean

open class Keys

Keys()
var domain: String?
var name: String?
var number: Int?
var packageName: String?
var serialization: Boolean
var sourceFolder: String?

open class KeysExtension

KeysExtension()
val keys: ArrayList<Keys>

kotlin.collections.Set

fun Set<ClassRepresentation>.findByFullName(fullName: String): ClassRepresentation?
fun Set<ClassRepresentation>.findByNameIn(name: String, vararg locations: String): ClassRepresentation?

kotlin.String

fun String.annotationPackage(): String
fun String.dualityPackage(): String
fun String.evoleqProductPackage(): String
fun String.evoleqSumPackage(): String
fun String.fileCase(): String
fun String.fixTypeNameForImport(): String
fun String.keysPackage(): String
fun String.lensPackage(): String
fun String.nonNullable(): String
fun String.packageCase(): String
fun String.prismPackage(): String
fun String.productsPackage(): String
fun String.replaceLast(oldValue: String, newValue: String): String
fun String.sumsPackage(): String

kotlin.String

fun String.repeatString(times: Int): String

class KotlinAlgebraicTypesPlugin : Plugin<Project>

KotlinAlgebraicTypesPlugin()
fun apply(target: Project): Unit

class Marker

Marker()

open class ModuleExtension

ModuleExtension()
var dataClasses: DataClasses?
lateinit var domain: String
var dualities: DimensionSelection?
var evoleqProducts: DimensionSelection?
var evoleqSums: DimensionSelection?
val keys: ArrayList<Keys>
var outputs: Outputs
var productTypeArithmetics: DimensionSelection?
var productTypes: DimensionSelection?
lateinit var sourceFolder: String
var sumTypes: DimensionSelection?

open class Object : ClassRepresentation

Object()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

org.gradle.api.Project

fun Project.algebraicTypes(configuration: AlgebraicTypesExtension.() -> Unit): Unit

org.gradle.api.Project

fun Project.file(sourceFolder: String, domain: String, packageName: String): File
fun Project.file(sourceFolder: String, domain: String, packageName: String, filename: String): File

open class OutputExtension

OutputExtension()
val compile: ArrayList<String>
fun compile(sourceSet: String): Unit
fun excludeMain(from: ArrayList<String>): Unit
val runtime: ArrayList<String>
fun runtime(sourceSet: String): Unit
val test: ArrayList<String>
fun test(sourceSet: String): Unit

data class Outputs

Outputs(compile: ArrayList<String> = arrayListOf("main"), runtime: ArrayList<String> = arrayListOf("main"), test: ArrayList<String> = arrayListOf("main"))
val compile: ArrayList<String>
val runtime: ArrayList<String>
val test: ArrayList<String>

open class Parameter

Parameter()
val comment: ArrayList<String>
var defaultValue: String?
val modifiers: ArrayList<String>
lateinit var name: String
lateinit var type: ParameterType

interface Parameter : Type, Comment
open class ParameterType

ParameterType()
val dependencies: ArrayList<ParameterTypeDependency>
var genericIn: String
var isGeneric: Boolean
lateinit var name: String
var packageName: String
var serializable: Boolean
var serializationType: SerializationType

open class ParameterTypeDependency

ParameterTypeDependency(name: String, packageName: String, serializable: Boolean = false, serializationType: SerializationType = SerializationType.NotSerializable)
var name: String
var packageName: String
var serializable: Boolean
var serializationType: SerializationType

interface Parser<D>

abstract val id: KClass<*>
abstract val parse: (D) -> D
abstract val parsers: HashMap<KClass<*>, Parser<*>>

sealed class ParserMessage
class PlusParser : Parser<PlusParserData>

PlusParser()
val id: KClass<*>
val parse: (PlusParserData) -> PlusParserData
val parsers: HashMap<KClass<*>, Parser<*>>

data class PlusParserData

PlusParserData(source: String, result: String = "", remainder: String = "", message: String = "")
val message: String
val remainder: String
val result: String
val source: String

data class PrismParameter

PrismParameter(name: String, type: String, clazz: String, clazzIndex: Int, parameterIndex: Int)
val clazz: String
val clazzIndex: Int
val name: String
val parameterIndex: Int
val type: String

data class PrismParameterOccurrence

PrismParameterOccurrence(clazz: String, clazzIndex: Int, parameterIndex: Int)
val clazz: String
val clazzIndex: Int
val parameterIndex: Int

open class SealedClass : ClassRepresentation

SealedClass()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
val representatives: ArrayList<SubClass>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

data class SealedClass : Class

SealedClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>, representatives: ArrayList<SubClass>)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val representatives: ArrayList<SubClass>
val sourceFolder: String

open class SealedClassConfiguration : Configuration<SealedClass>

SealedClassConfiguration()
val comment: ArrayList<String>
open fun configure(): SealedClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>
val representatives: ArrayList<SubClass>

data class SealedSubClass : SubClass

SealedSubClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>, representatives: ArrayList<out SubClass>, parent: Class)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val parent: Class
val representatives: ArrayList<out SubClass>
val sourceFolder: String

open class SealedSubClassConfiguration : Configuration<SealedSubClass>

SealedSubClassConfiguration()
val comment: ArrayList<String>
open fun configure(): SealedSubClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>
lateinit var parent: Class
val representatives: ArrayList<out SubClass>

sealed class SerializationType

object NotSerializable : SerializationType
object Polymorphic : SerializationType
object Serializable : SerializationType
object Transient : SerializationType

data class Setters

Setters(simple: Boolean = true, simpleSuspended: Boolean = true, transaction: Boolean = true, transactionSuspended: Boolean = true)
val simple: Boolean
val simpleSuspended: Boolean
val transaction: Boolean
val transactionSuspended: Boolean

data class SharedPrismParameter

SharedPrismParameter(name: String, type: String, occurrences: ArrayList<PrismParameterOccurrence> = arrayListOf())
val name: String
val occurrences: ArrayList<PrismParameterOccurrence>
val type: String

data class SimplifiedDimensionSelection

SimplifiedDimensionSelection(dimension: Int, sourceFolder: String, domain: String, packageName: String)
val dimension: Int
val domain: String
val packageName: String
val sourceFolder: String

open class SingleDimensionSelectionExtension

SingleDimensionSelectionExtension()
fun dimension(dimension: Int, sourceFolder: String = "", packageName: String = ""): Unit
var dimensionSelection: Single?

open class SubClass : ClassRepresentation

SubClass(parent: ClassRepresentation)
open val comment: ArrayList<String>
val defaultValuesSet: HashMap<String, String>
open var domain: String
open lateinit var name: String
val overrideParameters: ArrayList<String>
open var packageName: String
open val parameters: ArrayList<Parameter>
open val parent: ClassRepresentation
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

interface SubClass : Class

abstract val parent: Class

open class SubDataClass : SubClass

SubDataClass(parent: ClassRepresentation)
open val parent: ClassRepresentation

open class SubObject : SubClass

SubObject(parent: ClassRepresentation)
open val parent: ClassRepresentation

open class SubSealedClass : SubClass

SubSealedClass(parent: ClassRepresentation)
open val parent: ClassRepresentation
val representatives: ArrayList<SubClass>

open class SymbolParser : Parser<BandData>

SymbolParser(symbol: String)
open val id: KClass<*>
open val parse: (BandData) -> BandData
open val parsers: HashMap<KClass<*>, Parser<*>>
open val symbol: String

class TextEncoder : Parser<Encodings>

TextEncoder()
val id: KClass<*>
val parse: (Encodings) -> Encodings
val parsers: HashMap<KClass<*>, Parser<*>>

interface Type : Identifier

abstract val dependencies: ArrayList<Type>
abstract val isGeneric: IsGeneric
abstract val isSerializable: IsSerializable

class TypeArithmeticParser

TypeArithmeticParser()

object TypePackage

const val annotation: String
const val duality: String
const val evoleqProduct: String
const val evoleqSum: String
const val key: String
const val lens: String
const val prism: String
const val product: String
const val sum: String

sealed class TypeVariance

object In : TypeVariance
object No : TypeVariance
object Out : TypeVariance

interface VaryingType : Type

abstract val variance: TypeVariance

package org.drx.plugin.algebraictypes

const val basePath: String
class KotlinAlgebraicTypesPlugin : Plugin<Project>

KotlinAlgebraicTypesPlugin()
fun apply(target: Project): Unit

package org.drx.plugin.algebraictypes.config

object Config

object Defaults

const val equalSignLine: String
const val offset: String
const val starLine: String

object GeneratedSources

object AlgebraicTypes

const val packageName: String

object Base

const val folderName: String
const val packageName: String

const val baseFolder: String
const val basePackage: String
object DataClasses

const val folderName: String

const val dualitiesFolder: String
const val dualityFileNamePrefix: String
const val keysFolder: String
const val productFileNamePrefix: String
object Products

const val fileNamePrefix: String
const val folderName: String
const val packageName: String

const val productsFolder: String
object SealedClasses

const val folderName: String

const val sumFileNamePrefix: String
object Sums

const val fileNamePrefix: String
const val folderName: String
const val packageName: String

const val sumsFolder: String

object Serialization

val imports: ArrayList<String>

object Tasks

const val generateAlgebraicTypes: String

package org.drx.plugin.algebraictypes.extension

@DslMarker annotation class AlgebraicTypesDsl

AlgebraicTypesDsl()

open class AlgebraicTypesExtension

AlgebraicTypesExtension()
var dataClasses: DataClasses?
var dualities: DimensionSelection?
var evoleqProducts: DimensionSelection?
var evoleqSums: DimensionSelection?
val keys: ArrayList<Keys>
var outputs: Outputs
var productTypeArithmetics: DimensionSelection?
var productTypes: DimensionSelection?
var sumTypes: DimensionSelection?

open class Class : ClassRepresentation

Class()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

interface ClassRepresentation

abstract val comment: ArrayList<String>
abstract var domain: String
abstract var name: String
abstract var packageName: String
abstract val parameters: ArrayList<Parameter>
abstract var serializable: Boolean
abstract var serializationType: SerializationType
abstract var setters: Setters
abstract var settersPostFix: String
abstract var sourceFolder: String

fun DataClasses.clazz(configuration: Class.() -> Unit): Unit
fun DimensionSelection.complexify(): Complex
open class DataClass : ClassRepresentation

DataClass()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

fun DataClasses.dataClass(configuration: DataClass.() -> Unit): Unit
fun ModuleExtension.dataClasses(configuration: DataClasses.() -> Unit): Unit
fun AlgebraicTypesExtension.dataClasses(configuration: DataClasses.() -> Unit): Unit
open class DataClasses

DataClasses()
val classes: ArrayList<Class>
val dataClasses: ArrayList<DataClass>
val interfaces: ArrayList<Object>
val objects: ArrayList<Object>
val sealedClasses: ArrayList<SealedClass>

fun SealedClass.dataRepresentative(configuration: SubDataClass.() -> Unit): Boolean
fun ParameterType.dependency(configuration: ParameterTypeDependency.() -> Unit): Boolean
sealed class DimensionSelection

data class Complex : DimensionSelection

Complex(list: ArrayList<DimensionSelection> = arrayListOf(), sourceFolder: String = "", domain: String = "", packageName: String = "")
val domain: String
val list: ArrayList<DimensionSelection>
val packageName: String
val sourceFolder: String

open val domain: String
data class List : DimensionSelection

List(list: ArrayList<Int>, sourceFolder: String = "", domain: String = "", packageName: String = "")
val domain: String
val list: ArrayList<Int>
val packageName: String
val sourceFolder: String

open val packageName: String
data class Range : DimensionSelection

Range(from: Int = 2, to: Int, sourceFolder: String = "", domain: String = "", packageName: String = "")
val domain: String
val from: Int
val packageName: String
val sourceFolder: String
val to: Int

data class Single : DimensionSelection

Single(dimension: Int, sourceFolder: String = "", domain: String = "", packageName: String = "")
val dimension: Int
val domain: String
val packageName: String
val sourceFolder: String

open val sourceFolder: String

open class DimensionSelectionExtension

DimensionSelectionExtension()
fun dimension(dimension: Int, sourceFolder: String = "", packageName: String = ""): Unit
var dimensionSelection: DimensionSelection?
fun list(vararg dimensions: Int, sourceFolder: String = "", packageName: String = ""): Unit
fun range(from: Int, to: Int, sourceFolder: String = "", packageName: String = ""): Unit
fun single(dimension: Int, sourceFolder: String = "", packageName: String = ""): Unit

fun AlgebraicTypesExtension.dualities(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun ModuleExtension.dualities(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun AlgebraicTypesExtension.evoleqProducts(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun ModuleExtension.evoleqProducts(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun AlgebraicTypesExtension.evoleqSums(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun ModuleExtension.evoleqSums(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun Identifier.fullName(): String
fun Type.generic(): Type
fun Type.genericIn(type: VaryingType): Type
interface Identifier

abstract val name: String
abstract val packageName: String
abstract val sourceFolder: String

open class Interface : ClassRepresentation

Interface()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

sealed class IsGeneric

object AsSuch : IsGeneric
data class In : IsGeneric

In(type: VaryingType, vararg types: VaryingType)
In(types: HashSet<VaryingType> = hashSetOf())
val types: HashSet<VaryingType>

object No : IsGeneric
object WrapperType : IsGeneric

sealed class IsSerializable

data class AsSuch : IsSerializable

AsSuch(serializer: Identifier?, serialModule: Identifier?)
val serializer: Identifier?
val serialModule: Identifier?

object No : IsSerializable
object Polymorphic : IsSerializable
object Transient : IsSerializable
object WrapperType : IsSerializable

java.util.ArrayList

fun ArrayList<Keys>.modularize(moduleExtension: ModuleExtension): ArrayList<Keys>

fun KeysExtension.keyGroup(definition: Keys.() -> Unit): Unit
fun AlgebraicTypesExtension.keyGroups(configuration: KeysExtension.() -> Unit): Unit
fun ModuleExtension.keyGroups(configuration: KeysExtension.() -> Unit): Unit
open class Keys

Keys()
var domain: String?
var name: String?
var number: Int?
var packageName: String?
var serialization: Boolean
var sourceFolder: String?

open class KeysExtension

KeysExtension()
val keys: ArrayList<Keys>

kotlin.collections.Set

fun Set<ClassRepresentation>.findByFullName(fullName: String): ClassRepresentation?
fun Set<ClassRepresentation>.findByNameIn(name: String, vararg locations: String): ClassRepresentation?

fun ModuleExtension.merge(base: DimensionSelection?, integrand: DimensionSelection?): Complex?
fun ModuleExtension.merge(base: DataClasses?, integrand: DataClasses?): DataClasses?
fun Complex.modularize(moduleExtension: ModuleExtension): Complex
fun DataClasses.modularize(moduleExtension: ModuleExtension): DataClasses
open class ModuleExtension

ModuleExtension()
var dataClasses: DataClasses?
lateinit var domain: String
var dualities: DimensionSelection?
var evoleqProducts: DimensionSelection?
var evoleqSums: DimensionSelection?
val keys: ArrayList<Keys>
var outputs: Outputs
var productTypeArithmetics: DimensionSelection?
var productTypes: DimensionSelection?
lateinit var sourceFolder: String
var sumTypes: DimensionSelection?

fun Type.notGeneric(): Type
open class Object : ClassRepresentation

Object()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

fun DataClasses.objekt(configuration: Object.() -> Unit): Unit
org.gradle.api.Project

fun Project.algebraicTypes(configuration: AlgebraicTypesExtension.() -> Unit): Unit

open class OutputExtension

OutputExtension()
val compile: ArrayList<String>
fun compile(sourceSet: String): Unit
fun excludeMain(from: ArrayList<String>): Unit
val runtime: ArrayList<String>
fun runtime(sourceSet: String): Unit
val test: ArrayList<String>
fun test(sourceSet: String): Unit

data class Outputs

Outputs(compile: ArrayList<String> = arrayListOf("main"), runtime: ArrayList<String> = arrayListOf("main"), test: ArrayList<String> = arrayListOf("main"))
val compile: ArrayList<String>
val runtime: ArrayList<String>
val test: ArrayList<String>

fun AlgebraicTypesExtension.outputs(configuration: OutputExtension.() -> Unit): Unit
open class Parameter

Parameter()
val comment: ArrayList<String>
var defaultValue: String?
val modifiers: ArrayList<String>
lateinit var name: String
lateinit var type: ParameterType

fun DataClass.parameter(configuration: Parameter.() -> Unit): Unit
fun SealedClass.parameter(configuration: Parameter.() -> Unit): Unit
fun SubClass.parameter(configuration: Parameter.() -> Unit): Unit
open class ParameterType

ParameterType()
val dependencies: ArrayList<ParameterTypeDependency>
var genericIn: String
var isGeneric: Boolean
lateinit var name: String
var packageName: String
var serializable: Boolean
var serializationType: SerializationType

open class ParameterTypeDependency

ParameterTypeDependency(name: String, packageName: String, serializable: Boolean = false, serializationType: SerializationType = SerializationType.NotSerializable)
var name: String
var packageName: String
var serializable: Boolean
var serializationType: SerializationType

fun AlgebraicTypesExtension.productArithmetics(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun ModuleExtension.productArithmetics(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun AlgebraicTypesExtension.products(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun ModuleExtension.products(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun SealedClass.representative(configuration: SubClass.() -> Unit): Unit
open class SealedClass : ClassRepresentation

SealedClass()
open val comment: ArrayList<String>
open var domain: String
open lateinit var name: String
open var packageName: String
open val parameters: ArrayList<Parameter>
val representatives: ArrayList<SubClass>
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

fun DataClasses.sealedClass(configuration: SealedClass.() -> Unit): Unit
sealed class SerializationType

object NotSerializable : SerializationType
object Polymorphic : SerializationType
object Serializable : SerializationType
object Transient : SerializationType

data class Setters

Setters(simple: Boolean = true, simpleSuspended: Boolean = true, transaction: Boolean = true, transactionSuspended: Boolean = true)
val simple: Boolean
val simpleSuspended: Boolean
val transaction: Boolean
val transactionSuspended: Boolean

data class SimplifiedDimensionSelection

SimplifiedDimensionSelection(dimension: Int, sourceFolder: String, domain: String, packageName: String)
val dimension: Int
val domain: String
val packageName: String
val sourceFolder: String

fun DimensionSelection.simplify(): HashSet<SimplifiedDimensionSelection>
open class SingleDimensionSelectionExtension

SingleDimensionSelectionExtension()
fun dimension(dimension: Int, sourceFolder: String = "", packageName: String = ""): Unit
var dimensionSelection: Single?

fun AlgebraicTypesExtension.sourceSet(configuration: ModuleExtension.() -> Unit): Unit
open class SubClass : ClassRepresentation

SubClass(parent: ClassRepresentation)
open val comment: ArrayList<String>
val defaultValuesSet: HashMap<String, String>
open var domain: String
open lateinit var name: String
val overrideParameters: ArrayList<String>
open var packageName: String
open val parameters: ArrayList<Parameter>
open val parent: ClassRepresentation
open var serializable: Boolean
open var serializationType: SerializationType
open var setters: Setters
open var settersPostFix: String
open var sourceFolder: String

fun ClassRepresentation.subClass(configuration: SubClass.() -> Unit): Unit
open class SubDataClass : SubClass

SubDataClass(parent: ClassRepresentation)
open val parent: ClassRepresentation

fun ClassRepresentation.subDataClass(configuration: SubDataClass.() -> Unit): SubDataClass
open class SubObject : SubClass

SubObject(parent: ClassRepresentation)
open val parent: ClassRepresentation

open class SubSealedClass : SubClass

SubSealedClass(parent: ClassRepresentation)
open val parent: ClassRepresentation
val representatives: ArrayList<SubClass>

fun AlgebraicTypesExtension.sums(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun ModuleExtension.sums(configuration: DimensionSelectionExtension.() -> Unit): Unit
fun SubDataClass.toDataClass(): DataClass
fun DimensionSelection.toSet(): HashSet<Int>
fun DataClasses.toSet(): Set<ClassRepresentation>
fun Parameter.type(configuration: ParameterType.() -> Unit): Unit
interface Type : Identifier

abstract val dependencies: ArrayList<Type>
abstract val isGeneric: IsGeneric
abstract val isSerializable: IsSerializable

fun Type(name: String, packageName: String, sourceFolder: String, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable): Type
sealed class TypeVariance

object In : TypeVariance
object No : TypeVariance
object Out : TypeVariance

fun Type.vary(variance: TypeVariance = TypeVariance.No): VaryingType
interface VaryingType : Type

abstract val variance: TypeVariance

fun VaryingType(name: String, packageName: String, sourceFolder: String, variance: TypeVariance, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable): VaryingType

package org.drx.plugin.algebraictypes.extension.optics.try1

interface Class : Type, Comment

abstract val parameters: ArrayList<Parameter>

interface Comment

abstract val comment: ArrayList<String>

data class DataClass : Class

DataClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val sourceFolder: String

open class DataClassConfiguration : Configuration<DataClass>

DataClassConfiguration()
val comment: ArrayList<String>
open fun configure(): DataClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>

fun SealedClass.dataRepresentative(representative: DataSubClassConfiguration.() -> Unit): Unit
data class DataSubClass : SubClass

DataSubClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>, parent: Class)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val parent: Class
val sourceFolder: String

open class DataSubClassConfiguration : Configuration<DataSubClass>

DataSubClassConfiguration()
val comment: ArrayList<String>
open fun configure(): DataSubClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>
lateinit var parent: Class

interface Parameter : Type, Comment
data class SealedClass : Class

SealedClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>, representatives: ArrayList<SubClass>)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val representatives: ArrayList<SubClass>
val sourceFolder: String

open class SealedClassConfiguration : Configuration<SealedClass>

SealedClassConfiguration()
val comment: ArrayList<String>
open fun configure(): SealedClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>
val representatives: ArrayList<SubClass>

fun SealedClass.sealedRepresentative(representative: SealedSubClassConfiguration.() -> Unit): Unit
data class SealedSubClass : SubClass

SealedSubClass(name: String, packageName: String, sourceFolder: String, parameters: ArrayList<Parameter>, dependencies: ArrayList<Type>, isGeneric: IsGeneric, isSerializable: IsSerializable, comment: ArrayList<String>, representatives: ArrayList<out SubClass>, parent: Class)
val comment: ArrayList<String>
val dependencies: ArrayList<Type>
val isGeneric: IsGeneric
val isSerializable: IsSerializable
val name: String
val packageName: String
val parameters: ArrayList<Parameter>
val parent: Class
val representatives: ArrayList<out SubClass>
val sourceFolder: String

open class SealedSubClassConfiguration : Configuration<SealedSubClass>

SealedSubClassConfiguration()
val comment: ArrayList<String>
open fun configure(): SealedSubClass
val dependencies: ArrayList<Type>
lateinit var folderName: String
lateinit var isGeneric: IsGeneric
lateinit var isSerializable: IsSerializable
lateinit var name: String
lateinit var packageName: String
val parameters: ArrayList<Parameter>
lateinit var parent: Class
val representatives: ArrayList<out SubClass>

interface SubClass : Class

abstract val parent: Class

package org.drx.plugin.algebraictypes.generate

fun buildComment(vararg lines: String): String
fun buildComment(lines: List<String>, offset: String = "", lineBreak: Unit? = Unit): String
fun buildDslMarkerFileContent(packageName: String): String
fun buildGenericTypes(dimension: Int, type: String, from: Int = 1, variance: String? = null): String
fun buildGenericTypes(dimension: Int, type: String, index: Int, typeAtIndex: String, variance: String? = null): String
fun buildIdLambda(type: String): String
fun buildParaGraphComment(vararg lines: String): String
fun buildSectionComment(vararg lines: String): String
fun dist(): String
fun generateDslMarker(project: Project, sourceFolder: String, domain: String, packageName: String): Unit
kotlin.String

fun String.annotationPackage(): String
fun String.dualityPackage(): String
fun String.evoleqProductPackage(): String
fun String.evoleqSumPackage(): String
fun String.fileCase(): String
fun String.fixTypeNameForImport(): String
fun String.keysPackage(): String
fun String.lensPackage(): String
fun String.nonNullable(): String
fun String.packageCase(): String
fun String.prismPackage(): String
fun String.productsPackage(): String
fun String.replaceLast(oldValue: String, newValue: String): String
fun String.sumsPackage(): String

fun license(): String
class Marker

Marker()

org.gradle.api.Project

fun Project.file(sourceFolder: String, domain: String, packageName: String): File
fun Project.file(sourceFolder: String, domain: String, packageName: String, filename: String): File

object TypePackage

const val annotation: String
const val duality: String
const val evoleqProduct: String
const val evoleqSum: String
const val key: String
const val lens: String
const val prism: String
const val product: String
const val sum: String

fun usesPlugin(): String

package org.drx.plugin.algebraictypes.generate.duality

fun buildDuals(dimension: Int, domain: String, packageName: String): String
fun buildFunctionTypes(dimension: Int, sourceType: String = "S", targetType: String = "T"): String
fun buildOpposedFunctionArgs(dimension: Int, sourceType: String = "S", targetType: String = "T"): String
fun buildOpposeProductFunction(dimension: Int): String
fun buildOpposeSumFunction(dimension: Int): String
fun buildSimpleSumMeasureFunction(dimension: Int): String
fun buildSumMeasureFunction(dimension: Int): String
fun generateDuality(dimension: Int, project: Project, sourceFolder: String, domain: String, packageName: String): Unit

package org.drx.plugin.algebraictypes.generate.evoleq

fun buildProductEvolveFunction(dimension: Int): String
fun buildProductEvolveFunctionWithSideEffect(dimension: Int): String
fun buildProductGetFunction(dimension: Int): String
fun buildSumEvolveFunction(dimension: Int): String
fun buildSumGetFunction(dimension: Int): String
fun generateEvoleqProduct(dimension: Int, project: Project, sourceFolder: String, domain: String, packageName: String): Unit
fun generateEvoleqSum(dimension: Int, project: Project, sourceFolder: String, domain: String, packageName: String): Unit

package org.drx.plugin.algebraictypes.generate.keys

fun generateKeyGroup(prefix: String = "", number: Int = 0, project: Project): Unit
fun generateKeyGroup1(prefix: String = "", number: Int = 0, serialization: Boolean, project: Project, sourceFolder: String, domain: String, packageName: String): Unit
fun generateKeys(prefix: String = "", number: Int = 0, project: Project, sourceFolder: String, domain: String, packageName: String): Unit

package org.drx.plugin.algebraictypes.generate.optics

fun buildAuxiliaryFunctions(packageName: String): String
fun buildAuxiliaryPrismFunctions(packageName: String): String
fun buildDataClass(dataClass: DataClass, algTypes: String): String
fun buildExtendedFunctionComposer(): String
fun buildFluentFunction(): String
fun buildIdSetter(): String
fun buildSealedClassFileContent(sealedClass: SealedClass, algTypesFolder: String): String
fun buildSuspendedIdSetter(): String
fun classGenerics(generics: String?): String
fun classRepresentation(sealedClass: SealedClass, offset: String = ""): String
fun collectSharedPrismParameters(sealedClass: SealedClass): ArrayList<SharedPrismParameter>
fun dataClassRepresentation(dataClass: DataClass, generics: String?): String
fun file(dataClass: DataClass, project: Project): File
fun file(sealedClass: SealedClass, project: Project): File
fun functionGenerics(generics: String?): String
fun generatePseudoLens(dataClass: DataClass, algTypes: String, project: Project): Unit
fun generatePseudoLenses(dataClasses: DataClasses, project: Project): Unit
fun generatePseudoPrism(sealedClass: SealedClass, algTypesFolder: String, project: Project): Unit
fun generatePseudoPrisms(dataClasses: DataClasses, project: Project): Unit
fun generics(dataClass: ClassRepresentation): String?
fun imports(clazz: ClassRepresentation, collected: HashSet<String> = hashSetOf()): HashSet<String>
fun imports(dataClass: DataClass, algTypes: String): String
fun imports(dataClass: SealedClass, algTypesFolder: String): String
fun listGenerics(clazz: ClassRepresentation): HashSet<String>
fun Parameter.modifiers(): String
fun SealedClass.overriddenParameters(): Set<String>
fun SubSealedClass.overriddenParameters(): Set<String>
fun packageName(dataClass: DataClass): String
fun packageName(sealedClass: SealedClass): String
fun parameters(sealedClass: SealedClass, offset: String): List<String>
fun parameters(sealedClass: SubSealedClass, offset: String): List<String>
fun parameterSetter(parameterName: String, parameterType: String, parameterIndex: Int, dataClass: DataClass, dimension: Int, generics: String?): String
fun parameterSetters(dataClass: DataClass, generics: String?): String
fun parameterSettersSuspended(dataClass: DataClass, generics: String?): String
fun parameterSetterSuspended(parameterName: String, parameterType: String, parameterIndex: Int, dataClass: DataClass, dimension: Int, generics: String?): String
fun prism(sealedClass: SealedClass): String
data class PrismParameter

PrismParameter(name: String, type: String, clazz: String, clazzIndex: Int, parameterIndex: Int)
val clazz: String
val clazzIndex: Int
val name: String
val parameterIndex: Int
val type: String

data class PrismParameterOccurrence

PrismParameterOccurrence(clazz: String, clazzIndex: Int, parameterIndex: Int)
val clazz: String
val clazzIndex: Int
val parameterIndex: Int

fun prismParameterSetterFunctionGenerics(sealedClass: SealedClass): String
fun prismParameterSetters(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismParameterSetterType(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismSetter(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismSetterCase(representative: SubDataClass, index: Int, dimension: Int, suspended: Boolean = false): String
fun prismSetterCases(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismSetterFunctionGenerics(sealedClass: SealedClass): String
fun prismSetterType(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismSummandType(sealedClass: SealedClass, index: Int, suspended: Boolean = false): String
fun prismSumType(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismTransaction(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismTransactionArgumentType(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismTransactionCase(representative: SubClass, index: Int, suspended: Boolean = false): String
fun prismTransactionCases(sealedClass: SealedClass, suspended: Boolean = false): String
fun prismTransactionFunctionGenerics(sealedClass: SealedClass): String
fun productSetterType(dataClass: DataClass, generics: String?): String
fun productSetterTypeSuspended(dataClass: DataClass, generics: String?): String
fun setter(dataClass: DataClass, generics: String?): String
fun setter(type: String): String
fun setterSuspended(dataClass: DataClass, generics: String?): String
fun setterSuspended(type: String): String
data class SharedPrismParameter

SharedPrismParameter(name: String, type: String, occurrences: ArrayList<PrismParameterOccurrence> = arrayListOf())
val name: String
val occurrences: ArrayList<PrismParameterOccurrence>
val type: String

fun sharedPrismParameterSetter(sealedClass: SealedClass, sharedPrismParameter: SharedPrismParameter, suspended: Boolean = false): String
fun sharedPrismParameterSetterCase(occurrence: PrismParameterOccurrence, dimension: Int, suspended: Boolean): String
fun sharedPrismParameterSetterCases(sealedClass: SealedClass, occurrences: ArrayList<PrismParameterOccurrence>, suspended: Boolean): String
fun simpleParameterSetter(parameterName: String, parameterType: String, parameterIndex: Int, dataClass: DataClass, dimension: Int, generics: String?): String
fun simpleParameterSetters(dataClass: DataClass, generics: String?): String
fun simpleParameterSettersSuspended(dataClass: DataClass, generics: String?): String
fun simpleParameterSetterSuspended(parameterName: String, parameterType: String, parameterIndex: Int, dataClass: DataClass, dimension: Int, generics: String?): String
fun subClassLens(subDataClass: SubDataClass, parentClassName: String): String
fun subClassLenses(sealedClass: SealedClass): String
fun subClassRepresentation(subClass: SubClass, offset: String = ""): String
fun subClassRepresentation(subClass: SubDataClass, offset: String = ""): String
fun subClassRepresentation(subClass: SubObject, offset: String = ""): String
fun subClassRepresentation(subClass: SubSealedClass, offset: String = ""): String
fun subClassRepresentations(sealedClass: SealedClass, offset: String = ""): String
fun suspended(suspended: Boolean, postFix: String = " ", whenFalse: String = ""): String
fun transaction(dataClass: DataClass, dimension: Int, generics: String?): String
fun transactionSuspended(dataClass: DataClass, dimension: Int, generics: String?): String

package org.drx.plugin.algebraictypes.generate.products

fun buildProductArguments(dimension: Int, modifier: String? = null): String
fun buildProductFunction(dimension: Int): String
fun buildProductMap(dimension: Int, index: Int): String
fun buildProductMaps(dimension: Int): String
fun buildProductOperator(dimension: Int, first: Int): String
fun buildProductOperators(dimension: Int): String
fun buildProductType(dimension: Int): String
fun buildProductTypeArguments(dimension: Int, modifier: String? = null): String
fun buildProjectionFunction(dimension: Int, index: Int): String
fun buildProjectionFunctions(dimension: Int): String
fun buildSimpleProjectionFunction(dimension: Int, index: Int): String
fun buildSimpleProjectionFunctions(dimension: Int): String
fun generateProductInterface(project: Project, sourceFolder: String, domain: String, packageName: String): Unit
fun generateProductType(dimension: Int, project: Project, sourceFolder: String, domain: String, packageName: String): Unit
fun generateProductTypeArithmetic(dimension: Int, project: Project, sourceFolder: String, domain: String, packageName: String): Unit

package org.drx.plugin.algebraictypes.generate.serialization

fun buildSerialModuleName(className: String): String
fun serialModule(dataClass: DataClass): String
fun serialModule(sealedClass: SealedClass): String

package org.drx.plugin.algebraictypes.generate.sums

fun buildInjectionFunction(dimension: Int, index: Int): String
fun buildInjectionFunctions(dimension: Int): String
fun buildRecSumFunction(dimension: Int): String
fun buildSumFunction(dimension: Int, targetType: String = "T"): String
fun buildSumFunctionArguments(dimension: Int, targetType: String = "T"): String
fun buildSumFunctionCases(dimension: Int): String
fun buildSummands(dimension: Int): String
fun buildSumMap(dimension: Int, index: Int): String
fun buildSumMaps(dimension: Int): String
fun buildSumOperator(dimension: Int, first: Int): String
fun buildSumType(dimension: Int): String
fun generateSumInterface(project: Project, sourceFolder: String, domain: String, packageName: String): Unit
fun generateSumType(dimension: Int, project: Project, sourceFolder: String, domain: String, packageName: String): Unit

package org.drx.plugin.algebraictypes.parse

data class BandData

BandData(left: String = "", current: String = "", right: String)
val current: String
val left: String
val right: String

open class BandParser : Parser<BandData>

BandParser()
open val id: KClass<*>
open val parse: (BandData) -> BandData
open val parsers: HashMap<KClass<*>, Parser<*>>

class CharParser : BandParser

CharParser(char: Char)
val char: Char
val id: KClass<*>
val parse: (BandData) -> BandData

data class Encodings

Encodings(remainder: String, items: ArrayList<Pair<String, String>> = arrayListOf())
val items: ArrayList<Pair<String, String>>
val remainder: String

class ExtractionParser : Parser<BandData>

ExtractionParser(leftSymbol: String, rightSymbol: String)
val id: KClass<*>
val leftSymbol: String
val parse: (BandData) -> BandData
val parsers: HashMap<KClass<*>, Parser<*>>
val rightSymbol: String

interface Parser<D>

abstract val id: KClass<*>
abstract val parse: (D) -> D
abstract val parsers: HashMap<KClass<*>, Parser<*>>

sealed class ParserMessage
class PlusParser : Parser<PlusParserData>

PlusParser()
val id: KClass<*>
val parse: (PlusParserData) -> PlusParserData
val parsers: HashMap<KClass<*>, Parser<*>>

data class PlusParserData

PlusParserData(source: String, result: String = "", remainder: String = "", message: String = "")
val message: String
val remainder: String
val result: String
val source: String

open class SymbolParser : Parser<BandData>

SymbolParser(symbol: String)
open val id: KClass<*>
open val parse: (BandData) -> BandData
open val parsers: HashMap<KClass<*>, Parser<*>>
open val symbol: String

class TextEncoder : Parser<Encodings>

TextEncoder()
val id: KClass<*>
val parse: (Encodings) -> Encodings
val parsers: HashMap<KClass<*>, Parser<*>>

class TypeArithmeticParser

TypeArithmeticParser()

package org.drx.plugin.algebraictypes.process

tailrec fun <D> process(testObject: Boolean, condition: (D) -> Boolean, data: D, step: (D) -> D): D

package org.drx.plugin.algebraictypes.task

open class GenerateTypes : DefaultTask

GenerateTypes()
val extension: AlgebraicTypesExtension
fun generate(): Unit

package org.drx.plugin.algebraictypes.util

java.util.ArrayList

fun <T> ArrayList<T>.addAll(vararg elements: T): Boolean

kotlin.String

fun String.repeatString(times: Int): String