Data.Effect.Concurrent.Thread

Documentation

data Thread' tid f (a :: Type) where

Constructors

ForkThread :: f () -> Thread' tid f tid

Instances

() => HFunctor (Thread' tid)

Defined in Data.Effect.Concurrent.Thread

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Thread' tid f :-> Thread' tid g

data ThreadKey

type Thread tid = (##>) ThreadKey (Thread' tid)

forkThread :: forall (tid :: Type) f. SendSigBy ThreadKey (Thread' tid) f => f () -> f tid

forkThread'' :: forall key (tid :: Type) f. SendSigBy key (Thread' tid) f => f () -> f tid

forkThread' :: forall tag (tid :: Type) f. SendSig (TagH (Thread' tid) tag) f => f () -> f tid

forkThread'_ :: forall (tid :: Type) f. SendSig (Thread' tid) f => f () -> f tid