Type Members

1.  type Aux[F[_], C[_], S] = ThereafterAsync[F] { ... /* 2 definitions in type refinement */ }

   Make the dependent Content type explicit as a type argument to help with type inference.

   Make the dependent Content type explicit as a type argument to help with type inference.

   The construction is the same as in shapeless. [The Type Astronaut's Guide to Shapeless Book](https://underscore.io/books/shapeless-guide/) explains the idea in Chapter 4.2.

2.  trait ComposedThereafterAsync[F[_], FContent[_], FShape, G[_], GContent[_], GShape] extends ThereafterAsync[[a]F[G[a]]] with ComposedThereafter[F, FContent, FShape, G, GContent, GShape]
3.  trait EitherTThereafterAsync[F[_], E, FContent[_], FShape] extends EitherTThereafter[F, E, FContent, FShape] with ThereafterAsync[[γ$11$]EitherT[F, E, γ$11$]]
4.  class FutureThereafterAsync extends FutureThereafter with ThereafterAsync[Future]
5.  trait NestedThereafterAsync[F[_], FContent[_], FShape, G[_], GContent[_], GShape] extends ThereafterAsync[[γ$18$]Nested[F, G, γ$18$]] with NestedThereafter[F, FContent, FShape, G, GContent, GShape]
6.  trait Ops[F[_], C[_], S, A] extends Thereafter.Ops[F, C, S, A]
7.  trait OptionTThereafterAsync[F[_], FContent[_], FShape] extends ThereafterAsync[[β$14$]OptionT[F, β$14$]] with OptionTThereafter[F, FContent, FShape]
8.  trait syntax extends AnyRef