tagless

Type Members

1. class DeriveMacros extends AnyRef

   

2. type IdK[A] = AnyRef { type λ[F[_]] = F[A] }

   

3. type Tuple3K[F[_], G[_], H[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T]) }

   

4. type Tuple4K[F[_], G[_], H[_], I[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T]) }

   

5. type Tuple5K[F[_], G[_], H[_], I[_], J[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T]) }

   

6. type Tuple6K[F[_], G[_], H[_], I[_], J[_], K[_]] = AnyRef { type λ[T] = (F[T], G[T], H[T], I[T], J[T], K[T]) }

   

7. 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]) }

   

8. 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]) }

   

9. 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]) }

   

10. macro class autoApply extends Annotation with StaticAnnotation

    

    Auto generates an instance of cats.Apply.

    Auto generates an instance of cats.Apply.

    Annotations

    @compileTimeOnly( "Cannot expand @autoApply" )

11. macro class autoApplyK extends Annotation with StaticAnnotation

    

    Auto generates an instance of ApplyK.

    Auto generates an instance of ApplyK.

    Annotations

    @compileTimeOnly( "Cannot expand @autoApplyK" )

12. 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" )

13. 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" )

14. macro class autoContravariantK extends Annotation with StaticAnnotation

    

    Auto generates an instance of ContravariantK.

    Auto generates an instance of ContravariantK.

    Annotations

    @compileTimeOnly( "Cannot expand @autoFunctorK" )

15. 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" )

16. 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" )

17. macro class autoFunctorK extends Annotation with StaticAnnotation

    

    Auto generates an instance of FunctorK.

    Auto generates an instance of FunctorK.

    Annotations

    @compileTimeOnly( "Cannot expand @autoFunctorK" )

18. macro class autoInstrument extends Annotation with StaticAnnotation

    

    Auto generates an instance of cats.tagless.diagnosis.Instrument.

    Auto generates an instance of cats.tagless.diagnosis.Instrument.

    Annotations

    @compileTimeOnly( "Cannot expand @autoInstrument" )

19. 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" )

20. macro class autoInvariantK extends Annotation with StaticAnnotation

    

    Auto generates an instance of InvariantK.

    Auto generates an instance of InvariantK.

    Annotations

    @compileTimeOnly( "Cannot expand @autoInvariantK" )

21. macro class autoProductNK extends Annotation with StaticAnnotation

    

    auto generates methods in companion object to compose multiple interpreters into an interpreter of a TupleNK effects

    auto generates methods in companion object to compose multiple interpreters into an interpreter of a TupleNK effects

    Annotations

    @compileTimeOnly( "Cannot expand @autoProductK" )

22. 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" )

23. macro class autoSemigroupal extends Annotation with StaticAnnotation

    

    Auto generates an instance of cats.Semigroupal.

    Auto generates an instance of cats.Semigroupal.

    Annotations

    @compileTimeOnly( "Cannot expand @autoSemigroupal" )

24. macro class autoSemigroupalK extends Annotation with StaticAnnotation

    

    Auto generates an instance of SemigroupalK.

    Auto generates an instance of SemigroupalK.

    Annotations

    @compileTimeOnly( "Cannot expand @autoSemigroupalK" )

25. macro class finalAlg extends Annotation with StaticAnnotation

    

    Annotations

    @compileTimeOnly( "Cannot expand @finalAlg" )