package tagless
- Alphabetic
- By Inheritance
- tagless
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- class DeriveMacros extends AnyRef
- type IdK[A] = AnyRef { type λ[F[_]] = F[A] }
- 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]) }
- macro class autoApplyK extends Annotation with StaticAnnotation
Auto generates an instance of ApplyK.
Auto generates an instance of ApplyK.
- Annotations
- @compileTimeOnly("Cannot expand @autoApplyK")
- macro class autoBifunctor extends Annotation with StaticAnnotation
Auto generates an instance of
cats.Bifunctor.
Auto generates an instance of
cats.Bifunctor.
- Annotations
- @compileTimeOnly("Cannot expand @autoBifunctor")
- macro class autoContravariant extends Annotation with StaticAnnotation
Auto generates an instance of
cats.Invariant
.Auto generates an instance of
cats.Invariant
.- Annotations
- @compileTimeOnly("Cannot expand @autoContravariant")
- macro class autoContravariantK extends Annotation with StaticAnnotation
Auto generates an instance of ContravariantK.
Auto generates an instance of ContravariantK.
- Annotations
- @compileTimeOnly("Cannot expand @autoFunctorK")
- macro class autoFlatMap extends Annotation with StaticAnnotation
Auto generates an instance of
cats.FlatMap
.Auto generates an instance of
cats.FlatMap
.- Annotations
- @compileTimeOnly("Cannot expand @autoFlatMap")
- macro class autoFunctor extends Annotation with StaticAnnotation
Auto generates an instance of
cats.Functor
.Auto generates an instance of
cats.Functor
.- Annotations
- @compileTimeOnly("Cannot expand @autoFunctor")
- macro class autoFunctorK extends Annotation with StaticAnnotation
Auto generates an instance of FunctorK.
Auto generates an instance of FunctorK.
- Annotations
- @compileTimeOnly("Cannot expand @autoFunctorK")
- macro class autoInvariant extends Annotation with StaticAnnotation
Auto generates an instance of
cats.Invariant
.Auto generates an instance of
cats.Invariant
.- Annotations
- @compileTimeOnly("Cannot expand @autoInvariant")
- macro class autoInvariantK extends Annotation with StaticAnnotation
Auto generates an instance of InvariantK.
Auto generates an instance of InvariantK.
- Annotations
- @compileTimeOnly("Cannot expand @autoInvariantK")
- macro class autoProductNK extends Annotation with StaticAnnotation
auto generates methods in companion object to compose multiple interpreters into an interpreter of a
TupleNK
effectsauto generates methods in companion object to compose multiple interpreters into an interpreter of a
TupleNK
effects- Annotations
- @compileTimeOnly("Cannot expand @autoProductK")
- macro class autoProfunctor extends Annotation with StaticAnnotation
Auto generates an instance of
cats.arrow.Profunctor
.Auto generates an instance of
cats.arrow.Profunctor
.- Annotations
- @compileTimeOnly("Cannot expand @autoProfunctor")
- macro class autoSemigroupalK extends Annotation with StaticAnnotation
Auto generates an instance of SemigroupalK.
Auto generates an instance of SemigroupalK.
- Annotations
- @compileTimeOnly("Cannot expand @autoSemigroupalK")
- macro class finalAlg extends Annotation with StaticAnnotation
- Annotations
- @compileTimeOnly("Cannot expand @finalAlg")