effect

Type Members

1. trait Dup[H[_[_]]] extends AnyRef

   Duplicate a handle in the parent region.

2. sealed abstract class DupInstances extends AnyRef

3. trait Effects extends ToAllEffectTypeClassOps with AllEffectInstances

4. sealed abstract class FinalizerHandle[R[_]] extends AnyRef

   A handle to a finalizer that allows you to duplicate it to a parent region using "dup".

5. sealed abstract class IO[A] extends AnyRef

6. sealed abstract class IOInstances extends IOInstances0

7. sealed abstract class IOInstances0 extends IOInstances1

8. sealed abstract class IOInstances1 extends AnyRef

9. sealed abstract class IORef[A] extends AnyRef

   A mutable reference in the IO monad.

10. trait IORefs extends AnyRef

11. sealed abstract class IoExceptionOr[A] extends AnyRef

12. trait IsomorphismLiftControlIO[F[_], G[_]] extends LiftControlIO[F]

13. trait IsomorphismLiftIO[F[_], G[_]] extends LiftIO[F]

14. trait IsomorphismMonadCatchIO[F[_], G[_]] extends MonadCatchIO[F] with IsomorphismMonadIO[F, G]

15. trait IsomorphismMonadControlIO[F[_], G[_]] extends MonadControlIO[F] with IsomorphismLiftControlIO[F, G] with IsomorphismMonad[F, G]

16. trait IsomorphismMonadIO[F[_], G[_]] extends MonadIO[F] with IsomorphismLiftIO[F, G] with IsomorphismMonad[F, G]

17. trait IsomorphismResource[F, G] extends Resource[F]

18. sealed trait IvoryTower extends AnyRef

19. trait IvoryTowers extends AnyRef

20. trait LiftControlIO[F[_]] extends AnyRef

21. trait LiftIO[F[_]] extends AnyRef

22. trait MonadCatchIO[M[_]] extends MonadIO[M]

23. sealed abstract class MonadCatchIOFunctions extends AnyRef

24. trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]

25. trait MonadIO[F[_]] extends LiftIO[F] with Monad[F]

26. sealed abstract class RefCountedFinalizer extends AnyRef

27. trait RefCountedFinalizers extends AnyRef

28. sealed abstract class RegionT[S, P[_], A] extends AnyRef

    A monad transformer in which scarce resources can be opened.

29. sealed abstract class RegionTInstances extends RegionTInstances1

30. sealed abstract class RegionTInstances1 extends AnyRef

31. trait RegionTLiftIO[S, M[_]] extends LiftIO[[γ$6$]RegionT[S, M, γ$6$]]

32. trait RegionTMonad[S, M[_]] extends Monad[[γ$5$]RegionT[S, M, γ$5$]]

33. trait Resource[F] extends AnyRef

34. sealed abstract class ST[S, A] extends AnyRef

    Purely functional mutable state threads.

35. sealed abstract class STArray[S, A] extends AnyRef

    Mutable array in state thread S containing values of type A.

36. sealed abstract class STInstance0 extends AnyRef

37. sealed abstract class STInstances extends STInstance0

38. sealed abstract class STRef[S, A] extends AnyRef

    Mutable variable in state thread S containing a value of type A.

39. sealed abstract class STRefInstances extends AnyRef

40. trait SafeApp extends AnyRef

    A safe alternative to the App trait in the Scala standard library.