Packages

p

cats

tagless

package tagless

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. tagless
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type AnyK[A] = Any
  2. type Const[A] = AnyRef { type λ[T] = A }
  3. type IdK[A] = AnyRef { type λ[F[_]] = F[A] }
  4. type Tuple3K[F[_], G[_], H[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T]) }
  5. type Tuple4K[F[_], G[_], H[_], I[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T]) }
  6. type Tuple5K[F[_], G[_], H[_], I[_], J[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T]) }
  7. type Tuple6K[F[_], G[_], H[_], I[_], J[_], K[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T]) }
  8. type Tuple7K[F[_], G[_], H[_], I[_], J[_], K[_], L[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T], L[T]) }
  9. type Tuple8K[F[_], G[_], H[_], I[_], J[_], K[_], L[_], M[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T], L[T], M[T]) }
  10. type Tuple9K[F[_], G[_], H[_], I[_], J[_], K[_], L[_], M[_], N[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T], L[T], M[T], N[T]) }
  11. type Void[A] = Unit

Value Members

  1. implicit def catsTaglessApplyKForIdK[A]: ApplyK[[F[_]]F[A]]

Inherited from AnyRef

Inherited from Any

Ungrouped