Main.purs

module Main where

import Prelude

import Data.Tuple.Nested
import Control.Monad.Cont.Trans
import Control.Parallel
import Effect (Effect)
import Effect.Console (log)
import Effect.Timer

main :: Effect Unit
main = runContT ex (\s -> log $ "Done: " <> show s)

ex ∷ ContT Unit Effect (Int /\ Int)
ex = sequential ado
  a ← parallel $ ContT \k → ado
    setTimeout 500 (k 500)
    setTimeout 2000 (k 2000)
    in unit
  b ← parallel $ ContT \k → ado
    setTimeout 1500 (k 1500)
    setTimeout 1000 (k 1000)
    in unit
  in a /\ b