TMVarLike

trait TMVarLike[F[_]] extends STMLike[F]

Convenience definition providing MVar-like behaviour in the STM monad. That is, a TMVar is a mutable memory location which is either empty or contains a value.

Analogous to cats.effect.concurrent.MVar.

Source:
TMVar.scala
trait STMLike[F]
class Object
trait Matchable
class Any
trait STM[F]

Type members

Classlikes

final class TMVar[A]
Companion:
object
Source:
TMVar.scala
object TMVar
Companion:
class
Source:
TMVar.scala

Inherited classlikes

class TVar[A]
Inherited from:
STMLike
Source:
STMLike.scala
object TVar
Inherited from:
STMLike
Source:
STMLike.scala
sealed abstract class Txn[+A]
Inherited from:
STMLike
Source:
STMLike.scala
object Txn
Inherited from:
STMLike
Source:
STMLike.scala

Value members

Inherited methods

def abort[A](e: Throwable): Txn[A]
Inherited from:
STMLike
Source:
STMLike.scala
def check(cond: => Boolean): Txn[Unit]
Inherited from:
STMLike
Source:
STMLike.scala
def commit[A](txn: Txn[A]): F[A]
Inherited from:
STMLike
Source:
STMLike.scala
Inherited from:
STMLike
Source:
STMLike.scala
def defer[A](value: => Txn[A]): Txn[A]
Inherited from:
STMLike
Source:
STMLike.scala
def pure[A](a: A): Txn[A]
Inherited from:
STMLike
Source:
STMLike.scala
def raiseError[A](e: Throwable): Txn[A]
Inherited from:
STMLike
Source:
STMLike.scala
def retry[A]: Txn[A]
Inherited from:
STMLike
Source:
STMLike.scala

Inherited fields

val unit: Txn[Unit]
Inherited from:
STMLike
Source:
STMLike.scala