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
((~) * info (ResolveMutexMethod t Mutex), MethodInfo * info Mutex p) => IsLabel t (Mutex -> p) Source | |
((~) * info (ResolveMutexMethod t Mutex), MethodInfo * info Mutex p) => IsLabelProxy t (Mutex -> p) Source | |
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexUnlockMethodInfo Mutex signature Source | |
((~) (TYPE Lifted) signature (m Bool), MonadIO m) => MethodInfo (TYPE Lifted) MutexTrylockMethodInfo Mutex signature Source | |
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexLockMethodInfo Mutex signature Source | |
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexInitMethodInfo Mutex signature Source | |
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexClearMethodInfo Mutex signature Source | |
newZeroMutex :: MonadIO m => m Mutex Source
Construct a Mutex
struct initialized to zero.
Methods
mutexClear
data MutexClearMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexClearMethodInfo Mutex signature Source | |
mutexClear :: MonadIO m => Mutex -> m () Source
mutexInit
data MutexInitMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexInitMethodInfo Mutex signature Source | |
mutexLock
data MutexLockMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexLockMethodInfo Mutex signature Source | |
mutexTrylock
data MutexTrylockMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m) => MethodInfo (TYPE Lifted) MutexTrylockMethodInfo Mutex signature Source | |
mutexTrylock :: MonadIO m => Mutex -> m Bool Source
mutexUnlock
data MutexUnlockMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m) => MethodInfo (TYPE Lifted) MutexUnlockMethodInfo Mutex signature Source | |
mutexUnlock :: MonadIO m => Mutex -> m () Source