git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge pull request #439 from purescript/eff-unit

Use Unit in Eff

commit1919253e57fd11215e91e9830aef9be6aeb79a04 authorPhil Freeman <paf31@cantab.net> dateFri 13 Jun 2014, 09:47 (12 years ago) parent6423853683c6d9
2 files changed+8−8
compare with golang
unifiedsplit
examples/passing/Superclasses3.purs+2−2 prelude/prelude.purs+6−6
examples/passing/Superclasses3.purs+2−2
@@ -5,12 +5,12 @@ import Debug.Trace
55import Control.Monad.Eff
66
77class (Monad m) <= MonadWriter w m where
8− tell :: w -> m {}
8+ tell :: w -> m Unit
99
1010testFunctor :: forall m. (Monad m) => m Number -> m Number
1111testFunctor n = (+) 1 <$> n
1212
13−test :: forall w m. (Monad m, MonadWriter w m) => w -> m {}
13+test :: forall w m. (Monad m, MonadWriter w m) => w -> m Unit
1414test w = do
1515 tell w
1616 tell w
prelude/prelude.purs+6−6
@@ -642,7 +642,7 @@ module Control.Monad.Eff where
642642 \ while (!f()) { }\
643643 \ return {};\
644644 \ };\
645− \}" :: forall e. Eff e Boolean -> Eff e {}
645+ \}" :: forall e. Eff e Boolean -> Eff e Unit
646646
647647 foreign import whileE "function whileE(f) {\
648648 \ return function(a) {\
@@ -653,7 +653,7 @@ module Control.Monad.Eff where
653653 \ return {};\
654654 \ };\
655655 \ };\
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
657657
658658 foreign import forE "function forE(lo) {\
659659 \ return function(hi) {\
@@ -665,7 +665,7 @@ module Control.Monad.Eff where
665665 \ };\
666666 \ };\
667667 \ };\
668− \}" :: forall e. Number -> Number -> (Number -> Eff e {}) -> Eff e {}
668+ \}" :: forall e. Number -> Number -> (Number -> Eff e Unit) -> Eff e Unit
669669
670670
671671 foreign import foreachE "function foreachE(as) {\
@@ -674,7 +674,7 @@ module Control.Monad.Eff where
674674 \ f(as[i])();\
675675 \ }\
676676 \ };\
677− \}" :: forall e a. [a] -> (a -> Eff e {}) -> Eff e {}
677+ \}" :: forall e a. [a] -> (a -> Eff e Unit) -> Eff e Unit
678678
679679module Control.Monad.Eff.Unsafe where
680680
@@ -696,9 +696,9 @@ module Debug.Trace where
696696 \ console.log(s);\
697697 \ return {};\
698698 \ };\
699− \}" :: forall r. String -> Eff (trace :: Trace | r) {}
699+ \}" :: forall r. String -> Eff (trace :: Trace | r) Unit
700700
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
702702 print o = trace (show o)
703703
704704module Control.Monad.ST where