stm

Type Members

1. final class STM[A] extends AnyVal

   

   Monad representing transactions involving one or more TVars.

   Monad representing transactions involving one or more TVars.

   This design was inspired by [Beautiful Concurrency](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/beautiful.pdf) and informed by ZIO which has a common origin in that paper via the [stm package](http://hackage.haskell.org/package/stm).

2. final class TMVar[A] extends AnyVal

   

   Convenience definition providing MVar-like behaviour in the STM monad.

   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.

3. final class TQueue[A] extends AnyRef

   

   Convenience definition of a queue in the STM monad.

4. final class TSemaphore extends AnyRef

   

   Convenience definition of a semaphore in the STM monad.

   Convenience definition of a semaphore in the STM monad.

   Analogous to cats.effect.concurrent.Semaphore.

5. final class TVar[A] extends AnyRef

   

   Transactional variable - a mutable memory location that can be read or written to via STM actions.

   Transactional variable - a mutable memory location that can be read or written to via STM actions.

   Analagous to cats.effect.concurrent.Ref.