arrow.meta.phases.analysis

collects all distinct witnesses of f from the receiver, where the return type contains pairs of A and a list of other corresponding elements that full fill f

getOrCreateBaseDirectory

fun getOrCreateBaseDirectory(configuration: CompilerConfiguration?): File

intersect

fun <C : CallableDescriptor> C.intersect(eq: Eq<KotlinType>, types: KotlinBuiltIns.() -> List<KotlinType>): List<KotlinType>

Given eq this function returns KotlinTypes that intersect with the returnType from the list in types. One concrete example for equality on TypeConstructor may look like this:

fun <D : DeclarationDescriptor> D.intersect(eq: Eq<KotlinType>, list: List<KotlinType>, other: KotlinBuiltIns.() -> List<KotlinType>): List<KotlinType>

given eq this function returns a List of KotlinType that are contained by both list and other

isAnnotatedWith

fun KtAnnotated.isAnnotatedWith(regex: Regex): Boolean

resolveFunctionTypeEq

fun resolveFunctionTypeEq(): Eq<KotlinType>

defines Equality on types, where FunctionTypes are reduced to their return type

sequence

fun <A : PsiElement> PsiElement.sequence(on: Class<A>): List<A>

a convenient function that collects all child nodes A starting from this it applies traverseFilter with the identity function

skipGeneration

fun DeclarationDescriptor.skipGeneration(): Boolean

transform

fun KtElement.transform(f: (KtElement) -> KtElement?): KtElement

traverseFilter

fun <A : PsiElement, B : Any> PsiElement.traverseFilter(on: Class<A>, f: (A) -> B?): List<B>

traverse and filters starting from the root node this down to all it's children and applying f

typeConstructorEq

fun typeConstructorEq(): Eq<KotlinType>

defines Equality on the type constructor

companionObject

val KtClass.companionObject: KtObjectDeclaration?

resolveFunctionType

val resolveFunctionType: (KotlinType) -> KotlinType

resolves FunctionType to it's returnType

returnTypeEq

val returnTypeEq: Eq<KotlinType>

naive type equality where function types are reduced to their return type

Package arrow.meta.phases.analysis

Types

Functions

Properties