package tagless
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- tagless
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- class DerivationMacros extends AnyRef
- type Tuple3K[F[_], G[_], H[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T]) }
- type Tuple4K[F[_], G[_], H[_], I[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T]) }
- type Tuple5K[F[_], G[_], H[_], I[_], J[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T]) }
- type Tuple6K[F[_], G[_], H[_], I[_], J[_], K[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T]) }
- 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]) }
- 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]) }
- 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]) }
- class Utils[C <: Context] extends AnyRef
-
macro
class
autoFunctorK extends Annotation with StaticAnnotation
auto generates an instance of autoFunctorK
auto generates an instance of autoFunctorK
- Annotations
- @compileTimeOnly( "Cannot expand @autoFunctorK" )
-
macro
class
finalAlg extends Annotation with StaticAnnotation
- Annotations
- @compileTimeOnly( "Cannot expand @finalAlg" )
Value Members
- object FinalAlgInstanceGenerator
- object FunctorKInstanceGenerator
- object derivation