Type Members

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

   Duplicate a handle in the parent region.

2.  trait DupFunctions extends AnyRef
3.  sealed abstract class DupInstances extends AnyRef
4.  trait Effects extends ToAllEffectTypeClassOps with AllEffectInstances
5.  sealed trait 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.

6.  trait FinalizerHandleFunctions extends AnyRef
7.  sealed trait IO[A] extends AnyRef
8.  trait IOFunctions extends IOStd
9.  sealed abstract class IOInstances extends IOInstances0
10.  sealed abstract class IOInstances0 extends IOInstances1
11.  sealed abstract class IOInstances1 extends AnyRef
12.  sealed trait 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.

13.  trait IORefs extends AnyRef
14.  trait IOStd extends AnyRef

    IO Actions for writing to standard output and and reading from standard input

15.  sealed trait IoExceptionOr[A] extends AnyRef
16.  trait IoExceptionOrFunctions extends AnyRef
17.  trait IsomorphismLiftControlIO[F[_], G[_]] extends LiftControlIO[F]
18.  trait IsomorphismLiftIO[F[_], G[_]] extends LiftIO[F]
19.  trait IsomorphismMonadCatchIO[F[_], G[_]] extends MonadCatchIO[F] with IsomorphismMonadIO[F, G]
20.  trait IsomorphismMonadControlIO[F[_], G[_]] extends MonadControlIO[F] with IsomorphismLiftControlIO[F, G] with IsomorphismMonad[F, G]
21.  trait IsomorphismMonadIO[F[_], G[_]] extends MonadIO[F] with IsomorphismLiftIO[F, G] with IsomorphismMonad[F, G]
22.  trait IsomorphismResource[F, G] extends Resource[F]
23.  sealed trait IvoryTower extends AnyRef
24.  trait IvoryTowers extends AnyRef
25.  sealed abstract class KleisliEffectInstances extends KleisliEffectInstances0
26.  sealed abstract class KleisliEffectInstances0 extends KleisliEffectInstances1
27.  sealed abstract class KleisliEffectInstances1 extends KleisliInstances
28.  trait LiftControlIO[F[_]] extends AnyRef

29.  trait LiftIO[F[_]] extends AnyRef

30.  trait MonadCatchIO[M[_]] extends MonadIO[M]
31.  sealed trait MonadCatchIOFunctions extends AnyRef
32.  trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]

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

34.  sealed trait RefCountedFinalizer extends AnyRef
35.  trait RefCountedFinalizers extends AnyRef
36.  sealed trait 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.

37.  trait RegionTFunctions extends AnyRef
38.  sealed abstract class RegionTInstances extends RegionTInstances1
39.  sealed abstract class RegionTInstances1 extends AnyRef
40.  trait RegionTLiftIO[S, M[_]] extends LiftIO[[α]RegionT[S, M, α]]
41.  trait RegionTMonad[S, M[_]] extends Monad[[α]RegionT[S, M, α]]
42.  trait Resource[F] extends AnyRef

43.  sealed trait 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"

44.  sealed trait STArray[S, A] extends AnyRef

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

45.  trait STArrayFunctions extends AnyRef
46.  trait STFunctions extends AnyRef
47.  sealed abstract class STInstance0 extends AnyRef
48.  sealed abstract class STInstances extends STInstance0
49.  sealed trait 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

50.  trait STRefFunctions extends AnyRef
51.  sealed abstract class STRefInstances extends AnyRef
52.  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.

53.  sealed abstract class StateTEffectInstances extends StateTEffectInstances0
54.  sealed abstract class StateTEffectInstances0 extends StateTInstances
55.  trait StateTLiftIO[M[_], S] extends LiftIO[[α]IndexedStateT[M, S, S, α]]