Package-level declarations

Types

Link copied to clipboard

Marks a declaration as suppliable.

Link copied to clipboard
interface SuppliableClass

Base interface for suppliable classes.

Link copied to clipboard
annotation class Supply

Marks a type parameter as a supplied type parameter.

Functions

Link copied to clipboard
fun <T> suppliedTypeOf(): SuppliedType

Creates a SuppliedType that represents the compile-time type T.

Link copied to clipboard
inline fun <T1, R> withSupplied(suppliedType1: SuppliedType, block: () -> R): R

Executes block in a scope where the supplied type parameter T1 is bound to suppliedType1.

inline fun <T1, T2, R> withSupplied(suppliedType1: SuppliedType, suppliedType2: SuppliedType, block: () -> R): R

Executes block in a scope where the supplied type parameters T1 and T2 are bound to suppliedType1 and suppliedType2, respectively.

inline fun <T1, T2, T3, R> withSupplied(suppliedType1: SuppliedType, suppliedType2: SuppliedType, suppliedType3: SuppliedType, block: () -> R): R

Executes block in a scope where the supplied type parameters T1, T2, and T3 are bound to suppliedType1, suppliedType2, and suppliedType3, respectively.