https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
r

raulraja

03/20/2019, 9:29 PM
Copy code
@higherkind data class ListK<A>(val list: List<A>): ListKOf<A>

// Generates the following code:
//
// class ForListK private constructor() { companion object {} }
// typealias ListKOf<A> = Kind<ForListK, A>
// fun ListKOf<A>.fix() = this as ListK<A>
replace
ListK
for
Gen
2 Views