Type Members

1.  type #~>#:[T, R] = FunctionK[[β$2$]T, [β$3$]R]
2.  type #~>:[T, F[_]] = FunctionK[[β$1$]T, F]
3.  type ApplicativeKC[F[_[_]]] = ApplicativeK[[A[_], _]F[A]]
4.  type ApplyKC[F[_[_]]] = ApplyK[[A[_], _]F[A]]
5.  type Compose2[A[_], B[_], C] = A[B[C]]
6.  type Compose3[A[_], B[_], C[_], Z] = A[B[C[Z]]]
7.  type Compose4[A[_], B[_], C[_], D[_], Z] = A[B[C[D[Z]]]]
8.  type Compose5[A[_], B[_], C[_], D[_], E[_], Z] = A[B[C[D[E[Z]]]]]
9.  type Const[A, B] = A
10.  type DistributiveKC[F[_[_]]] = DistributiveK[[A[_], _]F[A]]
11.  type FoldableKC[F[_[_]]] = FoldableK[[A[_], _]F[A]]
12.  type FunctorKC[F[_[_]]] = FunctorK[[A[_], _]F[A]]
13.  abstract type INothing <: Nothing
14.  type Id[A] = A
15.  type IdF = AnyRef { type λ[F0[_], A] = F0[A] }
16.  type IdFC[A] = AnyRef { type λ[F0[_]] = F0[A] }
17.  type IgnoreC[F[_[_]]] = AnyRef { type λ[A[_], _] = F[A] }
18.  type MonadKC[F[_[_]]] = MonadK[[A[_], _]F[A]]
19.  type RepresentableKC[F[_[_]]] = RepresentableK[[A[_], _]F[A]]
20.  type TraverseKC[F[_[_]]] = TraverseK[[A[_], _]F[A]]
21.  type Tuple10F[A, B, C, D, E, F, G, H, I, J] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J]) }
22.  type Tuple11F[A, B, C, D, E, F, G, H, I, J, K] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K]) }
23.  type Tuple12F[A, B, C, D, E, F, G, H, I, J, K, L0] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0]) }
24.  type Tuple13F[A, B, C, D, E, F, G, H, I, J, K, L0, M] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M]) }
25.  type Tuple14F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N]) }
26.  type Tuple15F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O]) }
27.  type Tuple16F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O, P] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O], F0[P]) }
28.  type Tuple17F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O, P, Q] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O], F0[P], F0[Q]) }
29.  type Tuple18F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O, P, Q, R] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O], F0[P], F0[Q], F0[R]) }
30.  type Tuple19F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O, P, Q, R, S] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O], F0[P], F0[Q], F0[R], F0[S]) }
31.  type Tuple1F[A] = AnyRef { type λ[F0[_]] = (F0[A],) }
32.  type Tuple20F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O, P, Q, R, S, T] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O], F0[P], F0[Q], F0[R], F0[S], F0[T]) }
33.  type Tuple21F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O, P, Q, R, S, T, U] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O], F0[P], F0[Q], F0[R], F0[S], F0[T], F0[U]) }
34.  type Tuple22F[A, B, C, D, E, F, G, H, I, J, K, L0, M, N, O, P, Q, R, S, T, U, V] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I], F0[J], F0[K], F0[L0], F0[M], F0[N], F0[O], F0[P], F0[Q], F0[R], F0[S], F0[T], F0[U], F0[V]) }
35.  type Tuple2F[A, B] = AnyRef { type λ[F0[_]] = (F0[A], F0[B]) }
36.  type Tuple2K[F[_], G[_], A] = (F[A], G[A])
37.  type Tuple2KK[F[_[_], _], G[_[_], _]] = AnyRef { type λ[A[_], C] = (F[A,C], G[A,C]) }
38.  type Tuple3F[A, B, C] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C]) }
39.  type Tuple3K[F[_], G[_], H[_], A] = (F[A], G[A], H[A])
40.  type Tuple3KK[F[_[_], _], G[_[_], _], H[_[_], _]] = AnyRef { type λ[A[_], C] = (F[A,C], G[A,C], H[A,C]) }
41.  type Tuple4F[A, B, C, D] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D]) }
42.  type Tuple4K[F[_], G[_], H[_], I[_], A] = (F[A], G[A], H[A], I[A])
43.  type Tuple4KK[F[_[_], _], G[_[_], _], H[_[_], _], I[_[_], _]] = AnyRef { type λ[A[_], C] = (F[A,C], G[A,C], H[A,C], I[A,C]) }
44.  type Tuple5F[A, B, C, D, E] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E]) }
45.  type Tuple5K[F[_], G[_], H[_], I[_], J[_], A] = (F[A], G[A], H[A], I[A], J[A])
46.  type Tuple5KK[F[_[_], _], G[_[_], _], H[_[_], _], I[_[_], _], J[_[_], _]] = AnyRef { type λ[A[_], C] = (F[A,C], G[A,C], H[A,C], I[A,C], J[A,C]) }
47.  type Tuple6F[A, B, C, D, E, F] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F]) }
48.  type Tuple7F[A, B, C, D, E, F, G] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G]) }
49.  type Tuple8F[A, B, C, D, E, F, G, H] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H]) }
50.  type Tuple9F[A, B, C, D, E, F, G, H, I] = AnyRef { type λ[F0[_]] = (F0[A], F0[B], F0[C], F0[D], F0[E], F0[F], F0[G], F0[H], F0[I]) }
51.  type ~>#:[F[_], R] = FunctionK[F, [β$0$]R]
52.  type ~>:[-F[_], +G[_]] = FunctionK[F, G]