libretto/libretto/CoreLib/AcquiredLock

AcquiredLock

object AcquiredLock
class Object
trait Matchable
class Any

Value members

Concrete methods

def deferAcquisition: Ping |*| AcquiredLock -⚬ AcquiredLock

Acquisition will not be complete until also the given Ping signal arrives.

Acquisition will not be complete until also the given Ping signal arrives.

def deferRelease: Ping |*| AcquiredLock -⚬ AcquiredLock

Subsequent release won't have effect until also the given Ping signal arrives.

Subsequent release won't have effect until also the given Ping signal arrives.

def detainAcquisition: Done |*| AcquiredLock -⚬ AcquiredLock

Acquisition will not be complete until also the given Done signal arrives.

Acquisition will not be complete until also the given Done signal arrives.

def detainRelease: Done |*| AcquiredLock -⚬ AcquiredLock

Subsequent release won't have effect until also the given Done signal arrives.

Subsequent release won't have effect until also the given Done signal arrives.

def notifyAcquisition: AcquiredLock -⚬ Ping |*| AcquiredLock

Notifies when the lock is acquired.

Notifies when the lock is acquired.

Concrete fields