libretto-examples/libretto.examples/DiningPhilosophers/Forks

Forks

object Forks
class Object
trait Matchable
class Any

Type members

Types

opaque type HeldFork
opaque type SharedFork

Value members

Concrete methods

def releaseFork: SharedFork -⚬ Done
def useForks(f: Done -⚬ Done): HeldFork |*| HeldFork -⚬ HeldFork |*| HeldFork
def useForksL[A, B](f: A -⚬ B)(implicit A: Positive[A], B: Positive[B]): A |*| HeldFork |*| HeldFork -⚬ B |*| HeldFork |*| HeldFork

Implicits

Implicits

implicit def signalingJunctionSharedFork: Negative[SharedFork]