final class Ref[A] extends AnyVal with Serializable
A mutable atomic reference for the IO
monad. This is the IO
equivalent of
a volatile var
, augmented with atomic operations, which make it useful as a
reasonably efficient (if low-level) concurrency primitive.
for { ref <- Ref.make(2) v <- ref.update(_ + 3) _ <- console.putStrLn("Value = " + v) // Value = 5 } yield ()
- Alphabetic
- By Inheritance
- Ref
- Serializable
- Serializable
- AnyVal
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
final
def
get: UIO[A]
Reads the value from the
Ref
. -
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
modify[B](f: (A) ⇒ (B, A)): UIO[B]
Atomically modifies the
Ref
with the specified function, which computes a return value for the modification.Atomically modifies the
Ref
with the specified function, which computes a return value for the modification. This is a more powerful version ofupdate
. -
final
def
modifySome[B](default: B)(pf: PartialFunction[A, (B, A)]): UIO[B]
Atomically modifies the
Ref
with the specified partial function, which computes a return value for the modification if the function is defined in the current value otherwise it returns a default value.Atomically modifies the
Ref
with the specified partial function, which computes a return value for the modification if the function is defined in the current value otherwise it returns a default value. This is a more powerful version ofupdateSome
. -
final
def
set(a: A): UIO[Unit]
Writes a new value to the
Ref
, with a guarantee of immediate consistency (at some cost to performance). -
final
def
setAsync(a: A): UIO[Unit]
Writes a new value to the
Ref
without providing a guarantee of immediate consistency. -
def
toString(): String
- Definition Classes
- Any
-
final
def
update(f: (A) ⇒ A): UIO[A]
Atomically modifies the
Ref
with the specified function.Atomically modifies the
Ref
with the specified function. This is not implemented in terms ofmodify
purely for performance reasons. -
final
def
updateSome(pf: PartialFunction[A, A]): UIO[A]
Atomically modifies the
Ref
with the specified partial function.Atomically modifies the
Ref
with the specified partial function. if the function is undefined in the current value it returns the old value without changing it.