@@ -642,7 +642,7 @@ module Control.Monad.Eff where
642 \ while (!f()) { }\
642 \ while (!f()) { }\
643 \ return {};\
643 \ return {};\
645− \}" :: forall e. Eff e Boolean -> Eff e {}
645+ \}" :: forall e. Eff e Boolean -> Eff e Unit
647 foreign import whileE "function whileE(f) {\
647 foreign import whileE "function whileE(f) {\
648 \ return function(a) {\
648 \ return function(a) {\
@@ -653,7 +653,7 @@ module Control.Monad.Eff where
653 \ return {};\
653 \ return {};\
656− \}" :: forall e a. Eff e Boolean -> Eff e a -> Eff e {}
656+ \}" :: forall e a. Eff e Boolean -> Eff e a -> Eff e Unit
658 foreign import forE "function forE(lo) {\
658 foreign import forE "function forE(lo) {\
659 \ return function(hi) {\
659 \ return function(hi) {\
@@ -665,7 +665,7 @@ module Control.Monad.Eff where
668− \}" :: forall e. Number -> Number -> (Number -> Eff e {}) -> Eff e {}
668+ \}" :: forall e. Number -> Number -> (Number -> Eff e Unit) -> Eff e Unit
671 foreign import foreachE "function foreachE(as) {\
671 foreign import foreachE "function foreachE(as) {\
@@ -674,7 +674,7 @@ module Control.Monad.Eff where
674 \ f(as[i])();\
674 \ f(as[i])();\
677− \}" :: forall e a. [a] -> (a -> Eff e {}) -> Eff e {}
677+ \}" :: forall e a. [a] -> (a -> Eff e Unit) -> Eff e Unit
679module Control.Monad.Eff.Unsafe where
679module Control.Monad.Eff.Unsafe where
@@ -696,9 +696,9 @@ module Debug.Trace where
696 \ console.log(s);\
696 \ console.log(s);\
697 \ return {};\
697 \ return {};\
699− \}" :: forall r. String -> Eff (trace :: Trace | r) {}
699+ \}" :: forall r. String -> Eff (trace :: Trace | r) Unit
701− print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) {}
701+ print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) Unit
702 print o = trace (show o)
702 print o = trace (show o)
704module Control.Monad.ST where
704module Control.Monad.ST where