scalaz.effect

Type members

Classlikes

trait Dup[H[_[_]]]

Duplicate a handle in the parent region.

Duplicate a handle in the parent region.

Companion
object
object Dup extends DupInstances
Companion
class
sealed abstract
object Effect extends Effects
sealed abstract
class FinalizerHandle[R[_]]

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.

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.

Companion
object
Companion
class
sealed abstract
class IO[A]
Companion
object
object IO extends IOInstances
Companion
class
sealed abstract
sealed abstract
sealed abstract
sealed abstract
class IORef[A]

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.

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.

Companion
object
object IORef extends IORefs
Companion
class
trait IORefs
sealed abstract
class IoExceptionOr[A]
Companion
object
Companion
class
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 IsomorphismMonadIO[F[_], G[_]] extends MonadIO[F] with IsomorphismLiftIO[F, G] with IsomorphismMonad[F, G]
trait IsomorphismResource[F, G] extends Resource[F]
sealed
Companion
object
object IvoryTower extends IvoryTowers
Companion
class
trait LiftControlIO[F[_]]
Companion
object
Companion
class
trait LiftIO[F[_]]
Companion
object
object LiftIO
Companion
class
trait MonadCatchIO[M[_]] extends MonadIO[M]
Companion
object
Companion
class
sealed abstract
trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]
Companion
object
Companion
class
trait MonadIO[F[_]] extends LiftIO[F] with Monad[F]
Companion
object
object MonadIO
Companion
class
sealed abstract
Companion
object
sealed abstract
class RegionT[S, P[_], A]

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.

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.

Companion
object
object RegionT extends RegionTInstances
Companion
class
sealed abstract
sealed abstract
trait RegionTLiftIO[S, M[_]] extends LiftIO[[_] =>> RegionT[S, M, _$20]]
trait RegionTMonad[S, M[_]] extends Monad[[_] =>> RegionT[S, M, _$18]]
trait Resource[F]
Companion
object
object Resource
Companion
class
sealed abstract
class ST[S, A]

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

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

Companion
object
object ST extends STInstances
Companion
class
sealed abstract
class STArray[S, A]

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

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

Companion
object
object STArray
Companion
class
sealed abstract
sealed abstract
class STInstances extends STInstance0
sealed abstract
class STRef[S, 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

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

Companion
object
object STRef extends STRefInstances
Companion
class
sealed abstract
trait SafeApp

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.

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.