LocalModify

turbolift.ComputationCases.LocalModify
sealed abstract class LocalModify[S](val prompt: Prompt) extends Computation[Unit, Any], S => S

Attributes

Graph
Supertypes
trait S => S
class Computation[Unit, Any]
class Object
trait Matchable
class Any

Members list

Value members

Inherited methods

final def &![B, U2](that: Computation[B, U2]): Computation[B, U2]

Composes 2 independent computations parallelly (if possible), discarding result of the first.

Composes 2 independent computations parallelly (if possible), discarding result of the first.

Parallelism may be impossible, due to at least one of handlers in current scope being inherently sequential (e.g. State.handlers.local or Error.handlers.first). In such case, &! behaves like &&!.

Attributes

Inherited from:
Computation
final def &&![B, U2](that: => Computation[B, U2]): Computation[B, U2]

Composes 2 independent computations sequentially, discarding result of the first.

Composes 2 independent computations sequentially, discarding result of the first.

Attributes

Inherited from:
Computation
final def &&<![B, U2](that: => Computation[B, U2]): Computation[Unit, U2]

Composes 2 independent computations sequentially, discarding result of the second.

Composes 2 independent computations sequentially, discarding result of the second.

Attributes

Inherited from:
Computation
final def &<![B, U2](that: Computation[B, U2]): Computation[Unit, U2]

Composes 2 independent computations parallelly (if possible), discarding result of the second.

Composes 2 independent computations parallelly (if possible), discarding result of the second.

Parallelism may be impossible, due to at least one of handlers in current scope being inherently sequential (e.g. State.handlers.local or Error.handlers.first). In such case, &<! behaves like &&<!.

Attributes

Inherited from:
Computation
final def *![B, U2](that: Computation[B, U2]): Computation[(Unit, B), U2]

Alias for zipPar.

Alias for zipPar.

Attributes

Inherited from:
Computation
final def **![B, U2](that: => Computation[B, U2]): Computation[(Unit, B), U2]

Alias for zip.

Alias for zip.

Attributes

Inherited from:
Computation
final def +![A2 >: Unit, U2 <: Any & ChoiceSignature](that: Computation[A2, U2]): Computation[A2, U2]

Parallel version of ++!.

Parallel version of ++!.

Attributes

Inherited from:
Computation
final def ++![A2 >: Unit, U2 <: Any & ChoiceSignature](that: => Computation[A2, U2]): Computation[A2, U2]

Applies plus operation from the innermost Choice effect in the current scope.

Applies plus operation from the innermost Choice effect in the current scope.

Similar to <|> operator of Alternative.

Attributes

Inherited from:
Computation
final def >>=[B, U2](f: Unit => Computation[B, U2]): Computation[B, U2]

Alias for flatMap.

Alias for flatMap.

Attributes

Inherited from:
Computation
def andThen[A](g: S => A): S => A

Attributes

Inherited from:
Function1
final def as[B](value: B): Computation[B, Any]

Discards the result, and replaces it by given pure value.

Discards the result, and replaces it by given pure value.

Attributes

Inherited from:
Computation
final def cast[A2, U2]: Computation[A2, U2]

Attributes

Inherited from:
Computation
def compose[A](g: A => S): A => S

Attributes

Inherited from:
Function1
final def delay[U2 <: Any & IO](duration: FiniteDuration): Computation[Unit, U2]

Attributes

Inherited from:
Computation
final def delay[U2 <: Any & IO](millis: Long): Computation[Unit, U2]

Attributes

Inherited from:
Computation
final def executeOn[U2 <: Any & IO](exec: Executor): Computation[Unit, U2]

Attributes

Inherited from:
Computation
final inline def flatMap[B, U2](inline f: Unit => Computation[B, U2]): Computation[B, U2]

Attributes

Inherited from:
Computation
final def flatten[B, U2](implicit ev: Unit <:< Computation[B, U2]): Computation[B, U2]

Attributes

Inherited from:
Computation
final def fork: Computation[Fiber[Unit, Any], Any & IO & Warp]

Run this computation in a new fiber.

Run this computation in a new fiber.

Attributes

Inherited from:
Computation
final def forkAt(warp: Warp): Computation[Fiber[Unit, Any], Any & IO]

Like fork, but the fiber is created as a child of specific warp, rather than the current warp.

Like fork, but the fiber is created as a child of specific warp, rather than the current warp.

Attributes

Inherited from:
Computation
final def guarantee[U2 <: Any & IO](release: Computation[Unit, U2]): Computation[Unit, U2]

Attributes

Inherited from:
Computation
final inline def map[B](inline f: Unit => B): Computation[B, Any]

Attributes

Inherited from:
Computation
final def named[A2 >: Unit, U2](name: String): NamedSyntax[A2, U2]

Syntax for giving names to fibers.

Syntax for giving names to fibers.

Attributes

Inherited from:
Computation
final def onCancel[U2 <: Any & IO](comp: Computation[Unit, U2]): Computation[Unit, U2]

Attributes

Inherited from:
Computation
final def onFailure[U2 <: Any & IO](f: Throwable => Computation[Unit, U2]): Computation[Unit, U2]

Attributes

Inherited from:
Computation
final def tapEff[B, U2](f: Unit => Computation[B, U2]): Computation[Unit, U2]

Attributes

Inherited from:
Computation
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Function1 -> Any
Inherited from:
Function1
final def upCast[U2]: Computation[Unit, U2]

Widens the set of requested effects.

Widens the set of requested effects.

Attributes

Inherited from:
Computation
final def void: Computation[Unit, Any]

Discards the result, and replaces it by Unit.

Discards the result, and replaces it by Unit.

Attributes

Inherited from:
Computation
final def withFilter[U2 <: Any & ChoiceSignature](f: Unit => Boolean): Computation[Unit, U2]

Applies filter, using empty operation from the innermost Choice effect in the current scope.

Applies filter, using empty operation from the innermost Choice effect in the current scope.

Attributes

Inherited from:
Computation
final def zip[B, U2](that: => Computation[B, U2]): Computation[(Unit, B), U2]

Composes 2 independent computations sequentially

Composes 2 independent computations sequentially

Attributes

Inherited from:
Computation
final def zipPar[B, U2](that: Computation[B, U2]): Computation[(Unit, B), U2]

Composes 2 independent computations parallelly (if possible).

Composes 2 independent computations parallelly (if possible).

Parallelism may be impossible, due to at least one of handlers in current scope being inherently sequential (e.g. State.handlers.local or Error.handlers.first). In such case, zipPar behaves like zip.

Attributes

Inherited from:
Computation
final def zipWith[B, C, U2](that: => Computation[B, U2])(f: (Unit, B) => C): Computation[C, U2]

Like zip, but followed by untupled map.

Like zip, but followed by untupled map.

Attributes

Inherited from:
Computation
final def zipWithPar[B, C, U2](that: Computation[B, U2])(f: (Unit, B) => C): Computation[C, U2]

Like zipPar, but followed by untupled map.

Like zipPar, but followed by untupled map.

Attributes

Inherited from:
Computation
final def |![A2 >: Unit, U2 <: Any & IO](that: Computation[A2, U2]): Computation[A2, U2]

Races 2 computations.

Races 2 computations.

Runs both computations parallelly, each in fresh fiber. Once one of them finishes, the other is cancelled.

Attributes

Inherited from:
Computation
final def ||![A2 >: Unit, U2 <: Any & IO](that: => Computation[A2, U2]): Computation[A2, U2]

Sequential "or-else" operator.

Sequential "or-else" operator.

Runs the first computations in fresh fiber. If it ends up cancelled, the second computation is run.

Attributes

Inherited from:
Computation

Inherited and Abstract methods

def apply(v1: S): S

Attributes

Inherited from:
Function1

Deprecated and Inherited methods

final def flatTap[B, U2](f: Unit => Computation[B, U2]): Computation[Unit, U2]

Attributes

Deprecated
true
Inherited from:
Computation

Concrete fields

val prompt: Prompt