Skip to content

Commit ec882ae

Browse files
committed
Use unit
1 parent f96c408 commit ec882ae

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
lines changed

README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@
4141

4242
foldrArray :: forall a b. (a -> b -> b) -> b -> [a] -> b
4343

44-
for_ :: forall a b f m. (Applicative m, Foldable f) => f a -> (a -> m b) -> m { }
44+
for_ :: forall a b f m. (Applicative m, Foldable f) => f a -> (a -> m b) -> m Unit
4545

4646
mconcat :: forall f m. (Foldable f, Monoid m) => f m -> m
4747

@@ -51,11 +51,11 @@
5151

5252
product :: forall f. (Foldable f) => f Prim.Number -> Prim.Number
5353

54-
sequence_ :: forall a f m. (Applicative m, Foldable f) => f (m a) -> m { }
54+
sequence_ :: forall a f m. (Applicative m, Foldable f) => f (m a) -> m Unit
5555

5656
sum :: forall f. (Foldable f) => f Prim.Number -> Prim.Number
5757

58-
traverse_ :: forall a b f m. (Applicative m, Foldable f) => (a -> m b) -> f a -> m { }
58+
traverse_ :: forall a b f m. (Applicative m, Foldable f) => (a -> m b) -> f a -> m Unit
5959

6060

6161
## Module Data.Traversable

src/Data/Foldable.purs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -57,13 +57,13 @@ instance foldableTuple :: Foldable (Tuple a) where
5757
fold :: forall f m. (Foldable f, Monoid m) => f m -> m
5858
fold = foldMap id
5959

60-
traverse_ :: forall a b f m. (Applicative m, Foldable f) => (a -> m b) -> f a -> m {}
61-
traverse_ f = foldr ((*>) <<< f) (pure {})
60+
traverse_ :: forall a b f m. (Applicative m, Foldable f) => (a -> m b) -> f a -> m Unit
61+
traverse_ f = foldr ((*>) <<< f) (pure unit)
6262

63-
for_ :: forall a b f m. (Applicative m, Foldable f) => f a -> (a -> m b) -> m {}
63+
for_ :: forall a b f m. (Applicative m, Foldable f) => f a -> (a -> m b) -> m Unit
6464
for_ = flip traverse_
6565

66-
sequence_ :: forall a f m. (Applicative m, Foldable f) => f (m a) -> m {}
66+
sequence_ :: forall a f m. (Applicative m, Foldable f) => f (m a) -> m Unit
6767
sequence_ = traverse_ id
6868

6969
mconcat :: forall f m. (Foldable f, Monoid m) => f m -> m

0 commit comments

Comments
 (0)