package impl

Type Members

  1. trait ApplicativeDelegate[F[_]] extends Applicative[F] with ApplyDelegate[F]
  2. trait ApplyDelegate[F[_]] extends Apply[F] with FunctorDelegate[F]
  3. trait FunctorDelegate[F[_]] extends Functor[F]
  4. class SelectiveEitherT[F[_], L] extends Selective[[γ$1$]EitherT[F, L, γ$1$]]
  5. class SelectiveOptionT[F[_]] extends Selective[[β$0$]OptionT[F, β$0$]]
  6. class SelectiveOverMonad[F[_]] extends Selective[F] with ApplicativeDelegate[F]
  7. class SelectiveReaderT[F[_], R] extends Selective[[γ$2$]Kleisli[F, R, γ$2$]] with ApplicativeDelegate[[γ$3$]Kleisli[F, R, γ$3$]]
  8. trait SelectiveWithMap[F[_]] extends Selective[F]

    Implement ap method via selectAp and map

  9. class SelectiveWriterT[F[_], W] extends Selective[[γ$5$]WriterT[F, W, γ$5$]] with ApplicativeDelegate[[γ$6$]WriterT[F, W, γ$6$]]

Ungrouped