Packages

p

scalaz

effect

package effect

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

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, α]]

Value Members

  1. object Dup extends DupInstances with DupFunctions
  2. object Effect extends Effects
  3. object FinalizerHandle extends FinalizerHandleFunctions
  4. object IO extends IOInstances with IOFunctions
  5. object IORef extends IORefs
  6. object IoExceptionOr extends IoExceptionOrFunctions
  7. object IvoryTower extends IvoryTowers
  8. object LiftControlIO
  9. object LiftIO
  10. object MonadCatchIO extends MonadCatchIOFunctions
  11. object MonadControlIO
  12. object MonadIO
  13. object RefCountedFinalizer extends RefCountedFinalizers
  14. object RegionT extends RegionTInstances with RegionTFunctions
  15. object Resource
  16. object ST extends STInstances with STFunctions
  17. object STArray extends STArrayFunctions
  18. object STRef extends STRefInstances with STRefFunctions

Deprecated Value Members

  1. 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

  2. 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

Ungrouped