effect

Type Members

1. trait Dup[H[_[_]]] extends AnyRef

   

   Duplicate a handle in the parent region.

2. trait DupFunctions extends AnyRef

   

3. trait 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. trait IOInstances extends IOInstances0

   

10. trait IOInstances0 extends IOInstances1

    

11. trait 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. sealed trait IvoryTower extends AnyRef

    

18. trait IvoryTowers extends AnyRef

    

19. trait KleisliCatchIO[M[+_], R] extends MonadCatchIO[[α]Kleisli[M, R, α]] with KleisliLiftIO[M, R] with KleisliMonadReader[M, R]

    

20. trait KleisliEffectInstances extends KleisliEffectInstances0

    

21. trait KleisliEffectInstances0 extends KleisliEffectInstances1

    

22. trait KleisliEffectInstances1 extends KleisliInstances

    

23. trait KleisliLiftIO[M[+_], R] extends LiftIO[[α]Kleisli[M, R, α]]

    

24. trait LiftControlIO[F[_]] extends AnyRef

    

25. trait LiftIO[F[_]] extends AnyRef

    

26. trait MonadCatchIO[M[_]] extends MonadIO[M]

    

27. sealed trait MonadCatchIOFunctions extends AnyRef

    

28. trait MonadControlIO[F[_]] extends LiftControlIO[F] with Monad[F]

    

29. trait MonadIO[F[_]] extends LiftIO[F] with Monad[F]

    

30. sealed trait RefCountedFinalizer extends AnyRef

    

31. trait RefCountedFinalizers extends AnyRef

    

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

33. trait RegionTFunctions extends AnyRef

    

34. trait RegionTInstances extends RegionTInstances1

    

35. trait RegionTInstances1 extends AnyRef

    

36. trait RegionTLiftIO[S, M[+_]] extends LiftIO[[α]RegionT[S, M, α]]

    

37. trait RegionTMonad[S, M[+_]] extends Monad[[α]RegionT[S, M, α]]

    

38. trait Resource[F] extends AnyRef

    

39. 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"

40. sealed trait STArray[S, A] extends AnyRef

    

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

41. trait STArrayFunctions extends AnyRef

    

42. trait STFunctions extends AnyRef

    

43. trait STInstance0 extends AnyRef

    

44. trait STInstances extends STInstance0

    

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

46. trait STRefFunctions extends AnyRef

    

47. trait STRefInstances extends AnyRef

    

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

49. trait StateTEffectInstances extends StateTEffectInstances0

    

50. trait StateTEffectInstances0 extends StateTInstances

    

51. trait StateTLiftIO[M[+_], S] extends LiftIO[[α]IndexedStateT[M, S, S, α]]