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
.Reads the value from the
Ref
.- returns
UIO[A]
value from theRef
-
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
.- B
type of the value of the
Ref
to be modified- f
function which computes a return value for the modification
- returns
UIO[B]
modified value theRef
-
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
.- B
type of the value of the
Ref
to be modified- default
default value to be returned if the partial function is not defined on the current value
- pf
partial function to be computed on the current value if defined on the current value
- returns
UIO[B]
modified value of theRef
-
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).Writes a new value to the
Ref
, with a guarantee of immediate consistency (at some cost to performance).- a
value to be written to the
Ref
- returns
UIO[Unit]
-
final
def
setAsync(a: A): UIO[Unit]
Writes a new value to the
Ref
without providing a guarantee of immediate consistency.Writes a new value to the
Ref
without providing a guarantee of immediate consistency.- a
value to be written to the
Ref
- returns
UIO[Unit]
-
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.- f
function to atomically modify the
Ref
- returns
UIO[A]
modified value of theRef
-
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.- pf
partial function to atomically modify the
Ref
- returns
UIO[A]
modified value of theRef