cats-stm/io.github.timwspence.cats.stm/STM

STM

trait STM[F[_]] extends STMLike[F] with TDeferredLike[F] with TMVarLike[F] with TQueueLike[F] with TSemaphoreLike[F]
Companion:
object
Source:
STM.scala
trait TQueueLike[F]
trait TMVarLike[F]
trait TDeferredLike[F]
trait STMLike[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

sealed abstract class TDeferred[A] extends TDeferredSource[A] with TDeferredSink[A]
Inherited from:
TDeferredLike
Source:
TDeferred.scala
object TDeferred
Inherited from:
TDeferredLike
Source:
TDeferred.scala
object TDeferredSink
Inherited from:
TDeferredLike
Source:
TDeferred.scala
sealed trait TDeferredSink[-A]
Inherited from:
TDeferredLike
Source:
TDeferred.scala
object TDeferredSource
Inherited from:
TDeferredLike
Source:
TDeferred.scala
sealed trait TDeferredSource[+A]
Inherited from:
TDeferredLike
Source:
TDeferred.scala
final class TMVar[A]
Inherited from:
TMVarLike
Source:
TMVar.scala
object TMVar
Inherited from:
TMVarLike
Source:
TMVar.scala
final class TQueue[A]
Inherited from:
TQueueLike
Source:
TQueue.scala
object TQueue
Inherited from:
TQueueLike
Source:
TQueue.scala
final class TSemaphore
Inherited from:
TSemaphoreLike
Source:
TSemaphore.scala
object TSemaphore
Inherited from:
TSemaphoreLike
Source:
TSemaphore.scala
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
def concurrent: Concurrent[F]
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