io.github.timwspence.cats.stm

Type members

Classlikes

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

Convenience definition providing MVar-like behaviour in the STM monad. That is, a TMVar is a mutable memory location which is either empty or contains a value.

Convenience definition providing MVar-like behaviour in the STM monad. That is, a TMVar is a mutable memory location which is either empty or contains a value.

Analogous to cats.effect.concurrent.MVar.

trait TQueueLike[F[_]] extends STMLike[F]

Convenience definition of a queue in the STM monad.

Convenience definition of a queue in the STM monad.

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

Convenience definition of a semaphore in the STM monad.

Convenience definition of a semaphore in the STM monad.

Analogous to cats.effect.concurrent.Semaphore.