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

TSemaphoreLike

trait TSemaphoreLike[F[_]] extends STMLike[F]

Convenience definition of a semaphore in the STM monad.

Analogous to cats.effect.concurrent.Semaphore.

Source:
TSemaphore.scala
trait STMLike[F]
class Object
trait Matchable
class Any
trait STM[F]

Type members

Classlikes

final class TSemaphore
Companion:
object
Source:
TSemaphore.scala
object TSemaphore
Companion:
class
Source:
TSemaphore.scala

Inherited classlikes

class TVar[A]
Inherited from:
STMLike
Source:
STMLike.scala
object TVar
Inherited from:
STMLike
Source:
STMLike.scala
sealed abstract class Txn[+A]
Inherited from:
STMLike
Source:
STMLike.scala
object Txn
Inherited from:
STMLike
Source:
STMLike.scala

Value members

Inherited methods

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

Inherited fields

val unit: Txn[Unit]
Inherited from:
STMLike
Source:
STMLike.scala