MVar

@deprecated("`MVar` is now deprecated in favour of a new generation `MVar2` with `tryRead` and `swap` support", "2.2.0") abstract class MVar[F[_], A] extends MVarDocumentation

A mutable location, that is either empty or contains a value of type A.

A mutable location, that is either empty or contains a value of type A.

It has the following fundamental atomic operations:

  • put which fills the var if empty, or blocks (asynchronously) until the var is empty again
  • tryPut which fills the var if empty. returns true if successful
  • take which empties the var if full, returning the contained value, or blocks (asynchronously) otherwise until there is a value to pull
  • tryTake empties if full, returns None if empty.
  • read which reads the current value without touching it, assuming there is one, or otherwise it waits until a value is made available via put
  • tryRead returns a variable if it exists. Implemented in the successor MVar2
  • swap takes a value, replaces it and returns the taken value. Implemented in the successor MVar2
  • isEmpty returns true if currently empty

The MVar is appropriate for building synchronization primitives and performing simple inter-thread communications. If it helps, it's similar with a BlockingQueue(capacity = 1), except that it doesn't block any threads, all waiting being done asynchronously (via Async or Concurrent data types, such as IO).

Given its asynchronous, non-blocking nature, it can be used on top of Javascript as well.

Inspired by Control.Concurrent.MVar from Haskell and by scalaz.concurrent.MVar.

Companion
object
Deprecated
trait MVarDocumentation
class Object
trait Matchable
class Any
class MVar2[F, A]

Value members

Abstract methods

def isEmpty: F[Boolean]

Returns true if the MVar is empty and can receive a put, or false otherwise.

Returns true if the MVar is empty and can receive a put, or false otherwise.

Note that due to concurrent tasks, logic built in terms of isEmpty is problematic.

def put(a: A): F[Unit]

Fills the MVar if it is empty, or blocks (asynchronously) if the MVar is full, until the given value is next in line to be consumed on take.

Fills the MVar if it is empty, or blocks (asynchronously) if the MVar is full, until the given value is next in line to be consumed on take.

This operation is atomic.

Returns

a task that on evaluation will complete when the put operation succeeds in filling the MVar, with the given value being next in line to be consumed

def read: F[A]

Tries reading the current value, or blocks (asynchronously) until there is a value available.

Tries reading the current value, or blocks (asynchronously) until there is a value available.

This operation is atomic.

Returns

a task that on evaluation will be completed after a value has been read

def take: F[A]

Empties the MVar if full, returning the contained value, or blocks (asynchronously) until a value is available.

Empties the MVar if full, returning the contained value, or blocks (asynchronously) until a value is available.

This operation is atomic.

Returns

a task that on evaluation will be completed after a value was retrieved

def tryPut(a: A): F[Boolean]

Fill the MVar if we can do it without blocking,

Fill the MVar if we can do it without blocking,

Returns

whether or not the put succeeded

def tryTake: F[Option[A]]

empty the MVar if full

empty the MVar if full

Returns

an Option holding the current value, None means it was empty

Deprecated methods

@deprecated("`mapK` is deprecated in favor of `imapK` which supports the new invariant `MVar2` interface", "2.2.0")
def mapK[G[_]](f: FunctionK[F, G]): MVar[G, A]

Modify the context F using transformation f.

Modify the context F using transformation f.

Deprecated