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]

Members list

Concise view

Type members

Classlikes

class TVar[A]

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion:
class
Source:
STMLike.scala
Graph
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