STMLike

io.github.timwspence.cats.stm.STMLike
trait STMLike[F[_]]

Attributes

Source
STMLike.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait STM[F]
trait TDeferredLike[F]
trait TMVarLike[F]
trait TQueueLike[F]
trait TSemaphoreLike[F]

Members list

Type members

Classlikes

class TVar[A]

Attributes

Companion
object
Source
STMLike.scala
Supertypes
class Object
trait Matchable
class Any
object TVar

Attributes

Companion
class
Source
STMLike.scala
Supertypes
class Object
trait Matchable
class Any
Self type
TVar.type
sealed abstract class Txn[+A]

Attributes

Companion
object
Source
STMLike.scala
Supertypes
class Object
trait Matchable
class Any
object Txn

Attributes

Companion
class
Source
STMLike.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Txn.type

Value members

Abstract methods

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

Attributes

Source
STMLike.scala

Attributes

Source
STMLike.scala

Concrete methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
STMLike.scala

Concrete fields

val unit: Txn[Unit]

Attributes

Source
STMLike.scala