Data.Effect.Concurrent.Thread

Documentation

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

Constructors

ForkThread :: forall (f :: Type -> Type) tid. 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

type Thread tid = ThreadKey ##> Thread' tid

data ThreadKey

forkThread'_ :: SendHOE (Thread' tid) f => f () -> f tid

forkThread' :: forall {k} (tag :: k) tid f. SendHOE (TagH (Thread' tid) tag) f => f () -> f tid

forkThread'' :: forall {k} (key :: k) tid f. SendHOEBy key (Thread' tid) f => f () -> f tid

forkThread :: SendHOEBy ThreadKey (Thread' tid) f => f () -> f tid