STMLike

trait STMLike[F[_]]
class Object
trait Matchable
class Any
trait STM[F]
trait TMVarLike[F]
trait TQueueLike[F]

Type members

Classlikes

class TVar[A]
Companion
object
object TVar
Companion
class
sealed abstract class Txn[+A]
Companion
object
object Txn
Companion
class

Value members

Abstract methods

def commit[A](txn: Txn[A]): F[A]

Concrete methods

def abort[A](e: Throwable): Txn[A]
def check(cond: => Boolean): Txn[Unit]
def defer[A](value: => Txn[A]): Txn[A]
def pure[A](a: A): Txn[A]
def raiseError[A](e: Throwable): Txn[A]
def retry[A]: Txn[A]

Concrete fields

val unit: Txn[Unit]