STM

io.github.timwspence.cats.stm.STM
See theSTM companion object
trait STM[F[_]] extends STMLike[F] with TDeferredLike[F] with TMVarLike[F] with TQueueLike[F] with TSemaphoreLike[F]

Attributes

Companion:
object
Source:
STM.scala
Graph
Supertypes
trait TQueueLike[F]
trait TMVarLike[F]
trait TDeferredLike[F]
trait STMLike[F]
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited classlikes

sealed abstract class TDeferred[A] extends TDeferredSource[A] with TDeferredSink[A]

Attributes

Inherited from:
TDeferredLike
Source:
TDeferred.scala
Graph
Supertypes
trait TDeferredSink[A]
class Object
trait Matchable
class Any
object TDeferred

Attributes

Inherited from:
TDeferredLike
Source:
TDeferred.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Inherited from:
TDeferredLike
Source:
TDeferred.scala
Graph
Supertypes
class Object
trait Matchable
class Any
sealed trait TDeferredSink[-A]

Attributes

Inherited from:
TDeferredLike
Source:
TDeferred.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class TDeferred[A]

Attributes

Inherited from:
TDeferredLike
Source:
TDeferred.scala
Graph
Supertypes
class Object
trait Matchable
class Any
sealed trait TDeferredSource[+A]

Attributes

Inherited from:
TDeferredLike
Source:
TDeferred.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class TDeferred[A]
final class TMVar[A]

Attributes

Inherited from:
TMVarLike
Source:
TMVar.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object TMVar

Attributes

Inherited from:
TMVarLike
Source:
TMVar.scala
Graph
Supertypes
class Object
trait Matchable
class Any
final class TQueue[A]

Attributes

Inherited from:
TQueueLike
Source:
TQueue.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object TQueue

Attributes

Inherited from:
TQueueLike
Source:
TQueue.scala
Graph
Supertypes
class Object
trait Matchable
class Any
final class TSemaphore

Attributes

Inherited from:
TSemaphoreLike
Source:
TSemaphore.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object TSemaphore

Attributes

Inherited from:
TSemaphoreLike
Source:
TSemaphore.scala
Graph
Supertypes
class Object
trait Matchable
class Any
class TVar[A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object TVar

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
Graph
Supertypes
class Object
trait Matchable
class Any
sealed abstract class Txn[+A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object Txn

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Value members

Inherited methods

def abort[A](e: Throwable): Txn[A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
def check(cond: => Boolean): Txn[Unit]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
def commit[A](txn: Txn[A]): F[A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
def defer[A](value: => Txn[A]): Txn[A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
def pure[A](a: A): Txn[A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
def raiseError[A](e: Throwable): Txn[A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala
def retry[A]: Txn[A]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala

Inherited fields

val unit: Txn[Unit]

Attributes

Inherited from:
STMLike
Source:
STMLike.scala