arrow-annotations / arrow

Package arrow

Types

HkJ typealias HkJ<F, A> = Hk<F, A>
HkJ2 typealias HkJ2<F, A, B> = Hk<Hk<F, A>, B>
HkJ3 typealias HkJ3<F, A, B, C> = Hk<HkJ2<F, A, B>, C>
HkJ4 typealias HkJ4<F, A, B, C, D> = Hk<HkJ3<F, A, B, C>, D>
HkJ5 typealias HkJ5<F, A, B, C, D, E> = Hk<HkJ4<F, A, B, C, D>, E>
Kind Kind<F, A> represents a generic F<A> in a way that’s allowed by Kotlin. To revert it back to its original form use the extension function fix().interface Kind<out F, out A>
Kind10 typealias Kind10<F, A, B, C, D, E, G, H, I, J, K> = Kind<Kind9<F, A, B, C, D, E, G, H, I, J>, K>
Kind11 typealias Kind11<F, A, B, C, D, E, G, H, I, J, K, L> = Kind<Kind10<F, A, B, C, D, E, G, H, I, J, K>, L>
Kind12 typealias Kind12<F, A, B, C, D, E, G, H, I, J, K, L, M> = Kind<Kind11<F, A, B, C, D, E, G, H, I, J, K, L>, M>
Kind13 typealias Kind13<F, A, B, C, D, E, G, H, I, J, K, L, M, N> = Kind<Kind12<F, A, B, C, D, E, G, H, I, J, K, L, M>, N>
Kind14 typealias Kind14<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O> = Kind<Kind13<F, A, B, C, D, E, G, H, I, J, K, L, M, N>, O>
Kind15 typealias Kind15<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P> = Kind<Kind14<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O>, P>
Kind16 typealias Kind16<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q> = Kind<Kind15<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P>, Q>
Kind17 typealias Kind17<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R> = Kind<Kind16<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q>, R>
Kind18 typealias Kind18<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S> = Kind<Kind17<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R>, S>
Kind19 typealias Kind19<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S, T> = Kind<Kind18<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S>, T>
Kind2 typealias Kind2<F, A, B> = Kind<Kind<F, A>, B>
Kind20 typealias Kind20<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U> = Kind<Kind19<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>, U>
Kind21 typealias Kind21<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V> = Kind<Kind20<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>, V>
Kind22 typealias Kind22<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W> = Kind<Kind21<F, A, B, C, D, E, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V>, W>
Kind3 typealias Kind3<F, A, B, C> = Kind<Kind2<F, A, B>, C>
Kind4 typealias Kind4<F, A, B, C, D> = Kind<Kind3<F, A, B, C>, D>
Kind5 typealias Kind5<F, A, B, C, D, E> = Kind<Kind4<F, A, B, C, D>, E>
Kind6 typealias Kind6<F, A, B, C, D, E, G> = Kind<Kind5<F, A, B, C, D, E>, G>
Kind7 typealias Kind7<F, A, B, C, D, E, G, H> = Kind<Kind6<F, A, B, C, D, E, G>, H>
Kind8 typealias Kind8<F, A, B, C, D, E, G, H, I> = Kind<Kind7<F, A, B, C, D, E, G, H>, I>
Kind9 typealias Kind9<F, A, B, C, D, E, G, H, I, J> = Kind<Kind8<F, A, B, C, D, E, G, H, I>, J>

Annotations

autofold annotation class autofold
coproduct annotation class coproduct
documented annotation class documented
extension annotation class extension
higherkind annotation class higherkind
product annotation class product
synthetic annotation class synthetic
undocumented annotation class undocumented

Properties

given val given: Nothing

Functions

given fun <A> given(): A