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
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 themain
method by callingunsafePerformIO
on a specifiedIO
action.
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