System.Posix.Thread

Bindings to the POSIX threads library.

Requires linking with the -threaded RTS.

Threads

create :: IO (Ptr a) -> IO ThreadId

Create a new thread.

create_ :: IO () -> IO ThreadId

Like create, but with an IO computation that returns nothing.

createWithAttributes

Arguments

:: AttributesMonoid

-> IO (Ptr a)

Created thread runs this IO computation.

-> IO ThreadId

Create a new thread.

createWithAttributes_ :: AttributesMonoid -> IO () -> IO ThreadId

Like createWithAttributes, but with an IO computation that returns nothing.

exit :: Ptr a -> IO ()

Terminate calling thread.

exit_ :: IO ()

Like exit, but don't return anything.

cancel :: ThreadId -> IO ()

Send a cancellation request to a thread.

join :: ThreadId -> IO (Ptr a)

Join with a terminated thread.

detach :: ThreadId -> IO ()

Detach a thread.

myThreadId :: IO ThreadId

Obtain ID of the calling thread.

Attributes

data Attributes

Thread attributes.

Constructors

Attributes

Fields

• detachState :: DetachState
• guardSize :: CSize
• inheritSched :: InheritSched
• schedParam :: SchedParam
• schedPolicy :: SchedPolicy
• scope :: Scope
• stack :: Ptr ()
• stackSize :: CSize

Instances

Show Attributes

Defined in System.Posix.Thread

Methods

showsPrec :: Int -> Attributes -> ShowS

show :: Attributes -> String

showList :: [Attributes] -> ShowS

Generic Attributes

Defined in System.Posix.Thread

Associated Types

type Rep Attributes :: Type -> Type

Methods

from :: Attributes -> Rep Attributes x

to :: Rep Attributes x -> Attributes

Storable Attributes

Defined in System.Posix.Thread

Methods

sizeOf :: Attributes -> Int

alignment :: Attributes -> Int

peekElemOff :: Ptr Attributes -> Int -> IO Attributes

pokeElemOff :: Ptr Attributes -> Int -> Attributes -> IO ()

peekByteOff :: Ptr b -> Int -> IO Attributes

pokeByteOff :: Ptr b -> Int -> Attributes -> IO ()

peek :: Ptr Attributes -> IO Attributes

poke :: Ptr Attributes -> Attributes -> IO ()

type Rep Attributes

Defined in System.Posix.Thread

type Rep Attributes

data AttributesMonoid

Partial set of thread attributes. Think of it as a diff to apply to the default attributes object.

Constructors

AttributesMonoid

Fields

• detachState :: First DetachState
• guardSize :: First CSize
• inheritSched :: First InheritSched
• schedParam :: First SchedParam
• schedPolicy :: First SchedPolicy
• scope :: First Scope
• stack :: First (Ptr ())
• stackSize :: First CSize

Instances

Show AttributesMonoid

Defined in System.Posix.Thread

Methods

showsPrec :: Int -> AttributesMonoid -> ShowS

show :: AttributesMonoid -> String

showList :: [AttributesMonoid] -> ShowS

Generic AttributesMonoid

Defined in System.Posix.Thread

Associated Types

type Rep AttributesMonoid :: Type -> Type

Methods

from :: AttributesMonoid -> Rep AttributesMonoid x

to :: Rep AttributesMonoid x -> AttributesMonoid

Semigroup AttributesMonoid

Defined in System.Posix.Thread

Methods

(<>) :: AttributesMonoid -> AttributesMonoid -> AttributesMonoid

sconcat :: NonEmpty AttributesMonoid -> AttributesMonoid

stimes :: Integral b => b -> AttributesMonoid -> AttributesMonoid

Monoid AttributesMonoid

Defined in System.Posix.Thread

Methods

mempty :: AttributesMonoid

mappend :: AttributesMonoid -> AttributesMonoid -> AttributesMonoid

mconcat :: [AttributesMonoid] -> AttributesMonoid

Storable AttributesMonoid

Defined in System.Posix.Thread

Methods

sizeOf :: AttributesMonoid -> Int

alignment :: AttributesMonoid -> Int

peekElemOff :: Ptr AttributesMonoid -> Int -> IO AttributesMonoid

pokeElemOff :: Ptr AttributesMonoid -> Int -> AttributesMonoid -> IO ()

peekByteOff :: Ptr b -> Int -> IO AttributesMonoid

pokeByteOff :: Ptr b -> Int -> AttributesMonoid -> IO ()

peek :: Ptr AttributesMonoid -> IO AttributesMonoid

poke :: Ptr AttributesMonoid -> AttributesMonoid -> IO ()

type Rep AttributesMonoid

Defined in System.Posix.Thread

type Rep AttributesMonoid

Thread local storage

data Key

Opaque objects used to locate thread-specific data.

Instances

Eq Key

Defined in System.Posix.Thread

Methods

(==) :: Key -> Key -> Bool

(/=) :: Key -> Key -> Bool

Ord Key

Defined in System.Posix.Thread

Methods

compare :: Key -> Key -> Ordering

(<) :: Key -> Key -> Bool

(<=) :: Key -> Key -> Bool

(>) :: Key -> Key -> Bool

(>=) :: Key -> Key -> Bool

max :: Key -> Key -> Key

min :: Key -> Key -> Key

Show Key

Defined in System.Posix.Thread

Methods

showsPrec :: Int -> Key -> ShowS

show :: Key -> String

showList :: [Key] -> ShowS

Storable Key

Defined in System.Posix.Thread

Methods

sizeOf :: Key -> Int

alignment :: Key -> Int

peekElemOff :: Ptr Key -> Int -> IO Key

pokeElemOff :: Ptr Key -> Int -> Key -> IO ()

peekByteOff :: Ptr b -> Int -> IO Key

pokeByteOff :: Ptr b -> Int -> Key -> IO ()

peek :: Ptr Key -> IO Key

poke :: Ptr Key -> Key -> IO ()

createKey

Arguments

:: FunPtr (Ptr a -> IO ())

Finalizer

-> IO Key

Thread-specific data key creation.

createKey_ :: IO Key

Like createKey, but with no finalizer.

deleteKey :: Key -> IO ()

Thread-specific data key deletion.

setSpecific :: Key -> Ptr a -> IO ()

Associate a thread-specific value with a key obtained via a previous call to createKey.

getSpecific :: Key -> IO (Ptr a)

Return the value currently bound to the specified key on behalf of the calling thread.