Copyright | Will Thompson, Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
Safe Haskell | None |
Language | Haskell2010 |
- newtype Mutex = Mutex (ForeignPtr Mutex)
- newZeroMutex :: MonadIO m => m Mutex
- noMutex :: Maybe Mutex
- data MutexClearMethodInfo
- mutexClear :: MonadIO m => Mutex -> m ()
- data MutexInitMethodInfo
- mutexInit :: MonadIO m => Mutex -> m ()
- data MutexLockMethodInfo
- mutexLock :: MonadIO m => Mutex -> m ()
- data MutexTrylockMethodInfo
- mutexTrylock :: MonadIO m => Mutex -> m Bool
- data MutexUnlockMethodInfo
- mutexUnlock :: MonadIO m => Mutex -> m ()
Exported types
(~) AttrOpTag tag AttrSet => Constructible Mutex tag | |
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexUnlockMethodInfo Mutex signature | |
((~) * signature (m Bool), MonadIO m) => MethodInfo * MutexTrylockMethodInfo Mutex signature | |
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexLockMethodInfo Mutex signature | |
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexInitMethodInfo Mutex signature | |
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexClearMethodInfo Mutex signature | |
((~) * info (ResolveMutexMethod t Mutex), MethodInfo * info Mutex p) => IsLabelProxy t (Mutex -> p) | |
type AttributeList Mutex |
newZeroMutex :: MonadIO m => m Mutex Source
Construct a Mutex
struct initialized to zero.
Methods
mutexClear
data MutexClearMethodInfo Source
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexClearMethodInfo Mutex signature |
mutexClear :: MonadIO m => Mutex -> m () Source
mutexInit
data MutexInitMethodInfo Source
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexInitMethodInfo Mutex signature |
mutexLock
data MutexLockMethodInfo Source
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexLockMethodInfo Mutex signature |
mutexTrylock
data MutexTrylockMethodInfo Source
((~) * signature (m Bool), MonadIO m) => MethodInfo * MutexTrylockMethodInfo Mutex signature |
mutexTrylock :: MonadIO m => Mutex -> m Bool Source
mutexUnlock
data MutexUnlockMethodInfo Source
((~) * signature (m ()), MonadIO m) => MethodInfo * MutexUnlockMethodInfo Mutex signature |
mutexUnlock :: MonadIO m => Mutex -> m () Source