TSemaphore

A convenience implementation of a semaphore in the Txn monad, built on top of TVar.

import cats.effect.IO
import cats.effect.unsafe.implicits.global

import io.github.timwspence.cats.stm.STM

val stm = STM.runtime[IO].unsafeRunSync()
// stm: STM[IO] = io.github.timwspence.cats.stm.STM$Make$$anon$1$$anon$2@30acb4c8
import stm._

val txn: Txn[Long] = for {
  tsem  <- TSemaphore.make(1)
  _     <- tsem.acquire
  zero  <- tsem.available
  _     <- tsem.release
} yield zero
// txn: Txn[Long] = Bind(
//   txn = Bind(
//     txn = Alloc(
//       v = Delay(
//         thunk = cats.effect.IO$$$Lambda$10560/0x0000000802e66840@11cf3ac6,
//         event = cats.effect.tracing.TracingEvent$StackTrace
//       )
//     ),
//     f = scala.Function1$$Lambda$10632/0x0000000802f36040@602d1075
//   ),
//   f = <function1>
// )

val result = stm.commit(txn).unsafeRunSync()
// result: Long = 0L