TSemaphoreLike

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

Convenience definition of a semaphore in the STM monad.

Analogous to cats.effect.concurrent.Semaphore.

Attributes

Source
TSemaphore.scala
Graph
Supertypes
trait STMLike[F]
class Object
trait Matchable
class Any
Known subtypes
trait STM[F]

Members list

Type members

Classlikes

final class TSemaphore

Attributes

Companion
object
Source
TSemaphore.scala
Supertypes
class Object
trait Matchable
class Any
object TSemaphore

Attributes

Companion
class
Source
TSemaphore.scala
Supertypes
class Object
trait Matchable
class Any
Self type
TSemaphore.type

Inherited classlikes

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 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

Attributes

Inherited from:
STMLike
Source
STMLike.scala

Inherited fields

val unit: Txn[Unit]

Attributes

Inherited from:
STMLike
Source
STMLike.scala