package effect
- Alphabetic
- Public
- All
Type Members
-
trait
Dup[H[_[_]]] extends AnyRef
Duplicate a handle in the parent region.
- sealed abstract class DupInstances extends AnyRef
- trait Effects extends ToAllEffectTypeClassOps with AllEffectInstances
-
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.
- sealed abstract class IO[A] extends AnyRef
- sealed abstract class IOInstances extends IOInstances0
- sealed abstract class IOInstances0 extends IOInstances1
- sealed abstract class IOInstances1 extends AnyRef
-
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.
- trait IORefs extends AnyRef
- sealed abstract class IoExceptionOr[A] extends AnyRef
- trait IsomorphismLiftControlIO[F[_], G[_]] extends LiftControlIO[F]
- trait IsomorphismLiftIO[F[_], G[_]] extends LiftIO[F]
- trait IsomorphismMonadCatchIO[F[_], G[_]] extends MonadCatchIO[F] with IsomorphismMonadIO[F, G]
- trait IsomorphismMonadControlIO[F[_], G[_]] extends MonadControlIO[F] with IsomorphismLiftControlIO[F, G] with IsomorphismMonad[F, G]
- trait IsomorphismMonadIO[F[_], G[_]] extends MonadIO[F] with IsomorphismLiftIO[F, G] with IsomorphismMonad[F, G]
- trait IsomorphismResource[F, G] extends Resource[F]
- sealed trait IvoryTower extends AnyRef
- trait IvoryTowers extends AnyRef
- trait LiftControlIO[F[_]] extends AnyRef
- trait LiftIO[F[_]] extends AnyRef
- trait MonadCatchIO[M[_]] extends MonadIO[M]
- sealed abstract class MonadCatchIOFunctions extends AnyRef
- trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]
- trait MonadIO[F[_]] extends LiftIO[F] with Monad[F]
- sealed abstract class RefCountedFinalizer extends AnyRef
- trait RefCountedFinalizers extends AnyRef
-
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.
- sealed abstract class RegionTInstances extends RegionTInstances1
- sealed abstract class RegionTInstances1 extends AnyRef
- trait RegionTLiftIO[S, M[_]] extends LiftIO[[γ$7$]RegionT[S, M, γ$7$]]
- trait RegionTMonad[S, M[_]] extends Monad[[γ$6$]RegionT[S, M, γ$6$]]
- trait Resource[F] extends AnyRef
-
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"
-
sealed abstract
class
STArray[S, A] extends AnyRef
Mutable array in state thread S containing values of type A.
- sealed abstract class STInstance0 extends AnyRef
- sealed abstract class STInstances extends STInstance0
-
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
- sealed abstract class STRefInstances extends AnyRef
-
trait
SafeApp extends AnyRef
A safe alternative to the
Apptrait in the Scala standard library.A safe alternative to the
Apptrait in the Scala standard library. This trait provides an implementation of themainmethod by callingunsafePerformIOon a specifiedIOaction.
Value Members
- object Dup extends DupInstances
- object Effect extends Effects
- object FinalizerHandle
- object IO extends IOInstances
- object IORef extends IORefs
- object IoExceptionOr
- object IvoryTower extends IvoryTowers
- object LiftControlIO
- object LiftIO
- object MonadCatchIO extends MonadCatchIOFunctions
- object MonadControlIO
- object MonadIO
- object RefCountedFinalizer extends RefCountedFinalizers
- object RegionT extends RegionTInstances
- object Resource
- object ST extends STInstances
- object STArray
- object STRef extends STRefInstances