extend

Type Members

1. sealed trait ByNameNt[F[_], G[_]] extends AnyRef

   

   Models a natural transformation between the Functors F[_] and G[_].

   Models a natural transformation between the Functors F[_] and G[_].

   It satisfies the naturality condition. See ByNameNtLaws

2. trait Effectful[F[_]] extends AnyRef

   

   Separation between the effectful stack and the monad error

3. sealed trait EffectfulInstances extends AnyRef

   

4. trait ErrorAdapt[F[_]] extends AnyRef

   

5. sealed trait ErrorAdaptInstances extends AnyRef

   

6. trait ErrorResponse[F[_], E] extends Http4sDsl[F]

   

7. type ExceptionDisplay = extend.MkExceptionDisplay.T

   

8. trait NewType extends AnyRef

   

9. trait ParEffectful[F[_]] extends AnyRef

   

   ParEffectful describes the execution of F[_] in parallel.

   ParEffectful describes the execution of F[_] in parallel. The IO instance is implemented in terms of fs2 async.start

10. type ~~>[F[_], G[_]] = ByNameNt[F, G]