git.iko.soy/rowtype-yoga/purescript-web-proletarian
on main help sign in
Get the types right
commite5bdd5f37ea6f1376733382b6ca7b800ea29dd40 authorMark Eibes <mark.eibes@gmail.com> dateThu 17 Nov 2022, 10:52 (4 years ago) parentd30ebc4
1 file changed+3−3
src/Yoga/WebBoss.purs+3−3
src/Yoga/WebBoss.purs+3−3
@@ -6,8 +6,8 @@ import Effect (Effect)
66import Yoga.WebProletarian.Types (Worker)
77
88foreign import onMessageFromWorker
9− ∷ ∀ toBoss toWorker. (toBoss → Effect Unit) → Worker toBoss toWorker → Effect Unit
9+ ∷ ∀ toWorker toBoss. (toBoss → Effect Unit) → Worker toWorker toBoss → Effect Unit
1010
11−foreign import postMessageToWorker ∷ ∀ toBoss toWorker. toWorker → Worker toBoss toWorker → Effect Unit
11+foreign import postMessageToWorker ∷ ∀ toBoss toWorker. toWorker → Worker toWorker toBoss → Effect Unit
1212
13−foreign import terminate ∷ ∀ toBoss toWorker. Worker toBoss toWorker → Effect Unit
13+foreign import terminate ∷ ∀ toWorker toBoss. Worker toWorker toBoss → Effect Unit