turbolift.effects.IO
See theIO companion trait
The sole instance of IO
effect.
Unlike other effects, it cannot be interpreted/handled by the user. Once introduced into computation, it stays there forever. That is, until unsafeRun
.
Attributes
Members list
Type members
Types
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
The mirrored *-type
The mirrored *-type
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
Inherited and Abstract types
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
def bracket[A, B, U <: IO](acquire: Computation[A, U])(release: A => Computation[Unit, U])(use: A => Computation[B, U]): Computation[B, U]
def bracketSnap[A, B, U <: IO](acquire: Computation[A, U])(release: (A, Snap[B]) => Computation[B, U])(use: A => Computation[B, U]): Computation[B, U]
def catchAllEff[A, U <: IO](body: Computation[A, U])(f: Throwable => Computation[A, U]): Computation[A, U]
def catchSome[A, U <: IO](body: Computation[A, U])(f: PartialFunction[Throwable, A]): Computation[A, U]
def catchSomeEff[A, U <: IO](body: Computation[A, U])(f: PartialFunction[Throwable, Computation[A, U]]): Computation[A, U]
def guarantee[A, U <: IO](release: Computation[Unit, U])(body: Computation[A, U]): Computation[A, U]
def guaranteeSnap[A, U <: IO](release: (Snap[A]) => Computation[A, U])(body: Computation[A, U]): Computation[A, U]
def onFailure[A, U <: IO](body: Computation[A, U])(f: Throwable => Computation[Unit, U]): Computation[A, U]
Inherited methods
Create a new instance of type T
with elements taken from product p
.
Create a new instance of type T
with elements taken from product p
.
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Concrete fields
In this article