package effect
- Alphabetic
- Public
- All
Type Members
-
trait
Dup[H[_[_]]] extends AnyRef
Duplicate a handle in the parent region.
- trait DupFunctions extends AnyRef
- sealed abstract class DupInstances extends AnyRef
- trait Effects extends ToAllEffectTypeClassOps with AllEffectInstances
-
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.
- trait FinalizerHandleFunctions extends AnyRef
- sealed trait IO[A] extends AnyRef
- trait IOFunctions extends IOStd
- sealed abstract class IOInstances extends IOInstances0
- sealed abstract class IOInstances0 extends IOInstances1
- sealed abstract class IOInstances1 extends AnyRef
-
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.
- trait IORefs extends AnyRef
-
trait
IOStd extends AnyRef
IO Actions for writing to standard output and and reading from standard input
- sealed trait IoExceptionOr[A] extends AnyRef
- trait IoExceptionOrFunctions 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
- sealed abstract class KleisliEffectInstances extends KleisliEffectInstances0
- sealed abstract class KleisliEffectInstances0 extends KleisliEffectInstances1
- sealed abstract class KleisliEffectInstances1 extends KleisliInstances
- trait LiftControlIO[F[_]] extends AnyRef
- trait LiftIO[F[_]] extends AnyRef
- trait MonadCatchIO[M[_]] extends MonadIO[M]
- sealed trait MonadCatchIOFunctions extends AnyRef
- trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]
- trait MonadIO[F[_]] extends LiftIO[F] with Monad[F]
- sealed trait RefCountedFinalizer extends AnyRef
- trait RefCountedFinalizers extends AnyRef
-
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.
- trait RegionTFunctions extends AnyRef
- sealed abstract class RegionTInstances extends RegionTInstances1
- sealed abstract class RegionTInstances1 extends AnyRef
- trait RegionTLiftIO[S, M[_]] extends LiftIO[[α]RegionT[S, M, α]]
- trait RegionTMonad[S, M[_]] extends Monad[[α]RegionT[S, M, α]]
- trait Resource[F] extends AnyRef
-
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"
-
sealed
trait
STArray[S, A] extends AnyRef
Mutable array in state thread S containing values of type A.
- trait STArrayFunctions extends AnyRef
- trait STFunctions extends AnyRef
- sealed abstract class STInstance0 extends AnyRef
- sealed abstract class STInstances extends STInstance0
-
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
- trait STRefFunctions extends AnyRef
- 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. - sealed abstract class StateTEffectInstances extends StateTEffectInstances0
- sealed abstract class StateTEffectInstances0 extends StateTInstances
- trait StateTLiftIO[M[_], S] extends LiftIO[[α]IndexedStateT[M, S, S, α]]
Value Members
- object Dup extends DupInstances with DupFunctions
- object Effect extends Effects
- object FinalizerHandle extends FinalizerHandleFunctions
- object IO extends IOInstances with IOFunctions
- object IORef extends IORefs
- object IoExceptionOr extends IoExceptionOrFunctions
- object IvoryTower extends IvoryTowers
- object LiftControlIO
- object LiftIO
- object MonadCatchIO extends MonadCatchIOFunctions
- object MonadControlIO
- object MonadIO
- object RefCountedFinalizer extends RefCountedFinalizers
- object RegionT extends RegionTInstances with RegionTFunctions
- object Resource
- object ST extends STInstances with STFunctions
- object STArray extends STArrayFunctions
- object STRef extends STRefInstances with STRefFunctions
Deprecated Value Members
-
object
kleisliEffect extends KleisliEffectInstances
- Annotations
- @deprecated
- Deprecated
(Since version 7.1) Instances are in the respective companion objects now and should be picked up without imports
-
object
stateTEffect extends StateTEffectInstances
- Annotations
- @deprecated
- Deprecated
(Since version 7.1) Instances are in the respective companion objects now and should be picked up without imports