flix

0.65.0

Fixpoint3.ReadWriteLock

Definitions

def mkLock(_: Region[r]): ReadWriteLock[r] \ r Source
def readLock(lock: ReadWriteLock[r]): Unit \ r Source
def unlockRead(lock: ReadWriteLock[r]): Unit \ r Source
def unlockWrite(lock: ReadWriteLock[r]): Unit \ r Source
def writeLock(lock: ReadWriteLock[r]): Unit \ r Source