Type Members

1.  type AnyK[_] = Any
2.  type ApplicativeThrow[F[_]] = ApplicativeError[F, Throwable]
3.  type BlockExec[F[_]] = ScopedExecute[Blocking, F]
4.  final type Blocks[F[_]] = Scoped[Blocking, F]
5.  type CalcExec[F[_]] = ScopedExecute[Calculation, F]
6.  type Calculates[F[_]] = Scoped[Calculation, F]
7.  type Catches[F[_]] = Handle[F, Throwable]
8.  type Execute[F[_]] = ScopedExecute[Main, F]
9.  type In[C, F[_]] = WithContext[F, C]
10.  type MonadThrow[F[_]] = MonadError[F, Throwable]
11.  type Perform[F[_], E] = PerformVia[F, [β$0$](Exit[E, β$0$]) ⇒ Unit, Unit]
12.  type PerformCont[Ex[_], A] = (Ex[A]) ⇒ Unit
13.  type PerformExitCont[E, A] = (Exit[E, A]) ⇒ Unit
14.  type PerformOf[F[_], Ex[_]] = PerformVia[F, [β$0$](Ex[β$0$]) ⇒ Unit, Unit]
15.  type PerformThrow[F[_]] = PerformVia[F, [β$0$](Exit[Throwable, β$0$]) ⇒ Unit, Unit]
16.  type TConst[A, B] = A
17.  type Throws[F[_]] = Raise[F, Throwable]
18.  type Tries[F[_]] = Errors[F, Throwable]
19.  type HasContext[F[_], C] = Context[F] { type Ctx = C }

    Annotations

    @deprecated

    Deprecated

    (Since version 0.10.3) Use WithContext instead

20.  type HasContextRun[F[_], G[_], C] = WithRun[F, G, C]

    Annotations

    @deprecated

    Deprecated

    (Since version 0.10.3) Use WithRun instead

21.  type HasLocal[F[_], C] = Local[F] { type Ctx = C }

    Annotations

    @deprecated

    Deprecated

    (Since version 0.10.3) Use WithLocal instead

22.  type HasProvide[F[_], G[_], C] = WithProvide[F, G, C]

    Annotations

    @deprecated

    Deprecated

    (Since version 0.10.3) Use WithProvide instead