Skip to content

semaphore-transition

claimThenSettle<A, B, E>>(gate, claim, settle): Effect<B, E>>

Serialize a synchronous state claim and settle its Effect outside the gate. Interruption cannot release the caller until settlement finishes.

A

B

E

Semaphore

() => A

(claimed) => Effect<B, E>

Effect<B, E>