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".

   A handle to a finalizer that allows you to duplicate it to a parent region using "dup". Duplicating a finalizer means that instead of being performed when the current region terminates, it is performed when the parent region terminates.

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.

   A mutable reference in the IO monad. Note that unsafePerformIO will allow leaking such a reference out of the monad, but any operations on a leaked reference are still monadic.

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[F[_]] extends MonadIO[F]

23.  trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]

24.  trait MonadIO[F[_]] extends LiftIO[F] with Monad[F]

25.  sealed abstract class RefCountedFinalizer extends AnyRef
26.  trait RefCountedFinalizers extends AnyRef
27.  sealed abstract class RegionT[S, P[_], A] extends AnyRef

    A monad transformer in which scarce resources can be opened.

    A monad transformer in which scarce resources can be opened. When the region terminates, all opened resources will be closed automatically. It's a type error to return an opened resource from the region, and no I/O with closed resources is possible.

28.  sealed abstract class RegionTInstances extends RegionTInstances1
29.  sealed abstract class RegionTInstances1 extends AnyRef
30.  trait RegionTLiftIO[S, M[_]] extends LiftIO[[γ$6$]RegionT[S, M, γ$6$]]
31.  trait RegionTMonad[S, M[_]] extends Monad[[γ$5$]RegionT[S, M, γ$5$]]
32.  trait Resource[F] extends AnyRef

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

    Purely functional mutable state threads.

    Purely functional mutable state threads. Based on JL and SPJ's paper "Lazy Functional State Threads"

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

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

35.  sealed abstract class STInstance0 extends AnyRef
36.  sealed abstract class STInstances extends STInstance0
37.  sealed abstract class STRef[S, A] extends AnyRef

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

    Mutable variable in state thread S containing a value of type A. http://research.microsoft.com/en-us/um/people/simonpj/papers/lazy-functional-state-threads.ps.Z

38.  sealed abstract class STRefInstances extends AnyRef
39.  trait SafeApp extends AnyRef

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

    A safe alternative to the App trait in the Scala standard library. This trait provides an implementation of the main method by calling unsafePerformIO on a specified IO action.