Control.Effect.Thread

Documentation

type EffectThread = Member Thread

data Thread a

An effect that describes concurrent computation.

Instances

Functor Thread

runMain :: Effect (Thread : es) () -> Effect es ()

Executes a threaded computation synchronously. Completes when the main thread exits.

runSync :: Effect (Thread : es) () -> Effect es ()

Executes a threaded computation synchronously. Does not complete until all threads have exited.

runAsync :: Effect `[Thread, Lift IO]` () -> IO ()

Executes a threaded computation asynchronously.

yield :: EffectThread es => Effect es ()

Yields to the next available thread.

fork :: EffectThread es => Effect es () -> Effect es ()

Forks a child thread.

abort :: EffectThread es => Effect es ()

Immediately terminates the current thread.