libretto-examples/libretto.examples.diningPhilosophers/ForksProvider

ForksProvider

object ForksProvider extends Forks

Implements Forks. Internally, it represents a fork as a lock from the core library. (Note that the Lock from the core library is not a primitive itself, but is implemented using other primitives. Racing plays a key role in that implementation.)

trait Forks
class Object
trait Matchable
class Any

Type members

Types

override opaque type HeldFork
override opaque type SharedFork

Value members

Concrete methods

override def heldForkReadiness: Positive[HeldFork]
Definition Classes
override def letGo: SharedFork -⚬ Done
Definition Classes
override def putDown: HeldFork -⚬ SharedFork
Definition Classes
override def tryPickUp: SharedFork -⚬ HeldFork |+| SharedFork
Definition Classes