git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Change {} to Unit in docs.
commit1efa7a3586724d9a2cb4fa1e888f3da88bb71a2d author結城　清太郎 <seitaro_yuki@norn.local> dateTue 22 Jul 2014, 10:53 (12 years ago) parent198cc93
3 files changed+10−10
compare with golang
unifiedsplit
docs/source/prelude.rst+6−6 docs/source/syntax.rst+2−2 docs/source/typeclasses.rst+2−2
docs/source/prelude.rst+6−6
@@ -285,17 +285,17 @@ Values
285285
286286 bindE :: forall e a b. Eff e a -> (a -> Eff e b) -> Eff e b
287287
288− forE :: forall e. Prim.Number -> Prim.Number -> (Prim.Number -> Eff e { }) -> Eff e { }
288+ forE :: forall e. Prim.Number -> Prim.Number -> (Prim.Number -> Eff e Unit) -> Eff e Unit
289289
290− foreachE :: forall e a. [a] -> (a -> Eff e { }) -> Eff e { }
290+ foreachE :: forall e a. [a] -> (a -> Eff e Unit) -> Eff e Unit
291291
292292 returnE :: forall e a. a -> Eff e a
293293
294294 runPure :: forall a. Pure a -> a
295295
296− untilE :: forall e. Eff e Prim.Boolean -> Eff e { }
296+ untilE :: forall e. Eff e Prim.Boolean -> Eff e Unit
297297
298− whileE :: forall e a. Eff e Prim.Boolean -> Eff e a -> Eff e { }
298+ whileE :: forall e a. Eff e Prim.Boolean -> Eff e a -> Eff e Unit
299299
300300Module Control.Monad.Eff.Unsafe
301301-------------------------------
@@ -322,9 +322,9 @@ Values
322322
323323::
324324
325− print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) { }
325+ print :: forall a r. (Show a) => a -> Eff (trace :: Trace | r) Unit
326326
327− trace :: forall r. Prim.String -> Eff (trace :: Trace | r) { }
327+ trace :: forall r. Prim.String -> Eff (trace :: Trace | r) Unit
328328
329329Module Control.Monad.ST
330330-----------------------
docs/source/syntax.rst+2−2
@@ -152,8 +152,8 @@ Here is an example, using the maybe monad::
152152
153153 data Maybe a = Nothing | Just a
154154
155− isEven :: Number -> Maybe {}
156− isEven n | n % 2 == 0 = Just {}
155+ isEven :: Number -> Maybe Unit
156+ isEven n | n % 2 == 0 = Just unit
157157 isEven _ = Nothing
158158
159159 evenSum a b = do
docs/source/typeclasses.rst+2−2
@@ -38,8 +38,8 @@ Superclass implications can be indicated in a class declaration with a backwards
3838
3939Superclass instances will be used when searching for an instance of a subclass. For example, in the code below, the ``Monad`` constraint introduced by the ``return`` function can be discharged since ``Monad`` is a superclass of ``MonadFail``::
4040
41− assert :: forall m. (MonadFail m) => Bool -> m {}
42− assert true = return {}
41+ assert :: forall m. (MonadFail m) => Boolean -> m Unit
42+ assert true = return unit
4343 assert false = fail "Assertion failed"
4444
4545Type Annotations