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

STM

trait STM[F[_]] extends STMLike[F] with TMVarLike[F] with TQueueLike[F] with TSemaphoreLike[F]
Companion
object
trait TQueueLike[F]
trait TMVarLike[F]
trait STMLike[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

final class TMVar[A]
Inherited from
TMVarLike
object TMVar
Inherited from
TMVarLike
final class TQueue[A]
Inherited from
TQueueLike
object TQueue
Inherited from
TQueueLike
object TSemaphore
Inherited from
TSemaphoreLike
final class TSemaphore
Inherited from
TSemaphoreLike
object TVar
Inherited from
STMLike
class TVar[A]
Inherited from
STMLike
sealed abstract class Txn[+A]
Inherited from
STMLike
object Txn
Inherited from
STMLike

Value members

Inherited methods

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

Inherited fields

val unit: Txn[Unit]
Inherited from
STMLike