git.iko.soy/rowtype-yoga/purescript-web-proletarian
on main help sign in
Get the types right
e5bdd5fMark Eibes
src/Yoga/WebBoss.purs+3−3
compare with main
unifiedsplit
@@ -6,8 +6,8 @@ import Effect (Effect)
6import Yoga.WebProletarian.Types (Worker)
6import Yoga.WebProletarian.Types (Worker)
7
7
8foreign import onMessageFromWorker
8foreign import onMessageFromWorker
9− ∷ ∀ toBoss toWorker. (toBoss → Effect Unit) → Worker toBoss toWorker → Effect Unit
9+ ∷ ∀ toWorker toBoss. (toBoss → Effect Unit) → Worker toWorker toBoss → Effect Unit
10
10
11−foreign import postMessageToWorker ∷ ∀ toBoss toWorker. toWorker → Worker toBoss toWorker → Effect Unit
11+foreign import postMessageToWorker ∷ ∀ toBoss toWorker. toWorker → Worker toWorker toBoss → Effect Unit
12
12
13−foreign import terminate ∷ ∀ toBoss toWorker. Worker toBoss toWorker → Effect Unit
13+foreign import terminate ∷ ∀ toWorker toBoss. Worker toWorker toBoss → Effect Unit