cats-stm-docs
0.13.5
API
Generated with
cats-stm-docs/io.github.timwspence.cats.stm/STM

STM

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

Attributes

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

Members list

Type members

Inherited classlikes

object TDeferred

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Inherited and Abstract classlikes

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

Attributes

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

Attributes

Inherited from:
STMLike
Source
STMLike.scala
Supertypes
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 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 and Abstract methods

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

Attributes

Inherited from:
STMLike
Source
STMLike.scala
def concurrent: Concurrent[F]

Attributes

Inherited from:
STMLike
Source
STMLike.scala

Inherited fields

val unit: Txn[Unit]

Attributes

Inherited from:
STMLike
Source
STMLike.scala
Generated with