Control.Moffy.Handle.Lock
Contents
type LockEv = NewLockId :- (GetLock :- (Unlock :- 'Nil)) Source #
class LockState s where Source #
Methods
getNextLockId :: s -> Int Source #
putNextLockId :: s -> Int -> s Source #
isLocked :: s -> LockId -> Bool Source #
lockIt :: s -> LockId -> s Source #
unlockIt :: s -> LockId -> s Source #
data LockId Source #
Defined in Control.Moffy.Event.Lock.Internal
showsPrec :: Int -> LockId -> ShowS #
show :: LockId -> String #
showList :: [LockId] -> ShowS #
(==) :: LockId -> LockId -> Bool #
(/=) :: LockId -> LockId -> Bool #
handleLock :: (LockState s, Monad m) => HandleSt' s m LockEv Source #